PRINCIPIA · THEOREM
轴对称:对称轴 ⊥ 平分对应点连线
陈述
设 是平面上一条直线,记 为关于 的轴对称变换:每点 映到 ,使得 是线段 的中垂线——这是反射的几何定义。
那么 保距、保角:对任一对点 、 与它们的像 、,
换句话说,反射是全等变换——它把每个图形整体搬到 的另一侧,长度与角度都不变。

帮我把这条定理写得更好
设 是平面上一条直线,记 为关于 的轴对称变换:每点 映到 ,使得 是线段 的中垂线——这是反射的几何定义。
那么 保距、保角:对任一对点 、 与它们的像 、,
换句话说,反射是全等变换——它把每个图形整体搬到 的另一侧,长度与角度都不变。
