微分方程求解中常数C的取值及变化原因咨询

嘿，你的推导过程其实完全没问题！之所以会出现不同步骤里C的数值不一样的情况，核心原因是：每一步的C都是“重新定义的任意常数”，它们根本不是同一个变量，只是我们习惯用同一个字母C来简化书写而已。

我给你拆解一下每一步的常数变化逻辑：

• 第一步积分得到 $\ln|20-5y|=-5x+C_1$（这里用$C_1$区分初始常数），代入初始条件$y(0)=2$，计算得$\ln|20-10|=0+C_1$，也就是$C_1=\ln10$。
• 第二步你把等式两边取指数，得到$20-5y=e^{-5x+C_1}=e{C_1}e^{{-5x}$，这时候$e}{C_1}$其实还是一个任意常数（因为$C_1$是任意常数），我们直接把它重新命名为$C_2$，所以就变成了$20-5y=C_2e^{-5x}$。这时候代入初始条件的话，$20-10=C_2*1$，所以$C_2=10$——这个$C_2$和之前的$C_1$显然不是同一个数，只是换了个名字的常数而已。
• 第三步整理$y$的表达式：$y=\frac{20 - C_2e^{-5x}}{5}=4 - \frac{C_2}{5}e^{{-5x}$，这里我们又可以把$-\frac{C_2}{5}$重新命名为$C_3$，于是式子变成$y=C_3e}{-5x}+4$。代入初始条件的话，$2=C_3*1+4$，得到$C_3=-2$——这个$C_3$又是一个新的常数，和前两个C都不一样。

说白了，我们在解微分方程的过程中，会不断把“任意常数的组合”重新用一个新的C来代替，目的是让表达式更简洁。这些C只是符号，没有绝对的“正确值”，关键是最终代入初始条件后得到的解是正确的。

验证一下你的最终解：如果取最后一步的$C=-2$，解就是$y=-2e^{-5x}+4$，代入原方程：
$\frac{dy}{dx}=10e^{{-5x}$，左边$\frac{dy}{dx}+5y=10e}{-5x}+5*(-2e^{-5x}+4)=10e{-5x}-10e^{-5x}+20=20$，完全等于右边；而且$y(0)=-2+4=2$，符合初始条件，这就说明解是对的。

所以不用纠结哪一步的C是“正确的”，每一步的C都是对应当前表达式的任意常数，只要最终的解满足方程和初始条件就OK啦！

备注：内容来源于stack exchange，提问作者Coder Gautam YT