非齐次线性微分方程即y'+f(x)y=g(x)两个特解y1，y2即y1'+f(x)y1=g(x)，y2'+f(x)y2=g(x)二者相减得到(y1-y2)'+f(x)*(y1-y2)=0所以y1-y2当然是齐次方程y'+f(x)*y=0的解
