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

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

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

.

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

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

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

,

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

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

, то

А т.к. , то

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

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