Теорема Лагранжа. Если функция непрерывна на сегменте и дифференцируема во всех внутренних точках этого сегмента, то внутри сегмента найдется точка

Если функция непрерывна на сегменте и дифференцируема во всех внутренних точках этого сегмента, то внутри сегмента найдется точка такая, что справедлива формула (8.7)

Формулу (8.7) называют формулой Лагранжа или формулой конечных приращений.

Доказательство. Рассмотрим на сегменте следующую вспомогательную функцию:

(8.8)

Проверим, что для функции выполнены все условия теоремы Ролля. В самом деле, непрерывна на сегменте (как разность функции и линейной функции) и во всех внутренних точках сегмента имеет производную, равную

Из формулы (8.8) очевидно, что .Согласно теореме Ролля внутри сегмента найдется точка такая, что

(8.9)

Из равенства (8.9) вытекает формула Лагранжа (8.7). Подчеркнем, что в формуле (8.7) вовсе не обязательно считать, что .

Замечание. Мы получили теорему Лагранжа как следствие теоремы Ролля. Заметим вместе с тем, что сама теорема Ролля является частным случаем теоремы Лагранжа (при ).

Записывая формулу Лагранжа для сегмента , будем иметь (8.10)

где – некоторая точка, лежащая между . Можно утверждать, что найдется такое (зависящее от ) число из интервала , что . Таким образом, формуле (8.10) можно придать вид

(8.11)

где — некоторое число из интервала . Формула Лагранжа в виде (8.11) дает точное выражение для приращения функции через вызвавшее его произвольное конечное приращение аргумента. Этот вид формулы Лагранжа оправдывает термин «формула конечных приращений».

21. Достаточное условие существования экстремумов