2.18. Теорема Коши

(Коши (1789-1857)- французский математик)

Если функции f(x) и g(x) непрерывны на отрезке [a, b] и дифференцируемы на интервале (a, b) и g(x)  0 на интервале (a, b), то существует по крайней мере одна точка , a <  < b, такая, что

.

Т.е. отношение приращений функций на данном отрезке равно отношению производных в точке .

Для доказательства этой теоремы на первый взгляд очень удобно воспользоваться теоремой Лагранжа. Записать формулу конечных разностей для каждой функции, а затем разделить их друг на друга. Однако, это представление ошибочно, т.к. точка  для каждой из функции в общем случае различна. Конечно, в некоторых частных случаях эта точка интервала может оказаться одинаковой для обеих функций, но это- очень редкое совпадение, а не правило, поэтому не может быть использовано для доказательства теоремы.

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

,

которая на интервале [a, b] удовлетворяет условиям теоремы Ролля. Легко видеть, что при х = а и х = b F(a) = F(b) = 0. Тогда по теореме Ролля существует такая точка ,

a <  < b, такая, что F() = 0. Т.к.

, то

А т.к. , то

Теорема доказана.

Следует отметить, что рассмотренная выше теорема Лагранжа является частным случаем (при g(x) = x) теоремы Коши. Доказанная нами теорема Коши очень широко используется для раскрытия так называемых неопределенностей. Применение полученных результатов позволяет существенно упростить процесс вычисления пределов функций, что будет подробно рассмотрено ниже.