Adloun

Le triangle de Pascal est l'exponentielle de la dérivation

Exercice de TD · niveau 2 · mathématiques MPSI, chapitre 13 — Matrices et applications linéaires · A. Matrices d'applications linéaires

Énoncé

On travaille dans muni de la base canonique . Soit et .

1) Écrire la matrice de . Montrer que .

2) À l'aide de la formule de Taylor polynomiale (chapitre 10), montrer que . Écrire la matrice de : reconnaître le triangle de Pascal.

3) Justifier sans calcul que est inversible, donner , et montrer que . Quelle identité sur les coefficients binomiaux le produit exprime-t-il ?

4) Montrer que est inversible d'inverse . En déduire l'unique solution de dans , et l'expliciter pour .

5) Pour , exprimer et en déduire la matrice de .

Corrigé

Ce qu'on a le droit d'utiliser. La formule de Taylor polynomiale, exacte : (somme finie). Le dictionnaire du cours : la matrice d'une composée est le produit des matrices, un endomorphisme est inversible si et seulement si sa matrice l'est. Et l'identité du chapitre 9 : .

1) La dérivation. et pour : la colonne (indexée de à ) porte en ligne et des zéros ailleurs. La matrice de a donc pour seuls coefficients non nuls sur la sur-diagonale. Pour : abaisse le degré d'une unité (ou envoie sur ), donc pour tout , et est nul sur une base, donc nul. est nilpotente, et c'est ce qui va rendre exactes toutes les identités formelles qui suivent.

2) L'exponentielle de . Pour , Taylor avec donne la somme s'arrêtant à puisque pour . Donc : c'est la série de l'exponentielle, tronquée — mais comme , la troncature ne perd rien, et l'identité est exacte.

La matrice. par la formule du binôme : la colonne porte les coefficients binomiaux (lire « parmi ») en ligne , et des zéros en dessous. C'est une matrice triangulaire supérieure dont la colonne est la ligne du triangle de Pascal, à diagonale de . Pour : lignes , , .

3) L'inverse. L'application est linéaire de dans lui-même, et (translater de puis de ne change rien) : est bijective, de réciproque . Sans calcul. (Autre argument : sa matrice est triangulaire à diagonale sans zéro, donc inversible.) Taylor avec donne C'est « », inverse de « » — et on peut le vérifier directement par le produit : seul le terme survivant. Le point délicat : ce calcul est exactement celui de sur les séries, mais ici les sommes sont finies parce que est nilpotente — aucune question de convergence.

L'identité binomiale. La matrice de a pour coefficient le nombre (développer ). Le coefficient du produit vaut donc , et il doit valoir si , sinon : On peut la vérifier à la main : (choisir parmi puis parmi , c'est choisir parmi puis parmi les restants), et la somme devient . C'est l'inversion binomiale, qui reviendra au chapitre 18 : les deux triangles de Pascal, l'un à signes alternés, sont inverses l'un de l'autre.

4) L'équation . Par télescopage, comme au chapitre 9 pour avec nilpotente : Un endomorphisme d'un espace de dimension finie inversible à droite est inversible : est inversible, d'inverse . L'équation , c'est ; elle a l'unique solution Pour : . Contrôle : , et . L'existence et l'unicité étaient acquises avant tout calcul, par l'inversibilité — c'est la force du point de vue matriciel.

5) Les puissances. est la translation de : , et par récurrence . Taylor avec : et sa matrice a pour coefficient le nombre , obtenu en développant . Les puissances du triangle de Pascal sont des triangles de Pascal pondérés par ; redonne l'inverse du 3), l'identité.

Ce que l'exercice installe. Sur un espace de polynômes de degré borné, la dérivation est nilpotente, et toutes les identités formelles de l'analyse — exponentielle, série géométrique — deviennent des égalités exactes dans . Le triangle de Pascal, l'inversion binomiale, la résolution de : trois faces du même endomorphisme.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.