Forme indéterminée
# Forme indéterminée

En mathématiques, une forme indéterminée est une opération apparaissant lors d'un calcul d'une limite d'une suite ou d'une fonction sur laquelle on ne peut conclure en toute généralité et qui nécessite une étude au cas par cas.

Par exemple, on ne peut conclure de manière générale sur la limite de la somme de deux suites dont l'une tend vers $+\infty$ et l'autre vers $-\infty$. Selon les cas, cette limite peut être nulle, égale à un réel non nul, être égale à $+\infty$ ou $-\infty$ ou bien même ne pas exister.

Pour lever une indétermination, il existe de nombreuses techniques, par exemple via des procédés algébriques (factorisation, multiplication par la quantité conjuguée, etc.) ou des procédés analytiques (utilisation de la dérivée, de développements limités, de la règle de L'Hôpital, etc.).

## Présentation du problème

En mathématiques, on est fréquemment amené à étudier la limite d'une opération (addition, multiplication, etc.) de deux fonctions ou de deux suites. Il est des situations où l'on peut déterminer cette limite uniquement en connaissant les limites respectives des fonctions ou suites concernées.

Mais, dans un certain nombre de cas, cette limite ne peut être déterminée a priori, elle dépend des fonctions ou suites en présence.

Voici un exemple d'une telle situation.

Considérons les deux limites suivantes : $\lim _{x\to +\infty }x=+\infty$ et $\lim _{x\to +\infty }x^{2}=+\infty$.

* Pour tout nombre réel $x\neq 0$, on a ${\dfrac {x}{x^{2}}}={\dfrac {1}{x}}$. Donc $\lim _{x\to +\infty }{\dfrac {x}{x^{2}}}=\lim _{x\to +\infty }{\dfrac {1}{x}}=0$.
* Pour tout nombre réel $x\neq 0$, on a ${\dfrac {x^{2}}{x}}=x$. Donc $\lim _{x\to +\infty }{\dfrac {x^{2}}{x}}=\lim _{x\to +\infty }x=+\infty$.

Dans cet exemple, les deux limites de départ sont égales à $+\infty$ et on constate que la limite du quotient dépend du cas étudié. On ne peut pas établir de règle générale donnant la valeur d'une limite du type $\infty /\infty$. C'est ce que l'on appelle une forme indéterminée.

Voici un second exemple dans le cas des suites.

Soit $(u_{n})$ et $(v_{n})$ deux suites définies pour tout entier naturel $n$ par $u_{n}=n$ et $v_{n}=n^{2}$. On a donc $\lim _{n\to +\infty }u_{n}=+\infty$ et $\lim _{n\to +\infty }v_{n}=+\infty$.

* Pour tout entier naturel $n$, $u_{n}-v_{n}=n-n^{2}=n(1-n)$.

Or, $\lim _{n\to +\infty }n=+\infty$ et $\lim _{n\to +\infty }(1-n)=-\infty$. Donc, par produit de limite $\lim _{n\to +\infty }n(1-n)=\lim _{n\to +\infty }(u_{n}-v_{n})=-\infty$.

* Pour tout entier naturel $n$, $v_{n}-u_{n}=n^{2}-n=n(n-1)$.

Or, $\lim _{n\to +\infty }n=+\infty$ et $\lim _{n\to +\infty }(n-1)=+\infty$. Donc, par produit de limite $\lim _{n\to +\infty }n(n-1)=\lim _{n\to +\infty }(v_{n}-u_{n})=+\infty$.

Ici, on a deux suites dont la limite est $+\infty$. On constate que la valeur de la limite de la différence de ces deux suites dépend du cas étudié. On ne peut donc pas établir de règle générale donnant la valeur d'une limite du type $\infty -\infty$. C'est donc une forme indéterminée.

L'objectif de cet article est de présenter les différents types de formes indéterminées et d'illustrer un certain nombre de techniques permettant de les lever.

## Classement des indéterminations

On classe en général les formes indéterminées en sept catégories (ici $c$ désigne soit un nombre réel, soit $+\infty$ ou $-\infty$).

| Indétermination | Limite recherchée | Condition sur $f$ | Condition sur $g$ |
| - | - | - | - |
| $\infty -\infty$ | $\lim _{x\to c}{\bigf(x)-g(x){\big )}$ | $\lim _{x\to c}f(x)=+\infty$ | $\lim _{x\to c}g(x)=+\infty$ |
| $0/0$ | $\lim _{x\to c}{\frac {f(x)}{g(x)}}$ | $\lim _{x\to c}f(x)=0$ | $\lim _{x\to c}g(x)=0$ |
| $\infty /\infty$ | $\lim _{x\to c}{\frac {f(x)}{g(x)}}$ | $\lim _{x\to c}f(x)=\pm \infty$ | $\lim _{x\to c}g(x)=\pm \infty$ |
| $0\times \infty$ | $\lim _{x\to c}f(x)g(x)$ | $\lim _{x\to c}f(x)=0$ | $\lim _{x\to c}g(x)=\pm \infty$ |
| $1^{\infty }$ | $\lim _{x\to c}f(x)^{g(x)}$ | $\lim _{x\to c}f(x)=1$ | $\lim _{x\to c}g(x)=\pm \infty$ |
| $\infty ^{0}$ | $\lim _{x\to c}f(x)^{g(x)}$ | $\lim _{x\to c}f(x)=\pm \infty$ | $\lim _{x\to c}g(x)=0$ |
| $0^{0}$ | $\lim _{x\to c}f(x)^{g(x)}$ | $\lim _{x\to c}f(x)=0$ | $\lim _{x\to c}g(x)=0$ |

* Les indéterminations de la forme 0 × ±∞ se ramènent à une indétermination de la forme 0/0 ou de la forme ∞/∞ en remarquant qu'une multiplication par 0 équivaut à une division par l'infini, ou qu'une multiplication par l'infini équivaut à une division par 0.
* Les indéterminations des formes $0^0$ et $±∞^0$ se ramènent au cas précédent en utilisant que $a^b$ peut s'écrire $e^{bln(a)}$ et que la limite de b ln(a) est alors de la forme 0 × ±∞.
* Les indéterminations de la forme $1^{±∞}$ (dont le logarithme est la forme ±∞ × 0) : un exemple classique est (1 + $1/n)^n$ dont la limite vaut le nombre e.

## Théorème des croissances comparées

Le théorème des croissances comparées lève les indéterminations de produits et de quotients de fonctions usuelles que sont les fonctions puissances, la fonction exponentielle et la fonction logarithme népérien.

## Indétermination de la forme 0/0

### Cas des fonctions rationnelles

Soit f une fonction rationnelle, c.-à-d. $f(x)={\dfrac {P(x)}{Q(x)}}$ où P et Q sont des polynômes.

Si a est un réel tel que Q(a) = 0, on peut être amené à chercher la limite en a de f. Si P(a) = 0, un calcul simple de limite conduit à une indétermination de la forme 0/0.

Une propriété concernant les polynômes va permettre de lever cette indétermination : pour tout polynôme P tel que P(a) = 0, il existe un polynôme $P_1$ de degré strictement inférieur tel que P(x) = (x – $a)P_1(x).$ Autrement dit, si a est racine de P, P est factorisable par x – a. Cette factorisation peut s'obtenir par identification ou en utilisant la méthode de Horner.

Dans le cas de cette limite, les polynômes P et Q ayant tous les deux comme racine a, on peut écrire, pour tout x de l'ensemble de définition Df de f, $f(x)={\dfrac {(x-a)P_{1}(x)}{(x-a)Q_{1}(x)}}={\dfrac {P_{1}(x)}{Q_{1}(x)}}=f_{1}(x)$. Rechercher la limite en a de f revient à chercher la limite en a de $f_1.$

La recherche de la limite en a de $f_1$ peut conclure à une absence de limite, à une limite infinie ou à une limite réelle.

**Exemples**


   * $f(x)={\dfrac {x^{2}+3x-4}{2x^{2}-x-1}}{\text{ et }}a=1$. Comme le numérateur et le dénominateur s'annulent en 1, une factorisation par x – 1 est possible. Pour tout x de Df,$f(x)={\dfrac {(x-1)(x+4)}{(x-1)(2x+1)}}={\dfrac {x+4}{2x+1}}$,$\lim _{x\to 1}f(x)=\lim _{x\to 1}{\dfrac {x+4}{2x+1}}={\dfrac {5}{3}}$.

   * $f(x)={\dfrac {2x+4}{x^{2}+4x+4}}{\text{ et }}a=-2$. Le numérateur et le dénominateur s'annulant en –2, il doit être possible de mettre x + 2 en facteur. Pour tout x de Df,$f(x)={\dfrac {2(x+2)}{(x+2)^{2}}}={\dfrac {2}{x+2}}$.Cette seconde fonction ne possède pas de limite en –2. Elle possède cependant des limites à droite et à gauche en –2. Par exemple à droite :$\lim _{x\to (-2)^{+}}{\dfrac {2}{x+2}}=+\infty$.

   * $f(x)=\left({\dfrac {1}{4}}-x^{-2}\right)(x-2)^{-1}{\text{ et }}a=2$. Cette fonction est bien une fonction rationnelle qui, remise sous sa forme canonique, donne, pour tout x différent de 2 et de 0,$f(x)={\dfrac {x^{2}-4}{4x^{2}}}{\dfrac {1}{x-2}}={\dfrac {x+2}{4x^{2}}}$.Il est alors simple d'en calculer la limite en 2 :$\lim _{2}f={\dfrac {1}{4}}$.

### Cas des fonctions comportant des racines carrées

Lorsqu'il existe, dans le quotient, des racines carrées, l'idée est de transférer l'indétermination à une fonction rationnelle pour utiliser la technique précédente. Le transfert se fait, en général en multipliant numérateur et dénominateur par une quantité conjuguée.

**Exemples**


   * $f(x)={\dfrac {{\sqrt {x^{2}+6x}}-4}{x^{2}-2x}}{\text{ et }}a=2$. On multiplie alors numérateur et dénominateur par ${\sqrt {x^{2}+6x}}+4$ :$f(x)={\dfrac {x^{2}+6x-16}{x^{2}-2x}}\times {\dfrac {1}{{\sqrt {x^{2}+6x}}+4}}$,$f(x)={\dfrac {(x-2)(x+8)}{x(x-2)}}\times {\dfrac {1}{{\sqrt {x^{2}+6x}}+4}}={\dfrac {x+8}{x}}{\dfrac {1}{{\sqrt {x^{2}+6x}}+4}}$.Le calcul de la limite sous la dernière forme se fait aisément :$\lim _{x\to 2}f(x)={\dfrac {10}{2}}\times {\dfrac {1}{8}}={\dfrac {5}{8}}$.

   * $f(x)={\dfrac {\sqrt {x}}{x}}{\text{ et }}a=0$. On multiplie numérateur et dénominateur par ${\sqrt {x}}$ (ou bien on simplifie par ${\sqrt {x}}$, ce qui revient au même).$f(x)={\dfrac {x}{x}}\times {\dfrac {1}{\sqrt {x}}}={\dfrac {1}{\sqrt {x}}}$.Cette dernière limite se calcule aisément :$\lim _{x\to 0}f(x)=+\infty$.

### Changement de variable

Le changement de variable permet parfois, par modification de la forme de la fonction considérée, de mettre en évidence une factorisation ou une limite de référence. Il faut cependant faire attention : un changement de variable entraîne aussi une modification de la valeur vers laquelle tend la variable. Le principe du changement de variable s'appuie sur la propriété de la limite d'une fonction composée.

**Exemples**


   * Soit f une fonction définie sur les intervalles réels [0, 4[ et ]4, +∞[ par$f(x)={\dfrac {{\sqrt {x}}-2}{x-4}}$.En première approche, la recherche de la limite de la fonction f quand la variable x tend vers 4 mène vers une indétermination de la forme 0/0. On propose alors le changement de variable suivant :$u={\sqrt {x}}$.Lorsque x tend vers 4, u tend vers 2. De plus,$f(x)={\dfrac {{\sqrt {x}}-2}{x-4}}={\dfrac {u-2}{u^{2}-4}}$.On peut alors rechercher la limite quand u tend vers 2 de la fonction g définie pour tout u de [0, 2[ ou ]2, +∞[ par$g(u)={\dfrac {u-2}{u^{2}-4}}$.À ce stade, pour calculer la limite en 2, on est toujours face à une forme indéterminée du type 0/0. On peut lever cette indétermination en factorisant :$g(u)={\dfrac {u-2}{u^{2}-4}}={\dfrac {u-2}{(u-2)(u+2)}}={\dfrac {1}{u+2}}$.On peut alors conclure :$\lim _{u\to 4}f(x)=\lim _{u\to 2}g(u)={\dfrac {1}{4}}$.

   * $f(x)={\dfrac {{\rm {e}}^{\frac {1}{x}}}{x}}{\text{ et }}a=0^{-}$. Il s'agit encore d'une indétermination 0/0. En posant u = 1/x, on remarque alors quef(x) = $ue^uet$ que, lorsque x tend vers 0 par la gauche, u tend vers –∞.$\lim _{u\to -\infty }u{\rm {e}}^{u}=0$ (théorème des croissances comparées) donc$\lim _{x\to 0^{-}}f(x)=0$.

### Quelques procédés analytiques

On peut également utiliser les propriétés de dérivabilité des fonctions en présence, ou bien l'existence de développements limités.

**Dérivée**

Un cas fréquent d'apparition d'une indétermination du type 0/0 concerne le calcul de la dérivée en a à partir du taux d'accroissement de la fonction : si la fonction f est dérivable en a alors $\lim _{x\to a}{\dfrac {f(x)-f(a)}{x-a}}=\lim _{h\to 0}{\dfrac {f(a+h)-f(a)}{h}}=f'(a)$.

L'utilisation d'une dérivée est donc un moyen simple de lever une indétermination de ce type. Elle donne l'occasion de présenter des indéterminations 0/0 de référence

* $\lim _{x\to 0}{\dfrac {\sin(x)}{x}}=1$ ici f(x) = sin(x), a = 0, f ' (x) = cos(x) et f ' (0) = 1
* $\lim _{x\to 0}{\dfrac {\cos(x)-1}{x}}=0$ ici f(x) = cos(x), a = 0, f ' (x) = –sin(x) et f ' (0) = 0
* $\lim _{h\to 0}{\dfrac {\ln(1+h)}{h}}=1$ ici f(x) = ln(x), a = 1, f ' (x) = 1/x et f ' (1) = 1
* $\lim _{x\to 0}{\dfrac {{\rm {e}}^{x}-1}{x}}=1$ ici f(x) = $e^x,$ a = 0, f ' (x) = $e^x$ et f ' (0) = 1.

Il peut donc être utile dans de nombreuses expressions de faire apparaitre des taux d'accroissement quand l'indétermination est du type 0/0.

Cette méthode, exploitée plus à fond, conduit à la règle de L'Hôpital : si f et g ont pour limite 0 en a et si le quotient des dérivées f'/g' admet une limite en a, cette limite est aussi la limite en a de f/g.

**Développements limités**

Un développement limité, au voisinage de a, du numérateur et du dénominateur permet aussi souvent de résoudre simplement une indétermination de ce type.

**Développements limités**

**Exemple**


    $f(x)={\dfrac {{\rm {e}}^{x^{2}}-\cos x}{\sin ^{2}x}}{\text{ et }}a=0$. Le calcul direct des limites mène à une indétermination de la forme 0/0. Il est alors utile de rechercher un développement limité au voisinage de 0 des différentes fonctions de référence en présence. Un développement limité d'ordre 1 ne permettra pas de conclure mais un développement limité d'ordre 2 permet de lever l'indétermination :${\rm {e}}^{x^{2}}=1+x^{2}+o(x^{2})$,$\cos x=1-{\dfrac {x^{2}}{2}}+o(x^{2})$,$\sin ^{2}x=x^{2}+o(x^{2})$donc$f(x)={\dfrac {{\tfrac {3}{2}}x^{2}+o(x^{2})}{x^{2}+o(x^{2})}}={\dfrac {{\tfrac {3}{2}}+o(1)}{1+o(1)}}$.Le passage à la limite se fait alors aisément :$\lim _{x\to 0}f(x)={\dfrac {3}{2}}$.

## Indétermination de la forme ∞/∞

Par exemple (pour un entier n > 0 quelconque) :

    $\lim _{x\to +\infty }{\frac {{\rm {e}}^{x}}{x^{n}}}$.

Pour lever une telle indétermination, il existe de nombreux procédés, algébriques (factorisation) ou analytiques (utilisation de la dérivée — règle de l'Hôpital — du théorème des gendarmes ou du développement limité).

* Il suffit d'appliquer n fois la règle de l'Hôpital.
* Une autre méthode utilise le fait que, la fonction exponentielle étant convexe, sa courbe représentative est au-dessus de sa tangente au point d'abscisse $0$ : $\forall t\in \mathbb {R} \quad \mathrm {e} ^{t}\geq t+1$.
* Une méthode plus savante mais plus expéditive est d'utiliser le développement en série de la fonction exponentielle :

    $\forall x\in \mathbb {R} ^{+}\quad {\frac {{\rm {e}}^{x}}{x^{n}}}=\sum _{k\in \mathbb {N} }{\frac {x^{k-n}}{k!}}\geq {\frac {x}{(n+1)!}}$.

### Cas des fractions rationnelles

   En +∞ ou –∞, le quotient de deux polynômes a même limite que le quotient de leurs termes de plus haut degré respectifs.

## Indétermination de la forme ∞ – ∞

Par exemple :

    $\lim _{x\to +\infty }{\sqrt {x+1}}-{\sqrt {x-1}}$.

Dans cet exemple, la limite est en fait nulle. Pour le voir, on peut utiliser différentes méthodes (quantité conjuguée, développement limité, etc.)

### Cas des polynômes

   En +∞ ou –∞, une fonction polynomiale a même limite que son terme de plus haut degré.

Considérons la fonction polynomiale définie pour tout nombre réel $x$ par $f(x)=3x^{3}-5x+2$. Cherchons sa limite en $+\infty$.

* $\lim _{x\to +\infty }3x^{3}=+\infty$ ;
* $\lim _{x\to +\infty }-5x+2=-\infty$.

En additionnant ces deux limites, on aboutit à une forme indéterminée du type $\infty -\infty$.

Cependant, le terme de plus haut degré de $f$ étant $3x^{3}$, le résultat précédent permet d'affirmer que $\lim _{x\to +\infty }f(x)=\lim _{x\to +\infty }3x^{3}=+\infty$.

