在三角形ABC中,AD 为角BAD的平分线,E,F为AB,AC上的点,角EDF+角BAF=180度 求DE=DF