线性方程组解的结构的一个例子

原提问出现在http://math.stackexchange.com/questions/163768/is-this-solution-using-gaussian-elimination-or-jordan-gauss

问题：以下用增广阵表示的方程组何时有唯一解，何时没有解，何时有多个解

⎡⎣⎢⎢1342−11−35(a2–14)42(a+2)⎤⎦⎥⎥

解：经过初等行变换，得到矩阵：

⎡⎣⎢⎢100210−3−2(a2–16)410/7(a–4)⎤⎦⎥⎥(1)

1）当系数矩阵的秩小于增广阵的秩时，原方程组没有解，这可以解释为 Ax=b 的系数矩阵A的列空间无法张成向量b，即b和A中的列向量线性无关， rank(A)<rank([A b]) .

所以增广阵( 1 )中第三行的主元(pivot)应该在第四列而非第三列： a2−16=0 并且 a−4≠0 ，得 a=−4

2）根据1)的讨论， a≠−4 时，原方程组有解

2.1)  rank