不定积分的定义

不定积分的定义

小象实战讲义 · 人工智能数学基础

在学习了如何求一个函数的导数后，我们自然会思考其逆问题：给定一个导函数，能否找到原来的函数？本节将正式引入不定积分的概念，它正是微分的逆运算。掌握不定积分是学习后续定积分、微分方程以及求解最优化问题中目标函数原函数的基础。学完本节，你将能够理解原函数族的概念，并运用基本积分公式和线性性质求解简单函数的不定积分。

💡 核心导读

本节将构建不定积分的知识体系，核心要点如下：

1. 逆运算本质：不定积分是微分（求导）的逆运算，即寻找导函数为已知函数的那些函数。
2. 原函数与函数族：一个函数的原函数不是唯一的，它们之间相差一个常数，因此不定积分的结果是一个函数族（等价类）。
3. 符号与表示：不定积分用拉长的S符号 $\int$ 表示，记作 $\int f(x) , dx = F(x) + C$，其中 $C$ 为任意常数。
4. 基本积分表：基本初等函数的积分公式可由导数公式反向推导得到，这是计算不定积分的基石。
5. 线性运算性质：不定积分运算满足加法和数乘的线性性质，即可以和加减、数乘运算交换顺序，这为拆分复杂积分提供了依据。

原函数与不定积分的定义

我们先回顾导数的定义：若函数 $F(x)$ 在区间 $(a, b)$ 内每一点都可导，且其导数为 $f(x)$，即 $$F’(x) = f(x), \quad \forall x \in (a, b)$$ 则称 $F(x)$ 是 $f(x)$ 在区间 $(a, b)$ 上的一个原函数。

然而，一个函数的原函数并非只有一个。因为常数的导数为零，所以如果 $F(x)$ 是 $f(x)$ 的一个原函数，那么对于任意常数 $C$，函数 $F(x) + C$ 的导数也是 $f(x)$。换言之，$F(x) + C$ 也是 $f(x)$ 的原函数。

定义（不定积分）： 函数 $f(x)$ 在区间 $I$ 上的全体原函数，称为 $f(x)$ 在 $I$ 上的不定积分，记作 $$\int f(x) , dx = F(x) + C.$$ 其中：

• 符号 $\int$ 称为积分号。
• $f(x)$ 称为被积函数。
• $x$ 称为积分变量。
• $F(x)$ 是 $f(x)$ 的某一个原函数。
• $C$ 称为积分常数，它是一个任意的常数。

因此，不定积分 $\int f(x) , dx$ 代表的是一个函数集合： $${ F(x) + C \mid C \in \mathbb{R}, \text{且 } F’(x) = f(x) }.$$ 从集合或等价类的角度看，所有相差一个常数的原函数构成一个等价类，而不定积分 $\int f(x) , dx$ 正是这个等价类的数学表示。

代表元与书写规范

在表述一个函数的不定积分时，我们通常写出这个等价类中的一个“代表元” $F(x)$，然后加上 “$+ C$” 来表示整个函数族。例如，我们知道 $(\sin x)’ = \cos x$，所以 $\sin x$ 是 $\cos x$ 的一个原函数。那么 $\cos x$ 的不定积分就写作： $$\int \cos x , dx = \sin x + C.$$ 这里，$\sin x$ 是这一族函数 ${ \sin x + C \mid C \in \mathbb{R} }$ 的代表元。书写时必须加上 $+ C$ 以表示全体原函数，这是数学严谨性的体现，遗漏常数 $C$ 在不定积分中是不完整的。

基本积分公式

由于不定积分是求导的逆运算，我们可以从基本初等函数的导数公式反向推导出基本积分公式。以下公式是计算不定积分的基础，要求熟练掌握。

