Лекция 14. Раздел 14.4
Правило Лопиталя.

На основании теоремы Коши о среднем можно получить удобный метод вычисления некоторых пределов, называемый правилом Лопиталя (1661-1704).

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

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

Возьмем точку . Так как функции и удовлетворяют теореме Коши (п. 2.14), применим ее на отрезке :

, где .

Так как , то

Перейдем в данном равенстве к пределу:

Но если , то и , находящееся между точками и , будет стремится к , значит

Отсюда, если , то и , то есть

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

Если при , то снова получается неопределенность вида и правило Лопиталя можно применять снова, то есть

Доказательство правила Лопиталя для случая проводится сложнее, и мы его рассматривать не будем.

При раскрытии неопределенностей типа , , , , правило Лопиталя применять непосредственно нельзя. Вначале все эти неопределенности необходимо преобразовать к виду или .

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