Правило Лопиталя ♾️

Представь, что тебе нужно вычислить $\lim_{x\to0}\dfrac{\sin x}{x}$. Подставить $x=0$ напрямую нельзя — получится $\frac{0}{0}$, бессмысленное выражение, которое ничего не говорит о том, к чему на самом деле стремится дробь. В уроке про замечательные пределы ты уже находил этот конкретный предел (он равен $1$), но метод был штучным: геометрическое сравнение площадей треугольников и сектора круга. А что если тебе попадётся $\lim_{x\to\infty}\dfrac{\ln x}{\sqrt[3]{x}}$ или $\lim_{x\to0^+}x^x$? Городить для каждого нового предела свой собственный геометрический трюк — не вариант. Нужен универсальный инструмент.

Именно это и даёт правило Лопиталя: если предел отношения двух функций превращается в неопределённость $\frac{0}{0}$ или $\frac{\infty}{\infty}$, то при определённых условиях его можно заменить пределом отношения производных этих функций — а с производными, как правило, работать заметно проще, чем с исходными функциями. Синус превращается в косинус, логарифм — в простую дробь $\frac1x$, экспонента остаётся экспонентой. Неопределённость либо сразу исчезает, либо превращается в такую же неопределённость, но уже более простого вида, к которой можно применить то же правило ещё раз.

Важно сразу отделить одно от другого: правило Лопиталя — не фокус и не эквивалентность «замени числитель и знаменатель производными, и дробь не изменится». Это строгая теорема с чётко прописанными условиями, и она прямо опирается на теорему Коши о среднем значении из предыдущего урока. Если условия не проверены, правило может дать неверный ответ или просто не сработает — и один из главных навыков этого урока состоит не в том, чтобы научиться дифференцировать (это ты уже умеешь), а в том, чтобы научиться видеть, когда правило действительно применимо, а когда нет.

Отдельная причина, почему этот урок важен именно для тебя, — предельное поведение функций активации и функций потерь в машинном обучении почти всегда описывается именно неопределённостями такого вида. Что происходит с softmax, когда один логит уносится в $+\infty$, а разница между логитами становится бесконечно большой? Как ведёт себя кросс-энтропийная потеря вблизи точки, где предсказанная вероятность стремится к нулю или единице? Ответы на эти вопросы — это в буквальном смысле вычисления пределов вида $\frac{0}{0}$ и $\frac{\infty}{\infty}$, и правило Лопиталя — ровно тот инструмент, которым эти вычисления делаются аккуратно, а не «на глазок».

История: откуда это взялось?

Формально правило носит имя Гийома Франсуа Антуана де Лопиталя (1661–1704) — французского маркиза, увлечённого математикой аристократа, который в 1696 году опубликовал первый в истории систематический учебник дифференциального исчисления, «Анализ бесконечно малых для понимания кривых линий» (Analyse des Infiniment Petits). Именно в этой книге правило появилось в печати впервые, и именно поэтому оно веками носит имя Лопиталя. Есть, однако, нюанс, который делает эту историю одной из самых пикантных в математике: само правило придумал не Лопиталь.

Реальным автором был Иоганн Бернулли — один из братьев знаменитой швейцарской математической династии, блестящий, но вечно нуждавшийся в деньгах учёный. В 1691–1692 годах Лопиталь, будучи состоятельным аристократом и способным, но не гениальным математиком-любителем, заключил с Бернулли необычный контракт: он платил тому регулярное жалование (по некоторым оценкам, около 300 франков в год — солидная по тем временам сумма) в обмен на право использовать все математические открытия Бернулли по своему усмотрению, включая право публиковать их под собственным именем. Формально это было деловое соглашение, и Бернулли на него согласился добровольно — но когда Лопиталь включил правило о неопределённостях $\frac00$ в свой учебник без ссылки на настоящего автора, оно навсегда закрепилось в истории как «правило Лопиталя», а не «правило Бернулли».

Сам Бернулли, судя по сохранившейся переписке, был этим недоволен, и после смерти Лопиталя в 1704 году он публично заявил о своём авторстве. Однако научное сообщество почти два столетия относилось к этому заявлению со скепсисом — отчасти потому, что у Бернулли была устойчивая репутация человека, оспаривавшего чужие приоритеты (в том числе он резко спорил и с собственным братом Якобом, и позже с собственным учеником Эйлером). Только когда в XIX веке были найдены и опубликованы личные письма и рукописи, где Бернулли излагал Лопиталю именно эту теорему задолго до выхода книги, историческая справедливость была восстановлена — по крайней мере, в глазах историков математики. Название, впрочем, менять не стали: слишком прочно оно уже вошло в обиход.

Вывод правила Лопиталя из теоремы Коши

Интуиция: сравнение скоростей вместо сравнения расстояний

В прошлом уроке ты доказал теорему Коши: если функции $f$ и $g$ непрерывны на $[a,b]$ и дифференцируемы на $(a,b)$, причём $g'(x)\ne0$ там, то найдётся точка $c\in(a,b)$, для которой

Представь снова двух бегунов, стартовавших из одной точки $a$: один прошёл путь $f(b)-f(a)$, другой — $g(b)-g(a)$. Теорема Коши говорит, что в какой-то момент $c$ отношение их мгновенных скоростей в точности равнялось отношению итоговых пройденных путей. Теперь представь, что оба бегуна стартуют из одной и той же точки $a$, где оба «ещё не начали» — формально, $f(a)=g(a)=0$. Тогда отношение пройденных путей превращается ровно в интересующее нас отношение функций: $\frac{f(x)-f(a)}{g(x)-g(a)} = \frac{f(x)}{g(x)}$. А раз где-то между $a$ и $x$ нашлась точка $c$, где это отношение равно отношению мгновенных скоростей $\frac{f'(c)}{g'(c)}$, и при $x\to a$ точка $c$ (зажатая между $a$ и $x$) тоже обязана стремиться к $a$ — вот и появляется связь между пределом отношения функций и пределом отношения производных.

