Guillaume de l’Hôpital, jonka mukaan l’Hôpitalin sääntö on nimetty.
Johann Bernoulli, jonka uskotaan kehittäneen l’Hôpitalin säännön.
**L’Hôpitalin sääntö** (joskus muodossa **l’Hospitalin**) on 1600-luvun lopulla kehitetty, ranskalaisen matemaatikon Guillaume de l’Hôpitalin mukaan nimetty matemaattinen menetelmä, jossa epämääräistä muotoa olevia raja-arvoja laskettaessa käytetään apuna derivaattaa. L’Hôpital julkaisi säännön vuonna 1696 kirjassaan *Analyse des Infiniment Petits pour l’Intelligence des Lignes Courbes*. L’Hôpitalin säännön on itse asiassa kehittänyt l’Hôpitalin opettaja, sveitsiläinen matemaatikko Johann Bernoulli. L’Hôpital ja Bernoulli kirjoittivat sopimuksen, jonka mukaan l’Hôpital sai korvausta vastaan käyttää Bernoullin matemaattisia tuloksia vapaasti omissa nimissään. Ylioppilastutkintolautakunta ei lähtökohtaisesti salli menetelmän käyttöä suomalaisessa ylioppilaskokeessa, jollei sitä ole koesuorituksessa perustellen johdettu.

Olkoot funktiot f ja g derivoituvia (ja täten myös jatkuvia) välillä {\displaystyle A\smallsetminus \{a\}}, missä A on avoin väli, joka sisältää pisteen a, mikäli a ei ole \infty  eikä -\infty. Siis a voi olla tässä muotoa {\displaystyle b,b+,b-,\infty } tai -\infty  (epäoleelliset raja-arvot), jossa {\displaystyle b+} ja {\displaystyle b-} tarkoittavat funktion toispuoleisia raja-arvoja pisteessä b. Oletetaan lisäksi, että

{\displaystyle \lim \_{x\to a}f(x)=\lim \_{x\to a}g(x)=0} tai
{\displaystyle \lim \_{x\to a}|g(x)|=\infty } ja
\lim \_{{x\to a}}{\frac {f'(x)}{g'(x)}} on olemassa (äärellisenä tai äärettömänä) ja
g'(x)\neq 0 kaikille x\in A\smallsetminus \{a\}.
Nyt l’Hôpitalin säännön mukaan seuraava on tosi: näiden funktioiden osamäärän raja-arvo L kohdassa a on sama kuin funktioiden derivaattojen osamäärän raja-arvo samassa kohdassa. Matemaattisin merkinnöin ilmaistuna saamme jälkimmäisestä lauseesta

\lim \_{{x\to a}}{\frac {f(x)}{g(x)}}=\lim \_{{x\to a}}{\frac {f'(x)}{g'(x)}}=L.
Sääntöä voidaan soveltaa useita kertoja peräkkäin, mutta säännön soveltamisen ehdot on tarkastettava tällöin joka sovelluskerralla uudelleen. Sääntö muun muassa helpottaa raja-arvojen laskemista, kun funktioiden derivaattojen raja-arvot on helpompi laskea kuin itse funktioiden, etenkin kun derivaattojen arvot pisteessä \scriptstyle a poikkeavat nollasta. Sääntö voidaan laajentaa myös koskemaan toispuoleisia sekä äärettömiä raja-arvoja.

l’Hôpitalin säännön todistus
----------------------------

Todistetaan l’Hôpitalin sääntö differentiaalilaskennan väliarvolauseen avulla.

* Tapaus 1: Oletetaan, että piste a on äärellinen.

Määritellään f(a)=g(a)=0, jolloin funktiot f ja g ovat jatkuvia pisteessä a. Valitaan nyt piste x niin läheltä pistettä a, että funktiot f ja g toteuttavat differentiaalilaskennan väliarvolauseen oletukset välillä [a,x] (tai [x,a], jos x<a). 

Nyt saadaan

f'(\xi )g(x)=g'(\xi )f(x),
missä \xi \in (a,x) (tai \xi \in (x,a), jos x<a).
Lisäksi g'(x)\neq 0 jossain pisteen a ympäristössä (x\neq a). 
Differentiaalilaskennan väliarvolauseen mukaan

