PRINCIPIA · THEOREM
拿破仑定理
依赖:旋转:保距、保角,对应点到旋转中心距相等(旋转保距 + 保角)、同 / 等圆中:圆心角 / 弧 / 弦 三者两两等价 & 圆心角等于同弧圆周角的两倍(等边外接圆中心角 = )、三角等 ⇒ 等边(三角 等边)、三种变换的复合 = 全等(两旋转的复合还是旋转)。
陈述
已知: 是任意非退化三角形。在它的三条边上向外分别作等边三角形
其中 与 在 的两侧, 与 在 的两侧, 与 在 的两侧。设 、、 分别是这三个等边三角形的中心(重心 / 外心)。
求证:

帮我把这条定理写得更好