已知:如图,在三角形ABC中,AD平分角BAC,角EAF+角EDF=180度 求证:DE=DF