梯形的推导过程