∵DE⊥BA，DF⊥AC，DE=DF，
∴AD是∠BAC的平分线，
∴∠DAE=∠DAF，
∵∠DAE+∠ADE=∠DAF+∠ADF，
∴∠ADE=∠ADF，
∴AD垂直平分EF．