# 变量分离法求通解

> AP 微积分 BC · AP 微积分 BC CED 第7单元
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-general-solutions-via-separation-of/

本模块面向AP微积分BC，内容包括识别可分离变量的一阶常微分方程、分离变量、两边积分、合并常数，以及求隐式和显式通解。

**先修:** 常见函数的基础积分（含u换元法）; 隐函数定义与求导法则; 指数/对数表达式的代数变形

## 学习目标

- 识别可分离变量的一阶常微分方程
- 运用变量分离法求可分离微分方程的通解
- 区分隐式通解和显式通解
- 避免求解可分离变量微分方程时的常见考试陷阱

## 核心定义

**可分离变量一阶常微分方程** — 可分解为仅关于$x$的函数与仅关于$y$的函数乘积形式的一阶常微分方程。

*记法:* \frac{dy}{dx} = f(x)g(y)

*例:* $\frac{dy}{dx} = x^2 y$ 是可分离变量的；$\frac{dy}{dx} = x+y$ 不是。

**通解** — 满足微分方程的所有函数构成的完整族，方程每阶对应一个任意常数参数化。一阶常微分方程恰好有一个任意常数。

*例:* $y = K e^{x^2}$ 是 $\frac{dy}{dx} = 2xy$ 的通解。

变量分离法是AP微积分BC选择题和自由问答题都考察的一阶常微分方程基础求解技巧，根据官方课程与考试说明，约占总分的2-4%。考试中几乎所有微分方程应用题都需要用到该方法。

> **考试提示:** 务必确认通解中任意常数的个数与微分方程的阶数一致。

## 识别可分离变量微分方程

使用变量分离法之前，你必须先正确判断给定微分方程是否可分离变量。根据定义，若一阶常微分方程可整理为 $\frac{dy}{dx} = f(x)g(y)$，其中 $f(x)$ 不含 $y$ 且 $g(y)$ 不含 $x$，则该方程可分离变量。

> **warning**
>
> 同时含$x$和$y$的项相加几乎都不可分离变量。例如，$\frac{dy}{dx} = x + y$ 不可分离，因为它无法分解为要求的乘积形式。

**例题:** 判断 $\frac{dy}{dx} = \frac{x^2 y}{e^y \sqrt{x^2 + 4}}$ 是否可分离变量，若可分离则改写为标准分离形式。

1. 如题目所给，$\frac{dy}{dx}$ 已经分离出来，符合要求。
2. 分解右侧以验证可分离性：
3. $$\frac{x^2 y}{e^y \sqrt{x^2 + 4}} = \left(\frac{x^2}{\sqrt{x^2 + 4}}\right) \left(\frac{y}{e^y}\right)$$
4. 验证不存在同时含$x$和$y$的交叉项：第一个因子仅依赖$x$，第二个仅依赖$y$，因此该微分方程可分离变量。
5. 整理以分离变量：两边乘以$\frac{e^y}{y} dx$（$y \neq 0$）得到标准分离形式：
6. $$\frac{e^y}{y} dy = \frac{x^2}{\sqrt{x^2 + 4}} dx$$

> **考试提示:** 在要求识别可分离方程的选择题中，立即排除所有右侧是同时含$x$和$y$的项之和的选项。

## 积分与合并常数

分离变量得到$g(y) dy = f(x) dx$形式后，下一步就是对两边分别积分。微分符号告诉你积分变量：含$dy$的一侧对$y$积分，含$dx$的一侧对$x$积分。

一个常见的疑问是为什么我们只保留一个积分常数而非两个。两边积分后我们得到：

整理得 $G(y) = F(x) + (C_2 - C_1)$。由于两个任意常数的差仍然是一个任意常数，我们用$C = C_2 - C_1$替换后只写 $G(y) = F(x) + C$，这样简化计算且不丢失任何一般性。

**例题:** 已知分离后的微分方程 $\frac{1}{y} dy = 2x dx$，求积分后的通解。

1. 确认分离形式正确，$y$项在左侧，$x$项在右侧。
2. 对两边分别关于各自变量积分：
3. $$\int \frac{1}{y} dy = \int 2x dx$$
4. 计算每个积分：左侧积分得 $\ln|y| + C_1$，右侧积分得 $x^2 + C_2$。
5. 将常数合并为一个任意常数$C$：
6. $$\ln|y| = x^2 + C$$
7. 化简为显式形式：两边取指数得 $|y| = e^{x^2 + C} = e^C e^{x^2}$，可改写为：
8. $$y = K e^{x^2}$$
9. 其中 $K = \pm e^C$ 仍然是任意常数。

> **考试提示:** 积分后务必立即合并常数；AP考试不要求写两个独立常数，这么做通常会导致不必要的代数错误。

## 隐式通解与显式通解

积分后你会得到一个关联$x$、$y$和任意常数$C$的方程。如果$y$没有单独放在方程一侧，就称为隐式通解。如果你能整理出$y$明确表示为$x$和$C$的函数，就称为显式通解。AP考试通常会明确要求哪种形式，如果没有指定，只要正确两种形式都可接受，但如果容易得到显式形式，优先写显式。

**例题:** 求 $y^2 \frac{dy}{dx} = \cos x$ 的通解，同时给出隐式和显式形式。

