若y1,y2,y3是非齐次方程的三个解，即Py1=g(x),Py2=g(x),Py3=g(x),其中P为线性常微分求导，g(x)为方程右端项。则P(y1-y2)=Py1-Py2=g(x)-g(x)=0,说明y1-y2是齐次方程Py=0的一个解。同理，y3-y1也是Py=0的一个解。这是有方程的线性性质想到的。
直接用书上的性质即可，详情如图所示
