定积分具有线性性、可加性和区间可减性的性质公式。

线性性公式：∫[a,b](k1f(x)+k2g(x))dx=k1∫[a,b]f(x)dx+k2∫[a,b]g(x)dx，其中k1和k2为常数。

可加性公式：∫[a,b]f(x)dx+∫[b,c]f(x)dx=∫[a,c]f(x)dx，其中a、b、c为常数，且b在[a,c]区间内。

区间可减性公式：若a≤c≤b，则∫[a,b]f(x)dx=∫[a,c]f(x)dx+∫[c,b]f(x)dx。

其中a、b、c为常数，且f(x)为连续函数。