微分方程解的验证 — AP 微积分 AB
1. 微分方程解的核心概念 ★☆☆☆☆ ⏱ 3 min
微分方程是将未知函数与其一个或多个导数关联起来的任意方程。验证微分方程的解，就是将给定函数（显式或隐式）的导数代回原方程，确认该函数满足原方程的过程。
根据AP微积分AB课程与考试说明（CED），本主题占考试总分的约2-3%，同时出现在选择题和自由作答题部分。它通常与其他微分方程主题（如分离变量法）结合考查，你需要确认自己求出的解，或反向推导求出未知常数。
2. 显式解的验证 ★★☆☆☆ ⏱ 4 min
显式解是形如 $y = f(x)$ 的函数。通解包含任意积分常数，因此对应不同常数值会有无穷多个解。验证过程遵循以下三个固定步骤：
- 对给定解 $y$ 关于 $x$ 求导，得到 $\frac{dy}{dx}$
- 将 $y = f(x)$ 代入微分方程的右侧函数 $F(x,y)$
- 确认得到的两个表达式在代数上相等
3. 带初始条件的特解验证 ★★☆☆☆ ⏱ 4 min
特解是没有任意常数的解，因为常数已经由形如 $y(x_0) = y_0$ 的初始条件确定。在AP考试中被要求验证特解时，你必须完成两个独立检查：首先确认函数满足微分方程，然后确认它满足给定的初始条件。阅卷人会给每个检查单独给分。
4. 隐式解的验证 ★★★☆☆ ⏱ 5 min
不是所有微分方程的解都可以显式写成 $y = f(x)$。有些解是以 $G(x,y) = C$（$C$ 为常数）形式的 $x$ 和 $y$ 之间的隐式关系给出的。要验证隐式解，你需要用隐函数微分法直接从关系中求出 $\frac{dy}{dx}$，再代入微分方程确认匹配。核心逻辑和显式解完全相同，只有求导方法不同。
5. AP风格概念检查 ★★☆☆☆ ⏱ 2 min
Common Pitfalls
Why: 学生混淆了验证的目标，误以为只求出导数就足够了
Why: 学生默认常数已经是正确的，因此认为初始条件检查是多余的
Why: 学生习惯只对 $x$ 的函数求导，因此会自动漏掉链式法则的项
Why: 学生误读了标准初始条件记法，混淆了输入和输出
Why: 学生认为 $C$ 必须有数值才能完成验证
Why: 学生在复杂的常微分方程（如 $\frac{dy}{dx} = xy + y^2$）中会漏看多个 $y$ 项