ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Exercices de synthèse
Exercice 61
Soit , . On suppose qu'il existe telle que . On veut montrer qu'il existe telle que : deux matrices réelles semblables dans le sont dans .
1. On écrit , avec , . Montrer que et .
2. Montrer que est une fonction polynomiale, et qu'elle n'est pas identiquement nulle sur .
3. Conclure.
Les quatre derniers exercices sont des problèmes à traiter en autonomie : l'énoncé fixe le but, et c'est à vous de trouver le chemin.
Corrigé
1. L'égalité équivaut à , soit . Les matrices , , , étant réelles, les matrices , , , le sont aussi, et l'on identifie parties réelles et parties imaginaires, coefficient par coefficient.
2. Les coefficients de sont des polynômes de degré au plus en . Par la formule qui définit le déterminant, est une somme de produits de tels coefficients : c'est une fonction polynomiale de , de degré au plus , associée à un polynôme . Pour , on trouve , puisque est inversible.
3. Le polynôme n'est pas nul : il a au plus racines (théorème 3 du chapitre 13). Comme est infini, il existe un réel qui n'en est pas une. La matrice est réelle et : . Par la question 1, , et donc . Piège. Ni ni ne sont inversibles en général, de sorte que les égalités et ne permettent pas de conclure directement. Par exemple, pour et , on a . C'est le passage par le polynôme , non nul car il ne s'annule pas en , qui fournit une combinaison réelle inversible.
Les quatre derniers exercices sont des problèmes en autonomie ; le corrigé commence par l'idée directrice.