{\frac {f'(\xi )}{g'(\xi )}}={\frac {f(x)-f(a)}{g(x)-g(a)}}={\frac {f(x)}{g(x)}},
kun |x-a|\neq 0 on tarpeeksi pieni.
Kun nyt x\to a, niin myös \xi \to a, joten väite seuraa yllä olevasta yhtälöstä.
Sama on voimassa myös toispuoleisten raja-arvojen tapauksessa.

* Tapaus 2: Oletetaan, että a=\pm \infty .

Merkitään t={\frac {1}{x}}, jolloin todistus menee vastaavasti kuin tapauksessa 1.
Tällöin 

\lim \_{{x\to \pm \infty }}{\frac {f(x)}{g(x)}}=\lim \_{{x\to 0\pm }}{\frac {f({\frac {1}{t}})}{g({\frac {1}{t}})}}=\lim \_{{x\to 0\pm }}{\frac {f'({\frac {1}{t}})(-{\frac {1}{t^{2}}})}{g'({\frac {1}{t}})(-{\frac {1}{t^{2}}})}}=\lim \_{{x\to \pm \infty }}{\frac {f'(x)}{g'(x)}}.

Esimerkkejä l’Hôpitalin säännön käytöstä
----------------------------------------

Käytetään merkintää == osoittamaan l’Hôpitalin säännön soveltamista esimerkeissä.

* Varsin klassinen esimerkki lauseen käytöstä on funktioiden \sin {x} ja x osamäärän raja-arvo:

\lim \_{{x\to 0}}{\frac {\sin x}{x}}==\lim \_{{x\to 0}}{\frac {D(\sin x)}{D(x)}}=\lim \_{{x\to 0}}{\frac {\cos x}{1}}=1.
Vaikka tämä raja-arvo onkin oiva esimerkki lauseen käytöstä, se sisältää kehäpäätelmän. Tätä tulosta käytetään sinifunktion derivoimissäännön johdossa, joten l’Hôpitalin sääntö ei ole todistusvoimainen kyseisen raja-arvon kohdalla. Lauseen käytön kuvaamisessa se on kuitenkin klassinen esimerkki.
* Esimerkki tilanteesta, jossa osamäärä on epämääräistä muotoa 0/0. L’Hôpitalin säännön soveltaminen ensimmäisen kerran antaa yhä epämääräistä muotoa olevan raja-arvon. Tämä saadaan kuitenkin lasketuksi soveltamalla sääntöä yhteensä kolme kertaa:

{\begin{aligned}\lim \_{{x\to 0}}{{\frac {2\sin x-\sin 2x}{x-\sin x}}}&==\lim \_{{x\to 0}}{{\frac {D(2\sin x-\sin 2x)}{D(x-\sin x)}}}=\lim \_{{x\to 0}}{{\frac {2\cos x-2\cos 2x}{1-\cos x}}}\\&==\lim \_{{x\to 0}}{{\frac {D(2\cos x-2\cos 2x)}{D(1-\cos x)}}}=\lim \_{{x\to 0}}{{\frac {-2\sin x+4\sin 2x}{\sin x}}}\\&==\lim \_{{x\to 0}}{{\frac {D(-2\sin x+4\sin 2x)}{D(\sin x)}}}=\lim \_{{x\to 0}}{{\frac {-2\cos x+8\cos 2x}{\cos x}}}={{\frac {-2+8}{1}}}=6.\end{aligned}}
* Esimerkki säännön käytöstä tilanteessa, jossa osamäärä on epämääräistä muotoa \infty /\infty :

{\begin{aligned}\lim \_{{x\to \infty }}x^{n}e^{{-x}}=\lim \_{{x\to \infty }}{{\frac {x^{n}}{e^{x}}}}&==\lim \_{{x\to \infty }}{{\frac {D(x^{n})}{D(e^{x})}}}=\lim \_{{x\to \infty }}{{\frac {nx^{{n-1}}}{e^{x}}}}=n\lim \_{{x\to \infty }}{{\frac {x^{{n-1}}}{e^{x}}}}\\&==n\lim \_{{x\to \infty }}{{\frac {D(x^{{n-1}})}{D(e^{x})}}}=n(n-1)\lim \_{{x\to \infty }}{{\frac {x^{{n-2}}}{e^{x}}}}\\&==...==n!\lim \_{{x\to \infty }}{{\frac {1}{e^{x}}}}=0.\end{aligned}}
### Ongelmatapauksia

