不失一般性令|AE|=1.【记|EF|=x,|BE|=y.无用】
记∠EBD=U,∠BED=V。所求α=U+V。由已知条件：∠DAC=∠BED=V。

从△BDE得|ED|= sin(U)/sin(V)=sin(α-V)/sin(V)
从△ADC可得 （|ED|+1)/sin（α+V)=1/sin(V)

从上二式可得
（sin（α-V)+ sin(V))/sin (α+V)=1,即
sin（α-V)+ sin(V)=sin (α+V)，用和差公式，消去sin (α)*cos(V)后得：
sin(V)=2sin(V)cos(α)。
从而cos(α)=1/2，α=60.
= = =

如果不知答案，俺会用前帖的方法死做（用计算机）。知道后，相信可以简化。所以encourage很重要。张益唐的结果后来被人用另外的方法大大超越，但评论都说他的结果受张文的encourage。

锟斤拷锟洁辑时锟斤拷: 2023-08-09 00:42:01