没必要，因为AC=4√3，所以∠BAC=30°。根据三线合一得到△AKC为正三角形。

【 在 ncutyangxz 的大作中提到: 】
: 如7楼的图，延长AB至K,使得BK=AB,再连接CK,延长AF交CK于F'
: 易证明△AKF’≌ △ACE(ASA),得出AF’=AE=AF，即证明了F和F‘重合，得△AKC为正三角形
: 不过这个方法确实是笨了点。
: ...................
--
FROM 210.45.117.*