Теорема 1. (Достаточное условие возрастания функции)
Если функция f(x) непрерывна на отрезке [a, b] и дифференцируема на интервале (a, b), причем (x) > 0 для любого xÎ(a, b), то эта функция возрастает на отрезке [a, b].
Доказательство. Функция возрастает на [a, b], если
"x1, x2Î[a,b] (x1 < x2 ® f(x1) < f (x2)).
Пусть x1, x2 – любые два числа из [a, b], такие, что x1 < x2. Докажем, что f(x1) < f(x2).
По теореме Лагранжа о конечных приращениях f (x2) – f (x1) = (с)(x2 – x1), где c удовлетворяет неравенству x1 < c < x2. По условию теоремы (с) > 0, следовательно, f(x2) – f (x1) > 0, т.е. f (x1) < f (x2). Теорема доказана.
Теорема 2. (Необходимое условие возрастания функции)
Если функция f(x) непрерывна и возрастает на отрезке [a, b], дифференцируема на интервале (a, b), то (x) ³ 0 для любого x из интервала (a, b).
Доказательство. Пусть x0Î(a, b). Дадим аргументу приращение Dx, тогда функция получит приращение f(x0 + Dx) – f(x0). Функция f(x) возрастает на [a, b], поэтому, если Dx > 0, то f(x0 + Dx) – f(x0) > 0, а если Dx < 0, то f(x0 + Dx) – f(x0) < 0. В обоих случаях > 0, а потому ³ 0, т.е. (x0) ³ 0. Теорема доказана.
Аналогичные теоремы справедливы для убывающей функции, только условие (x) > 0 заменяется на условие: (x) < 0.
Сформулируйте и докажите достаточное условие и необходимое условие для убывания функции.
Пример. Исследовать на монотонность (т.е. возрастание и убывание) функцию:
f (x) = x3 – 3x.
Решение. (x) = 3x2 – 3 = 3(x2 – 1).
Неравенство (x) > 0, т.е. 3(x2 – 1) > 0, справедливо для x < –1 и для x >1. Следовательно, функция f(x) возрастает на интервалах (–¥, –1) и (1, +¥). Поскольку неравенство (x) < 0, т.е. 3(x2 – 1) < 0 справедливо для xÎ(–1, 1), то на интервале (–1, 1) функция f(x) убывает.
Построим график функции y = x3 – 3x (рис. 2.10), используя ее значения в точках:
x1 = –1, x2 = 1, x3 = 0, x4 = –, x5 =:
f(–1) = 2, f(1) = –2, f(0) = 0, f(–) = 0, f() = 0.
Заметим, что в точке x1 = –1 значение f(–1) больше, чем значение f(x) в соседних с x1 точках. Говорят, что в точке x1 функция имеет максимум (локальный максимум). Аналогично, f(x2) < f(x) для x, близких к x2. В этом случае говорят, что в точках x2 функция имеет минимум (локальный минимум).