* Ennen l’Hôpitalin säännön käyttämistä on tärkeää tarkistaa, että osamäärä on varmasti epämääräistä muotoa. Tämä unohtuu helposti, jos l’Hôpitalin sääntöä käytetään raja-arvoa laskettaessa useita kertoja peräkkäin. Lasketaan raja-arvo

\lim \_{{x\to 0}}{\frac {\sin(x)}{x+x^{2}}}==\lim \_{{x\to 0}}{\frac {\cos(x)}{1+2x}}==\lim \_{{x\to 0}}{\frac {-\sin(x)}{2}}=0.
Tämä on väärin, sillä \lim \_{{x\to 0}}{\frac {\cos(x)}{1+2x}} ei ole epämääräistä muotoa, joten siihen ei voi soveltaa l’Hôpitalin sääntöä.
Oikea tapa:
{\displaystyle \lim \_{x\to 0}{\frac {\sin(x)}{x+x^{2}}}==\lim \_{x\to 0}{\frac {\cos(x)}{1+2x}}={\frac {\lim \_{x\to 0}\cos(x)}{\lim \_{x\to 0}\left(1+2x\right)}}={\frac {1}{1}}=1.}
* Joskus l’Hôpitalin säännön käyttäminen johtaa takaisin alkuperäiseen muotoon:

{\begin{aligned}\lim \_{{x\to \infty }}{\frac {e^{x}+e^{{-x}}}{e^{x}-e^{{-x}}}}&==\lim \_{{x\to \infty }}{\frac {D(e^{x}+e^{{-x}})}{D(e^{x}-e^{{-x}})}}=\lim \_{{x\to \infty }}{\frac {e^{x}-e^{{-x}}}{e^{x}+e^{{-x}}}}\\&==\lim \_{{x\to \infty }}{\frac {D(e^{x}-e^{{-x}})}{D(e^{x}+e^{{-x}})}}=\lim \_{{x\to \infty }}{\frac {e^{x}+e^{{-x}}}{e^{x}-e^{{-x}}}}\\&==\lim \_{{x\to \infty }}{\frac {D(e^{x}+e^{{-x}})}{D(e^{x}-e^{{-x}})}}=\dots .\end{aligned}}
Tämän tilanteen voi välttää sijoittamalla y=e^{x}, missä y\to \infty , kun x\to \infty. Nyt raja-arvon laskeminen on helppoa:
\lim \_{{x\to \infty }}{\frac {e^{x}+e^{{-x}}}{e^{x}-e^{{-x}}}}=\lim \_{{y\to \infty }}{\frac {y+y^{{-1}}}{y-y^{{-1}}}}==\lim \_{{y\to \infty }}{\frac {D(y+y^{{-1}})}{D(y-y^{{-1}})}}=\lim \_{{y\to \infty }}{\frac {1-y^{{-2}}}{1+y^{{-2}}}}={\frac {1}{1}}=1.
* Toinen esimerkki tapauksesta, jossa l’Hôpitalin säännön käyttäminen ei johda mihinkään:

{\begin{aligned}\lim \_{{x\to \infty }}{\frac {{\sqrt {2+x^{2}}}}{x}}&==\lim \_{{x\to \infty }}{\frac {D({\sqrt {2+x^{2}}})}{D(x)}}=\lim \_{{x\to \infty }}{\frac {x}{{\sqrt {2+x^{2}}}}}\\&==\lim \_{{x\to \infty }}{\frac {D(x)}{D({\sqrt {2+x^{2}}})}}=\lim \_{{x\to \infty }}{\frac {{\sqrt {2+x^{2}}}}{x}}\\&==\lim \_{{x\to \infty }}{\frac {D({\sqrt {2+x^{2}}})}{D(x)}}=\dots .\end{aligned}}
Parempi tapa on sieventää lauseketta. Nyt ei tarvitse käyttää l’Hôpitalin sääntöä ja saadaan helposti:
\lim \_{{x\to \infty }}{\frac {{\sqrt {2+x^{2}}}}{x}}=\lim \_{{x\to \infty }}{\sqrt {{\frac {2}{x^{2}}}+1}}={\sqrt {0+1}}=1.

Lähteet
-------

1. ↑  Boyer, Carl B. & Merzbach, Uta C.: *Tieteiden kuningatar – Matematiikan historia, osa II*, s. 592–594. Suomentanut Kimmo Pietiläinen. Helsinki: Art House, 1994. ISBN 951-884-158-6.
2. ↑  Differentiaali- ja integraalilaskennan jatkokurssi *peda.net*.