MathLabs

第4题

设 A,BA,B 是中心为 OO 的正 nn 边形(n≥5n\ge5)的相邻顶点。三角形 XYZXYZ 与 OABOAB 全等且初始时重合,运动时 YY 与 ZZ 各自走遍多边形的整个边界,而 XX 始终在多边形内部。求 XX 的轨迹。
第 5/5 步:利用 nn 重旋转对称性
通俗地说

每个边到边的阶段都可由第一个阶段绕 OO 旋转 2π/n2\pi/n 得到。

L=⋃j=0n−1R2πj/n(OV‾)\mathcal L=\bigcup_{j=0}^{n-1}R_{2\pi j/n}(\overline{OV})
详细分析

当 Y,ZY,Z 走遍全部 nn 条边时,由旋转对称性得到 nn 条互不相同且全等的线段;每条经过 OO 并位于 OO 与某顶点的连线上(只取多边形内部的一侧)。所以轨迹是由 nn 条经过 OO 的线段组成的星形。