把图写出来...边长为a,角DAF=角EAF=A

　　可以得到AE=a/sin2A,BE=a*cot2A,DF=a*cotA

　　下面就是证明:a/sin2A=a*cot2A+a*cotA

　　通过三角函数计算可以推出:

　　因为:

　　a*cot2A+a*cotA

　　=a*(cot2A+cotA)

　　=a*(cos2A/sin2A+cosA/sinA)

　　=a*(cos2A+2cos平方A)/sin2A

　　=a/sin2A

　　即证得..