微分方程解的验证 — AP 微积分 BC
1. 核心概念：什么是微分方程解的验证？ ★☆☆☆☆ ⏱ 3 min
微分方程（DE）是将未知函数$y = f(x)$与其导数（例如$y', y''$）关联起来的方程。验证解就是确认给定的候选函数（或函数族）满足微分方程，以及任意给定的初始条件或边界条件的过程。
和从头求解微分方程不同，验证是一个逆向过程：你从候选解开始，不需要自己找出解，只需要确认它成立即可。这个知识点经常出现在AP考试的选择题和自由问答题部分，通常是中低难度的得分题。
2. 显式解的验证 ★★☆☆☆ ⏱ 4 min
显式解是写成$y = f(x)$形式的候选函数，其中$y$完全分离在方程的一侧。验证时遵循以下统一的三步流程：
- 确定微分方程的阶数，计算到该阶数为止所有需要的导数
- 将候选解$y$和所有导数代入微分方程的左侧（LHS）
- 化简左侧，确认它等于定义域内所有$x$对应的右侧（RHS）
Exam tip: 在要求识别有效解的选择题中，如果代入后不匹配可以直接排除该选项，不需要完全化简每个选项。
3. 隐式解的验证 ★★★☆☆ ⏱ 5 min
很多微分方程的解无法改写为将$y$显式分离的$x$的函数，因此我们使用隐式解，即$x$和$y$出现在方程的两侧。验证时，你仍然需要求出微分方程要求的导数，但要对$x$做隐式求导，得到用$x$和$y$表示的$y'$，再和微分方程比较。你不需要显式解出$y$。
Exam tip: 对任意含$y$的项求导后，一定要明确写出$y'$项——忘记链式法则的$y'$是隐式验证题最常见的错误。
4. 带初始条件的特解验证 ★★☆☆☆ ⏱ 4 min
$n$阶微分方程的通解包含$n$个任意常数，描述无穷多解组成的函数族。特解固定了这些常数的值，以匹配给定的初始条件（对于一阶微分方程：$y(x_0) = y_0$）或边界条件。验证特解时，你必须完成两次独立检验：确认候选解满足微分方程，再确认它满足给定的初始条件。
Exam tip: 如果你在考试中从头求出了一个特解，可以用这个验证过程检查你的计算，发现常数$C$的算术错误。
Common Pitfalls
Why: 学生求导时过于匆忙，导致导数错误，验证不通过
Why: 学生将隐式验证和其他问题混淆，不必要地尝试分离$y$
Why: 学生认为任意满足微分方程的解自动就是要求的特解
Why: 因为微分方程已经解出$y'$，学生计算导数后就停止了
Why: 学生求一阶导数后就停止求导，漏掉了微分方程要求的高阶项
Why: 学生习惯求特解，出于习惯自动去解$C$