证明平均断面积近似求积式。