嘿，你的核心求解思路其实没毛病哦——把$a$、$b$当作特定实数，先解微分方程得到两个关于$t$的解$y_1$、$y_2$，再计算它们的朗斯基行列式，这本来就是朗斯基行列式计算的标准步骤之一。

你得到的结果（恒为0、非零常数、依赖$t$的函数）其实都是正常情况，这刚好对应了微分方程解的线性相关性差异：

• 如果行列式恒为0，说明你选的$y_1$和$y_2$是线性相关的，它们没法构成方程的基本解组；
• 如果结果是非零常数，大多对应常系数线性齐次微分方程的场景，这时候两个解是线性无关的；
• 如果结果是依赖$t$的非零函数，那大概率是变系数线性齐次微分方程，只要行列式不恒为0，就说明两个解线性无关。

你觉得卡壳推进不了，可能是遗漏了这几个关键点：

• 先明确微分方程的类型：是常系数还是变系数？这直接决定了朗斯基行列式的性质——比如常系数方程的朗斯基行列式要么恒0要么恒非零，变系数的则可能随$t$变化，但只要不恒为0就说明解线性无关；
• 检查你选的$a$、$b$对应的解是否真的线性无关：如果随便选的参数刚好让两个解成比例，那行列式自然会是0；
• 可以试试刘维尔公式简化计算：对于二阶线性齐次方程$y''+p(t)y'+q(t)y=0$，朗斯基行列式满足$W(t)=W(t_0)e^{-\int_{t_0}t p(s)ds}$，不用先求两个解就能直接得到行列式的形式，能帮你跳过解方程的繁琐步骤，直接判断解的相关性。

举个直观的例子：对于方程$y''+y=0$，解为$y_1=\cos t$、$y_2=\sin t$，计算朗斯基行列式得到$\cos t \cdot \cos t - (-\sin t)\cdot \sin t=1$（非零常数），说明这两个解线性无关；但如果选$y_1=\cos t$、$y_2=2\cos t$，行列式就会是0，因为这两个解是线性相关的。

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