定积分的公式主要包括以下几类：

常数函数的积分

∫kdx = kx + C，其中k是常数，C是积分常数。

幂函数的积分

∫x^n dx = （x^（n+1））/（n+1） + C，其中n不等于-1，C是积分常数。

三角函数的积分

∫sinxdx = -cosx + C

∫cosxdx = sinx + C

∫tanxdx = -ln|cosx| + C

∫cotxdx = ln|sinx| + C。

指数函数的积分

∫e^xdx = e^x + C

∫a^xdx = （a^x）/lna + C，其中a > 0且a ≠ 1。

对数函数的积分

∫1/xdx = ln|x| + C

∫1/（1+x^2）dx = arctanx + C

∫1/（1-x^2）dx = arcsinx + C

∫1/（a^2-x^2）dx = （1/2a）ln|（a+x）/（a-x）| + C。

反三角函数的积分

∫secxdx = ln|secx + tanx| + C

∫cscxdx = -ln|cscx - cotx| + C

∫1/（a^2+x^2）dx = 1/a*arctan（x/a） + C。

其他特殊函数的积分

∫1/√（1-x^2）dx = arcsin（x/a） + C

∫1/（a^2+x^2）dx = 1/a*arctan（x/a） + C

∫secxdx = ln|secx + tanx| + C

∫1/（a^2+x^2）dx = 1/a*arctan（x/a） + C。

这些公式是微积分学中计算定积分的基本工具，通过这些公式，可以将复杂的积分问题转化为简单的形式，从而求解出被积函数在特定区间上的累积量。在实际应用中，可以根据具体的被积函数选择合适的公式进行计算。