Теорема

Теорема (правило Лопиталя, случай $\frac00$). Пусть функции $f$ и $g$ определены и дифференцируемы в некоторой проколотой окрестности точки $a$ (конечной или $a=\pm\infty$), причём $g'(x)\ne0$ в этой окрестности. Пусть

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

Тогда, если существует (конечный или бесконечный) предел $\lim\limits_{x\to a} \dfrac{f'(x)}{g'(x)} = L$, то существует и предел исходного отношения, и он равен тому же самому числу:

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

Аналогичное утверждение верно и для неопределённости вида $\dfrac{\infty}{\infty}$: если $g(x) \to \pm\infty$ при $x\to a$ (а $f(x)$ при этом тоже стремится к $\pm\infty$, либо остаётся ограниченным особым образом), и существует $\lim\limits_{x\to a}\frac{f'(x)}{g'(x)}$, то $\lim\limits_{x\to a}\frac{f(x)}{g(x)}$ существует и равен этому же пределу.

Докажем случай $\frac00$ для конечной точки $a$ — это прямое следствие теоремы Коши. Доопределим (или переопределим, если функции уже были определены в точке $a$ каким-то другим значением) $f(a)=g(a)=0$ — на сам предел это никак не повлияет, поскольку предел не зависит от значения функции в самой точке. Тогда для любого $x$ из проколотой окрестности $a$ функции $f$ и $g$ непрерывны на отрезке между $a$ и $x$ и дифференцируемы внутри него, значит к ним применима теорема Коши:

Когда $x\to a$, точка $c$ зажата между $a$ и $x$ (по теореме о двух милиционерах она тоже стремится к $a$). Раз по условию $\lim_{x\to a} \frac{f'(x)}{g'(x)} = L$, то и $\frac{f'(c)}{g'(c)} \to L$ при $c \to a$ — а значит, и равное этому выражению отношение $\frac{f(x)}{g(x)}$ тоже стремится к $L$. Теорема доказана для этого случая.

Доказательство для неопределённости $\frac{\infty}{\infty}$ устроено технически сложнее (теорема Коши напрямую не применяется, поскольку $f(a)$ и $g(a)$ там не равны нулю, а «уходят в бесконечность» ещё до точки $a$) — оно использует более тонкую оценку через теорему Коши на отрезках вида $[x, x_0]$ с фиксированным $x_0$ и переход к пределу по $x$. Мы не будем разворачивать эту техническую часть здесь — важно, что итоговый результат имеет ту же формулировку и на практике применяется совершенно так же, как случай $\frac00$.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\lim\limits_{x\to0} \dfrac{\sin x}{x}$ по правилу Лопиталя и сравнить с результатом первого замечательного предела.

Проверяем условия: при $x\to0$ числитель $\sin x \to 0$, знаменатель $x\to0$ — неопределённость $\frac00$. Обе функции дифференцируемы в окрестности нуля, $g'(x)=1\ne0$. Дифференцируем числитель и знаменатель по отдельности:

Ответ: $1$ — ровно то же число, что даёт геометрическое доказательство первого замечательного предела, но здесь получено чисто алгебраически, без всякой геометрии.

Пример 2 (средний). Вычислить $\lim\limits_{x\to\infty} \dfrac{\ln x}{x}$.

При $x\to\infty$: $\ln x \to \infty$, $x\to\infty$ — неопределённость $\frac{\infty}{\infty}$. Дифференцируем:

Ответ: $0$. Содержательный вывод: логарифм растёт бесконечно медленнее линейной функции — на каждую единицу роста $x$ логарифм добавляет всё меньше и меньше.

Пример 3 (сложный). Вычислить $\lim\limits_{x\to\infty}\dfrac{x^2}{e^x}$.

Числитель и знаменатель оба стремятся к $\infty$ — неопределённость $\frac{\infty}{\infty}$. Применяем правило один раз:

Получившийся предел снова $\frac{\infty}{\infty}$ (числитель $2x\to\infty$, знаменатель $e^x\to\infty$) — правило Лопиталя можно применить повторно к новому пределу, потому что он сам по себе снова неопределённость нужного вида:

Ответ: $0$. Многократное применение правила — не исключение, а стандартная ситуация: каждый раз, после дифференцирования, нужно заново проверить, осталась ли неопределённость, и если да — применять правило снова, пока она не исчезнет.

Почему это важно

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

Применение к неопределённостям $0/0$ и $\infty/\infty$

Интуиция: сравнение скоростей роста «в моменте»

Смысл правила Лопиталя лучше всего понимать не как формальный алгоритм, а как утверждение про скорости. Когда $x\to a$ и обе функции $f, g$ стремятся к нулю (или обе — к бесконечности), сама по себе информация «числитель мал» и «знаменатель мал» ничего не говорит о том, какая из двух величин мала сильнее. Но если посмотреть, с какой скоростью каждая из них приближается к своему пределу — а скорость это ровно производная — то отношение скоростей и определяет, куда стремится всё отношение целиком. Если числитель «убегает» к нулю (или к бесконечности) быстрее знаменателя, всё отношение уйдёт к нулю (или к бесконечности); если медленнее — отношение будет расти без ограничений (или наоборот, стремиться к конечному ненулевому числу, если скорости сопоставимы).

