一、不定积分的定义

1. 原函数的严格定义

若函数$ F(x) $ 在区间 $ I $上可导，且满足$ F'(x) = f(x) $ 对所有 $x \in I $ 成立，则称 $ F(x) $ 是 $ f(x) $ 在区间 $ I $ 上的一个原函数。

说明：  

原函数是导数的逆运算，即求导的“逆过程”。

原函数的存在性依赖于 $ f(x) $ 的连续性（见存在性定理）。

唯一性与常数差异：  

若$ F(x) $ 和 $ G(x) $均为 $ f(x) $ 的原函数，则它们的差为常数，即：  

$F(x) - G(x) = C \quad (C \text{ 为任意常数}) $

推导：  由 $ (F(x) - G(x))' = F'(x) - G'(x) = f(x) - f(x) = 0 $，可知 $ F(x) - G(x) $ 为常数函数。

2. 不定积分的定义

定义：  

函数 $ f(x) $的全体原函数称为 $ f(x) $ 的不定积分，记作：  

$\int f(x) \, dx = F(x) + C \quad (C \text{ 为任意常数})$

几何意义：  

不定积分表示一族曲线，这些曲线在横坐标相同的点处切线斜率相同（即导数相同）。

二、存在性定理

存在性定理（原函数存在性）

若函数 $ f(x) $ 在区间 $ I $ 上连续，则 $ f(x) $ 在$ I $上必存在原函数。

证明：  

定义 $ F(x) = \int_{a}^{x} f(t) \, dt $（其中 $ a $ 是区间 $ I $ 内任意固定点），则$ F(x) $ 是 $ f(x) $ 的一个原函数。  

由微积分基本定理，若$ f(x) $ 连续，则 $ F(x) $ 可导，且：  

$   F'(x) = \frac{d}{dx} \int_{a}^{x} f(t) \, dt = f(x)$

 因此，$F(x) $ 是$ f(x)$ 的原函数。

物理意义：  

在物理系统中，连续变化的量（如速度、温度场）必然存在描述其累积效应的函数（如位移、热力学势函数）。

三、基本性质

1. 线性性（叠加原理）

若 $ \int f(x) \, dx = F(x) + C $，$\int g(x) \, dx = G(x) + C $，则：  

$\int \left[ \alpha f(x) + \beta g(x) \right] dx = \alpha \int f(x) \, dx + \beta \int g(x) \, dx \quad (\alpha, \beta \text{ 为常数})$

证明：  

对等式右边求导，验证其导数为被积函数：  

$\frac{d}{dx} \left[ \alpha F(x) + \beta G(x) \right] = \alpha F'(x) + \beta G'(x) = \alpha f(x) + \beta g(x)$

因此等式成立。

2. 基本积分法则

（1）幂函数积分

$\int x^n \, dx = \frac{x^{n+1}}{n+1} + C \quad (n \neq -1)$

验证：  直接对右边求导

$\frac{d}{dx} \left( \frac{x^{n+1}}{n+1} \right) = x^n$

（2）指数函数积分

$\int e^x \, dx = e^x + C, \quad \int a^x \, dx = \frac{a^x}{\ln a} + C \quad (a>0, a \neq 1)$

（3）三角函数积分

$\int \sin x \, dx = -\cos x + C$ 

$\int \cos x \, dx = \sin x + C$

$\int \sec^2 x \, dx = \tan x + C$

$ \int \csc^2 x \, dx = -\cot x + C$

（4）分式积分

$\int \frac{1}{x} \, dx = \ln |x| + C \quad (x \neq 0)$

四、相关应用

积分常数$ C $ 的意义：  

   在物理问题中，积分常数通常由初始条件（如初速度、初始位置）确定。

验证积分结果的正确性：  

   对积分结果求导，若等于被积函数，则计算正确。

例：  

验证$ \int \frac{1}{\sqrt{1-x^2}} \, dx = \arcsin x + C $：  

对右边求导：  

$\frac{d}{dx} (\arcsin x + C) = \frac{1}{\sqrt{1-x^2}}$

结果与被积函数一致，故积分正确。

板砖特供