ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Dimension et bases

Exercice 4

DémonstrationCalcul

On pose P0=1P_{0}=1, P1=X−1P_{1}=X-1 et P2=(X−1)2P_{2}=(X-1)^{2}, trois éléments de ℝ2[X]\mathbb{R}_{2}[X].

1. Démontrer que la famille (P0 ;P1 ;P2)(P_{0}\,;P_{1}\,;P_{2}) est libre.

2. En déduire que c'est une base de ℝ2[X]\mathbb{R}_{2}[X].

3. Déterminer les coordonnées du polynôme X2+X+1X^{2}+X+1 dans cette base.

4. Comparer ces coordonnées aux nombres P(1)P(1), P′(1)P'(1) et P′′(1)2\dfrac{P''(1)}{2}, où P=X2+X+1P=X^{2}+X+1. Que reconnaît-on ?

Corrigé

1. Soient aa, bb, cc réels tels que a+b(X−1)+c(X−1)2=0a+b(X-1)+c(X-1)^{2}=0. En développant : c X2+(b−2c) X+(a−b+c)=0c\,X^{2}+(b-2c)\,X+(a-b+c)=0 Un polynôme est nul si et seulement si tous ses coefficients le sont : c=0c=0, puis b=0b=0, puis a=0a=0. La famille (P0 ;P1 ;P2) est libre.\boxed{\text{La famille } (P_{0}\,;P_{1}\,;P_{2}) \text{ est libre.}}

2. C'est une famille libre de trois vecteurs dans ℝ2[X]\mathbb{R}_{2}[X], qui est de dimension 33. C’est une base de ℝ2[X].\boxed{\text{C'est une base de } \mathbb{R}_{2}[X].}

3. On cherche aa, bb, cc tels que a+b(X−1)+c(X−1)2=X2+X+1a+b(X-1)+c(X-1)^{2}=X^{2}+X+1. En identifiant les coefficients du développement ci-dessus : c=1b−2c=1a−b+c=1c=1 \qquad b-2c=1 \qquad a-b+c=1 d'où c=1c=1, puis b=3b=3, puis a=3a=3. Les coordonneˊes de X2+X+1 sont (3 ;3 ;1).\boxed{\text{Les coordonnées de } X^{2}+X+1 \text{ sont } (3\,;3\,;1).} Vérification : 3+3(X−1)+(X−1)2=3+3X−3+X2−2X+1=X2+X+13+3(X-1)+(X-1)^{2}=3+3X-3+X^{2}-2X+1=X^{2}+X+1 ✓

4. Avec P=X2+X+1P=X^{2}+X+1, on a P(1)=3P(1)=3, P′(X)=2X+1P'(X)=2X+1 donc P′(1)=3P'(1)=3, et P′′(X)=2P''(X)=2 donc P′′(1)2=1\dfrac{P''(1)}{2}=1. P=P(1)+P′(1) (X−1)+P′′(1)2 (X−1)2\boxed{P=P(1)+P'(1)\,(X-1)+\frac{P''(1)}{2}\,(X-1)^{2}} On reconnaît la formule de Taylor au point 11. Les coordonnées dans la base (1 ;(X−1) ;(X−1)2)\big(1\,;(X-1)\,;(X-1)^{2}\big) ne sont donc rien d'autre que les coefficients de Taylor.

Dans l'édifice

Thèmes

bases, familles libres et génératrices, espaces de polynômes

Notions

base (algèbre linéaire)

Ouvrir dans l'atlas interactif →