三角形ABC中AD是角A的平分线,EF分别在AB、AC上且角EDF+角BAF=180度.求证:DE=DF