Forme indéterminée

Apparence déplacer vers la barre latérale masquer

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 + ∞ {\displaystyle +\infty } et l'autre vers − ∞ {\displaystyle -\infty } . Selon les cas, cette limite peut être nulle, égale à un réel non nul, être égale à + ∞ {\displaystyle +\infty } ou − ∞ {\displaystyle -\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.

Article détaillé : Opérations sur les limites.

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.

Exemple :

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

Dans cet exemple, les deux limites de départ sont égales à + ∞ {\displaystyle +\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 ∞ / ∞ {\displaystyle \infty /\infty } . C'est ce que l'on appelle une forme indéterminée.

Voici un second exemple dans le cas des suites.

Exemple :

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

Or, lim n → + ∞ n = + ∞ {\displaystyle \lim _{n\to +\infty }n=+\infty } et lim n → + ∞ ( 1 − n ) = − ∞ {\displaystyle \lim _{n\to +\infty }(1-n)=-\infty } . Donc, par produit de limite lim n → + ∞ n ( 1 − n ) = lim n → + ∞ ( u n − v n ) = − ∞ {\displaystyle \lim _{n\to +\infty }n(1-n)=\lim _{n\to +\infty }(u_{n}-v_{n})=-\infty } .

Or, lim n → + ∞ n = + ∞ {\displaystyle \lim _{n\to +\infty }n=+\infty } et lim n → + ∞ ( n − 1 ) = + ∞ {\displaystyle \lim _{n\to +\infty }(n-1)=+\infty } . Donc, par produit de limite lim n → + ∞ n ( n − 1 ) = lim n → + ∞ ( v n − u n ) = + ∞ {\displaystyle \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 + ∞ {\displaystyle +\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 ∞ − ∞ {\displaystyle \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 {\displaystyle c} désigne soit un nombre réel, soit + ∞ {\displaystyle +\infty } ou − ∞ {\displaystyle -\infty } ).

Indétermination Limite recherchée Condition sur f {\displaystyle f} Condition sur g {\displaystyle g}
∞ − ∞ {\displaystyle \infty -\infty } lim x → c ( f ( x ) − g ( x ) ) {\displaystyle \lim _{x\to c}{\big (}f(x)-g(x){\big )}} lim x → c f ( x ) = + ∞ {\displaystyle \lim _{x\to c}f(x)=+\infty } lim x → c g ( x ) = + ∞ {\displaystyle \lim _{x\to c}g(x)=+\infty }
0 / 0 {\displaystyle 0/0} lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}{\frac {f(x)}{g(x)}}} lim x → c f ( x ) = 0 {\displaystyle \lim _{x\to c}f(x)=0} lim x → c g ( x ) = 0 {\displaystyle \lim _{x\to c}g(x)=0}
∞ / ∞ {\displaystyle \infty /\infty } lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}{\frac {f(x)}{g(x)}}} lim x → c f ( x ) = ± ∞ {\displaystyle \lim _{x\to c}f(x)=\pm \infty } lim x → c g ( x ) = ± ∞ {\displaystyle \lim _{x\to c}g(x)=\pm \infty }
0 × ∞ {\displaystyle 0\times \infty } lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}f(x)g(x)} lim x → c f ( x ) = 0 {\displaystyle \lim _{x\to c}f(x)=0} lim x → c g ( x ) = ± ∞ {\displaystyle \lim _{x\to c}g(x)=\pm \infty }
1 ∞ {\displaystyle 1^{\infty }} lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}f(x)^{g(x)}} lim x → c f ( x ) = 1 {\displaystyle \lim _{x\to c}f(x)=1} lim x → c g ( x ) = ± ∞ {\displaystyle \lim _{x\to c}g(x)=\pm \infty }
∞ 0 {\displaystyle \infty ^{0}} lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}f(x)^{g(x)}} lim x → c f ( x ) = ± ∞ {\displaystyle \lim _{x\to c}f(x)=\pm \infty } lim x → c g ( x ) = 0 {\displaystyle \lim _{x\to c}g(x)=0}
0 0 {\displaystyle 0^{0}} lim x → c f ( x ) g ( x ) {\displaystyle \lim _{x\to c}f(x)^{g(x)}} lim x → c f ( x ) = 0 {\displaystyle \lim _{x\to c}f(x)=0} lim x → c g ( x ) = 0 {\displaystyle \lim _{x\to c}g(x)=0}

Théorème des croissances comparées

Article détaillé : 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 ) = P ( x ) Q ( x ) {\displaystyle 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 P1 de degré strictement inférieur tel que P(x) = (x – a)P1(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 ) = ( x − a ) P 1 ( x ) ( x − a ) Q 1 ( x ) = P 1 ( x ) Q 1 ( x ) = f 1 ( x ) {\displaystyle 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 f1.

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

Exemples

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

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 ∀ x ∈ R + e x x n = ∑ k ∈ N x k − n k ! ≥ x ( n + 1 ) ! {\displaystyle \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.

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

Les deux polynômes s'écrivant :

En factorisant par a n x n {\displaystyle a_{n}x^{n}} au numérateur et par b m x m {\displaystyle b_{m}x^{m}} au dénominateur on obtient :

lim x → ∞ f = a n x n ( a 0 + a 1 x 1 + . . . + a n x n ) a n x n b m x m ( b 0 + b 1 x 1 + . . . + b m x m ) b m x m {\displaystyle \lim _{x\to \infty }\displaystyle f={\frac {a_{n}x^{n}{\frac {(a_{0}+a_{1}x^{1}+...+a_{n}x^{n})}{a_{n}x^{n}}}}{b_{m}x^{m}{\frac {(b_{0}+b_{1}x^{1}+...+b_{m}x^{m})}{b_{m}x^{m}}}}}}

Or par simplification :

lim x → ± ∞ a 0 + a 1 x 1 + a 2 x 2 + . . . + a n x n a n x n = 1 {\displaystyle \lim _{x\to \pm \infty }{\frac {a_{0}+a_{1}x^{1}+a_{2}x^{2}+...+a_{n}x^{n}}{a_{n}x^{n}}}=1}

lim x → ± ∞ b 0 + b 1 x 1 + b 2 x 2 + . . . + b m x m b m x m = 1 {\displaystyle \lim _{x\to \pm \infty }{\frac {b_{0}+b_{1}x^{1}+b_{2}x^{2}+...+b_{m}x^{m}}{b_{m}x^{m}}}=1}

On obtient donc : lim x → ± ∞ P ( x ) Q ( x ) = lim x → ± ∞ a n x n b m x m {\displaystyle \lim _{x\to \pm \infty }{\dfrac {P(x)}{Q(x)}}=\lim _{x\to \pm \infty }{\dfrac {a_{n}x^{n}}{b_{m}x^{m}}}} .

Indétermination de la forme ∞ – ∞

Par exemple :

lim x → + ∞ x + 1 − x − 1 {\displaystyle \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é.

Exemple :

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

En additionnant ces deux limites, on aboutit à une forme indéterminée du type ∞ − ∞ {\displaystyle \infty -\infty } .

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

Voir aussi

Notes et références

  1. Voir le chapitre « Croissances comparées » de la leçon sur la fonction exponentielle sur Wikiversité.
  2. (en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers (1re éd. 1938) , 4e éd., p. 8.
  3. « 2. Opérations sur les limites », sur www.lelivrescolaire.fr.