如何证明梯形的中位线性质