证明：∵DE，DF是△ABC的中位线，
∴DE∥AB，DF∥AC，
∴四边形AEDF是平行四边形，
又∵∠BAC=90°，
∴平行四边形AEDF是矩形，
∴EF=AD．