∵在△ADE及△ADF中∩EAD=∩DAC,∩AED=∩AFD=90°,AD为公共边
∴△ADE及△ADF为全等三角形
AE=AF
连接EF交AD于G
由上边条件可得△AGE与△AGF全等
则AD垂直平分EF
∴点E,F关于直线AD对称