PRINCIPIA · THEOREM
中心对称:对称中心平分对应点连线
依赖:平行四边形性质(对边相等 / 对角线互相平分)(对角线互相平分,F.01)、平行四边形判定(F.04,特别是 (d) 对角线互相平分 ⇒ 平行四边形)。
陈述
设 为定点。关于 的中心对称(亦称点对称)是平面到自身的映射
等价地, 就是绕 旋转 。其几何性质是:对任意两点 、 及其像 、,

帮我把这条定理写得更好
依赖:平行四边形性质(对边相等 / 对角线互相平分)(对角线互相平分,F.01)、平行四边形判定(F.04,特别是 (d) 对角线互相平分 ⇒ 平行四边形)。
设 为定点。关于 的中心对称(亦称点对称)是平面到自身的映射
等价地, 就是绕 旋转 。其几何性质是:对任意两点 、 及其像 、,
