线性方程组之三：线性方程组的解法

之前两回分别介绍了二元一次方程组和三元一次方程组的解法, 那里都是很具体的例子. 可能大家觉得之前太简单了, 没关系, 这一回我们稍微抽象一点, 考虑一般情形. 抽象挑战会大一些, 但确是揭示事情本质的. 如果看完本节觉得一头雾水, 没关系, 不妨先跳过本节, 看看后面几回的例子, 再跳回来看. 如果看完本节觉得很有道理, 那么恭喜你, 有点上路了.

为了表示任意多个变量, 我们不再用\(x,y,z\)来记变量, 而是采取下标写法, 用\(x_1,x_2,\cdots,x_n\)来记变量.

\[
\left\{
\begin{split}
&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\\
&\qquad\qquad\qquad\cdots \\ 
&a_{m1}x_1+a_{m2}x_2+\cdots+a_{mn}x_n = b_m
\end{split}
\right..
\]

如果所有的系数\(a_{ij}\)都是\(0\), 那么该方程组的解只有两种情形. 一种是所有的\(b_i\)都为\(0\), 此时任意\(x_i\)都是它的解. 另外一种是某个\(b_i\neq0\), 此时无解.

如果\(a_{ij}\)不全为\(0\), 但是所有\(x_1\)前面的系数\(a_{i1}\)都为\(0\), 那么一定可以交换方程组的两个变量使得第一列的系数不全为\(0\). 所以下面的讨论中, 可以不妨假设\(a_{11}\neq 0\).

具体的解法是用\(-a_{i1}/a_{11}\)乘以第\(1\)行加到第\(i\)行上, 这样可以使得第\(i\)行\(x_1\)前面的系数为\(0\). 得到
\[
\left\{
\begin{split}