如楼下《刚开始想耍赖，用正弦定理》所述。

俺也知道主帖问题等价于
\(\frac{1}{\sin (2\pi/7)}+\frac{1}{\sin(3\pi/7)}=\frac{1}{\sin(\pi/7)}\)。

并写了个程序验证了一下，上式正确（程序在下面《刚开始想耍赖，用正弦定理》）。但解析证明似乎很繁琐——鸡老板证明的就是上面的式子，证明很简单、漂亮。

俺是由于觉得上式太难，因此才“硬证”，强行搞个b+c。
第一次在c的延长线上加长度b，不行。然后才在b的延长线上做文章。

锟斤拷锟洁辑时锟斤拷: 2022-08-31 16:44:45