已知在rt三角形abc中,ef是中位线