在三角形ABC中,AD平分角BAC,E`F分别为AB`AC上的点,且角EDF+角EAF=180°求:DE=DF