轴对称：对称轴 ⊥ 平分对应点连线

依赖：垂直平分线 ⇔ 到两端点等距、SSS 全等判定。

陈述

已知：$\ell$ 是平面上一条直线。轴对称变换 $\sigma_\ell$ 把每点 $P$ 映到 $P' = \sigma_\ell(P)$，使 $\ell$ 恰为线段 $PP'$ 的中垂线（这是反射的几何定义）。设 $A$、$B$、$C$ 为平面上任意三点，记它们的像为 $A' = \sigma_\ell(A)$、$B' = \sigma_\ell(B)$、$C' = \sigma_\ell(C)$。

求证：$\sigma_\ell$ 保距、保角，即