Soit un espace vectoriel de dimension . On cherche à déterminer une matrice telle que , où désigne la matrice identité d’ordre . On notera l’endomorphisme de de matrice dans la base canonique.
1
Démontrer que l’existence d’une telle matrice implique la parité de .
2
On suppose maintenant que .
3
Démontrer que pour tout , , les vecteurs et sont linéairement indépendants.
4
Soit , on note le sous-espace vectoriel de engendré par les vecteurs et .
5
Démontrer que est stable par .
6
Soit , on suppose que , démontrer que est une base de .