Теорема (напоминание в практической форме)

Правило Лопиталя (рабочая формулировка). Если при $x\to a$ дробь $\dfrac{f(x)}{g(x)}$ даёт неопределённость $\dfrac00$ или $\dfrac{\infty}{\infty}$, и в окрестности $a$ функции $f, g$ дифференцируемы с $g'(x)\ne0$, то

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

при условии, что предел справа существует (конечный или бесконечный). Точка $a$ может быть конечным числом, $+\infty$ или $-\infty$; предел может быть двусторонним или односторонним.

Разбор примеров

Пример 1 (лёгкий). Вычислить $\lim\limits_{x\to0}\dfrac{1-\cos x}{x^2}$.

При $x\to0$: числитель $1-\cos x \to 0$, знаменатель $x^2\to0$ — $\frac00$. Применяем правило:

Снова $\frac00$ ($\sin x\to0$, $2x\to0$). Применяем ещё раз:

Ответ: $\dfrac12$.

Пример 2 (средний). Вычислить $\lim\limits_{x\to\infty}\dfrac{\ln x}{\sqrt[3]{x}}$.

При $x\to\infty$ обе функции стремятся к $\infty$ — $\frac{\infty}{\infty}$. Запишем $\sqrt[3]{x}=x^{1/3}$ и продифференцируем:

Ответ: $0$. Логарифм проигрывает в скорости роста даже кубическому корню — это иллюстрация общего факта: любая степенная функция $x^\alpha$ с $\alpha>0$, сколь угодно малым, в бесконечности обгоняет $\ln x$.

Пример 3 (сложный). Вычислить $\lim\limits_{x\to\infty} x\bigl(1-\sigma(x)\bigr)$, где $\sigma(x)=\dfrac{1}{1+e^{-x}}$ — стандартная сигмоида, повсеместно используемая как функция активации.

Сначала упростим $1-\sigma(x)$ алгебраически:

(последний переход — домножение числителя и знаменателя на $e^x$). Значит, исходное выражение переписывается как

При $x\to\infty$: числитель $x\to\infty$, знаменатель $1+e^x\to\infty$ — неопределённость $\frac{\infty}{\infty}$. Применяем правило Лопиталя:

Ответ: $0$. Смысл результата для машинного обучения прямой: величина $1-\sigma(x)$ (вероятность «отрицательного» класса при логите $x$) убывает при росте $x$ настолько быстро — экспоненциально, — что даже умножение на неограниченно растущий линейный множитель $x$ не может «вытянуть» произведение прочь от нуля. Это частный случай общего принципа «экспонента побеждает любую степенную функцию», который постоянно всплывает при анализе хвостовых вероятностей в логистической регрессии и в анализе градиентов на «уверенных» предсказаниях сети.

Почему это важно

Именно эти два вида неопределённости, $\frac00$ и $\frac{\infty}{\infty}$, — единственные, к которым правило Лопиталя применяется напрямую. Все остальные виды неопределённостей, которые тебе встретятся дальше в этом уроке, не имеют собственной версии правила — их сначала нужно алгебраически превратить в дробь одного из этих двух видов, и только потом пускать в ход дифференцирование. Понимание того, что правило «заточено» ровно под дробь и ни под что другое, — ключ к тому, чтобы не пытаться применить его напрямую там, где оно формально неприменимо.

Сведение других неопределённостей к $0/0$ и $\infty/\infty$

Интуиция: пять масок одной и той же проблемы

Кроме $\frac00$ и $\frac{\infty}{\infty}$, в анализе встречаются ещё пять классических неопределённостей: $0\cdot\infty$, $\infty-\infty$, $0^0$, $\infty^0$, $1^\infty$. На первый взгляд кажется, что для каждой нужен свой отдельный приём, но на деле все пять — это просто разные маскировки всё той же дроби $\frac00$ или $\frac{\infty}{\infty}$, которая прячется под другой алгебраической записью. Задача не в том, чтобы придумать новую теорию, а в том, чтобы аккуратно снять маску: превратить произведение в дробь, разность — в дробь через общий знаменатель, а степень — в дробь через логарифмирование.

Правила сведения

Схема сведения неопределённостей. 1. $0\cdot\infty$: если $f(x)\to0$, $g(x)\to\infty$, перепиши произведение как дробь: $f(x)g(x) = \dfrac{f(x)}{1/g(x)}$ (получится $\frac00$) или $f(x)g(x)=\dfrac{g(x)}{1/f(x)}$ (получится $\frac{\infty}{\infty}$) — выбирай тот вариант, где после дифференцирования выражение проще.

2. $\infty-\infty$: приведи разность к общему знаменателю или выдели общий множитель — после преобразования обычно получается $\frac00$.

3. $0^0$, $\infty^0$, $1^\infty$ (все три — степенные неопределённости вида $f(x)^{g(x)}$): прологарифмируй. Пусть $y=f(x)^{g(x)}$, тогда $\ln y = g(x)\ln f(x)$ — это уже неопределённость вида $0\cdot\infty$ (сведи её к $\frac00$ или $\frac{\infty}{\infty}$ по пункту 1), найди $\lim \ln y = L$, и тогда искомый предел $y$ равен $e^{L}$ (по непрерывности экспоненты).

Разбор примеров

Пример 1 (лёгкий, $0\cdot\infty$). Вычислить $\lim\limits_{x\to0^+} x\ln x$.

При $x\to0^+$: $x\to0$, а $\ln x \to -\infty$ — произведение $0\cdot(-\infty)$. Перепишем как дробь, поставив $x$ в знаменатель в виде $\frac1x$, чтобы получить $\frac{\infty}{\infty}$:

