线性代数｜非齐次线性方程的通解和特解

设有非齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots a_{1n}{x}_n=b_1\\ a_{21}{x}_1+a_{22}{x}_2+\cdots a_{2n}{x}_n=b_2\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots a_{mn}{x}_n=b_m\end{array}\text{\hspace{1em}(1)}$$
$(1)$ 式可写作向量方程
$$\mathbf{A}\mathbf{x}=\mathbf{b}\text{\hspace{1em}(2)}$$
有对应的齐次线性方程组
$$\mathbf{A}\mathbf{x}=0\text{\hspace{1em}(3)}$$
关于非齐次线性方程租的解与其对应的齐次线性方程组，有如下两个性质和证明：

性质 1　设 $\mathbf{x}={\mathbf{\eta }}_1$ 及 $\mathbf{x}={\mathbf{\eta }}_2$ 都是向量方程 $(2)$ 的解，则 $\mathbf{x}={\mathbf{\eta }}_1-{\mathbf{\eta }}_2$ 为对应的其次线性方程组 $(3)$ 的解。

证明　因为 $\mathbf{A}({\mathbf{\eta }}_1-{\mathbf{\eta }}_2)=\mathbf{A}{\mathbf{\eta }}_1-\mathbf{A}{\mathbf{\eta }}_2=\mathbf{b}-\mathbf{b}=0$，所以 $\mathbf{x}={\mathbf{\eta }}_1-{\mathbf{\eta }}_2$ 满足方程 $(3)$。得证。

性质 2　设 $\mathbf{x}=\mathbf{\eta }$ 是方程 $(2)$ 的解，$\mathbf{x}=\mathbf{\xi }$ 是方程 $(3)$ 的解，则 $\mathbf{x}=\mathbf{\xi }+\mathbf{\eta }$ 仍是方程 $(2)$ 的解。

证明　因为 $\mathbf{A}(\mathbf{\xi }+\mathbf{\eta })=\mathbf{A}\mathbf{\xi }+\mathbf{A}\mathbf{\eta }=0+\mathbf{b}=\mathbf{b}$，所以 $\mathbf{x}=\mathbf{\xi }+\mathbf{\eta }$ 满足方程 $(2)$。得证。

根据以上两个性质，有非齐次线性方程的通解和特解的定义及证明如下：

定理　如果有非齐次线性方程的一个解 ${\mathbf{\eta }}^{\ast }$（称为 特解），那么非齐次线性方程的 通解 为
$$\mathbf{x}=k_1{\mathbf{\xi }}_1+\cdots k_{n-r}{\mathbf{\xi }}_{n-r}+{\mathbf{\eta }}^{\ast }(k_1,\cdots ,k_{n-r}为任意实数)\text{\hspace{1em}(4)}$$
其中 ${\mathbf{\xi }}_1,\cdots ,{\mathbf{\xi }}_{n-r}$ 是对应齐次线性方程的基础解系。

证明　首先证明满足 $(4)$ 式的 $\mathbf{x}$ 都是方程 $(2)$ 的解。根据性质 2，显然可知满足 $(4)$ 式的 $\mathbf{x}$ 都是方程 $(2)$ 的解。

接着证明所有方程 $(2)$ 的解都满足 $(4)$ 式。设 ${\mathbf{x}}^0$ 为方程 $(2)$ 的任一解，由性质 1 可知，${\mathbf{x}}^0-{\mathbf{\eta }}^{\ast }$ 是方程 $(3)$ 的解，从而可以用方程 $(3)$ 的基础解系线性表示为
$${\mathbf{x}}^0-{\mathbf{\eta }}^{\ast }=k_1^0{\mathbf{\xi }}_1+k_2^0{\mathbf{\xi }}_2+\cdots k_{n-r}^0{\mathbf{\xi }}_{n-r}$$
即
$${\mathbf{x}}^0=k_1^0{\mathbf{\xi }}_1+k_2^0{\mathbf{\xi }}_2+\cdots k_{n-r}^0{\mathbf{\xi }}_{n-r}+{\mathbf{\eta }}^{\ast }$$
上式显然满足 $(4)$ 式。得证。

至此，我们就得到了非齐次线性方程的解的结构：

非齐次线性方程的通解 = 对应的齐次方程的通解 + 非齐次方程的一个特解。