Conservation de l'alignement :
Soient

la rotation de centre

et d'angle

et

,

et

trois points alignés.
Si

,

et

sont les images respectives de

,

et

par

alors ils sont alignés.
On dit qu'une rotation conserve l'alignement.
Démonstration :
La propriété est trivialement vraie si deux ou trois des points

,

et

sont confondus.
On suppose maintenant que

,

et

sont distincts.
D'abord, on peut commencer par noter que puisque

,

et

sont alignés, on a
![\left(\overrightarrow{AB} , \overrightarrow{AC}\right) = 0 \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{AB} , \overrightarrow{AC}\right) = 0 \, [2\pi])
ou
![\left(\overrightarrow{AB} , \overrightarrow{AC}\right) = \pi \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{AB} , \overrightarrow{AC}\right) = \pi \, [2\pi])
.
De plus, en utilisant la propriété caractéristique on peut établir d'une part que
![\left(\overrightarrow{AB} , \overrightarrow{A'B'}\right) = \alpha \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{AB} , \overrightarrow{A'B'}\right) = \alpha \, [2\pi])
et d'autre part que
![\left(\overrightarrow{AC} , \overrightarrow{A'C'}\right) = \alpha \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{AC} , \overrightarrow{A'C'}\right) = \alpha \, [2\pi])
.
Par suite, en utilisant la relation de Chasles, on obtient que
 = \left(\overrightarrow{A'B'} , \overrightarrow{AB}\right) + \left(\overrightarrow{AB} , \overrightarrow{AC}\right) + \left(\overrightarrow{AC} , \overrightarrow{A'C'}\right))
, c'est à dire que
![\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = -\alpha + \left(\overrightarrow{AB} , \overrightarrow{AC}\right) + \alpha = \left(\overrightarrow{AB} , \overrightarrow{AC}\right) \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = -\alpha + \left(\overrightarrow{AB} , \overrightarrow{AC}\right) + \alpha = \left(\overrightarrow{AB} , \overrightarrow{AC}\right) \, [2\pi])
.
Donc, en fait,
![\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = 0 \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = 0 \, [2\pi])
ou
![\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = \pi \, [2\pi]](https://latex.ilemaths.net/latex-0.tex?\left(\overrightarrow{A'B'} , \overrightarrow{A'C'}\right) = \pi \, [2\pi])
, ce qui démontrent bien, finalement, que

,

et

sont alignés.