证明梯形上底加下底