关于证明梯形的中位线的性质的数学题