∵∠EAD =∠FDA,∠DEA=DFA
∴∠EDA=∠FDA
∵∠EAD=∠FDA
∴DE=DF
在△EOD和△FOD中
DE=DF
∠EDO=∠FDO
DO=DO
∴△EOD≌△FOD
∴OE=OF,∠EOD=∠FOD
∵∠EOD+∠FOD=180°
AD垂直平分EF
∵∠EAD =∠FDA,∠DEA=DFA
∴∠EDA=∠FDA
∵∠EAD=∠FDA
∴DE=DF
在△EOD和△FOD中
DE=DF
∠EDO=∠FDO
DO=DO
∴△EOD≌△FOD
∴OE=OF,∠EOD=∠FOD
∵∠EOD+∠FOD=180°
AD垂直平分EF