因为EF为AD的垂直平分线。所以FA=FD,EA=ED设AD与EF相交于O点三角形FAO与三角形EAO全等所以AF=AE所以FD=FA=EA=ED所以ADEF为菱形
因为EF为AD的垂直平分线。所以FA=FD,EA=ED因为AD是△ABC的角平分线所以∠BAD=∠CAD又AD⊥EF所以∠BAD+∠EFA=90,∠CAD+∠FEA=90所以∠EFA=∠FEA所以FA=AE所以FA=EA=ED=FD所以ADEF为菱形