（邱维声）高等代数课程笔记：线性方程组有解的判定定理

3.7 线性方程组有解的判定定理

定理 1：数域 $K$ 上的 $n$ 元线性方程组有解
$$\begin{array}{rl}& ⟺x_1\cdot {\mathbf{\alpha }}_1+x_2\cdot {\mathbf{\alpha }}_2+\cdots +x_n\cdot {\mathbf{\alpha }}_n=\mathbf{\beta }\\ & ⟺\mathbf{\beta }\in <{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n>\\ & ⟺<{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n,\mathbf{\beta }>=<{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n>\\ & ⟺\dim <{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n,\mathbf{\beta }>=\dim <{\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_n>\\ & ⟺增广矩阵\tilde{\mathbf{A}}的秩=系数矩阵\mathbf{A}的秩\\ & ⟺\tilde{\mathbf{A}}经过初等行变换化为阶梯型矩阵时非零行的个数r=rank\tilde{\mathbf{A}}=rank(\mathbf{A}).\end{array}$$

另外，有：
（1）$rank(\mathbf{A})<n$ 时，有无穷多解，
（2）$rank(\mathbf{A})=n$ 时，有唯一解。

特别地，数域 $K$ 上的 $n$ 元齐次线性方程组有非零解 $⟺$ $rank(\mathbf{A})<n$。