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