已知直角梯形ABCD,AD平行BC E为斜边CD中点 作EF⊥AB 试证明EF为直角梯形ABCD中位线