△ABC中,AD为∠BAC平分线,E、F为AB、AC上任一点,∠BAC+∠EDF=180°,求证:DE=DF