Условия монотонности функции

Мы приступаем к более сложным вопросам исследования функции и построения ее графика. Конечно, все начинается определения и множества значений функции . Также мы уже обсуждали вопросы четности, нечетности и периодичности функции. Теперь мы приступаем к изучению вопросов, связанных в основном с использованием в анализе свойств функции ее производных.

Если большему значению аргумента на множестве соответствует большее значение функции, то такая функция называется, как мы помним, монотонно возрастающей на этом множестве. Аналогично вводятся понятия других монотонных функций: убывающей, неубывающей, невозрастающей.

Как определить монотонность функции на данном промежутке? Мы знаем, что если производная функции положительна в точке, то она возрастает в некоторой окрестности этой точки. Отсюда следует, что если производная функции положительна на интервале, то функция является возрастающей на этом интервале. А как быть с граничными точками отрезка, как быть с теми точками, в которых производная функции равна 0 или не существует?

Теорема 1. Пусть функция непрерывна на отрезке , имеет производную на интервале во всех точках, за исключением конечного числа точек, в которых производная равна 0 или не существует. Тогда, если производная положительна во всех точках, где она существует, то функция возрастает на отрезке , а если производная отрицательна во всех точках, где она существует, то функция убывает на отрезке ,

Доказательство. Разобьем отрезок на имеющие не более одной общей точки отрезки, во внутренних точках каждого из которых производная (для определенности) положительна. Следовательно, в силу непрерывности на всем отрезке выполнено условие: большему значению аргумента соответствует большее значение функции. Теорема доказана.