如图,在Rt△ABC中,EF是中位线,CD斜边AB上的中线,求证:EF=CD