1. 分离变量：两边乘以$dx$得：
2. $$y^2 dy = \cos x dx$$
3. 两边积分并合并常数：
4. $$\int y^2 dy = \int \cos x dx \implies \frac{y^3}{3} = \sin x + C$$
5. 这就是隐式通解。
6. 要得到显式解，两边乘3再开立方。令$K = 3C$（仍然是任意常数），因此显式通解为：
7. $$y = \sqrt[3]{3\sin x + K}$$
8. 验证：该微分方程是一阶的，我们恰好有一个任意常数，满足通解的要求。

**概念自测**

测试你对可分离性的理解：

1. 下列哪个微分方程是可分离变量的？

   - A) $\frac{dy}{dx} = x^2 + 3xy$
   - B) $\frac{dy}{dx} = \sin(x + y)$
   - C) $\frac{dy}{dx} = \frac{x^3}{y^2 + 1}$
   - D) $\frac{dy}{dx} = 2x + 5y$

   *解析:* 只有选项C可以分解为 $\frac{dy}{dx} = (x^3) \cdot \left(\frac{1}{y^2 + 1}\right)$，符合可分离变量微分方程的定义。其他选项都无法分解为单变量函数的乘积。

> **考试提示:** 如果题目要求通解且你可以轻松化简为显式形式，一定要这么做——这么做绝不会被扣分，而且阅卷者更容易确认正确性。

## 常见错误

- **错误做法:** 将$\frac{dy}{dx} = x + y$分解为$\frac{dy}{dx} = x\left(1 + \frac{y}{x}\right)$后就认为它可分离变量。
  - 原因: 学生混淆了任意分解和分离变量的要求，忘记所有因子都必须是仅含一个变量的函数。
  - 正确做法: 分解后，检查每个因子确认它只含一个变量；只要有一个因子同时含$x$和$y$，该微分方程就不可分离变量。
- **错误做法:** 分离变量时除以y的函数后忘记检查常数解，例如求解$\frac{dy}{dx} = xy$除以y后，没有注意到$y=0$是一个有效解。
  - 原因: 学生专注于整理项，忘记除以零是无定义的，因此除数等于零的情况被排除在通解形式之外。
  - 正确做法: 每次你为了分离变量除以$h(y)$，都要检查$h(y) = 0$是否得到满足原微分方程的常数函数$y=k$，如果满足就要把它作为一个解列出。
- **错误做法:** 对左侧（含$dy$）关于$x$积分，或者对右侧（含$dx$）关于$y$积分，例如把$\frac{1}{y} dy = 2x dx$变成 $\int \frac{1}{y} dx = \int 2x dy$。
  - 原因: 学生混淆了指示积分变量的微分符号和被积函数中的变量。
  - 正确做法: 始终让积分变量与微分符号匹配：$dy$表示对$y$积分，$dx$表示对$x$积分。
- **错误做法:** 把$y = e^{\ln x + C}$化简为$y = x + C$，而不是正确的$y = Cx$。
  - 原因: 学生忘记$e^{a + C} = e^a e^C$，$e^C$是乘法任意常数，不是加法常数。
  - 正确做法: 积分后取指数时，指数内的任意常数在取指数后会变成乘法常数。
- **错误做法:** 一阶微分方程的最终通解中留下两个任意常数。
  - 原因: 学生认为每个积分都需要自己的常数，忘记两个常数可以合并。
  - 正确做法: 对于一阶微分方程，积分后立即将所有常数合并为一个任意常数。

## 速查表

| 类别 | 公式 / 法则 | 注释 |
| --- | --- | --- |
| 可分离一阶微分方程定义 | $\frac{dy}{dx} = f(x)g(y)$ | $f(x)$仅依赖$x$，$g(y)$仅依赖$y$ |
| 标准分离形式 | $g(y) dy = f(x) dx$ | 除法后检查$g(y)=0$是否给出额外常数解 |
| 积分步骤 | $\int g(y) dy = \int f(x) dx + C$ | 一阶微分方程有一个任意常数；将两个积分的常数合并为一个 |
| 隐式通解 | $G(y) = F(x) + C$ | 如果$y$无法轻易分离，这种形式有效；题目明确要求时必须给出 |
| 指数化简 | $y = e^{F(x) + C} = C' e^{F(x)}$ | $C' = e^C$ 是任意乘法常数；绝对不要写成 $y = e^{F(x)} + C$ |
| 任意常数的个数 | 任意一阶微分方程都是1个 | 等于微分方程的阶数；个数不对说明出错 |
| 常数解检查 | 如果$y=k$使得$g(y)=0$，代回原方程验证 | 除法时零分母会把这个解排除在通解形式之外，因此必须单独检查 |
| 显式通解 | $y = F(x, C)$ | $y$被分离出来表示为$x$和$C$的函数；容易得到时优先使用 |

## 下一步

变量分离法求通解是AP微积分BC第7单元所有后续微分方程主题的基础先修内容。求出通解后，你接下来就会学习通过代入初值确定任意常数$C$来求特解，这在考试的选择题和自由问答题部分都经常考察。变量分离法也是求解指数增长衰减模型、逻辑增长模型以及相关应用题的核心技巧，这些内容经常构成一整道自由问答题。不掌握本主题，你就无法正确建立和求解这些问题，也无法掌握欧拉法等更高级的主题。

- [带初始条件的特解](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-particular-solutions-with-initial-conditions/)
- [微分方程的指数模型](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-exponential-models-with-differential-equations/)
- [逻辑斯蒂模型与微分方程（仅BC要求）](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-logistic-models-with-differential-equations/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-general-solutions-via-separation-of/