在RT三角形ABC中,EF是中位线,CD是斜边AB上的中线,求证:EF=CD