При $x\to0^+$: числитель $\ln x\to-\infty$, знаменатель $1/x\to+\infty$ — неопределённость $\frac{\infty}{\infty}$. Дифференцируем:

Ответ: $0$.

Пример 2 (средний, степенная неопределённость $0^0$). Вычислить $\lim\limits_{x\to0^+} x^x$.

Обозначим $y=x^x$ и прологарифмируем: $\ln y = x\ln x$. Это ровно предел из примера 1, который мы уже вычислили: $\lim_{x\to0^+} x\ln x = 0$. Значит $\ln y \to 0$, а тогда по непрерывности экспоненты

Ответ: $\lim\limits_{x\to0^+} x^x = 1$. Заметь, насколько нелинейно устроен этот результат: и основание, и показатель стремятся к «безобидному» нулю, но их совместное поведение даёт не ноль, не бесконечность, а строго единицу — ровно поэтому запись $0^0$ и называют неопределённостью, а не просто «ноль в степени ноль равен единице по соглашению» (в матанализе такого соглашения нет, всё решает конкретный предел).

Пример 3 (сложный, неопределённость $1^\infty$). Вычислить $\lim\limits_{n\to\infty}\left(1-\dfrac{2}{n}\right)^n$ — предел, который в теории вероятностей связан с приближением биномиального распределения пуассоновским (вероятность «ни одного события» при среднем числе событий $\lambda=2$).

Обозначим $y=\left(1-\frac2n\right)^n$ и прологарифмируем:

Это неопределённость $\infty\cdot0$ (при $n\to\infty$: $n\to\infty$, а $\ln(1-\frac2n)\to\ln1=0$). Сделаем замену $t=\frac1n\to0^+$, тогда $n=\frac1t$:

Неопределённость $\frac00$. Дифференцируем по $t$ (числитель дифференцируем по правилу производной сложной функции: $\frac{d}{dt}\ln(1-2t) = \frac{-2}{1-2t}$):

Значит $\ln y \to -2$, откуда $y\to e^{-2}$.

Ответ: $\lim\limits_{n\to\infty}\left(1-\dfrac2n\right)^n = e^{-2}$. Это не абстрактная гимнастика: ровно такая же выкладка с общим параметром $\lambda$ вместо $2$ доказывает знаменитый факт $\left(1-\frac{\lambda}{n}\right)^n \to e^{-\lambda}$, на котором держится связь между биномиальным и пуассоновским распределениями, а по касательной — и анализ поведения экспоненциально убывающего расписания скорости обучения (learning rate decay) при устремлении числа шагов к бесконечности.

Почему это важно

Умение узнавать в незнакомой на вид неопределённости одну из этих пяти масок — то, что отличает механическое применение правила от действительного понимания. Ни разность $\infty-\infty$, ни произведение $0\cdot\infty$, ни степень $1^\infty$ сама по себе не является дробью, а значит, правило Лопиталя к ней напрямую неприменимо — сначала обязательно алгебраическое преобразование, и только потом дифференцирование. Пропуск этого шага — источник значительной доли ошибок при первом знакомстве с темой.

Условия применимости и типичные ловушки

Интуиция: правило — это не кнопка «продифференцировать и дальше»

Самая опасная иллюзия, которая формируется после нескольких удачно решённых примеров, — мысль «если в пределе есть дробь, всегда можно продифференцировать числитель и знаменатель по отдельности, и предел не изменится». Это неверно почти во всех случаях, кроме тех, что явно описаны теоремой. Правило Лопиталя — узкоспециализированный инструмент, работающий только при выполнении конкретных условий, и каждое из них может нарушиться независимо от остальных.

Теорема-напоминание с явным перечнем условий

Условия применимости правила Лопиталя.

1. Предел $\lim\limits_{x\to a}\dfrac{f(x)}{g(x)}$ действительно даёт неопределённость $\dfrac00$ или $\dfrac{\infty}{\infty}$ — это нужно проверить в первую очередь и на каждом шаге повторного применения.
2. Функции $f$ и $g$ дифференцируемы в проколотой окрестности точки $a$.
3. $g'(x)\ne0$ в этой окрестности (не считая, возможно, самой точки $a$).
4. Предел $\lim\limits_{x\to a}\dfrac{f'(x)}{g'(x)}$ существует — конечный или бесконечный. Если этот предел не существует (например, колеблется), правило Лопиталя ничего не говорит об исходном пределе: он может как существовать, так и нет, и нужно искать другой метод.

Обрати особое внимание на пункт 4: правило Лопиталя — это утверждение вида «если предел отношения производных существует, то предел исходной дроби существует и равен ему», а не эквивалентность в обе стороны. Из того, что $\lim \frac{f'}{g'}$ не существует, никак не следует, что не существует и $\lim \frac{f}{g}$ — просто в этом случае правило неприменимо и нужно искать другой путь.

Разбор примеров

Пример 1 (лёгкий — ловушка «мнимой неопределённости»). Найти $\lim\limits_{x\to2}\dfrac{x^2-1}{x-3}$.

Подставим $x=2$ напрямую, прежде чем что-либо дифференцировать: числитель $2^2-1=3$, знаменатель $2-3=-1$. Это не неопределённость — обычная дробь с конечным числителем и ненулевым знаменателем, значит предел просто равен значению функции в точке:

Ответ: $-3$. Если бы кто-то машинально продифференцировал числитель и знаменатель, не проверив условие 1, получил бы $\lim_{x\to2}\frac{2x}{1} = 4$ — совершенно неверный ответ. Правило Лопиталя тут попросту неприменимо, потому что нет никакой неопределённости, которую нужно раскрывать.

