Необходимое условие локального экстремума функции одной переменной

Опр-ие: Функция у=f(х) имеет в точке x₀ локальный максимум, если сущ-ет окрестность (х₀-d, х₀+d), для всех точек х которой выполняется неравенство f(х)£f(х₀). Аналогично определяется локальный минимум, но выполняться должно равенство f(х)³f(х₀).

Теорема Ферма: Если функция у=f(х) имеет в точке х₀ локальный экстремум и дифференцируема в этой точке, то ее производная f'(х₀) равна нулю.

Док-во: Проведем его для случая максимума в точке х₀. Пусть (х₀-d, х₀+d) - та окрестность, для точек которой выполняется неравенство

Здесь возможно как 1 и 2 варианты, но | ∆х| <δ

При ∆х>0, будет ∆y:∆x ≤0, поэтому

При ∆х<0, будет ∆y:∆x ≥0, поэтому

По условию теоремы, существует производная f'(х₀) А это означает, что правая производная f_пр'(х₀) и левая производная f_л'(х₀) равны между собой: f_пр'(х₀)= f_л'(х₀)= f'(х₀). Таким образом, с одной стороны, f'(х₀)≤0, с другой стороны, f'(х₀)≥0, что возможно лишь, когда f'(х₀)=0.