Обобщение формулы конечных приращений

Теорема Коши. Пусть функции Обобщение формулы конечных приращений - student2.ru и Обобщение формулы конечных приращений - student2.ru удовлетворяют условиям: 1) непрерывны на Обобщение формулы конечных приращений - student2.ru ; 2) дифференцируемы на Обобщение формулы конечных приращений - student2.ru ; 3) Обобщение формулы конечных приращений - student2.ru на Обобщение формулы конечных приращений - student2.ru . Тогда существует точка Обобщение формулы конечных приращений - student2.ru такая, что справедлива формула:

Обобщение формулы конечных приращений - student2.ru . (1)

Доказательство. Рассмотрим вспомогательную функцию Обобщение формулы конечных приращений - student2.ru . Она непрерывна на Обобщение формулы конечных приращений - student2.ru и дифференцируема на Обобщение формулы конечных приращений - student2.ru . Подберем l так, чтобы Обобщение формулы конечных приращений - student2.ru :

Обобщение формулы конечных приращений - student2.ru . (2)

С таким l эта функция удовлетворяет условиям теоремы Ролля, следовательно Обобщение формулы конечных приращений - student2.ru : Обобщение формулы конечных приращений - student2.ru . Но Обобщение формулы конечных приращений - student2.ru , значит Обобщение формулы конечных приращений - student2.ru и

Обобщение формулы конечных приращений - student2.ru .

Сравнивая эту формулу с (2), получим (1).

Замечание 1. Знаменатель левой части формулы (1) отличен от нуля. В противном случае к функции Обобщение формулы конечных приращений - student2.ru можно было бы применить теорему Ролля и внутри Обобщение формулы конечных приращений - student2.ru получить точку, в которой Обобщение формулы конечных приращений - student2.ru , что противоречит условию теоремы Коши.

Замечание 2. Может показаться, что теорема Коши не содержит ничего нового: ведь к каждой из функций Обобщение формулы конечных приращений - student2.ru и Обобщение формулы конечных приращений - student2.ru можно применить формулу конечных приращений (2) из §2. Однако, теорема Лагранжа не гарантирует, что точка Обобщение формулы конечных приращений - student2.ru одна и та же для различных функций.

Наши рекомендации