Пример 2 (средний — ловушка «непроверенное повторное применение»). Найти $\lim\limits_{x\to0}\dfrac{x^2+x}{\sin x}$ и объяснить, почему после одного применения правила дальнейшее дифференцирование недопустимо.

При $x\to0$: числитель $0^2+0=0$, знаменатель $\sin0=0$ — $\frac00$, правило применимо. Дифференцируем один раз:

Теперь проверяем условие 1 заново, для нового предела: при $x\to0$ числитель $2\cdot0+1=1$, знаменатель $\cos0=1$ — это уже не неопределённость, а обычная дробь. Значит дальше дифференцировать нельзя и не нужно — подставляем напрямую:

Ответ: $1$. Классическая ошибка здесь — продолжить механически дифференцировать числитель и знаменатель ещё раз (получив $\frac{2}{-\sin x}$), что при $x\to0$ даёт деление на ноль и совершенно неверный вывод о том, что предел бесконечен. Правило Лопиталя разрешает дифференцировать только пока сохраняется неопределённость — как только она исчезла, дальнейшее дифференцирование не имеет отношения к исходной задаче.

Пример 3 (сложный, ML — независимость дифференцирования числителя и знаменателя). Объяснить на примере $\lim\limits_{x\to\infty}\dfrac{\ln(1+e^{2x})}{\ln(1+e^{x})}$ (сравнение асимптотик двух softplus-функций с разным «наклоном» — такие выражения встречаются при сравнении скорости насыщения двух нейронов с разными весами), почему производную числителя и знаменателя здесь нужно брать по отдельности, а не по правилу производной частного.

При $x\to\infty$ оба логарифма стремятся к $+\infty$ — неопределённость $\frac{\infty}{\infty}$. Правило Лопиталя предписывает продифференцировать числитель $f(x)=\ln(1+e^{2x})$ отдельно и знаменатель $g(x)=\ln(1+e^x)$ отдельно — это две независимые операции, никак не связанные формулой производной частного $\left(\frac fg\right)' = \frac{f'g-fg'}{g^2}$, которая вычисляла бы производную всей дроби целиком, а не то, что нужно правилу:

Составляем отношение производных:

При $x\to\infty$: $\frac{2e^{2x}}{1+e^{2x}} \to 2$ (числитель и знаменатель одного порядка роста), а $\frac{1+e^x}{e^x} = \frac{1}{e^x}+1 \to 1$. Значит всё произведение стремится к $2\cdot1=2$.

Ответ: $\lim\limits_{x\to\infty}\dfrac{\ln(1+e^{2x})}{\ln(1+e^x)} = 2$ — при больших $x$ числитель растёт вдвое быстрее знаменателя (что интуитивно понятно: $\ln(1+e^{2x}) \approx 2x$, а $\ln(1+e^x)\approx x$ при больших $x$). Если бы кто-то по ошибке применил формулу производной частного к дроби $\frac{f(x)}{g(x)}$ целиком вместо раздельного дифференцирования $f$ и $g$, результат получился бы совершенно другим и никак не связанным с правилом Лопиталя — это одна из самых частых и самых обидных технических ошибок в этой теме.

Почему это важно

Условия применимости — не бюрократическая формальность, придуманная, чтобы усложнить жизнь студенту, а прямое следствие того, что правило Лопиталя выведено из теоремы Коши, а не постулировано произвольно. Каждое условие теоремы Коши (дифференцируемость, ненулевая производная знаменателя) переходит в условие правила Лопиталя без изменений, и нарушение любого из них рвёт цепочку доказательства, приведённого в первом разделе этого урока.

Практика: 30 заданий

Базовые задания (1–10)

Задание 1: Вычислить $\lim\limits_{x\to0}\dfrac{e^x-1}{x}$.

Задание 2: Вычислить $\lim\limits_{x\to0}\dfrac{\sin 5x}{x}$.

Задание 3: Вычислить $\lim\limits_{x\to1}\dfrac{x^2-1}{x-1}$.

Задание 4: Вычислить $\lim\limits_{x\to\infty}\dfrac{\ln x}{x}$.

Задание 5: Вычислить $\lim\limits_{x\to0}\dfrac{\tan x}{x}$.

Задание 6: Вычислить $\lim\limits_{x\to2}\dfrac{x^3-8}{x-2}$.

Задание 7: Вычислить $\lim\limits_{x\to\infty}\dfrac{x}{e^x}$.

Задание 8: Вычислить $\lim\limits_{x\to0}\dfrac{3^x-1}{x}$.

Задание 9: Вычислить $\lim\limits_{x\to0}\dfrac{\sin 3x}{\sin 2x}$.

Задание 10: Вычислить $\lim\limits_{x\to2}\dfrac{x^2-1}{x-3}$ и объяснить, применимо ли здесь правило Лопиталя.

Средние задания (11–20)

Задание 11: Вычислить $\lim\limits_{x\to\infty}\dfrac{x^2}{e^x}$.

Задание 12: Вычислить $\lim\limits_{x\to0}\dfrac{1-\cos x}{x^2}$.

Задание 13: Вычислить $\lim\limits_{x\to0}\dfrac{x-\sin x}{x^3}$.

Задание 14: Вычислить $\lim\limits_{x\to0^+} x\ln x$.

Задание 15: Вычислить $\lim\limits_{x\to0}\left(\dfrac1x - \dfrac{1}{\sin x}\right)$.

Задание 16: Вычислить $\lim\limits_{x\to\pi/2}\dfrac{1-\sin x}{\cos^2 x}$.

