应用题,有几种梯形面积公式推导过程,分别是什么?