7.6 Quelques indéterminations ''\(\frac00\)''

Les limites les plus importantes (et les plus intéressantes aussi) sont les formes indéterminées, celles de la forme ''\(\frac00\)'', c'est-à-dire des limites de quotients de fonctions définies dans un voisinage de \(x_0\), \[ \lim_{x\to x_0} \frac{f(x)}{g(x)}\,,\qquad \lim_{x\to x_0^+} \frac{f(x)}{g(x)}\,,\qquad \lim_{x\to x_0^-} \frac{f(x)}{g(x)}\,, \] où \(f\) et \(g\) tendent toutes les deux vers zéro.

Dans cette section on rappelle quelques méthodes classiques utiles pour lever ce genre d'indétermination, en les illustrant sur des exemples standards. Il est clair que les techniques s'adaptent pour les trois types de limites.

Polynômes et factorisation

Exemple: Considérons une limite d'un quotient de deux polynômes: \[ \lim_{x\to 1 }\frac{x^3-2x^2-5x+6}{x^2+2x-3}= \lim_{x\to 1 }\frac{P(x)}{M(x)} \] Par une propriété vue plus haut, \[\lim_{x\to 1}P(x)=P(1)=0,\qquad \lim_{x\to 1}M(x)=M(1)=0\,, \] et donc ce quotient mène à une indétermination de la forme ''\(\frac00\)''. Mais comme on sait, le fait que les \(P(1)=0\) et \(M(1)=0\) signifie que ces polynômes peuvent se factoriser par \((x-1)\). En effectuant deux divisions, on obtient \[\begin{aligned} P(x)=x^3-2x^2-5x+6&=(x-1)(x^2-x-6)\,,\\ M(x)=x^2+2x-3&=(x-1)(x+3)\,, \end{aligned}\] ce qui implique que le quotient considéré est en fait \[ \frac{P(x)}{M(x)} = \frac{\bcancel{(x-1)}(x^2-x-6)}{\bcancel{(x-1)}(x+3)}= \frac{x^2-x-6}{x+3} =\frac{\tilde{P}(x)}{\tilde{M}(x)} \] Et donc, puisque \(\tilde{P}(1)=-6\) et \(\tilde{M}(1)=4\neq 0\), la limite à calculer n'est plus indéterminée: \[ \lim_{x\to 1 }\frac{P(x)}{M(x)}= \lim_{x\to 1 }\frac{\tilde{P}(x)}{\tilde{M}(x)} =\frac{-6}{4}=-\frac32\,. \]

La méthode du conjugué

La méthode du conjugué, que nous avons utilisée souvent dans l'étude des suites et des séries, est aussi utile pour les limites de fonctions.

Exemple: Considérons la limite \[ \lim_{x\to 0}\frac{\sqrt{1+x}-1}{x}\,, \] dans laquelle le numérateur et le dénominateur tendent tous les deux vers zéro lorsque \(x\to 0\). En multipliant et divisant par le conjugué de la racine qui apparaît au numérateur, \[\begin{aligned} \frac{\sqrt{1+x}-1}{x} &=\frac{\sqrt{1+x}-1}{x}\cdot\frac{\sqrt{1+x}+1}{\sqrt{1+x}+1}\\ &=\frac{(\sqrt{1+x})^2-1^2}{x(\sqrt{1+x}+1)}\\ &=\frac{x}{x(\sqrt{1+x}+1)}\\ &=\frac{1}{\sqrt{1+x}+1}\,. \end{aligned}\] On a donc \[ \lim_{x\to 0}\frac{\sqrt{1+x}-1}{x} =\lim_{x\to 0}\frac{1}{\sqrt{1+x}+1} =\frac{1}{\sqrt{1+0}+1} =\frac12\,.\]

Remarquons que parfois, le conjugué est utile dans des limites qui n'impliquent pas forcément des racines carrées (voir plus bas).

Limites de fonctions trigonométriques

Exemple: Montrons que \[ \boxed{ \lim_{x\to 0}\frac{\sin (x)}{x}=1 } \] D'abord, puisque \(f(x):= \frac{\sin(x)}{x}\) (définie sur \(\mathbb{R}^*\)) est paire , il suffit de montrer que \[ \lim_{x\to 0^+}\frac{\sin (x)}{x}=1\,. \] Mais, par l'équivalence via les suites, cette dernière est équivalente à la validité, pour toute suite \(x_n>0\), \(x_n\to 0\), de \[ \lim_{n\to \infty}\frac{\sin (x_n)}{x_n}=1\,. \] Or cette propriété a déjà été démontrée dans le chapitre sur les suites.

Exemple: Montrons que \[ \boxed{ \lim_{x\to 0}\frac{1-\cos(x)}{x^2}=\frac12\,. } \] En multipliant et divisant par le conjugué de la différence \(1-\cos(x)\), \[\begin{aligned} \lim_{x\to 0}\frac{1-\cos(x)}{x^2} &=\lim_{x\to 0}\frac{1-\cos(x)}{x^2}\cdot\frac{1+\cos(x)}{1+\cos(x)}\\ &=\lim_{x\to 0}\frac{1-\cos(x)^2}{x^2}\cdot\frac{1}{1+\cos(x)}\\ &=\lim_{x\to 0}\Bigl(\frac{\sin(x)}{x}\Bigr)^2\cdot\frac{1}{1+\cos(x)}\\ &=1^2\cdot \frac{1}{1+1}=\frac12\,. \end{aligned}\]

Limites de fonctions exp/log
Attention: Nous allons donner les valeurs de quelques limites impliquant des exponentielles et des logarithmes. Or comme dit au tout début de ce cours, les fonctions \(e^x\) et \(\log(x)\), qui sont réciproques l'une de l'autre, ainsi que leurs propriétés, sont supposées connues: nous ne les avons pas introduites rigoureusement. Donc les preuves données ci-dessous ne sont pas entièrement rigoureuses; des résultats que nous présenterons plus tard viendront compléter cette analyse.

Exemple: Montrons que \[ \boxed{ \lim_{x\to 0}\frac{\log(1+x)}{x}=1\,. } \] Pour ce faire, nous allons calculer la limite le long de la suite \(x_n=\frac{1}{n}\), qui est \(\gt 0\), et \(x_n\to 0\). Pour un \(n\) fixé, on peut écrire \[ \frac{\log(1+x_n)}{x_n} =n\log\left(1+\frac1n\right) =\log\left(1+\frac1n\right)^n \] Puisque \((1+\frac1n)^n\to e\), on a \[\lim_{n\to\infty} \frac{\log(1+x_n)}{x_n} =\lim_{n\to\infty}\log\left(1+\frac1n\right)^n =\log(e)=1\,. \]

Exemple: Montrons que \[ \boxed{ \lim_{x\to 0}\frac{e^x-1}{x}=1\,. } \] Posons pour un instant \(y:= e^x-1\), c'est-à-dire \(x=\log(1+y)\). Lorsque \(x\to 0\), on a aussi \(y\to 0\), donc la limite devient \[ \lim_{x\to 0}\frac{e^x-1}{x}= \lim_{y\to 0}\frac{y}{\log(1+y)}= \frac{1}{\lim_{y\to 0}\frac{\log(1+y)}{y}}=1\,. \]