旋转：保距、保角，对应点到旋转中心距相等

依赖：尺子公理、量角器公理、SAS 全等判定。

陈述

设 $O$ 为平面上一定点，$\theta\in[0,\,2\pi)$ 为定角。绕中心 $O$、转角 $\theta$ 的旋转 $R_{O,\theta}$ 把每一点 $P$ 映到点 $P'$，使

旋转有三条性质：

1. 保距：任两点 $A$、$B$ 与其像 $A'=R_{O,\theta}(A)$、$B'=R_{O,\theta}(B)$ 满足 $|A'B'| = |AB|$；
2. 保角：任三点 $A$、$B$、$C$ 与其像 $A'$、$B'$、$C'$ 满足 $\angle ABC = \angle A'B'C'$；
3. 等距于中心：每一点到旋转中心 $O$ 的距离不变，即 $|OP'|=|OP|$（这是定义直接给出的）。