Soit une rotation de centre O et d’angle 
. Soient deux points A et B et leurs images A’ et B’ par la rotation. Alors les droites (AB) et (A’B’) font entre elles un angle de mesure .
Explications :
Les triangles OAB et OA’B’ sont isométriques puisqu’une rotation conserve les polygones.
Donc 
, soit 
.
Par conséquent les points O,C, B et B’ sont cocycliques. Alors 
puisque ces angles interceptent la corde [BB’]. Ainsi 
mesure .
