在三角形ABC中,∠A=90º,AB=AC,D为斜边BC的中点,且DE垂直DF.求证AF=BE