Les matrices orthogonales à coefficients entiers : les 48 symétries du cube
Exercice de TD · niveau 2 · mathématiques (PC), chapitre 4 — Endomorphismes des Espaces Euclidiens et Isométries · A. Matrices orthogonales et groupe orthogonal
Énoncé
On appelle matrice de permutation signée une matrice carrée qui possède un unique coefficient non nul dans chaque ligne et dans chaque colonne, égal à ou à . On note l'ensemble des matrices de à coefficients entiers.
a) Montrer qu'une matrice de permutation signée est orthogonale.
b) Réciproquement, soit . Montrer que chaque colonne de a un unique coefficient non nul, égal à , puis que est une matrice de permutation signée.
c) En déduire que compte éléments, et qu'exactement la moitié d'entre eux ont pour déterminant (considérer ).
d) Soit et tel que . Montrer que permute les huit sommets de (les points de de norme maximale ), puis, en écrivant , que est l'un des . En déduire que les isométries vectorielles qui conservent le cube sont exactement les 48 éléments de , dont 24 rotations.
Corrigé
Ce qu'on a le droit d'utiliser. Une matrice est orthogonale si et seulement si ses colonnes forment une base orthonormée ; le déterminant change de signe quand on multiplie une ligne par ; le nombre de permutations d'un ensemble à éléments. La stratégie : l'orthogonalité impose aux colonnes d'être unitaires, et l'intégralité ne laisse qu'une façon d'être unitaire.
a) Les permutations signées sont orthogonales. La colonne d'une matrice de permutation signée vaut , où est la ligne de son coefficient non nul ; comme il y a un seul coefficient non nul par ligne, les sont deux à deux distincts. Les colonnes sont donc, au signe près, les vecteurs de la base canonique pris dans un certain ordre : elles sont unitaires et deux à deux orthogonales, et la matrice est orthogonale.
b) La réciproque. Soit et fixé. La colonne est unitaire : , où les sont des entiers. Un entier non nul a un carré au moins égal à : un seul des est non nul, et il vaut . Si les coefficients non nuls de deux colonnes distinctes étaient sur la même ligne, leur produit scalaire vaudrait ; les coefficients non nuls sont donc sur lignes distinctes, un par ligne : est une matrice de permutation signée.
c) Le décompte. Une matrice de permutation signée est déterminée par la ligne du coefficient non nul de chaque colonne — des lignes deux à deux distinctes, soit une permutation, choix — et par les signes, choix : compte éléments. Soit , qui appartient à . L'application change le signe de la première ligne : elle envoie dans , et elle est sa propre réciproque puisque , donc c'est une bijection de sur lui-même. Comme , elle échange les éléments de déterminant et ceux de déterminant : ces deux ensembles ont le même nombre d'éléments, chacun. Pour : éléments, dont de déterminant . (Aucune notion de signature d'une permutation n'a servi.)
d) Les symétries du cube. Les sommets. Pour , chaque est au plus , donc , avec égalité si et seulement si : les points de de norme sont les huit sommets . Si est un sommet, et : est un sommet. L'application , injective, envoie l'ensemble fini des sommets dans lui-même : elle les permute.
L'image de . est la demi-somme de deux sommets. Les coordonnées d'une telle demi-somme valent là où les deux sommets diffèrent, là où ils coïncident, et le carré de sa norme est le nombre de coordonnées où ils coïncident. Or : une seule coordonnée est non nulle, et elle vaut : . De même et ont pour images des vecteurs : la matrice de est à coefficients entiers, et .
La réciproque. Si , l'application permute les coordonnées de en changeant éventuellement leurs signes : elle conserve le plus grand des , donc envoie dans ; il en va de même de , qui est aussi dans , donc . Les isométries qui conservent le cube sont exactement les 48 éléments de , dont 24 rotations.
Ce que l'exercice installe. Orthogonalité et intégralité rigidifient : une matrice orthogonale à coefficients entiers n'a presque plus de liberté, et il n'y en a qu'un nombre fini. En chimie, le cube et l'octaèdre — celui de l'hexafluorure de soufre, dont les six atomes de fluor sont en — ont ces mêmes 48 symétries, que les chimistes notent ; le méthane du TD 3, inscrit dans le cube, n'en conserve que 24.
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.