由题可知,△BEF是等边三角形,ABCD为正方形
则
∠EBF=60°
BE=BF
∠EAB=∠BCF=90°
AB=BC
可得
△BAE≌△BCF
∠ABE=∠CBF
又因为
∠ABE+∠CBF=∠ABC-∠EBF=30°
所以
∠ABE=∠CBF=15°
BE=AB/cos15°=a/cos15°
如果是你没学到cos这个东东
就用一楼的解方程了
AE^2+AB^2=DE^2+DF^2=2×DE^2
令AE=x,则 DE=AD-AE=a-x
a^2+x^2=2×(a-x)^2
解出x ,应该会吧