MathLabs

第1题

在正方形 ABCDABCD 内作等边三角形 ABKABK、BCLBCL、CDMCDM 和 DANDAN。证明 KL,LM,MN,NKKL,LM,MN,NK 以及 AK,BK,BL,CL,CM,DM,DN,ANAK,BK,BL,CL,CM,DM,DN,AN 的中点正好是一个正十二边形的十二个顶点。
第 5/5 步:确定十二个顶点
通俗地说

半径相等且角间距相等,正是正十二边形的定义。

zj=3−12eijπ/6,j=0,1,…,11z_j=\frac{\sqrt{3}-1}{2}e^{ij\pi/6},\quad j=0,1,\ldots,11
单位圆显示十二个中点方向之间的 30∘30^\circ 角间隔。
标出 $30^\circ$ 点的单位圆,表示正十二边形相邻方向。
详细分析

十二个中点的幅角恰好为 jπ/6j\pi/6,其中 j=0,…,11j=0,\ldots,11,且每个点的模都是 3−12\frac{\sqrt{3}-1}{2}。因此它们均匀分布在同一个圆上。