如图所示,AD是△ABC的角平分线,AD的垂直平分线交AB于E,交AC于F,AD,EF交于点O,求证；四边形AEDF是菱

证明：
∵AD是△ABC的角平分线
∴AD是∠A的平分线
∴∠EAO=∠FAO
又AO⊥EF
∴∠AOE=∠AOF
又AO=AO
∴△AOE≌△AOF(ASA)
∴AE=AF
∵EF是AD的垂直平分线
∴DE=AE,DF=AF
∴AE=DE=DF=AF
∴四边形AEDF是菱形