线性代数张宇9讲 第六讲 线性方程组

例题六

例6.15  设$r({\mathbf{A}}_{4\times 4})=2$，${\mathbf{\eta }}_1,{\mathbf{\eta }}_2,{\mathbf{\eta }}_3$是$\mathbf{A}\mathbf{x}=\mathbf{b}$的$3$个解向量，其中$$\{\begin{array}{l}{\mathbf{\eta }}_1-{\mathbf{\eta }}_2=[-1,0,3,-4{]}^{\mathrm{T}},\\ {\mathbf{\eta }}_1+{\mathbf{\eta }}_2=[3,2,1,-2{]}^{\mathrm{T}},\\ {\mathbf{\eta }}_3+2{\mathbf{\eta }}_2=[5,1,0,3{]}^{\mathrm{T}},\end{array}$$则$\mathbf{A}\mathbf{x}=\mathbf{b}$的通解是______。

解  由题设${\mathbf{A}}_{4\times 4}\mathbf{x}=\mathbf{b},r(\mathbf{A})=2,n=4$，知$\mathbf{A}\mathbf{x}=\mathbf{b}$的通解结构为$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\mathbf{\eta }$，其中${\mathbf{\xi }}_1,{\mathbf{\xi }}_2$是$\mathbf{A}\mathbf{x}=0$的基础解系，$\mathbf{\eta }$是$\mathbf{A}\mathbf{x}=\mathbf{b}$的一个特解。
  因$\mathbf{A}({\mathbf{\eta }}_1-{\mathbf{\eta }}_2)=\mathbf{b}-\mathbf{b}=0,\mathbf{A}[3({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)-2({\mathbf{\eta }}_3+2{\mathbf{\eta }}_2)]=6\mathbf{b}-6\mathbf{b}=0$，故${\mathbf{\eta }}_1-{\mathbf{\eta }}_2,3({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)-2({\mathbf{\eta }}_3+2{\mathbf{\eta }}_2)$为$\mathbf{A}\mathbf{x}=0$的解向量，因此可取
$$\begin{gathered} {\mathbf{\xi }}_1={\mathbf{\eta }}_1-{\mathbf{\eta }}_2=[-1,0,3,-4{]}^{\mathrm{T}}, \\ {\mathbf{\xi }}_2=3({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)-2({\mathbf{\eta }}_3+2{\mathbf{\eta }}_2)=[-1,4,3,-12{]}^{\mathrm{T}}. \end{gathered}$$
  显然${\mathbf{\xi }}_1,{\mathbf{\xi }}_2$线性无关。
  因$\mathbf{A}\left[\frac{1}{2}({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)\right]=\frac{1}{2}(\mathbf{b}+\mathbf{b})=\mathbf{b}$，故$\frac{1}{2}({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)$为$\mathbf{A}\mathbf{x}=\mathbf{b}$的一个特解，因此可取
$$\mathbf{\eta }=\frac{1}{2}({\mathbf{\eta }}_1+{\mathbf{\eta }}_2)={\left[\frac{3}{2},1,\frac{1}{2},-1\right]}^{\mathrm{T}},$$
  故$\mathbf{A}\mathbf{x}=\mathbf{b}$的通解为
$$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\mathbf{\eta }=k_1[-1,0,3,-4{]}^{\mathrm{T}}+k_2[-1,4,3,-12{]}^{\mathrm{T}}+{\left[\frac{3}{2},1,\frac{1}{2},-1\right]}^{\mathrm{T}},$$
  其中$k_1,k_2$是任意常数。（这道题主要利用了解的结构求解）

例6.27  设方程组$\mathbf{A}\mathbf{x}=\mathbf{b}$有解，证明：${\mathbf{A}}^{\mathrm{T}}\mathbf{x}=0$和$\left[\begin{array}{c}{\mathbf{A}}^{\mathrm{T}}\\ {\mathbf{b}}^{\mathrm{T}}\end{array}\right]\mathbf{x}=0$是同解方程组。

证  显然$\left[\begin{array}{c}{\mathbf{A}}^{\mathrm{T}}\\ {\mathbf{b}}^{\mathrm{T}}\end{array}\right]\mathbf{x}=0$的解必满足${\mathbf{A}}^{\mathrm{T}}\mathbf{x}=0$。
  因$\mathbf{A}\mathbf{x}=\mathbf{b}$有解，故$r(\mathbf{A})=r([\mathbf{A},\mathbf{b}])$，得$r\left(\left[\begin{array}{c}{\mathbf{A}}^{\mathrm{T}}\\ {\mathbf{b}}^{\mathrm{T}}\end{array}\right]\right)=r({\mathbf{A}}^{\mathrm{T}})$。故${\mathbf{A}}^{\mathrm{T}}\mathbf{x}=0$和$\left[\begin{array}{c}{\mathbf{A}}^{\mathrm{T}}\\ {\mathbf{b}}^{\mathrm{T}}\end{array}\right]\mathbf{x}=0$的基础解系中所含解向量个数相等。
  由上知，方程组${\mathbf{A}}^{\mathrm{T}}\mathbf{x}=0$和$\left[\begin{array}{c}{\mathbf{A}}^{\mathrm{T}}\\ {\mathbf{b}}^{\mathrm{T}}\end{array}\right]\mathbf{x}=0$是同解方程组。（这道题主要利用了矩阵的秩求解）

新版例题五

例5.12

例5.15

例5.16

新版习题五

5.3

5.6

5.8

5.13

5.14

写在最后

  如果觉得文章不错就点个赞吧。另外，如果有不同的观点，欢迎留言或私信。
   欢迎非商业转载，转载请注明出处。