CD = DE = 2EF = 2e,
とおくと
　CD・cos(2A-(180-E)) + DE・cosE = EF,
　−2e・cos(2A+E) + 2e・cosE = e,
2e で割ると
　- cos(2A+E) + cosE = 1/2,
結論 ( ∠A=∠E ) が正しいとき
　- cos(3E) + cosE = 1/2,
　−(cosE)^3 + cosE = 1/8,　　　(←3倍角公式)
　cosE = 0.127050844182526
　∠A = ∠E,　　　　　　(← 結論)
　∠B = 360° - 2∠A - ∠E,
　∠C = 180° - ∠A,
　∠D = 2∠A,
　∠E = 1.4434011683(rad) = 82.700795087°

a := AF とおくと
AB = AE = a + e,
a/e = −cos(3E)/{cosE･(1-cosE)} - 1
　　= 4cosE + 3 - 1/(1-cosE)
　　= 2.36266128721