Задание 17: Вычислить $\lim\limits_{x\to\infty}\dfrac{\ln x}{\sqrt[3]{x}}$.

Задание 18: Вычислить $\lim\limits_{x\to0}\dfrac{e^x-1-x}{x^2}$.

Задание 19 (ML): Сигмоида задана как $\sigma(x)=\dfrac{1}{1+e^{-x}}$. Вычислить $\lim\limits_{x\to\infty} x\bigl(1-\sigma(x)\bigr)$ и объяснить смысл результата.

Задание 20: Вычислить $\lim\limits_{x\to\infty}\left(1+\dfrac2x\right)^x$.

Продвинутые задания (21–30)

Задание 21: Вычислить $\lim\limits_{x\to0^+} x^x$.

Задание 22: Вычислить $\lim\limits_{x\to\infty} x^{1/x}$.

Задание 23: Вычислить $\lim\limits_{x\to\infty}\left(1+\dfrac1x\right)^x$ и доказать тем самым, что этот классический предел равен числу $e$.

Задание 24 (ML/теория вероятностей): Вычислить $\lim\limits_{n\to\infty}\left(1-\dfrac2n\right)^n$ — предел, связывающий биномиальное распределение с распределением Пуассона при среднем числе событий $\lambda=2$.

Задание 25: Вычислить $\lim\limits_{x\to0}(\cos x)^{1/x^2}$.

Задание 26 (ML, softplus): Функция $\text{softplus}(x)=\ln(1+e^x)$ — гладкое приближение ReLU. Вычислить $\lim\limits_{x\to\infty}\bigl(\ln(1+e^x) - x\bigr)$.

Задание 27 (ML, log-sum-exp и температура softmax): При температуре $T\to0^+$ softmax стремится к операции argmax. Вычислить $\lim\limits_{T\to0^+} T\ln\left(e^{2/T}+1\right)$ — это упрощённая модель log-sum-exp для двух логитов $2$ и $0$ с температурой $T$.

Задание 28: Вычислить $\lim\limits_{x\to0}\dfrac{\sin x - x\cos x}{x^3}$.

Задание 29: Вычислить $\lim\limits_{x\to\infty}\dfrac{x^4}{e^x}$ и убедиться в общем принципе «экспонента побеждает любую степень».

Задание 30 (ловушка на проверку условий): Вычислить $\lim\limits_{x\to0}\dfrac{x^2+x}{\sin x}$ и явно объяснить, почему после первого применения правила Лопиталя его нельзя применять повторно.

Частые ошибки

Ошибка 1. Применяют правило Лопиталя, не проверив, что предел действительно даёт неопределённость $\frac00$ или $\frac{\infty}{\infty}$.

Как выглядит: видят дробь в пределе и сразу дифференцируют числитель и знаменатель, не подставив предварительно предельное значение аргумента.

Почему возникает: правило кажется универсальным способом упростить любую дробь под знаком предела, а не специализированным инструментом именно для неопределённостей.

Как правильно: всегда первым шагом — прямая подстановка предельного значения в числитель и знаменатель по отдельности. Только если оба стремятся к нулю или оба к бесконечности, переходить к дифференцированию (см. задание 10, где эта проверка спасает от неверного ответа).

Ошибка 2. После одного применения правила не проверяют, сохранилась ли неопределённость, и дифференцируют дальше «на автомате».

Как выглядит: правило применяется два, три раза подряд без остановки, хотя уже после первого шага неопределённость исчезла.

Почему возникает: многократное применение правила действительно часто нужно (см. задания 11–13, 25, 29), и это создаёт привычку продолжать дифференцировать, не глядя.

Как правильно: после каждого применения правила заново подставлять предельное значение в новую дробь и проверять, неопределённость ли это всё ещё. Как только неопределённость исчезла — останавливаться и подставлять напрямую (задание 30 — образцовый пример такой проверки).

Ошибка 3. Дифференцируют числитель и знаменатель не по отдельности, а как единую дробь по правилу производной частного.

Как выглядит: вместо того чтобы найти $f'(x)$ и $g'(x)$ раздельно и составить новую дробь $\frac{f'(x)}{g'(x)}$, вычисляют производную всего выражения $\left(\frac{f(x)}{g(x)}\right)'$ по формуле $\frac{f'g-fg'}{g^2}$.

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

Как правильно: держать в голове, что правило Лопиталя оперирует двумя новыми, независимо построенными функциями $f'(x)$ и $g'(x)$, а вовсе не производной исходной дроби целиком (задание 30 в теоретическом разделе про условия применимости разбирает это явно на примере softplus-функций).

Ошибка 4. Пытаются применить правило Лопиталя напрямую к неопределённостям $0\cdot\infty$, $\infty-\infty$, $0^0$, $\infty^0$, $1^\infty$, не приведя их предварительно к виду дроби.

Как выглядит: видят произведение $x\ln x$ или степень $x^x$ и сразу пытаются «продифференцировать» это выражение целиком, как будто это уже дробь.

Почему возникает: по названию все семь неопределённостей воспринимаются как одна большая категория «плохих пределов», и не всегда очевидно, что правило работает только с одним конкретным алгебраическим форматом — дробью.

Как правильно: сначала обязательно алгебраическое преобразование — превратить произведение в дробь, разность привести к общему знаменателю, степень прологарифмировать — и только затем, если получившаяся дробь действительно $\frac00$ или $\frac{\infty}{\infty}$, применять правило (см. схему сведения и примеры в соответствующем разделе).

Ошибка 5. Забывают вернуться от логарифма к исходному пределу в задачах со степенными неопределённостями.

