梯形面积是怎么推导出来的