По-моему та теорема к делу не относится.
Она о том, что если функция дифференцируема, то она может иметь разрывы только второго рода. А у ТС задача исследовать «подозрительные точки» на недифференцируемость.
Я бы сказала, что без этой теоремы прекрасно можно обойтись. Но ТС предлагал проверять существование производной, исследуя ее левый и правый пределы. В этом случае, действительно: производная модуля имеет скачок в точке
. А если бы он был в этой точке дифференцируем, производная бы скачка иметь не могла.
И то, что ТС сказал верно просто по свойствам предела (если левый предел неравен правому, то и двусторонний предел не существует, а если оба пределы существует и равны, то и двусторонний предел тоже существует и равен обеим односторонним).
Нет, это рассуждение неверное. Производная в точке - это предел функции
при
. А ТС (и вы за ним) предлагает исследовать пределы (односторонние)
другой функции
при
. Связь между этими пределами не такая простая. О ней и говорит упомянутая мной теорема.