求证：正 $9$ 边形的最长对角线等于边长加上最短对角线．
【难度】
【出处】
无
【标注】
【答案】
略
【解析】
等价于证明 $\sin20^{\circ}+\sin40^{\circ}+\sin80^{\circ}$
答案
解析
备注
