常数变易法作为一个解常微分方程的方法,求解的过程实际上就是一个试探过程,因此这么说是对的.

　　但是常微分方程一般解的形式是可以被人们证明的,N阶常微分方程的解含有N个线性无关常数,这个结论可以通过朗斯基行列式证明,具体可以参见大部分高等数学教材.这说明了解的唯一性.因而如果你用常数变易法得到的解实际上是唯一解.