Раздел II. Дифференциальное исчисление функций одной переменной§ 6. Теоремы Ролля, Лагранжа и Коши

Демидович — задача 1236

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 1236

Функцияf(x)=1x23f(x)=1-\sqrt[3]{x^2}обращается в нуль при x1=1x_1=-1 и x2=1x_2=1, но тем не менее f(x)0f'(x)\ne0 при 1x1-1\le x\le1. Объяснить кажущееся противоречие с теоремой Ролля.

Решение

Идея

Для применимости теоремы Ролля на отрезке [1,1][-1, 1] функция должна удовлетворять трём условиям:
1) быть непрерывной на отрезке [1,1][-1, 1];
2) принимать равные значения на концах отрезка: f(1)=f(1)f(-1) = f(1);
3) быть дифференцируемой во всех внутренних точках интервала (1,1)(-1, 1).
Проверим выполнение этих условий.
Заданная функция f(x)=1x23f(x) = 1 - x^{\frac{2}{3}} элементарна, определена на всей числовой оси и непрерывна на отрезке [1,1][-1, 1].
Значения на концах отрезка равны нулю:f(1)=1(1)23=0,f(1)=1123=0f(-1) = 1 - \sqrt[3]{(-1)^2} = 0, \quad f(1) = 1 - \sqrt[3]{1^2} = 0Первые два условия выполнены. Проверим третье условие — дифференцируемость на интервале (1,1)(-1, 1). Найдём производную функции:f(x)=(1x23)=23x13=23x3f'(x) = \left( 1 - x^{\frac{2}{3}} \right)' = -\frac{2}{3}x^{-\frac{1}{3}} = -\frac{2}{3\sqrt[3]{x}}Рассмотрим точку x=0x = 0, которая принадлежит интервалу (1,1)(-1, 1). При x0x \to 0 знаменатель производной стремится к нулю, следовательно:limx0f(x)=\lim_{x \to 0} f'(x) = \inftyПроизводная функции в точке x=0x = 0 не существует (график функции в этой точке имеет заострение — точку возврата).

Проверка

Поскольку функция f(x)f(x) не является дифференцируемой во всех точках интервала (1,1)(-1, 1), третье условие теоремы Ролля не выполняется. Следовательно, теорема Ролля к данной функции на отрезке [1,1][-1, 1] неприменима, и никакого противоречия в том, что производная не обращается в нуль, нет.
Демидович № 1236 — решение