En càlcul (matemàtiques), la regla de L'Hôpital és un teorema utilitzat principalment per determinar límits que d'altra manera foren complicats de calcular. Es pot aplicar si es tracta de cercar un límit d'un quocient entre dues funcions contínues,
, el numerador i denominador del qual tendeixen a zero (infinitèsims) o bé el denominador, a l'infinit. Per calcular el límit es deriva independentment el numerador i el denominador i es determina el límit del quocient entre aquestes derivades. Si el límit existeix, la regla afirma que coincidirà amb el límit de
.
Simbòlicament, si
o bé
o
i
i
són dues funcions derivables en un interval d'extrem
i
en tot punt d'aquest interval, i a més es té
, on
o bé
o ![{\displaystyle l=+\infty }](//wikimedia.org/api/rest_v1/media/math/render/svg/231772c766446fd53784b147c754564aec6dfa90)
![{\displaystyle {\begin{cases}\lim _{x\to c}{f(x)}=\lim _{x\to c}g(x)=0\\{\mbox{o}}\\\lim _{x\to c}{|g(x)|}=+\infty \end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/8ddb80314c0b9adf039d389969fe8b1c8068015a)
llavors,
![{\displaystyle \lim _{x\to c}{f(x) \over g(x)}=l.}](//wikimedia.org/api/rest_v1/media/math/render/svg/fa249dc2c0ea9b8526862a9d127a1b74e05a680a)
- Observació: per a l'aplicació de la regla, cal que el límit
existeixi, i no sempre és així; en aquest últim cas, la regla de L'Hôpital no podria ser aplicada, però això no significa que tampoc existeixi el límit de
.
Aquesta regla rep el seu nom en honor del matemàtic francès del segle xvii Guillaume François Antoine, Marquès de l'Hôpital (1661-1704), qui donà a conèixer la regla en la seva obra Analyse des infiniment petits pour l'intelligence des lignes courbes (1696), el primer text que s'ha escrit sobre càlcul diferencial. De tota manera, hom atribueix gran part del contingut d'aquest llibre (i aquest teorema en particular) a Johann Bernoulli, que tingué a L'Hôpital com alumne.
- Exemple de resolució d'una indeterminació
:
![{\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}=\lim _{x\to 0}{\frac {\cos x}{1}}={\frac {1}{1}}=1}](//wikimedia.org/api/rest_v1/media/math/render/svg/ff1176fdfd5d3804c2ae4cfcc5e2763cb115d405)
- Observació: Aquest límit en particular és usat normalment per a demostrar que la derivada de
és
, de manera que no podríem aplicar la regla de L'Hôpital perquè encara no se sabria derivar el numerador.
- Un altre exemple de resolució d'una indeterminació
. L'aplicació de la regla una sola vegada no resoldria el problema, ja que torna a sortir una indeterminació
. Per resoldre el límit, cal aplicar la regla successivament fins a tres vegades:
![{\displaystyle \lim _{x\to 0}{2\sin x-\sin 2x \over x-\sin x}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ce065034ad5bc4417caae6249dcaf4ba7e05dec7)
![{\displaystyle =\lim _{x\to 0}{2\cos x-2\cos 2x \over 1-\cos x}}](//wikimedia.org/api/rest_v1/media/math/render/svg/aa0a5f9aa85678371029e6c76a274127549717e0)
![{\displaystyle =\lim _{x\to 0}{-2\sin x+4\sin 2x \over \sin x}}](//wikimedia.org/api/rest_v1/media/math/render/svg/790599a8c2dfbdf938327969e800f63ca5eb44c9)
![{\displaystyle =\lim _{x\to 0}{-2\cos x+8\cos 2x \over \cos x}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ffa0012038719ec18015647cb1c1905f025a2a71)
![{\displaystyle ={-2\cos 0+8\cos 0 \over \cos 0}=6.}](//wikimedia.org/api/rest_v1/media/math/render/svg/df499f31dd9986d5edd1d3873927b060f90ff533)
- I un tercer exemple amb
.
![{\displaystyle \lim _{x\to 0}{e^{x}-1-x \over x^{2}}=\lim _{x\to 0}{e^{x}-1 \over 2x}=\lim _{x\to 0}{e^{x} \over 2}={1 \over 2}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/4759b8e31a052aafa8fb17f1d525a5a4f8a904db)
- Exemple de resolució d'una indeterminació
:
![{\displaystyle \lim _{x\to \infty }{\frac {\sqrt {x}}{\ln(x)}}=\lim _{x\to \infty }{\frac {\ 1/(2{\sqrt {x}}\,)\ }{1/x}}=\lim _{x\to \infty }{\frac {\sqrt {x}}{2}}=\infty .}](//wikimedia.org/api/rest_v1/media/math/render/svg/bdbb866e4df1c1b298ca1d43f5e57f9e795c2e4f)
- Un altre exemple amb
.
- On
és un enter positiu.
![{\displaystyle \lim _{x\to \infty }x^{n}e^{-x}=\lim _{x\to \infty }{x^{n} \over e^{x}}=\lim _{x\to \infty }{nx^{n-1} \over e^{x}}=n\lim _{x\to \infty }{x^{n-1} \over e^{x}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/fe273901c94ae819da0e19307fc1832164858c48)
- Cal aplicar la regla successivament fins que l'exponent és 0. Llavors hom veu que el límit val 0.
- Un altre exemple amb
.
![{\displaystyle \lim _{x\to 0+}x\ln x=\lim _{x\to 0+}{\ln x \over 1/x}=\lim _{x\to 0+}{1/x \over -1/x^{2}}=\lim _{x\to 0+}-x=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/ff1f609baf6a0c7a4be0bce1cbac0d74e0c2c415)
- I encara un últim exemple.
![{\displaystyle \lim _{t\to 0}{\frac {\sin \left(\pi f_{0}t\right)\cos \left(\pi \alpha f_{0}t\right)}{\pi f_{0}t\left[1-\left(2\alpha f_{0}t\right)^{2}\right]}}={\frac {\pi f_{0}}{\pi f_{0}}}=1.}](//wikimedia.org/api/rest_v1/media/math/render/svg/6971b5ae2839a6ad280795922c43e876afcc5a8b)
En aquesta demostració, s'usa el teorema del valor mitjà de Cauchy. Sota la resta d'hipòtesis del teorema, es consideren, per separat els casos
i
.
1) Cas amb
:
En primer lloc, es redefineixen contínuament les ordenades de les funcions
i
en el punt
per
. Això no canvia el límit car el valor de la imatge del punt no canvia el valor del seu límit (per definició de límit).
Segons el teorema del valor mitjà de Cauchy existeix una constant
en
tal que:
![{\displaystyle {f'(\xi ) \over g'(\xi )}={f(c+h)-f(c) \over g(c+h)-g(c)}}](//wikimedia.org/api/rest_v1/media/math/render/svg/dca0d5b2ae1b37327a31858a09de75569e9caef8)
Com que
,
![{\displaystyle {f'(\xi ) \over g'(\xi )}={f(c+h) \over g(c+h)}}](//wikimedia.org/api/rest_v1/media/math/render/svg/cd2ec721891cc5260c4509b90e1c4bcebe8068bc)
Si
, llavors
i
![{\displaystyle \lim _{x\to c}{f'(x) \over g'(x)}=\lim _{h\to 0}{f'(\xi ) \over g'(\xi )}=\lim _{h\to 0}{f(c+h) \over g(c+h)}=\lim _{x\to c}{f(x) \over g(x)}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d68357591a9c73a3bf0341b69a95009bd18f9710)
2) Cas amb
:
Sigui
. Llavors, usant el teorema de valor mitjà de Cauchy:
![{\displaystyle {f'(\xi ) \over g'(\xi )}={f(x)-f(y) \over g(x)-g(y)}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d0c389ab338840b4dbdd778a3cc353dac59b1582)
Expressió que es pot reescriure com
![{\displaystyle {f(x) \over g(x)}={g(y) \over g(x)}+\left[1-{g(y) \over g(x)}\right]{f'(\xi ) \over g'(\xi )}}](//wikimedia.org/api/rest_v1/media/math/render/svg/087ff36b427085f6521f1b26596ee00ff3921d4f)
i d'aquí es doden diferenciar els tres casos:
![{\displaystyle {\begin{cases}\lim _{x\to c}{f'(x) \over g'(x)}=0\\\\\lim _{x\to c}{f'(x) \over g'(x)}=B\in \mathbb {R} \\\\\lim _{x\to c}{f'(x) \over g'(x)}=\pm \infty \end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c4f07b7e4e458febb65ea7bbc6628cbaa3380f60)
Noteu que el límit de
tendeix al mateix quan
que quan
.
Tot i que la regla de L'Hôpital és una bona eina per al càlcul de límits, no sempre és la més fàcil. Per exemple, alguns límits poden ser més fàcils de resoldre amb la descomposició en sèrie de Taylor, per exemple,
![{\displaystyle \lim _{|x|\to \infty }x\sin {1 \over x}=\lim _{|x|\to \infty }x\left({1 \over x}-{1 \over x^{3}\cdot 3!}+{1 \over x^{5}\cdot 5!}-\cdots \right)\;}](//wikimedia.org/api/rest_v1/media/math/render/svg/00885747396d894dd3d81101d91d3efcc2e94444)
![{\displaystyle =\lim _{|x|\to \infty }1-{1 \over x^{2}\cdot 3!}+{1 \over x^{4}\cdot 5!}-\cdots \;=\;1\quad }](//wikimedia.org/api/rest_v1/media/math/render/svg/0632fc844a9042dc34e94098eefc1a0037bae6ed)