【Linear Algebra】线性方程组

4. 线性方程组

本文重点在知识归纳，不帮助理解

4.1 克拉默法则

克拉默法则（Cramer’s Rule）

若 $n$ 个方程 $n$ 个未知量构成的非齐次线性方程组

$$\{\begin{array}{r}{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\\ \dots \\ a_{n1}{x}_1+a_{n2}{x}_2+\cdots +a_{nn}{x}_n=b_n\end{array}$$

的系数行列式 $|A|≠0$，则方程组有唯一解，且

$$x_i=\frac{|A_i|}{|A|},i=1,2,\dots ,n$$

其中 $|A_i|$ 是 $|A|$ 中第 $i$ 列元素（即 $x_i$ 的系数）替换成方程组右端的常数项 $b_1,b_2,\dots ,b_n$ 所构成的行列式

推论

若包含 $n$ 个方程 $n$ 个未知量的齐次线性方程组

$$\{\begin{array}{r}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \dots \\ a_{n1}{x}_1+a_{n2}{x}_2+\cdots +a_{nn}{x}_n=0\end{array}$$

的系数行列式 $|A|≠0$ 的充分必要条件是方程组有唯一零解，反之若齐次线性方程组有非零解，充要条件是其系数行列式 $|A|=0$

4.2 齐次线性方程组

4.2.1 齐次线性方程组的表达形式

$n$ 个未知量，$m$ 个方程组成的方程组

（1）一般形式

$$\{\begin{array}{r}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \dots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$

（2）向量形式

$${\mathbf{\alpha }}_1{x}_1+{\mathbf{\alpha }}_2{x}_2+\cdots +{\mathbf{\alpha }}_n{x}_n=0$$

• 其中

$$\begin{array}{rl}{\mathbf{\alpha }}_j=& [a_{1j},a_{2j},\dots ,a_{mj}{]}^T,j=1,2,\dots ,n\\ 0=& [0,0,\dots ,0{]}^T\end{array}$$

（3）矩阵形式

$$A_{m\times n}\mathbf{x}=0$$

$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& ...& a_{1n}\\ a_{21}& a_{22}& ...& a_{2n}\\ ...& ...& & ...\\ a_{m1}& a_{m2}& ...& a_{mn}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right]=\left[\begin{array}{c}0\\ 0\\ \dots \\ 0\end{array}\right]$$

4.2.2 齐次线性方程组的解

将有序数组 $c_1,c_2,\dots ,c_n$ 代入 $n$ 未知量方程组的 $\mathbf{x}$ 中，使得每个方程成立，则称 $[c_1,c_2,\dots ,c_n{]}^T$ 为方程组的一个解（或解向量），记为 $\mathbf{\xi }=[c_1,c_2,\dots ,c_n{]}^T$

• 齐次方程组只有零解 $\iff$ ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n$ 线性无关

4.2.3 齐次线性方程组的基础解系

设 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 是 $A\mathbf{x}=0$ 的解向量，若满足

1. ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 线性无关
2. $A\mathbf{x}=0$ 的任一解向量 $\mathbf{\xi }$ 均可由 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 线性表出，则称向量组 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 是 $A\mathbf{x}=0$ 的基础解系

4.2.4 齐次线性方程组解的性质

若 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{s}}$ 均是 $A\mathbf{x}=0$ 的解，则

$$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\cdots +k_s{\mathbf{\xi }}_s$$

仍是 $A\mathbf{x}=0$ 的解，其中的 $k$ 可以是任意常数（当然包括 0）

4.2.5 齐次线性方程组的通解

向量组 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 是 $A\mathbf{x}=0$ 的基础解系，则

$$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\cdots +k_{n-r}{\mathbf{\xi }}_{n-r}$$

是 $A\mathbf{x}=0$ 的通解（或称一般解），其中 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 是任意常数

4.2.6 齐次线性方程组有解的条件

$A\mathbf{x}=0$ 一定有解，至少有零解

$$\begin{array}{rlr}齐& 次线性方程组A\mathbf{x}=0只有零解& （有非零解）\\ \iff & 系数行列式|A|≠0& （|A|=0）\\ \iff & {\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性无关& （线性相关）\\ \iff & 秩r(A)=n& （r(A)<n）\end{array}$$

4.2.7 基础解系向量个数与秩的关系

若 $A$ 是 $m\times n$ 矩阵，$r(A)=r<n$，则齐次线性方程组 $A\mathbf{x}=0$ 存在基础解系，且基础解系有 $n-r$ 个线性无关的向量组成，故

$$基础解系向量个数+r(A)=n（未知量个数）$$

4.2.8 基础解系和通解的求法（*）

$n$ 个未知量，$m$ 个方程组成的方程组，系数矩阵为 $A$（$m\times n$ 矩阵）

1. 对 $A$ 进行初等行变换得到 $B$ 对应一个新的方程组（当然和原方程组的解是一样的）

$$B=\left[\begin{array}{ccccccc}{c}_{11}& c_{12}& ...& c_{1r}& c_{1,r+1}& ...& c_{1n}\\ 0& c_{22}& ...& c_{2r}& c_{2,r+1}& ...& c_{2n}\\ ...& ...& & ...& ...& & \\ 0& 0& ...& c_{rr}& c_{r,r+1}& ...& c_{rn}\\ 0& 0& ...& 0& 0& ...& 0\\ ...& ...& & ...& ...& & ...\\ 0& 0& ...& 0& 0& ...& 0\end{array}\right]$$

2. $B$ 左上角对应的 $r$ 个未知量 $x_1,x_2,\dots ,x_r$ 称为独立未知量，而后面的 $n-r$ 个未知量 $x_{r+1},\dots ,x_n$ 称为自由未知量，将自由未知量 $x_{r+1},\dots ,x_n$ 分别赋下列 $n-r$ 组值

$$\begin{array}{rl}[& 1,0,\dots ,0{]}^T\\ [& 0,1,\dots ,0{]}^T\\ & ...\\ [& 0,0,\dots ,1{]}^T\end{array}$$

3. 将赋值了的自由未知量代入方程，求出相应的独立未知量 $x_1,x_2,\dots ,x_r$，最后能得到 $n-r$ 个解

$$\{\begin{array}{rlr}{\mathbf{\xi }}_1& =[d_{11},d_{12},\dots ,d_{1r},& 1,0,\dots ,0{]}^T\\ {\mathbf{\xi }}_2& =[d_{21},d_{22},\dots ,d_{2r},& 0,1,\dots ,0{]}^T\\ ...& & \\ {\mathbf{\xi }}_{n-r}& =[d_{n-r,1},d_{n-r,2},\dots ,d_{n-r,r},& 0,0,\dots ,1{]}^T\end{array}$$

可以证明 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$ 即是方程组 $A\mathbf{x}=0$ 的基础解系

所以方程组的通解为 $k_1{\mathbf{\xi }}_1,k_2{\mathbf{\xi }}_2,\dots ,k_{n-r}{\mathbf{\xi }}_{n-r}$，其中 $k$ 是任意常数

4.3 非齐次线性方程组

4.3.1 非齐次线性方程组的表达形式

$n$ 个未知量，$m$ 个方程组成的方程组

和齐次线性方程组类似，只是等式右边的常数项由 $0$ 变成了 $b_m$，表达形式同样也有三种，这里列出矩阵形式

$$A_{m\times n}\mathbf{x}=\mathbf{b}$$

$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& ...& a_{1n}\\ a_{21}& a_{22}& ...& a_{2n}\\ ...& ...& & ...\\ a_{m1}& a_{m2}& ...& a_{mn}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\\ \dots \\ b_m\end{array}\right]$$

4.3.2 非齐次线性方程组的解

将有序数组 $c_1,c_2,\dots ,c_n$ 代入 $n$ 未知量方程组的 $\mathbf{x}$ 中，使得每个方程成立，则称 $[c_1,c_2,\dots ,c_n{]}^T$ 为方程组的一个解（或解向量），记为 $\mathbf{\eta }=[c_1,c_2,\dots ,c_n{]}^T$

• 即 $A\mathbf{\eta }=\mathbf{b}$，即非齐次线性方程组的解是 $\mathbf{b}$ 可由 $A$ 的列向量线性标出的表出系数

4.3.3 非齐次线性方程组解的性质

若 ${\mathbf{\eta }}_1,{\mathbf{\eta }}_2$ 是 $A\mathbf{x}=\mathbf{b}$ 的两个解；$\mathbf{\xi }$ 是对应齐次方程组 $A\mathbf{x}=0$ 的解，则

$$\begin{array}{rl}A({\mathbf{\eta }}_1-{\mathbf{\eta }}_2)=& 0\\ A({\mathbf{\eta }}_1+k\mathbf{\xi })=& \mathbf{b}（k为任意常数）\end{array}$$

4.3.4 非齐次线性方程组有解的条件

$A\mathbf{x}=\mathbf{b}$ 有解

非 齐 次 线 性 方 程 组   A x = b   有 解 ⇔   b   可 由   A   的 列 向 量 组   α 1 , α 2 , … , α n   线 性 表 出 ⇔   秩   r ( A ) = r ( A   ∣   b ) ⇔   { α 1 , α 2 , … , α n } ≅ { α 1 , α 2 , … , α n , b } \begin{aligned} 非&amp;齐次线性方程组~A\bm{x} = \bm{b}~有解\\ \Leftrightarrow &amp; ~\bm{b}~可由~A~的列向量组~\bm{\alpha_1, \alpha_2,\dots,\alpha_n}~线性表出 \\ \Leftrightarrow &amp; ~秩~r(A) = r(A~|~\bm{b}) \\ \Leftrightarrow &amp;~\{\bm{\alpha_1, \alpha_2,\dots,\alpha_n}\} \cong \{\bm{\alpha_1, \alpha_2,\dots,\alpha_n, b}\} \\ \end{aligned} 非⇔⇔⇔​齐次线性方程组 Ax=b 有解 b 可由 A 的列向量组 α1​,α2​,…,αn​ 线性表出 秩 r(A)=r(A ∣ b) {α1​,α2​,…,αn​}≅{α1​,α2​,…,αn​,b}​

$A\mathbf{x}=\mathbf{b}$ 无解

$$\begin{array}{rl}非& 齐次线性方程组A\mathbf{x}=\mathbf{b}无解\\ \iff & \mathbf{b}不能由A的列向量组{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性表出\\ \iff & 秩r(A)≠r(A|\mathbf{b})(r(A)+1=r(A|\mathbf{b}))\end{array}$$

(a)

$$\begin{array}{rl}若& r({\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}})=r({\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}},\mathbf{b})=n\\ \iff & {\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性无关\\ \iff & {\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}},\mathbf{b}线性相关\\ \iff & \mathbf{b}可由{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性表出，且表出法唯一\\ \iff & A\mathbf{x}=\mathbf{b}有唯一解\end{array}$$

(b)

$$\begin{array}{rl}若& r({\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}})=r({\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}},\mathbf{b})=r<n\\ \iff & {\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性相关\\ \iff & \mathbf{b}可由{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\dots ,{\mathbf{\alpha }}_{\mathbf{n}}线性表出，但表出法不唯一\\ \iff & A\mathbf{x}=\mathbf{b}有无穷多解\end{array}$$

4.3.5 非齐次线性方程组通解结构

设 $A_{m\times n}\mathbf{x}=\mathbf{b}$ 有特解 $\mathbf{\eta }$，对应的齐次线性方程组 $A\mathbf{x}=0$ 有基础解系 ${\mathbf{\xi }}_1,{\mathbf{\xi }}_2,\dots ,{\mathbf{\xi }}_{\mathbf{n}-\mathbf{r}}$，则 $A\mathbf{x}=\mathbf{b}$ 的通解为

$$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\cdots +k_{n-r}{\mathbf{\xi }}_{n-r}+\mathbf{\eta }$$

其中 $k$ 是任意常数

4.3.6 非齐次线性方程组通解求法

方程组 $A_{m\times n}\mathbf{x}=\mathbf{b}$

1. 将增广矩阵 $(A|\mathbf{b})$ 做初等行变换成阶梯形矩阵
2. 求出对应齐次线性方程组的基础解系 $k_1{\mathbf{\xi }}_1,k_2{\mathbf{\xi }}_2,\dots ,k_{n-r}{\mathbf{\xi }}_{n-r}(r(A)=r)$
3. 求一个非齐次特解设为 $\mathbf{\eta }$（可取自由未知量为任意值），为计算简单，一般均取零值再代入方程，求得独立未知量，并得 $\mathbf{\eta }$，则 $A\mathbf{x}=\mathbf{b}$ 的通解为

$$k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\cdots +k_{n-r}{\mathbf{\xi }}_{n-r}+\mathbf{\eta }$$

其中 $k_1{\mathbf{\xi }}_1+k_2{\mathbf{\xi }}_2+\cdots +k_{n-r}{\mathbf{\xi }}_{n-r}$ 是对应齐次线性方程组的通解，$k$ 是任意常数