Soit de classe telle que, pour tout , l’application est un automorphisme orthogonal, i.e. est linéaire bijective et conserve le produit scalaire: Montrer que l’application est elle même un automorphisme orthogonal.
Indications:
1
Déterminer la différentielle de .
2
Vérifier que est antisymétrique par rapport aux deux premières variables et symétrique par rapport aux deux dernières variables.
3
En déduire que pour tous puis conclure.