Как выглядит: корректно логарифмируют, применяют правило Лопиталя, получают верный предел логарифма — и на этом останавливаются, вместо того чтобы ещё раз возвести $e$ в найденную степень.

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

Как правильно: если решается $\lim y = \lim f(x)^{g(x)}$ через $\ln y$, финальный ответ — это не $\lim \ln y$, а $e^{\lim \ln y}$ (см. задания 21–25, где этот шаг явно прописан отдельной строкой).

Ошибка 6. Не проверяют условие $g'(x)\ne0$ в окрестности точки и применяют правило там, где производная знаменателя обнуляется бесконечно часто вблизи предельной точки.

Как выглядит: для функций с осциллирующим поведением (например, содержащих $\sin\frac1x$) правило применяется без всякой оговорки о поведении $g'$ рядом с точкой.

Почему возникает: условие про $g'(x)\ne0$ выглядит технической мелочью на фоне более заметного условия «неопределённость $\frac00$ или $\frac{\infty}{\infty}$», и его легко упустить из виду.

Как правильно: для стандартных функций курса (многочлены, тригонометрия, экспонента, логарифм) это условие почти всегда выполняется автоматически в достаточно малой окрестности, но при встрече с более экзотическими функциями стоит явно убедиться, что знаменатель производной не обращается в ноль бесконечно часто рядом с предельной точкой — иначе теорема Коши, на которой держится правило, попросту неприменима.

Главное запомнить

