Soient et deux matrices appartenant à .
On suppose que pour tout entier , la matrice est inversible dans .
Démontrer que la matrice est également inversible dans .
Rappeler la condition nécessaire et suffisante pour qu'une matrice à coefficients entiers soit inversible dans .
Étudier la fonction en tant que polynôme. Quel est son degré maximal ?
Utiliser le principe des tiroirs de Dirichlet sur les valeurs prises par ce polynôme aux points et .
Caractérisation de l'inversibilité sur : .
Propriété polynomiale du déterminant : est un polynôme de degré au plus .
Principe des tiroirs : si l'on range objets dans tiroirs avec , au moins un tiroir contient deux objets.
Résolution.
Considérons l'application définie pour tout complexe par :
D'après la formule du déterminant (développement par rapport aux lignes ou formule de Leibniz), est un polynôme en .
Comme les matrices et sont de taille , le degré de ce polynôme est limité :
Une matrice est inversible dans si et seulement si son déterminant est un élément inversible de l'anneau .
Les seuls éléments inversibles de sont et . L'énoncé nous indique donc que :
Nous disposons de 5 points d'évaluation et de seulement 2 valeurs possibles pour , à savoir ou .
D'après le principe des tiroirs (ou principe de Dirichlet), l'une de ces deux valeurs doit être prise au moins trois fois par le polynôme .
Supposons, sans perte de généralité, que la valeur est prise au moins trois fois.
Il existe donc trois entiers distincts tels que :
Le polynôme possède alors au moins trois racines distinctes. Or, nous avons établi que :
Un polynôme de degré au plus 2 possédant 3 racines distinctes est nécessairement le polynôme nul. On en déduit que :
De la même manière, si la valeur était celle répétée trois fois, on aurait pour tout .
Dans tous les cas, le polynôme est constant sur . Il prend donc la même valeur en tout point, en particulier :
Comme par hypothèse ( est inversible dans ), on en conclut que :
Conclusion : La matrice est inversible dans .
L'erreur classique est d'oublier que l'inversibilité dans impose une contrainte beaucoup plus forte sur le déterminant que l'inversibilité dans . Sur , on a une infinité de valeurs possibles pour le déterminant, alors que sur , il n'y en a que deux.