俺的方法也差不多，要用计算机。
不失一般性令|AE|=1.记|EF|=x,|BE|=y.
∠EBD=U,∠BED=V。四个未知数x,y,U,V。所求α=U+V。
对四个三角形（△BDE，△BFC.△AEF,△ADC）用正弦定理可得四个方程。
例如，从△BDE，△BFC.可得： y/sin(U+V)=1/sin(V). (x+y)/sin(2V+U)=2/sin (2V)。
反正就是尽量少未知量，然后找同样数量的独立方程。不靠人脑靠电脑。
不失一般性令|AE|=1.记|EF|=x,|BE|=y.
∠EBD=U,∠BED=V。四个未知数x,y,U,V。所求α=U+V。
对四个三角形（△BDE，△BFC.△AEF,△ADC）用正弦定理可得四个方程。
例如，从△BDE，△BFC.可得： y/sin(U+V)=1/sin(V). (x+y)/sin(2V+U)=2/sin (2V)。
反正就是尽量少未知量，然后找同样数量的独立方程。不靠人脑靠电脑。
