Случай, когда и
был оставлен нами неисследованным.
Предположим теперь, что функция
имеет в точке
последовательных производных, причем все они, вплоть до
в этой точке обращаются в нуль:
между тем как
Разложим приращение
функции
по степеням разности
по формуле Тейлора с дополнительным членом в форме Пеано [124, (10а)]. Так как все производные порядков меньших, чем
равны в точке
нулю, то
Вследствие того, что
при
при достаточной близости
знак суммы в числителе будет совпадать со знаком
как для
так и для
Рассмотрим два случая.
- нечетное число:
При переходе от значений х, меньших, чем
к значениям, большим, чем
выражение
изменит знак на обратный, а так как знак первого множителя при этом не меняется, то и знак разности
изменится. Таким образом, в точке
функция
не может иметь экстремума, ибо вблизи этой точки принимает значения как меньшие, так и большие, чем
- четное число:
. В этом случае разность
не меняет знака при переходе от х меньших, чем
к большим, так как
при всех х. Очевидно, вблизи
как слева, так и справа знак разности
совпадает со знаком числа
Значит, если
то
вблизи точки
и в точке
функция
имеет (собственный) минимум; если же
то функция имеет (собственный) максимум.
Отсюда получаем такое правило:
Если первая из производных, не обращающихся в точке
в нуль, есть производная нечетного порядка, функция не имеет в точках
ни максимума, ни минимума. Если такой производной является производная четного порядка, функция в точке
имеет максимум или минимум, смотря по тому, будет ли эта производная отрицательна или положительна.
Например, для функции
точка
является стационарной, так как в этой точке обращается в нуль производная
Далее:
Так как в нуль не обратилась первой производная четного порядка, то налицо экстремум, а именно минимум, ибо
Замечание. Хотя выведенный выше критерий решает вопрос об экстремуме в весьма широком классе случаев, но, теоретически говоря, он все же не является всеобъемлющим: функция, не будучи тождественно постоянной, может иметь в окрестности испытуемой точки производные всех порядков, которые, однако, в этой точке все зараз обращаются в нуль.
В качестве примера рассмотрим (вместе с Коши) следующую функцию:
При
она имеет производные всех порядков:
и, вообще,
где
есть целый многочлен (степени
). В общности этого закона легко убедиться по методу математической индукции.
Установим теперь, что и в точке
для нашей функции существуют производные всех порядков, причем все равны нулю. Действительно, прежде всего,
так что
Допустим, что доказываемое утверждение верно для всех производных до
порядка включительно. Тогда [см. (9)]
поскольку числитель представляет собой сумму членов вида
Значит,
По методу математической индукции утверждение оправдано полностью.
Хотя непосредственно ясно, что данная функция при
имеет минимум, но установить этот факт с помощью рассмотрения ее последовательных производных в этой точке - не удалось бы.