Toute rotation de centre O et d’angle peut être obtenue en composant deux symétries orthogonales dont les axes se coupent en O et font entre eux un angle égal à (mod ), le choix du premier axe étant arbitraire.
Remarque : La décomposition d’une rotation en un produit de symétries orthogonales n’est pas unique, elle dépend du choix de la première droite.
Proposition:
Soient deux droites D et D’ concourantes en un point O du plan.
Alors SD’ ° SD est une rotation de centre O et d’angle où est le double de l’angle orienté des deux droites D et D’ modulo .
Conséquences :
Soient D1, D2 et D3 trois droites concourantes en O. Alors il existe une droite unique D4 passant par O et telle que SD1 ° SD2 = SD3 ° SD4.
Soient D1, D2 et D3 trois droites concourantes en O. Alors SD1 ° SD2 ° SD3