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