ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Extrema, théorèmes de Rolle et des accroissements finis

Exercice 16

Démonstration

Soit PP une fonction polynomiale. Montrer que l'équation P(x)=exP(x) = \mathrm{e}^{x} n'a qu'un nombre fini de solutions réelles. On raisonnera par récurrence sur le degré de PP, en appliquant le théorème de Rolle à x↦P(x)e−x−1x \mapsto P(x)\mathrm{e}^{-x} - 1.

Corrigé

Si P=0P = 0, l'équation n'a pas de solution. Sinon, soit dd le degré de PP, et h:x↦P(x)e−x−1h : x \mapsto P(x)\mathrm{e}^{-x} - 1, dont les zéros sont exactement les solutions de l'équation. La fonction hh est dérivable sur ℝ\mathbb{R}, et h′(x)=(P′(x)−P(x))e−x.h'(x) = \big(P'(x) - P(x)\big)\mathrm{e}^{-x}. Le polynôme P−P′P - P' a le même terme dominant que PP : il est de degré dd, non nul, et s'annule donc au plus dd fois (chapitre 3). Ainsi h′h' s'annule au plus dd fois. Si hh s'annulait en d+2d + 2 points distincts, le théorème de Rolle fournirait d+1d + 1 zéros distincts de h′h', ce qui est impossible. l’eˊquation P(x)=ex a au plus d+1 solutions\boxed{\text{l'équation } P(x) = \mathrm{e}^{x} \text{ a au plus } d + 1 \text{ solutions}} L'énoncé suggérait une récurrence sur le degré ; l'application directe du théorème de Rolle à hh la rend inutile, et donne en outre une borne explicite. La borne est atteinte pour d=1d = 1 : l'équation 3x=ex3x = \mathrm{e}^{x} a deux solutions, car la fonction x↦3xe−xx \mapsto 3x\mathrm{e}^{-x} croît de 00 à 3e>1\frac{3}{\mathrm{e}} > 1 sur [0 ,1][0\,,1] puis décroît vers 00.

Dans l'édifice

Thèmes

rolle et accroissements finis, théorème de rolle, racines de polynômes

Notions

dérivable

Ouvrir dans l'atlas interactif →