ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Matrices et applications linéaires

Exercice 26

Calcul

Soit a∈𝕂a \in \mathbb{K}, n∈ℕn \in \mathbb{N}, et τa\tau_{a} l'endomorphisme P↦P(X+a)P \mapsto P(X + a) de 𝕂n[X]\mathbb{K}_{n}[X].

1. Déterminer la matrice AaA_{a} de τa\tau_{a} dans la base canonique.

2. Calculer τa∘τb\tau_{a} \circ \tau_{b}. En déduire que AaA_{a} est inversible et donner Aa−1A_{a}^{-1}, puis A1kA_{1}^{k} pour tout k∈ℤk \in \mathbb{Z}.

3. Écrire A1A_{1} et A1−1A_{1}^{-1} pour n=3n = 3. Quelle identité sur les coefficients binomiaux le produit A1A1−1=I4A_{1}A_{1}^{-1} = I_{4} exprime-t-il ?

Corrigé

1. La formule du binôme donne τa(Xj)=(X+a)j=∑i=0j(ji)aj−iXi\tau_{a}(X^{j}) = (X + a)^{j} = \sum_{i = 0}^{j}\binom{j}{i}a^{j - i}X^{i}. Aa=((ji)aj−i)0⩽i,j⩽n, triangulaire supeˊrieure\boxed{A_{a} = \Big(\binom{j}{i}a^{j - i}\Big)_{0 \leqslant i, j \leqslant n}, \text{ triangulaire supérieure}} avec la convention (ji)=0\binom{j}{i} = 0 pour i>ji > j.

2. On a τa(τb(P))=τa(P(X+b))=P(X+a+b)\tau_{a}\big(\tau_{b}(P)\big) = \tau_{a}\big(P(X + b)\big) = P(X + a + b), donc τa∘τb=τa+b\tau_{a} \circ \tau_{b} = \tau_{a + b}, et AaAb=Aa+bA_{a}A_{b} = A_{a + b} (théorème 2). Comme A0=In+1A_{0} = I_{n + 1}, on a AaA−a=In+1A_{a}A_{-a} = I_{n + 1}. Aa−1=A−a,A1k=Ak(k∈ℤ)\boxed{A_{a}^{-1} = A_{-a}, \qquad A_{1}^{k} = A_{k} \quad (k \in \mathbb{Z})}

3. Pour n=3n = 3, on obtient A1=(1111012300130001),A1−1=A−1=(1−11−101−23001−30001).A_{1} = \begin{pmatrix} 1 & 1 & 1 & 1 \\ 0 & 1 & 2 & 3 \\ 0 & 0 & 1 & 3 \\ 0 & 0 & 0 & 1 \end{pmatrix}, \qquad A_{1}^{-1} = A_{-1} = \begin{pmatrix} 1 & -1 & 1 & -1 \\ 0 & 1 & -2 & 3 \\ 0 & 0 & 1 & -3 \\ 0 & 0 & 0 & 1 \end{pmatrix}. Le coefficient d'indice (i,j)(i, j) du produit A1A−1A_{1}A_{-1} exprime l'identité ∑k=ij(−1)j−k(ki)(jk)={1si i=j0si i≠j\boxed{\sum_{k = i}^{j}(-1)^{j - k}\binom{k}{i}\binom{j}{k} = \begin{cases} 1 & \text{si } i = j \\ 0 & \text{si } i \neq j \end{cases}} c'est une formule d'inversion des coefficients binomiaux, obtenue sans aucun calcul de sommes.

Ouvrir dans l'atlas interactif →