$$\begin{aligned} &1.\ \int k , dx = kx + C \quad (k \text{为常数}) \ &2.\ \int x^{\alpha} , dx = \frac{x^{\alpha+1}}{\alpha+1} + C \quad (\alpha \neq -1) \ &3.\ \int \frac{1}{x} , dx = \ln |x| + C \ &4.\ \int a^{x} , dx = \frac{a^{x}}{\ln a} + C \quad (a>0, a\neq 1) \ &5.\ \int e^{x} , dx = e^{x} + C \ &6.\ \int \sin x , dx = -\cos x + C \ &7.\ \int \cos x , dx = \sin x + C \ &8.\ \int \sec^{2} x , dx = \tan x + C \ &9.\ \int \csc^{2} x , dx = -\cot x + C \ &10.\ \int \frac{1}{\sqrt{1-x^{2}}} , dx = \arcsin x + C \ &11.\ \int \frac{1}{1+x^{2}} , dx = \arctan x + C \end{aligned}$$

特别值得注意的是公式5和公式2在 $\alpha=0$ 时的特例（即公式1），它们在化简积分时常常能起到巧妙的作用。

不定积分的线性性质

不定积分作为算子，具有以下重要的线性性质，这使得我们可以将复杂的被积函数拆解为简单的部分分别积分。

性质（线性性质）： 设函数 $f(x)$ 和 $g(x)$ 的原函数存在，$k$ 为非零常数，则

1. $\int [f(x) \pm g(x)] , dx = \int f(x) , dx \pm \int g(x) , dx$。
2. $\int k f(x) , dx = k \int f(x) , dx$。

这意味着加减法和数乘运算可以与积分运算交换顺序。从算子的角度理解，这表明不定积分算子是一个线性算子。这些性质是后续进行积分计算的基础，其正确性可以通过对等式右边求导验证左边来简单证明。

简单不定积分的计算示例

结合基本积分公式和线性性质，我们可以计算许多简单函数的不定积分。

例1：求 $\int (3x^{2} + \sin x + \frac{5}{x}) , dx$。

解： 利用线性性质，将积分拆分为三项，并将常数因子提出积分号外： $$\begin{aligned} \int (3x^{2} + \sin x + \frac{5}{x}) , dx &= \int 3x^{2} , dx + \int \sin x , dx + \int \frac{5}{x} , dx \ &= 3 \int x^{2} , dx + \int \sin x , dx + 5 \int \frac{1}{x} , dx. \end{aligned}$$ 分别应用基本积分公式：

• $\int x^{2} , dx = \frac{1}{3} x^{3} + C_1$
• $\int \sin x , dx = -\cos x + C_2$
• $\int \frac{1}{x} , dx = \ln |x| + C_3$

代入并合并常数项（$C_1, C_2, C_3$ 合并为一个任意常数 $C$）： $$\begin{aligned} 原式 &= 3 \cdot \frac{1}{3} x^{3} + (-\cos x) + 5 \cdot \ln |x| + C \ &= x^{3} - \cos x + 5 \ln |x| + C. \end{aligned}$$ 其中 $C$ 为任意常数。

例2：求 $\int (e^{x} + \frac{3x^{2}}{1+x^{2}}) , dx$。

解： 首先拆分： $$\int (e^{x} + \frac{3x^{2}}{1+x^{2}}) , dx = \int e^{x} , dx + \int \frac{3x^{2}}{1+x^{2}} , dx.$$ 第一项直接积分：$\int e^{x} , dx = e^{x} + C_1$。

第二项需要对被积函数进行代数变形，以匹配已知的积分公式： $$\frac{3x^{2}}{1+x^{2}} = 3 \cdot \frac{x^{2}}{1+x^{2}} = 3 \cdot \frac{(1+x^{2}) - 1}{1+x^{2}} = 3 \left( 1 - \frac{1}{1+x^{2}} \right).$$ 因此， $$\begin{aligned} \int \frac{3x^{2}}{1+x^{2}} , dx &= \int 3 \left( 1 - \frac{1}{1+x^{2}} \right) , dx \ &= 3 \left( \int 1 , dx - \int \frac{1}{1+x^{2}} , dx \right) \ &= 3 (x - \arctan x) + C_2. \end{aligned}$$ 合并两部分结果： $$\begin{aligned} 原式 &= (e^{x} + C_1) + [3(x - \arctan x) + C_2] \ &= e^{x} + 3x - 3\arctan x + C. \end{aligned}$$ 其中 $C = C_1 + C_2$ 为任意常数。

