点DEF分别在BC,AC,AB上,求证AE=AF