分离变量法中常数移项是否合规？竞赛操作出错原因咨询

嘿，我来帮你捋清楚这个问题——分离变量时把常数k移到方程另一侧是完全允许的操作，本身没有任何问题，你得到错误答案大概率是后续积分或初值处理环节出了岔子，和移动k的步骤无关。下面具体给你拆解：

两种分离方式的等价性 #

原方程是：
$$\frac{dy}{dx} = k f(x)g(y)$$

我们看两种分离后的形式：

1. 保留k在右侧：两边同除以$g(y)$（需满足$g(y)\neq0$，这是分离变量法的前提），得到：
   $$\frac{dy}{g(y)} = k f(x)dx$$
   积分后：
   $$\int \frac{1}{g(y)}dy = k\int f(x)dx + C$$
   其中$C$是积分常数。

2. 将k移到左侧：两边同除以$k g(y)$（需满足$k\neq0$且$g(y)\neq0$），得到：
   $$\frac{dy}{k g(y)} = f(x)dx$$
   积分后：
   $$\frac{1}{k}\int \frac{1}{g(y)}dy = \int f(x)dx + C'$$
   这里的$C'$是另一积分常数。

把第二个式子两边乘k，就能得到：
$$\int \frac{1}{g(y)}dy = k\int f(x)dx + kC'$$
对比第一种方式的结果，其实就是$C = kC'$——只是常数的表现形式不同，本质是等价的，两种方式最终得到的解应该是一致的。

你得到错误答案的可能原因 #

既然分离步骤没问题，那错误大概率出在这两个地方：

• 积分计算失误：比如移k后左边积分时漏了$\frac{1}{k}$的系数，或者对$f(x)$/$g(y)$的积分结果计算错误；
• 初值条件处理错误：代入初值时没理清两个常数$C$和$C'$的关系。举个简单例子：假设初值是$x=x_0,y=y_0$，第一种方式代入后得到$C = \int_{y_0}^y \frac{1}{g(t)}dt - k\int_{x_0}^x f(s)ds$，第二种方式代入则是$C' = \frac{1}{k}\int_{y_0}^y \frac{1}{g(t)}dt - \int_{x_0}^x f(s)ds$，两者是k倍关系，如果代入时搞反了系数，就会得到错误的解；
• 极端情况：如果$k=0$，原方程变成$\frac{dy}{dx}=0$，解是常数，这时候不能除以k（会出现除以0的非法操作），但竞赛题里k应该不会是0这种特殊值。

验证小例子 #

用一个简单的例子验证两种方式的等价性：
取$f(x)=x$，$g(y)=y$，$k=2$，初值$x=0$时$y=1$：

• 方式1：$\frac{dy}{y}=2xdx$ → $\ln|y|=x^{2+C$，代入初值得$C=0$，解为$y=e}{x^2}$；
• 方式2：$\frac{dy}{2y}=xdx$ → $\frac{1}{2}\ln|y|=x^{2+C'$，代入初值得$C'=0$，整理后同样得到$y=e}{x^2}$。

总结 #

放心，分离变量时移动常数k是完全合法的代数变形，问题一定出在后续的计算环节。建议你回头核对积分过程和初值代入的步骤，看看是不是哪里漏了系数或者算错了常数～

内容的提问来源于stack exchange，提问作者user405569