ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Familles de vecteurs

Exercice 20

Démonstration

Soit n∈ℕn \in \mathbb{N}. Pour k∈[ ⁣[0 ;n] ⁣]k \in [\![0\,;n]\!], on pose Pk=(X+1)k+1−Xk+1P_{k} = (X + 1)^{k + 1} - X^{k + 1}. Montrer que (P0,…,Pn)(P_{0}, \dots, P_{n}) est une base de 𝕂n[X]\mathbb{K}_{n}[X].

Corrigé

Par la formule du binôme, Pk=∑j=0k(k+1j)XjP_{k} = \sum_{j = 0}^{k} \binom{k + 1}{j}X^{j} : le terme Xk+1X^{k + 1} disparaît, et le coefficient de XkX^{k} vaut k+1≠0k + 1 \neq 0. Donc deg⁡Pk=k\deg P_{k} = k pour tout k∈[ ⁣[0 ;n] ⁣]k \in [\![0\,;n]\!]. (P0,…,Pn) est une base de 𝕂n[X] (proposition 10).\boxed{(P_{0}, \dots, P_{n}) \text{ est une base de } \mathbb{K}_{n}[X] \text{ (proposition 10).}}

Dans l'édifice

Thèmes

familles de vecteurs, bases

Notions

famille libre, base (algèbre linéaire)

Ouvrir dans l'atlas interactif →