1. , donc est inversible. Comme le déterminant vaut , l'inverse s'écrit sans fraction : Vérification : , ce qui confirme le calcul.
2. On calcule le produit en deux temps, en commençant par : puis : Les coefficients hors de la diagonale sont nuls : est bien une matrice diagonale.
3. Considérons la propriété, définie pour tout entier naturel :
Initialisation : Pour , on a d'une part, et d'autre part Les deux membres coïncident, donc est vraie.
Hérédité : Soit . Supposons vraie, c'est-à-dire . Alors : en utilisant (question 2) et l'associativité du produit matriciel. C'est exactement , qui est donc vraie.
Conclusion : Par principe de récurrence, la propriété est vraie pour tout entier naturel :
C'est le cœur de la méthode : c'est le télescopage des qui fait tout le travail, et il n'a lieu que parce que et se retrouvent côte à côte.
4. De l'égalité précédente, on tire en multipliant à gauche par et à droite par :
Or étant diagonale, ses puissances se calculent coefficient par coefficient :
On effectue alors le produit, de gauche à droite :
Vérifications. Pour : . Pour : . Les deux cas particuliers confirment la formule.
Bilan de la méthode. Calculer directement était hors de portée : aucune relation simple ne relie à . L'astuce consiste à remplacer par la matrice diagonale , dont les puissances sont immédiates, puis à revenir à grâce à l'égalité . Tout repose sur le couple , dont les produits se télescopent à chaque étape.