Soit un entier naturel non nul. On considère une matrice supposée antisymétrique, c'est-à-dire vérifiant la relation .
On note le polynôme caractéristique de la matrice .
Utiliser la propriété du déterminant de la transposée : .
Pour la parité, comparer et en utilisant l'antisymétrie.
Se rappeler que ou évaluer directement la relation de parité en 0.
Propriété de la transposée : .
Linéarité du déterminant par rapport aux colonnes : .
Lien entre déterminant et valeur du polynôme caractéristique en 0.
Résolution.
En factorisant par à l'intérieur du déterminant, nous obtenons :
Exploitons maintenant l'antisymétrie de la matrice . Comme , nous pouvons écrire :
Puisque le déterminant d'une matrice est égal à celui de sa transposée, il vient :
En combinant ces deux résultats, nous établissons la relation fondamentale :
On en déduit les conclusions suivantes sur la parité :
D'après la question précédente, le polynôme est alors impair. Une propriété immédiate des polynômes (ou fonctions) impairs est qu'ils s'annulent en l'origine.
En effet, en évaluant la relation en , on obtient :
Or, par définition du polynôme caractéristique, nous avons :
Comme est impair, . Nous en déduisons :
Puisque son déterminant est nul, la matrice n'est pas inversible.
Attention à ne pas oublier le facteur lorsqu'on sort un signe moins du déterminant. C'est une erreur classique de penser que pour tout . Ce n'est vrai que si est impair.