梯形面积推导过程