连接CE交AD于G,因为AE=AC,而且AD平分∠BAC所以AD垂直CE,通过边角边的推论可得EF=CF,又因为EF平行BC,所以四边形CDEF是一个对角线互相垂直的平行四边形,即为菱形 楼下的证明EF=CF很简单 因为AD平分∠BAC所以∠BAD=∠DAC,AE=AC,AF=AF,两个三角形全等了就证明了EF=CF