展开 梯形求积公式的求积余项证明