Математика / Пределы, ряды

Правило Лопиталя для неопределенностей 0/0 и infinity/infinity

Правило Лопиталя заменяет предел отношения функций пределом отношения их производных, когда исходная дробь дает неопределенность 0/0 или infinity/infinity и выполнены условия дифференцируемости.

Опубликовано: 25 мая 2026 г.Обновлено: 25 мая 2026 г.

Формула

\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}

Обозначения

$f(x)$: числитель исходного отношения, зависит от задачи
$g(x)$: знаменатель исходного отношения, зависит от задачи
$a$: точка или бесконечное направление, к которому стремится x, единицы аргумента
$f'(x), g'(x)$: производные числителя и знаменателя, единицы f и g, деленные на единицу x

Условия применения

В окрестности точки a функции f и g дифференцируемы, кроме, возможно, самой точки a.
При x→a отношение имеет вид 0/0 или infinity/infinity.
Производная знаменателя g'(x) не обращается в ноль в проколотой окрестности, где применяется правило.
Существует конечный или бесконечный предел отношения f'(x)/g'(x).

Ограничения

Нельзя применять правило к неопределенностям 0·infinity, infinity−infinity или 1^infinity без предварительного преобразования.
Если предел f'(x)/g'(x) не существует, это не доказывает отсутствие исходного предела.
Механическое многократное дифференцирование может усложнить выражение и скрыть более простой стандартный предел.
Условия теоремы Коши о среднем должны быть выполнены на подходящем интервале.

Подробное объяснение

Правило Лопиталя работает с пределом дроби, когда сами f(x) и g(x) исчезают одновременно или одновременно растут без границы. В такой ситуации значения функций плохо показывают их относительную скорость изменения, а производные позволяют сравнить локальные скорости накопления числителя и знаменателя.

Идея правила опирается на теорему Коши о среднем. Для точек x рядом с a разность значений f и g можно связать с отношением производных в промежуточной точке. Если отношение f'(x)/g'(x) имеет предел, то отношение исходных приращений вынуждено стремиться к тому же числу.

Важный смысл формулы состоит не в том, что производную можно брать у всей дроби. Числитель и знаменатель дифференцируются отдельно, а затем строится новое отношение. Поэтому выражение f'/g' обычно не равно производной частного f/g; это самостоятельный предельный прием.

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

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

Как пользоваться формулой

Подставьте предельное значение и убедитесь, что получился именно тип 0/0 или infinity/infinity.
Проверьте дифференцируемость числителя и знаменателя в проколотой окрестности точки.
Дифференцируйте числитель и знаменатель по отдельности, не используя правило производной частного.
Вычислите предел нового отношения f'(x)/g'(x), если он стал обычным.
Если снова получилась допустимая неопределенность, повторите проверку условий перед новым шагом.
Сверьте ответ со знаком, порядком малости или простым разложением, чтобы поймать механическую ошибку.

Историческая справка

Правило носит имя маркиза Гийома де Лопиталя, который включил его в книгу Analyse des infiniment petits pour l'intelligence des lignes courbes, изданную в 1696 году. Эта книга стала одним из первых учебников по дифференциальному исчислению и сильно повлияла на распространение новой символики анализа в Европе.

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

Строгая формулировка через условия дифференцируемости и предельное отношение производных появилась позднее, когда анализ перестраивался на язык пределов и теорем о среднем. В курсах XIX-XX веков правило стало стандартным следствием теоремы Коши о среднем, а не самостоятельным эвристическим приемом с бесконечно малыми.

Историческая линия формулы

Название связано с учебником Лопиталя 1696 года, однако вклад Иоганна Бернулли в вывод и раннее преподавание правила считается существенным. В современной подаче формула обычно выводится из теоремы Коши о среднем, поэтому корректнее говорить о закрепившемся историческом названии, а не о единоличном авторстве.

Пример

Задача. Найти предел L=lim_{x→0} (e^x-1-x)/x^2. Дано: f(x)=e^x-1-x, g(x)=x^2, x→0. Подстановка дает f(0)=0 и g(0)=0, значит имеем тип 0/0. Один раз применяем правило Лопиталя: L=lim_{x→0} (e^x-1)/(2x). Снова подстановка дает 0/0, поэтому условия проверяются повторно и можно применить правило еще раз: L=lim_{x→0} e^x/2=1/2. Ответ: L=1/2. Проверка: разложение e^x=1+x+x^2/2+O(x^3) дает e^x-1-x=x^2/2+O(x^3). Деление на x^2 оставляет 1/2+O(x), что подтверждает найденный предел и показывает, почему результат безразмерен. Дополнительная проверка: сравниваем результат с исходной записью при допустимых значениях переменных или на граничном случае из условия. Если обе записи дают одно и то же значение и не нарушают ограничения, преобразование выполнено согласованно.

Частая ошибка

Главная ошибка — применять правило к любому трудному пределу без проверки типа 0/0 или infinity/infinity. Вторая ошибка — заменять f/g на производную частного, то есть писать (f/g)' вместо f'/g'. Часто забывают проверить, что g'(x) не равна нулю в нужной окрестности, и получают деление на ноль. Еще одна ловушка — делать вывод, что исходный предел не существует, если отношение производных стало неудобным; правило дает достаточный путь вычисления, но не исчерпывает все методы.

Практика

Задачи с решением

Предел тригонометрического отношения

Условие. Найти lim_{x→0} (sin x)/x.

Решение. Подстановка дает 0/0. Дифференцируем числитель и знаменатель: (sin x)'=cos x, x'=1. Тогда предел равен lim_{x→0} cos x/1=1.

Ответ. 1

Сравнение логарифма и степени

Условие. Найти lim_{x→∞} ln x / x.

Решение. Получаем infinity/infinity. После дифференцирования имеем lim_{x→∞} (1/x)/1=lim_{x→∞}1/x=0.

Ответ. 0

Дополнительные источники

Apostol, Calculus, Vol. 1, section on Cauchy's mean value theorem and l'Hospital's rule
Rudin, Principles of Mathematical Analysis, chapter 5, mean value theorems
Fichtenholz, Differential and Integral Calculus, Vol. 1, chapter on indeterminate forms
Thomas' Calculus, section on l'Hospital's rule

Связанные формулы

Математика

Предел функции в точке

$\lim_{x\to a} f(x)=L$

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

Математика

Стандартный предел sin x / x

$\lim_{x\to 0}\frac{\sin x}{x}=1$

Это один из главных стандартных пределов математического анализа. Он лежит в основе производной синуса, многих тригонометрических оценок и предельных переходов в начале курса.

Математика

Производная через предел разностного отношения

$f'(x_0)=\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}$

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

Математика

Альгебра пределов

$\lim_{x\to a}(f(x)\pm g(x))=\lim_{x\to a}f(x)\pm\lim_{x\to a}g(x),\qquad \lim_{x\to a}(f(x)g(x))=\left(\lim_{x\to a}f(x)\right)\left(\lim_{x\to a}g(x)\right),\qquad \lim_{x\to a}\frac{f(x)}{g(x)}=\frac{\lim_{x\to a}f(x)}{\lim_{x\to a}g(x)}$

Альгебра пределов дает набор правил, которые позволяют переносить предельный переход через сумму, произведение и частное. Это один из самых практичных инструментов начального анализа.

Математика

Бесконечный предел функции

$\lim_{x\to a} f(x)=\infty$

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