前帖（图下面第2行起）已经证明
(d-2r)/(2r)=cos ∠BDC 和
(d-2r)/(2r)=cos ∠EDH.
从而，∠BDF=∠BDG。而且从图上可知：
（1） ∠BDF=210-∠EDG
其实从（1）已经可以求得∠BDF。

前帖的方法用俺的老习惯：双边取正弦。
如果（1）中的数字是270，那么∠BDF=135（俺前帖结果，错的）。

现在的方程是1=sin 210 ctg ∠BDF -cos 210。
∠BDF=\(\arctan ( \frac{-1}{2-\sqrt{3}})=105\)

从而∠EDH=15，与陆先生一致。

锟斤拷锟洁辑时锟斤拷: 2023-03-27 13:04:57