E為正方形ABCD內的一點,且有角ADE等於角DAE等於15度.求證BCE為等邊三角形

E為正方形ABCD內的一點,且有角ADE等於角DAE等於15度.求證BCE為等邊三角形

正方形邊長為a
三角形ADE內正弦定理
AD/sin∠AED=AE/sin∠ADE
sin∠AED=1/2
AE=2a*sin15°
三角形AEB內余弦定理
BE^2=AB^2+AE^2-2AB*AE*cos∠EAB=a^2+4a^2*sin15*sin15-4a^2*sin15*cos75
BE^2=a^2 BE=a
同理CE=a