∠AFD=∠C
∠ADF=∠DEC(内错角)
所以,△ADF相似于△DEC
AE垂直于BC,垂直于AD,则直角三角形ADE中,角ADF为30°,角AEF为60°,斜边DE可求,长度为6.
下面就是简单的利用余弦定理解方程了~