• Формулировка: если $\lim\limits_{x\to a}\dfrac{f(x)}{g(x)}$ даёт неопределённость $\dfrac00$ или $\dfrac{\infty}{\infty}$, и $f, g$ дифференцируемы с $g'(x)\ne0$ в окрестности $a$, то $\lim\limits_{x\to a}\dfrac{f(x)}{g(x)} = \lim\limits_{x\to a}\dfrac{f'(x)}{g'(x)}$, при условии что предел справа существует.

• Правило выводится напрямую из теоремы Коши: доопределив $f(a)=g(a)=0$, отношение $\frac{f(x)}{g(x)}$ совпадает с $\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(c)}{g'(c)}$ для некоторой точки $c$ между $a$ и $x$, а при $x\to a$ и $c\to a$.

• Первый и обязательный шаг любого применения правила — прямая подстановка предельного значения, чтобы убедиться, что перед тобой действительно неопределённость $\frac00$ или $\frac{\infty}{\infty}$, а не обычная дробь.

• Числитель и знаменатель дифференцируются независимо друг от друга, а не по формуле производной частного — это две отдельные функции $f'(x)$ и $g'(x)$, составляющие новую дробь.

• Правило можно применять повторно, но после каждого применения нужно заново проверять, сохранилась ли неопределённость в новом пределе; как только она исчезла — дальше подставлять напрямую, а не дифференцировать вслепую.

• Неопределённости $0\cdot\infty$ и $\infty-\infty$ сводятся к $\frac00$ или $\frac{\infty}{\infty}$ через алгебраическое преобразование в дробь (общий знаменатель, перенос множителя в знаменатель как $\frac{1}{1/g}$).

• Степенные неопределённости $0^0$, $\infty^0$, $1^\infty$ сводятся через логарифмирование: $y=f(x)^{g(x)} \Rightarrow \ln y = g(x)\ln f(x)$ — новая неопределённость $0\cdot\infty$, а итоговый ответ — $e^{\lim \ln y}$, а не сам $\lim \ln y$.

• Классический факт «экспонента побеждает любую степень» ($\lim_{x\to\infty} x^n/e^x=0$) и «логарифм проигрывает любой положительной степени» ($\lim_{x\to\infty}\ln x/x^\alpha=0$) — прямые следствия многократного применения правила Лопиталя.

• В ML правило объясняет, почему хвост сигмоиды затухает быстрее любого полиномиального множителя ($x(1-\sigma(x))\to0$) и почему log-sum-exp при температуре $T\to0$ стремится к максимуму логитов — математическая основа перехода softmax к жёсткому argmax.

• Правило не работает в обратную сторону: из несуществования $\lim \frac{f'}{g'}$ не следует несуществование $\lim \frac{f}{g}$ — оно просто не даёт в этом случае никакой информации, и нужен другой метод.

Связь с другими темами курса

Что нужно было знать до этого урока

Этот урок целиком стоит на фундаменте теоремы Коши о среднем значении (урок 191) — доказательство правила Лопиталя для случая $\frac00$, разобранное здесь, является прямым и коротким следствием этой теоремы, а сама теорема Коши, в свою очередь, обобщает теорему Лагранжа. Также используются понятия предела функции, односторонних и бесконечных пределов из блока уроков про пределы, определение производной и таблица производных элементарных функций, выведенные в уроках о строгом определении производной, а замечательные пределы иногда служат альтернативным способом проверки результата (как в задании 28).

Что изучить дальше

В следующем уроке, 193 «Формула Тейлора», ты увидишь ещё один, часто более мощный инструмент для анализа поведения функций вблизи точки — разложение в ряд по степеням $(x-a)$. Формула Тейлора не заменяет правило Лопиталя, а дополняет его: для некоторых сложных пределов (особенно там, где нужно несколько применений Лопиталя подряд) быстрее выписать несколько первых членов ряда Тейлора для числителя и знаменателя и сразу увидеть главный порядок роста, чем дифференцировать раз за разом. Дальше в курсе правило Лопиталя пригодится и при исследовании функций на экстремумы вблизи критических точек, и при анализе асимптотик в задачах оптимизации.

Где это нужно в жизни

🤖 ML/AI. Анализ асимптотического поведения сигмоиды и softmax на границах области логитов (задания 19, 27), обоснование затухания «хвостовых» вероятностей и связанной с этим проблемы насыщения градиента, вывод предельного перехода softmax к argmax при температуре, стремящейся к нулю, доказательство того, что softplus сходится к ReLU при больших положительных аргументах (задание 26).

📊 Теория вероятностей и статистика. Предельный переход от биномиального распределения к пуассоновскому (задание 24) и от биномиального к нормальному — оба используют пределы вида $1^\infty$, раскрываемые ровно тем же методом логарифмирования и правила Лопиталя.

🔬 Физика и инженерия. Анализ предельного поведения физических моделей при экстремальных значениях параметров — например, поведение релятивистских формул при скоростях, стремящихся к скорости света, часто сводится к неопределённостям, раскрываемым правилом Лопиталя.

💰 Экономика. Сравнение темпов роста двух экономических показателей (выручки, издержек, инфляции) в долгосрочной перспективе — вопрос «что растёт быстрее» в пределе при $t\to\infty$ — это, вообще говоря, ровно неопределённость $\frac{\infty}{\infty}$, раскрываемая тем же способом.

Интересные факты

• Правило Лопиталя — редкий в истории математики случай, когда сам процесс присвоения авторства зафиксирован документально предельно ясно: контракт между Лопиталем и Бернулли сохранился, и сумма ежегодного вознаграждения (около 300 франков) известна с точностью, которая для многих математических открытий XVII века попросту недостижима.

• В 1922 году математик Джордж Пойа заметил, что фраза «раз Бернулли получал деньги за передачу авторства, значит, интеллектуальная собственность в математике продавалась и покупалась ещё за триста лет до патентного права» — наблюдение, которое до сих пор всплывает в спорах об этике научного цитирования.

• Правило Лопиталя формально применимо и к пределам, где $a=+\infty$ или $a=-\infty$ — при этом переменная $x$ ведёт себя ровно так же, как и при конечном $a$, просто «окрестность точки $a$» превращается в «достаточно большие значения $x$»; студенты часто интуитивно ожидают, что для бесконечно удалённых точек понадобится какая-то особая версия правила, но формулировка не меняется вовсе.

• Хотя правило носит имя Лопиталя уже больше трёхсот лет, само доказательство через теорему Коши, которое используется в современных учебниках (и в этом уроке), появилось значительно позже оригинальной публикации 1696 года — Коши сформулировал свою теорему о среднем значении лишь в 1820-х годах, то есть правило успело просуществовать больше столетия без строгого доказательства в современном виде, опираясь на менее формальные рассуждения через бесконечно малые.

Лайфхаки и полезные трюки

1. Всегда начинай с прямой подстановки, даже если задача явно про Лопиталя. Первая же строчка решения — это не дифференцирование, а проверка того, что перед тобой действительно $\frac00$ или $\frac{\infty}{\infty}$ (задания 10 и 30 показывают, к чему приводит пропуск этого шага).

2. После каждого применения правила заново «обнуляй счётчик» и проверяй условие неопределённости с нуля, как будто видишь дробь впервые — не полагайся на память о том, что «предыдущая была неопределённостью, значит и эта тоже».

3. Для степенных неопределённостей ($0^0$, $\infty^0$, $1^\infty$) сразу пиши $y=\ldots$, логарифмируй и решай для $\ln y$ — это устраняет соблазн попытаться применить Лопиталя напрямую к степени, что бессмысленно, ведь степень — не дробь.

4. Если после логарифмирования и одного применения Лопиталя предел логарифма получился «некрасивым», проверь алгебраическое упрощение перед логарифмированием — часто саму степень или основание можно сначала упростить (как $1-\sigma(x)=\frac{1}{1+e^x}$ в задании 19), и это сильно облегчает последующее дифференцирование.

5. Перед тем как дифференцировать в третий-четвёртый раз, задай себе вопрос: а нет ли более короткого пути — известного замечательного предела, алгебраического сокращения или разложения на множители (как в задании 3, где Лопиталь и обычная факторизация дают один и тот же ответ за разное число шагов).

6. Держи в уме два опорных факта — «экспонента побеждает степень» и «логарифм проигрывает степени» — они настолько часто встречаются как строительные блоки более сложных пределов, что их полезно помнить как готовые результаты, а не пересчитывать каждый раз с нуля.

7. Замена переменной вида $t=\frac1x$ при $x\to\infty$ или $x\to0$ часто превращает неудобный предел на бесконечности в знакомый предел при $t\to0$, где легче видеть, какая функция дифференцируется — этим приёмом стоит пользоваться в задачах $1^\infty$ (задания 20, 23, 24) и в задачах вида $x\to\infty$ с логарифмами (задание 27).

Правило Лопиталя — это не просто ещё одна формула в длинном списке того, что нужно выучить, а прямое и наглядное продолжение всего, что ты изучал последние несколько уроков: теорема Коши перестаёт быть абстрактным утверждением про две функции на отрезке и превращается в рабочий инструмент, который раскрывает неопределённости за пару строк там, где раньше требовались геометрические ухищрения или долгая алгебра. Дальше в курсе, когда ты столкнёшься с асимптотикой функций потерь, с поведением softmax при экстремальных логитах или с доказательствами сходимости оптимизационных алгоритмов, ты почти наверняка снова наткнёшься на неопределённость $\frac00$ или $\frac{\infty}{\infty}$ — и теперь у тебя есть строгий, проверенный инструмент, чтобы с ней справиться, а не гадать на глаз, куда стремится дробь.