ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Exercices de synthèse

Exercice 21

DémonstrationCalcul

Soient n∈ℕn \in \mathbb{N} et a0a_{0}, a1a_{1}, …, ana_{n} des réels deux à deux distincts. On considère : Φ:ℝn[X]⟶ℝn+1P⟼(P(a0) ; P(a1) ; … ; P(an))\begin{array}{r|ccl} \Phi : & \mathbb{R}_{n}[X] & \longrightarrow & \mathbb{R}^{n+1} \\ & P & \longmapsto & \big(P(a_{0}) \,;\, P(a_{1}) \,;\, \dots \,;\, P(a_{n})\big) \end{array}

1. Démontrer que Φ\Phi est linéaire.

2. Comparer les dimensions de ℝn[X]\mathbb{R}_{n}[X] et de ℝn+1\mathbb{R}^{n+1}.

3. Démontrer que Ker Φ={0}\mathrm{Ker}\, \Phi = \{0\}. On rappelle qu'un polynôme non nul de degré au plus nn admet au plus nn racines.

4. En déduire que Φ\Phi est bijective, en citant précisément le résultat du cours utilisé.

5. Traduire ce résultat en une phrase, en termes de polynômes passant par des points imposés.

6. Application : déterminer l'unique polynôme PP de ℝ2[X]\mathbb{R}_{2}[X] vérifiant P(0)=1P(0)=1, P(1)=3P(1)=3 et P(2)=7P(2)=7.

Corrigé

1. Pour λ∈ℝ\lambda \in \mathbb{R} et PP, Q∈ℝn[X]Q \in \mathbb{R}_{n}[X], l'évaluation en un point est linéaire, coordonnée par coordonnée : Φ(λP+Q)=((λP+Q)(a0) ; …)=λ Φ(P)+Φ(Q)\Phi(\lambda P+Q)=\big((\lambda P+Q)(a_{0}) \,;\, \dots\big)=\lambda\,\Phi(P)+\Phi(Q)

Φ est lineˊaire.\boxed{\Phi \text{ est linéaire.}}

2. Une base de ℝn[X]\mathbb{R}_{n}[X] est (1 ;X ;… ;Xn)\big(1\,;X\,;\dots\,;X^{n}\big), qui compte n+1n+1 vecteurs : dim⁡ℝn[X]=n+1=dim⁡ℝn+1\boxed{\dim \mathbb{R}_{n}[X]=n+1=\dim \mathbb{R}^{n+1}} Les deux espaces ont donc la même dimension finie : c'est l'hypothèse de la proposition 3.

3. Soit P∈Ker ΦP \in \mathrm{Ker}\, \Phi. Alors P(a0)=⋯=P(an)=0P(a_{0})=\dots=P(a_{n})=0 : le polynôme PP admet au moins n+1n+1 racines distinctes, les aia_{i} étant deux à deux distincts. Or PP est de degré au plus nn. S'il était non nul, il aurait au plus nn racines : c'est absurde. Ker Φ={0}\boxed{\mathrm{Ker}\, \Phi=\{0\}}

4. L'application Φ\Phi est linéaire et injective entre deux espaces de même dimension finie. Φ est bijective, d’apreˋs la proposition 3.\boxed{\Phi \text{ est bijective, d'après la proposition 3.}}

5. On traduit la bijectivité en une phrase : Pour tous reˊels y0,…,yn, il existe un unique polynoˆme de degreˊ au plus nprenant la valeur yi en ai pour tout i.\boxed{\begin{array}{l} \text{Pour tous réels } y_{0}, \dots, y_{n}, \text{ il existe un \emph{unique} polynôme de degré au plus } n \\[1mm] \text{prenant la valeur } y_{i} \text{ en } a_{i} \text{ pour tout } i. \end{array}} C'est le théorème d'interpolation de Lagrange : par n+1n+1 points d'abscisses distinctes passe une courbe polynomiale de degré au plus nn, et une seule. La surjectivité donne l'existence, l'injectivité l'unicité.

6. Cherchons P=aX2+bX+cP=aX^{2}+bX+c. Les trois conditions s'écrivent : c=1a+b+c=34a+2b+c=7c=1 \qquad a+b+c=3 \qquad 4a+2b+c=7 La première donne c=1c=1, d'où a+b=2a+b=2 et 4a+2b=64a+2b=6, soit 2a+b=32a+b=3. En soustrayant, a=1a=1, puis b=1b=1. P=X2+X+1\boxed{P=X^{2}+X+1} Vérification : P(0)=1P(0)=1, P(1)=3P(1)=3 et P(2)=4+2+1=7P(2)=4+2+1=7 ✓

Ouvrir dans l'atlas interactif →