Теорема. Если функции и
непрерывны на отрезке
и дифференцируемы во всех его внутренних точках, причем
не обращается в ноль ни в одной из указанных точек, то существует, по крайней мере, одна точка
, в которой
Доказательство. Так как
Составим вспомогательную функцию
Данная функция непрерывна на отрезке
Вычислим производную
Из условия
что и требовалось доказать.
В случае, когда
4. Правило Лопиталя
На основании теоремы Коши о среднем можно получить удобный метод вычисления некоторых пределов, называемый правилом Лопиталя (1661–1704).
Теорема. Пусть функции и
непрерывны и дифференцируемы во всех точках полуинтервала
и при
совместно стремятся к нулю или бесконечности. Тогда, если отношение их производных имеет предел при
, то этот же предел имеет отношение и самих функций, то есть
Проведем доказательство данной теоремы только для случая, когда
Возьмем точку
Так как
Перейдем в данном равенстве к пределу:
Но если
Отсюда, если
что и требовалось доказать.
Если при
Доказательство правила Лопиталя для случая
При раскрытии неопределенностей типа
Правило Лопиталя может быть использовано при сравнении роста функций, в случае когда
1)
2)
3)
Отсюда следует, что быстрее всего растет
Литература
1. Гмурман В.Е. Теория вероятностей и математическая статистика. М., «Высшая школа» изд. 5, 1977.
2. Зайцев И.А. Высшая математика. ДРОФА, 2005. – 400 с.
3. Краснов М. Вся высшая математика т. 1 изд. 2. Едиториал УРСС, 2003. – 328 с.
4. Краснов М.Л., Макаренко Г.И., Киселев А.И., Шикин Е.В. Вся высшая математика Интегральное исчисление. Дифференциальное исчисление функций нескольких переменных. Дифференциальная геометрия Том 2.: Учебник – 3-е изд. ЛКИ, 2007.
5. Мироненко Е.С. Высшая математика. М: Высшая школа, 2002. – 109 с.