用定积分定义求积分用