证明线性齐次微分方程存在两个线性无关的解