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