嘿，这个问题问到点子上了！咱们一步步拆解清楚：

首先，常数变易法的核心思路就是解非齐次线性微分方程：
$$y'' + py' + qy = g(t)$$
我们先拿对应的齐次方程通解（也就是补解）来做文章：
$$y_c = C_1y_1 + C_2y_2$$
这里的$C_1$、$C_2$是常数，咱们把它们换成关于t的函数$u_1(t)$、$u_2(t)$，假设原方程的特解是这个形式：
$$y_p = u_1y_1 + u_2y_2$$

你提到的这点特别对——这个假设其实完全没限制我们的解空间！哪怕特解和补解看起来八竿子打不着，$u_i(t)$也能取到合适的形式（比如补解里函数的倒数，毕竟$y_1$、$y_2$是线性无关的齐次解，不可能恒为零，倒数肯定存在），所以这个设定根本不会把我们的思路框死。

接下来就是关键的地方了：满足原方程的$u_1$、$u_2$其实有无数组，但我们只需要找到一组就行。为了简化计算，我们会额外加一个条件：$u_1'y_1 + u_2'y_2 = 0$。很多人会疑惑：加这个条件会不会导致方程组矛盾？

完全不会！咱们把$y_p$代入原方程，再结合这个额外条件，会得到一个关于$u_1'$和$u_2'$的线性方程组：
$$
\begin{cases}
u_1'y_1 + u_2'y_2 = 0 \
u_1'y_1' + u_2'y_2' = g(t)
\end{cases}
$$
这个方程组的系数行列式就是$y_1$和$y_2$的朗斯基行列式：$W(y_1,y_2) = y_1y_2' - y_2y_1'$。而因为$y_1$、$y_2$是齐次方程的线性无关解，朗斯基行列式永远不会恒为零——这是线性ODE里的基本结论！

既然行列式非零，根据克莱姆法则，这个方程组一定有唯一解，根本不可能出现矛盾。我们解出$u_1'$和$u_2'$之后，积分就能得到$u_1$和$u_2$，进而得到特解$y_p$。

说白了，这个额外条件只是个“计算简化技巧”，它利用了线性无关解的朗斯基行列式非零的性质，保证了方程组有解，完全不会和原方程的要求冲突～

备注：内容来源于stack exchange，提问作者Sam Muriello