已知三角形ABC角A=90度,D,F,E分别是BC,CA,AB边中点,求证AD=EF