常数的定积分函数是线性函数