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