§ 3. Основные теоремы дифференциального исчисления
109. Теорема Ферма.
Знание производной
некоторой функции
часто позволяет делать заключение и о поведении самой функции
Вопросам этого рода и будут, в сущности, посвящены настоящий параграф и следующие за ним.
Предварительно докажем простую лемму:
Лемма. Пусть функция
имеет конечную производную в точке
Если эта производная
то для значений х, достаточно близких к
справа, будет
а для значений х, достаточно близких к
слева, будет
Иными словами этот факт выражают так: функция
в точке
возрастает (убывает). Если имеется в виду односторонняя производная, например, справа, то сохраняет силу лишь утверждение о значениях х, лежащих справа от
Доказательство. По определению производной,
Если
(ограничимся этим случаем), то, в силу 55, 2°, найдется такая окрестность
точки
в которой (при
Пусть сначала
так что
из предыдущего неравенства следует тогда, что
Если же
то, очевидно, и
Лемма доказана.
Теорема Ферма. (P. Fermat) Пусть функция
определена в некотором промежутке X и во внутренней точке с этого промежутка принимает наибольшее (наименьшее) значение. Если существует двусторонняя конечная производная
в этой точке, то необходимо
Доказательство. Пусть для определенности
принимает наибольшее значение в точке с. Предположение, что