Soit un espace euclidien et telle que . Soit tel que . On pose . Alors on sait qu’il existe une unique réflexion telle que .
1
Montrer que .
2
Montrer que .
3
Montrer par récurrence que toute isométrie vectorielle est la composée de réflexions.