Les équivalents ne servent pas à remplacer une fonction par une autre « plus simple ». Ils décrivent un comportement asymptotique relatif : deux fonctions sont équivalentes en un point si leur rapport tend vers 1. Cette définition, limpide en apparence, cache des restrictions d’usage que la plupart des cours survolent. Nous détaillons ici les situations où l’équivalent est l’outil adapté pour lever une forme indéterminée, et celles où il conduit à une erreur si on l’applique sans précaution.
Équivalent dans un produit ou un quotient : la seule substitution fiable
Un équivalent peut remplacer une fonction uniquement en facteur dans un produit ou un quotient. C’est la règle centrale, et elle n’admet pas d’exception.
Si f(x) ~ g(x) au voisinage de a, alors pour toute fonction h(x) qui admet une limite (finie ou infinie) en a, on a f(x)·h(x) ~ g(x)·h(x) et f(x)/h(x) ~ g(x)/h(x). La substitution conserve la limite parce que le rapport f/g tend vers 1 et que ce facteur 1 ne modifie ni produit ni quotient.
Prenons sin(x)/x au voisinage de 0. Puisque sin(x) ~ x, le quotient se simplifie directement en x/x = 1. Aucun développement limité n’est nécessaire ici. De même, pour (1 – cos(x))/(x·sin(x)) en 0, on remplace 1 – cos(x) ~ x²/2 et sin(x) ~ x, ce qui donne (x²/2)/(x·x) = 1/2.
Nous recommandons de vérifier systématiquement que chaque fonction substituée apparaît bien en position multiplicative avant d’appliquer un équivalent usuel. Ce réflexe évite la majorité des erreurs en concours.
Équivalent dans une somme ou une différence : pourquoi la substitution échoue
Remplacer un terme par son équivalent dans une somme est interdit. C’est le piège le plus fréquent, et il touche autant les élèves de terminale que les étudiants de première année de prépa.
L’explication est directe : quand deux termes se soustraient, une annulation partielle peut se produire. Le terme dominant disparaît, et c’est le terme suivant dans le développement qui détermine la limite. L’équivalent, qui ne fournit que le comportement principal, ne voit pas ce terme suivant.
Exemple classique d’erreur
Considérons la limite de (1/(sin(x)) – 1/x) quand x tend vers 0. Si on écrit sin(x) ~ x, on obtient 1/x – 1/x = 0. Le résultat est correct par accident dans ce cas, mais la méthode est fausse. En réécrivant l’expression sous la forme (x – sin(x))/(x·sin(x)), on voit apparaître une différence x – sin(x) au numérateur. L’équivalent sin(x) ~ x annule ce numérateur et ne permet plus de conclure sur l’ordre de grandeur réel.
Pour traiter cette limite, il faut un développement limité : sin(x) = x – x³/6 + o(x³), ce qui donne x – sin(x) ~ x³/6 et donc le quotient tend vers 1/6 après simplification par x² au dénominateur.
Quand privilégier le développement limité sur l’équivalent
La distinction opérationnelle entre les deux outils tient à une question simple : combien de termes faut-il pour lever l’indétermination ?
- Si l’expression est un produit, un quotient, ou une composition sans soustraction entre termes du même ordre, l’équivalent suffit. Il est plus rapide et moins sujet aux erreurs de calcul qu’un DL complet.
- Si l’expression contient une différence entre deux quantités qui tendent vers la même limite (forme 0/0 après simplification, ou infini – infini), le développement limité est l’outil adapté parce qu’il conserve les termes d’ordre supérieur.
- Si l’on cherche non seulement la limite mais aussi la vitesse de convergence (comportement du reste, estimation d’erreur numérique), le DL est le seul à fournir cette information, puisqu’il contrôle explicitement le reste o(x^n).
En résumé, l’équivalent donne le « quoi » (la limite), le développement limité donne le « comment » (à quelle vitesse et avec quel signe on s’approche de la limite).
Hiérarchie des ordres de croissance et équivalents à l’infini
Au voisinage de l’infini, les équivalents s’appuient sur la hiérarchie des fonctions usuelles. Cette hiérarchie conditionne la possibilité même de simplifier une expression.
Toute puissance de x est négligeable devant l’exponentielle, et tout logarithme est négligeable devant toute puissance positive de x. Formellement, pour tout alpha > 0 : ln(x) = o(x^alpha) et x^alpha = o(e^x) quand x tend vers +infini.
Cette hiérarchie permet de déterminer l’équivalent d’une somme à l’infini sans développement limité. Par exemple, e^x + x³ ~ e^x en +infini, car x³ = o(e^x). La substitution est ici licite : les deux termes ne s’annulent pas, le terme dominant absorbe l’autre.
Piège courant avec les polynômes
Pour un polynôme P(x) = a_n·x^n + a_{n-1}·x^{n-1} + … + a_0, on a P(x) ~ a_n·x^n en +infini. Cet équivalent est valide parce que chaque terme de degré inférieur est négligeable devant x^n. Mais si l’on soustrait deux polynômes de même degré dominant, il faut identifier le premier coefficient non nul de la différence, ce qui revient à un raisonnement de type DL.
Équivalents usuels au voisinage de 0 : les formules à maîtriser
La liste des équivalents classiques en 0 constitue la boîte à outils de base. Nous les regroupons par famille pour faciliter la mémorisation.
- Fonctions trigonométriques : sin(x) ~ x, tan(x) ~ x, 1 – cos(x) ~ x²/2, arcsin(x) ~ x, arctan(x) ~ x
- Exponentielle et logarithme : e^x – 1 ~ x, ln(1 + x) ~ x
- Puissances : (1 + x)^alpha – 1 ~ alpha·x pour tout réel alpha
- Fonctions hyperboliques : sinh(x) ~ x, tanh(x) ~ x, cosh(x) – 1 ~ x²/2
Chacune de ces formules n’est valable qu’au voisinage de 0. Les utiliser en un autre point nécessite un changement de variable préalable pour se ramener à une variable tendant vers 0.
Avant de substituer, nous recommandons de poser la variable u = expression qui tend vers 0, réécrire la fonction en termes de u, puis appliquer l’équivalent usuel sur u. Cette discipline évite les confusions entre le point de référence et la variable d’approche.
Le dernier réflexe à adopter est de toujours vérifier le contexte multiplicatif. Un équivalent bien placé lève une indétermination en une ligne, mal placé il produit un résultat faux sans signal d’alerte. C’est cette asymétrie qui rend la maîtrise des conditions d’application plus utile que la mémorisation des formules elles-mêmes.
