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

Теорема Лопита́ля (также правило Бернулли — Лопиталя^[1]) — метод нахождения пределов функций, раскрывающий неопределённости вида $0/0$ и $\infty /\infty$ . Обосновывающая метод теорема утверждает, что при некоторых условиях предел отношения функций равен пределу отношения их производных.

Точная формулировка[править | править код]

Теорема Лопиталя:

Если:

$\lim _{x\to a}{f(x)}=\lim _{x\to a}{g(x)}=0$ или $\infty$ ;
$f(x)$ и $g(x)$ дифференцируемы в окрестности $a$ ;
$g'(x)\neq 0$ в окрестности $a$ ;
существует $\lim \limits _{x\to a}{\frac {f'(x)}{g'(x)}}$ ;

то существует $\lim \limits _{x\to a}{\frac {f(x)}{g(x)}}=\lim \limits _{x\to a}{\frac {f'(x)}{g'(x)}}$ .

Пределы также могут быть односторонними.

История[править | править код]

Способ раскрытия такого рода неопределённостей был опубликован в учебнике «Analyse des Inﬁniment Petits» 1696 года за авторством Гийома Лопиталя. Метод был сообщён Лопиталю в письме его первооткрывателем Иоганном Бернулли.^[2]

Примеры[править | править код]

$\lim _{x\to 0}{\frac {x^{2}+5x}{3x}}=\lim _{x\to 0}{\frac {2x+5}{3}}={\frac {5}{3}}$

$\lim _{x\to \infty }{\frac {x^{3}+4x^{2}+7x+9}{x^{3}+3x^{2}}}=\lim _{x\to \infty }{\frac {3x^{2}+8x+7}{3x^{2}+6x}}=\lim _{x\to \infty }{\frac {6x+8}{6x+6}}={\frac {6}{6}}=1$
Здесь можно применить правило Лопиталя 3 раза, а можно поступить иначе. Нужно разделить и числитель, и знаменатель на $x$ в наибольшей степени(в нашем случае $x^{3}$ ). В этом примере получается:
$\lim _{x\to \infty }{\frac {1+4/x+7/x^{2}+9/x^{3}}{1+3/x}}={\frac {1}{1}}=1$
$\lim _{x\to +\infty }{\frac {e^{x}}{x^{a}}}=\lim _{x\to +\infty }{\frac {e^{x}}{a\cdot x^{a-1}}}=\ldots =\lim _{x\to +\infty }{\frac {e^{x}}{a!}}=+\infty$ — применение правила $a$ раз;
$\lim _{x\to +\infty }{\frac {x^{a}}{\ln {x}}}=\lim _{x\to +\infty }{\frac {ax^{a-1}}{\frac {1}{x}}}=a\cdot \lim _{x\to +\infty }{x^{a}}=+\infty$ при $a>0$ .