嘿，我完全get到你的困惑了——咱们一点点捋清楚，把定理的细节和你遇到的情况对应起来，就能找到问题出在哪啦。

首先先明确通解的核心逻辑：

• 对于线性非齐次微分方程，通解的结构是「一个特解 + 对应齐次方程的通解」。你选特解为1，然后用非齐次解的差（x²-1和x-1）作为齐次方程的解，这个思路是完全正确的，因为非齐次解的差必然满足对应的齐次方程。

接下来是你纠结的朗斯基行列式定理，这里的关键是你忽略了定理的前提条件：

• 你提到的“如果朗斯基行列式在某一点等于0，那么函数线性相关”，这个结论有个严格的适用场景：它只针对n阶线性齐次微分方程的n个解，而且要求方程的系数在某个区间上是连续的。更准确的表述是：对于n阶线性齐次方程的n个解，朗斯基行列式要么在整个连续区间上恒不为0（此时解线性无关），要么恒为0（此时解线性相关）。
• 但如果是任意函数（哪怕是齐次方程的解，但方程在某点有奇点），朗斯基行列式在某点为0，不能直接推出函数线性相关。

咱们具体分析你的例子：

1. 先计算两个齐次解的朗斯基行列式：

   W[x²-1, x-1] = |x²-1   x-1|
                   |2x     1  | = (x²-1)*1 - (x-1)*2x = -x²+2x-1 = -(x-1)²
   

   确实在x=1时W=0，但这两个函数是不是线性相关？假设存在非零常数C₁、C₂，使得C₁(x²-1)+C₂(x-1)=0对所有x成立，展开后是C₁x² + C₂x + (-C₁-C₂)=0，要让这个多项式恒为0，必须所有系数都为0：C₁=0，C₂=0，-C₁-C₂=0，只有零解，说明这两个函数在整个定义域上是线性无关的。

2. 为什么你用存在唯一性定理的推论失效了？
   咱们反推一下这两个解对应的齐次方程：设方程为y'' + p(x)y' + q(x)y=0，代入y₁=x²-1和y₂=x-1，解出来的系数是p(x)=-2/(x-1)，q(x)=2/(x-1)²——看到了吗？x=1是这个方程的奇异点，系数在x=1处无定义，而存在唯一性定理要求方程的系数在区间上连续，x=1不在连续区间内，所以你之前从y(1)=0和y’(1)=0推出y(x)≡0的逻辑不成立，因为定理的前提条件不满足。

最后总结你的误区：

• 你错误地将朗斯基行列式的定理应用到了包含奇点的场景，忽略了定理要求方程系数连续的前提；
• 混淆了“一般函数的线性无关性”和“齐次方程解的朗斯基行列式性质”：对于一般函数，朗斯基行列式在某点为0不代表线性无关，只有当它们是系数连续的齐次方程的解时，朗斯基行列式的恒0/恒非0才和线性相关/等价。

而你给出的通解C₁(x²-1)+C₂(x-1)+1是完全正确的——因为在x≠1的连续区间内，x²-1和x-1是齐次方程的两个线性无关解，加上特解1，就是非齐次方程的通解啦。

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