通过Python的符号计算库SymPy，我们可以验证上述计算结果的正确性。

import sympy as sp

# 定义符号变量和常数C
x, C = sp.symbols('x C')

# 定义例1的结果函数 F1(x)
F1 = x**3 - sp.cos(x) + 5 * sp.log(sp.Abs(x)) + C
# 对F1求导
derivative_F1 = sp.diff(F1, x)
print("例1结果求导后为：", sp.simplify(derivative_F1))
# 验证是否等于被积函数 3*x**2 + sin(x) + 5/x
print("是否等于 3*x**2 + sin(x) + 5/x？", sp.simplify(derivative_F1 - (3*x**2 + sp.sin(x) + 5/x)) == 0)

print("-" * 40)

# 定义例2的结果函数 F2(x)
F2 = sp.exp(x) + 3*x - 3*sp.atan(x) + C
# 对F2求导
derivative_F2 = sp.diff(F2, x)
print("例2结果求导后为：", sp.simplify(derivative_F2))
# 验证是否等于被积函数 exp(x) + 3*x**2/(1+x**2)
print("是否等于 exp(x) + 3*x**2/(1+x**2)？", sp.simplify(derivative_F2 - (sp.exp(x) + 3*x**2/(1+x**2))) == 0)

📝 动手练一练

1. 根据不定积分的定义和性质，求 $\int (4x^3 - 2\cos x + \frac{1}{1+x^2}) , dx$。
2. 通过对被积函数进行适当的代数变形，求 $\int \frac{x^2 + 2x + 3}{x^2 + 1} , dx$。

参考答案：

1. $\int (4x^3 - 2\cos x + \frac{1}{1+x^2}) , dx = x^4 - 2\sin x + \arctan x + C$。
   • 解析：利用线性性质拆分为三项分别积分：$\int 4x^3 dx = x^4$， $\int -2\cos x dx = -2\sin x$， $\int \frac{1}{1+x^2} dx = \arctan x$，最后合并常数。
2. $\int \frac{x^2 + 2x + 3}{x^2 + 1} , dx = x + \ln(x^2+1) + 2\arctan x + C$。
   • 解析：分子配方：$x^2+2x+3 = (x^2+1) + 2x + 2$。则被积函数可化为 $1 + \frac{2x}{x^2+1} + \frac{2}{x^2+1}$。分别积分：$\int 1 dx = x$， $\int \frac{2x}{x^2+1} dx = \ln(x^2+1)$（可用换元法或直接观察导数）， $\int \frac{2}{x^2+1} dx = 2\arctan x$。

本章小结

本节我们建立了不定积分的核心概念与计算基础：

• 核心概念：不定积分是求导的逆运算，其结果是一个由原函数构成的函数族（等价类），表达式必须包含积分常数 $C$。
• 计算基石：基本积分公式来源于导数公式的逆用，必须熟记。
• 核心工具：不定积分的线性性质（可加性、齐次性）允许我们将复杂积分拆分为简单积分的线性组合，这是手动计算积分的第一步。
• 规范意识：数学表达需要严谨，牢记“$+ C$”是不定积分不可分割的一部分。

行动清单 学完本节，你可以立即：

1. 默写验证：对照导数公式，独立推导出至少前8个基本积分公式，加深对“逆运算”的理解。
2. 练习拆分：找5个包含多项式、三角函数、指数函数加减组合的表达式，练习使用线性性质将其拆分为基本积分之和。
3. 代码验证：尝试用SymPy编写代码，验证你手算的练习题目结果是否正确，培养计算思维与验证习惯。

— 小象教研组