ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 5 — Fonctions usuelles et dérivation pratique · Exponentielle et logarithme

Exercice 28

Démonstration

1. Montrer que l'équation xln⁡x=1x\ln x = 1 admet une unique solution sur ]0 ,+∞[]0\,,+\infty[, et que celle-ci appartient à ]1 ,e[]1\,,\mathrm{e}[.

2. Montrer que l'équation e−x2=ex−1\mathrm{e}^{-x^{2}} = \mathrm{e}^{x} - 1 admet une unique solution réelle. On commencera par montrer qu'elle n'en a aucune sur ]−∞ ,0]]-\infty\,,0].

Corrigé

1. Sur ]0 ,1]]0\,,1], xln⁡x⩽0<1x\ln x \leqslant 0 < 1 : il n'y a pas de solution. Sur [1 ,+∞[[1\,,+\infty[, la fonction φ:x↦xln⁡x\varphi : x \mapsto x\ln x est dérivable, de dérivée ln⁡x+1>0\ln x + 1 > 0 : elle est strictement croissante. Comme φ(1)=0<1<e=φ(e)\varphi(1) = 0 < 1 < \mathrm{e} = \varphi(\mathrm{e}), et que φ([1 ,e])\varphi([1\,,\mathrm{e}]) est un intervalle d'après le théorème 2, la valeur 11 est atteinte sur ]1 ,e[]1\,,\mathrm{e}[, une seule fois. xln⁡x=1 a une unique solution α∈ ]1 ,e[,α≈1,763\boxed{x\ln x = 1 \text{ a une unique solution } \alpha \in \,]1\,,\mathrm{e}[, \quad \alpha \approx 1{,}763} 2. Pour x⩽0x \leqslant 0, ex−1⩽0<e−x2\mathrm{e}^{x} - 1 \leqslant 0 < \mathrm{e}^{-x^{2}} : pas de solution. Sur [0 ,+∞[[0\,,+\infty[, la fonction h:x↦ex−1−e−x2h : x \mapsto \mathrm{e}^{x} - 1 - \mathrm{e}^{-x^{2}} a pour dérivée ex+2x e−x2>0\mathrm{e}^{x} + 2x\,\mathrm{e}^{-x^{2}} > 0. Comme h(0)=−1<0h(0) = -1 < 0 et h(1)=e−1−1e>0h(1) = \mathrm{e} - 1 - \frac{1}{\mathrm{e}} > 0, la même méthode conclut. unique solution, dans ]0 ,1[, ≈0,552\boxed{\text{unique solution, dans } ]0\,,1[, \ \approx 0{,}552} À retenir : l'existence vient du théorème 2, l'unicité de la stricte monotonie. Le chapitre 8 donnera la même conclusion par le théorème des valeurs intermédiaires, sans hypothèse de dérivabilité.

Ouvrir dans l'atlas interactif →