
est une rotation vectorielle si et seulement si il existe (a,b) appartenant à R avec a²+b²=1 tels que dans toute base orthonormée de
la matrice de f est soit
la matrice de f est soit
...est une rotation vectorielle si et seulement si il existe (a,b) appartenant à R avec a²+b²=1 tels que dans toute base orthonormée de la matrice de f est...
|
avec
tel que la matrice associée soit
, le deuxième "soit" est inutile quitte à changer le signe de
.

, on utilise la surjectivité des applications 

sur [-1;1] pour obtenir la forme
-