在三角形ABC中,角A=80度,BD=BE,CD=CE,求角EDF的度数