三角形ABC中,AD为角BAC的角平分线,交BC于D,点E、F分别在AB、AC上,且∠EDF+∠BAF+180°,求证: