腾讯文库搜索-梯形法求定积分的公式推导