Основные теоремы дифференциального исчисления

Теорема. (Ролль) Если функция Основные теоремы дифференциального исчисления - student2.ru непрерывна на отрезке Основные теоремы дифференциального исчисления - student2.ru , дифференцируема на интервале Основные теоремы дифференциального исчисления - student2.ru и значения функции на концах отрезка равны Основные теоремы дифференциального исчисления - student2.ru , то на интервале Основные теоремы дифференциального исчисления - student2.ru существует точка Основные теоремы дифференциального исчисления - student2.ru , Основные теоремы дифференциального исчисления - student2.ru , в которой производная функция Основные теоремы дифференциального исчисления - student2.ru равная нулю: Основные теоремы дифференциального исчисления - student2.ru .

Геометрический смысл теоремы Ролля состоит в том, что при выполнении условий теоремы на интервале Основные теоремы дифференциального исчисления - student2.ru существует точка Основные теоремы дифференциального исчисления - student2.ru такая, что в соответствующей ей точке кривой Основные теоремы дифференциального исчисления - student2.ru касательная параллельна оси Основные теоремы дифференциального исчисления - student2.ru . Таких точек на интервале Основные теоремы дифференциального исчисления - student2.ru может быть несколько, но теорема утверждает существование по крайней мере одной такой точки.

Доказательство. По свойству функций, непрерывных на отрезке функция Основные теоремы дифференциального исчисления - student2.ru на отрезке Основные теоремы дифференциального исчисления - student2.ru принимает наибольшее и наименьшее значения. Обозначим эти значения Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru соответственно. Возможны два различных случая Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru .

Пусть Основные теоремы дифференциального исчисления - student2.ru . Тогда функция Основные теоремы дифференциального исчисления - student2.ru на отрезке Основные теоремы дифференциального исчисления - student2.ru сохраняет постоянное значение и в любой точке интервала ее производная равна нулю. В этом случае за Основные теоремы дифференциального исчисления - student2.ru можно принять любую точку интервала.

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

Основные теоремы дифференциального исчисления - student2.ru .

При этом Основные теоремы дифференциального исчисления - student2.ru Но так как по условию производная в точке Основные теоремы дифференциального исчисления - student2.ru существует, то существует и предел Основные теоремы дифференциального исчисления - student2.ru .

Т.к. Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru , то можно сделать вывод:

Основные теоремы дифференциального исчисления - student2.ru

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

Теорема Ролля имеет несколько следствий:

1) Если функция Основные теоремы дифференциального исчисления - student2.ru на отрезке Основные теоремы дифференциального исчисления - student2.ru удовлетворяет теореме Ролля, причем Основные теоремы дифференциального исчисления - student2.ru , то существует по крайней мере одна точка Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru , такая, что Основные теоремы дифференциального исчисления - student2.ru . Т.е. между двумя нулями функции найдется хотя бы одна точка, в которой производная функции равна нулю.

2) Если на рассматриваемом интервале Основные теоремы дифференциального исчисления - student2.ru функция Основные теоремы дифференциального исчисления - student2.ru имеет производную Основные теоремы дифференциального исчисления - student2.ru - го порядка и Основные теоремы дифференциального исчисления - student2.ru раз обращается в нуль, то существует по крайней мере одна точка интервала, в котором производная Основные теоремы дифференциального исчисления - student2.ru – го порядка равна нулю.

Теорема.(Лагранж)Если функция Основные теоремы дифференциального исчисления - student2.ru непрерывна на отрезке Основные теоремы дифференциального исчисления - student2.ru и дифференцируема на интервале Основные теоремы дифференциального исчисления - student2.ru , то на этом интервале найдется по крайней мере одна точка Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru такая, что Основные теоремы дифференциального исчисления - student2.ru .

Это означает, что если на некотором промежутке выполняются условия теоремы, то отношение приращения функции к приращению аргумента на этом отрезке равно значению производной в некоторой промежуточной точке.

Отношение Основные теоремы дифференциального исчисления - student2.ru равно угловому коэффициенту секущей Основные теоремы дифференциального исчисления - student2.ru .

Основные теоремы дифференциального исчисления - student2.ru у

В

А

0 а e b x

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

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

Основные теоремы дифференциального исчисления - student2.ru

Уравнение секущей АВ можно записать в виде:

Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru

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

Так как Основные теоремы дифференциального исчисления - student2.ru , то Основные теоремы дифференциального исчисления - student2.ru , следовательно

Основные теоремы дифференциального исчисления - student2.ru .

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

Определение. Выражение Основные теоремы дифференциального исчисления - student2.ru называется формулой

Лагранжаили формулой конечных приращений.

В дальнейшем эта формула будет очень часто применяться для доказательства самых разных теорем. Иногда формулу Лагранжа записывают в несколько другом виде:

Основные теоремы дифференциального исчисления - student2.ru ,

где Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru , Основные теоремы дифференциального исчисления - student2.ru .

Теорема. (Коши) Если функции Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru непрерывны на отрезке Основные теоремы дифференциального исчисления - student2.ru и дифференцируемы на интервале Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru на интервале Основные теоремы дифференциального исчисления - student2.ru , то существует по крайней мере одна точка Основные теоремы дифференциального исчисления - student2.ru , Основные теоремы дифференциального исчисления - student2.ru , такая, что

Основные теоремы дифференциального исчисления - student2.ru .

Т.е. отношение приращений функций на данном отрезке равно отношению производных в точке Основные теоремы дифференциального исчисления - student2.ru .

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

Основные теоремы дифференциального исчисления - student2.ru ,

удовлетворяющая на отрезке Основные теоремы дифференциального исчисления - student2.ru условиям теоремы Ролля. Очевидно, что при Основные теоремы дифференциального исчисления - student2.ru и Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru . Тогда по теореме Ролля существует такая точка Основные теоремы дифференциального исчисления - student2.ru Основные теоремы дифференциального исчисления - student2.ru , такая, что Основные теоремы дифференциального исчисления - student2.ru . Так как

Основные теоремы дифференциального исчисления - student2.ru , то Основные теоремы дифференциального исчисления - student2.ru

С другой стороны Основные теоремы дифференциального исчисления - student2.ru . Следовательно, Основные теоремы дифференциального исчисления - student2.ru .

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

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

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