如图,△ABC中,AD是∠A的平分线,E、F分别为AB、AC上一点,且∠EDF+∠BAF=180°,求证:DE=DF.