Лекция 14. Раздел 14.3
Теорема Коши.

Рассмотрим, наконец, третью теорему о среднем, принадлежащей Коши (1789 - 1859), которая является обобщением теоремы Лагранжа.

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

Доказательство. Так как во всех точках , то отсюда следует, что . В противном случае, как следует из теоремы Ролля, существовала хотя бы одна точка , в которой .

Составим вспомогательную функцию

.

Данная функция непрерывна на отрезке и дифференцируема во всех его внутренних точках. Кроме того, вычисление ее в точках и дает: . Значит, функция удовлетворяет требованиям теоремы Ролля, то есть существует хотя бы одна точка , в которой .

Вычислим производную :

.

Из условия следует, что

и ,

что и требовалось доказать.

В случае, когда , теорема Коши переходит в формулировку теоремы Лагранжа.