Пусть \(O\) \(-\) точка на плоскости. Тогда поворотом плоскости на угол \(\alpha\) вокруг точки \(O\) называется такое движение плоскости, при котором точка \(O\) остается на месте, а любая другая точка \(A\) плоскости переходит в точку \(A'\) такую, что \(\angle AOA'=\alpha\) и \(OA=OA'\).
