求证梯形的中线长公式（不是中位线定理）！我证明了 1h 无果！

具体的 梯形 ABCD 的中线 MN，证明 $4MN^2=2(BC^2+AD^2)-(AB-DC)^2$。