ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Dérivation

Exercice 24

DémonstrationCalcul

Soit n∈ℕ∗n \in \mathbb{N}^{*} et Pn=∑k=0nXkk!P_{n} = \sum_{k = 0}^{n} \frac{X^{k}}{k!}.

1. Montrer que PnP_{n} n'a que des racines simples dans ℂ\mathbb{C}. On pourra exprimer Pn−Pn′P_{n} - P_{n}'.

2. Montrer que PnP_{n} n'a aucune racine réelle si nn est pair, et exactement une si nn est impair. On raisonnera par récurrence, en étudiant les variations de la fonction associée.

Corrigé

1. On a Pn′=Pn−1P_{n}' = P_{n - 1}, donc Pn−Pn′=Xnn!P_{n} - P_{n}' = \frac{X^{n}}{n!}. Si zz était racine multiple, on aurait Pn(z)=Pn′(z)=0P_{n}(z) = P_{n}'(z) = 0, donc zn=0z^{n} = 0, soit z=0z = 0 ; or Pn(0)=1P_{n}(0) = 1. Pn n’a que des racines simples\boxed{P_{n} \text{ n'a que des racines simples}}

2. On montre par récurrence sur n∈ℕn \in \mathbb{N} que Pn>0P_{n} > 0 sur ℝ\mathbb{R} si nn est pair, et que PnP_{n} s'annule exactement une fois si nn est impair. Pour n=0n = 0, P0=1P_{0} = 1. Si nn est impair, Pn′=Pn−1>0P_{n}' = P_{n - 1} > 0 : la fonction est strictement croissante, de limites −∞-\infty et +∞+\infty, donc s'annule une seule fois. Si n⩾2n \geqslant 2 est pair, Pn′=Pn−1P_{n}' = P_{n - 1} s'annule en un seul point cc, en changeant de signe de −- à ++ : PnP_{n} atteint son minimum en cc, et ce minimum vaut Pn(c)=Pn(c)−Pn′(c)=cnn!>0,P_{n}(c) = P_{n}(c) - P_{n}'(c) = \frac{c^{n}}{n!} > 0, puisque c≠0c \neq 0 et nn est pair. Pn a 0 racine reˊelle si n est pair, et 1 si n est impair\boxed{P_{n} \text{ a } 0 \text{ racine réelle si } n \text{ est pair, et } 1 \text{ si } n \text{ est impair}}

Ouvrir dans l'atlas interactif →