y1y2是齐次线性方程的解