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