已知,在Rt三角形ABC中,EF是中位线,CD是斜边AB上的中线.求证;EF=DC