在直角三角形ABC中,

设AD与FE相交于O点,
易证:四边形AEDF是矩形,
∴OA=OD=OE=OF,
而∠B+∠BDF=90°=∠BDF+∠FDO,
∴∠B=∠FDO
∵FD∥AE,
∴∠FDO=∠OAE=∠OEA,
∴∠B=∠AEF,
而∠BAC=∠EAF=90°,
∴△ABC∽△AEF.