如图,RT三角形ABC中, EF是中位线, 求证 EF等于CD