高等代数(三)-线性方程组01：消 元 法

§1 消 元 法
现在来讨论一般线性方程组.所谓一般线性方程组是指形式为
$$\{\begin{array}{c}{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,\\ \cdots \cdots \cdots \cdots \\ a_{s1}{x}_1+a_{s2}{x}_2+\cdots +a_{nn}{x}_n=b_4\end{array}$$
的方程组, 其中 $x_1,x_2,\cdots ,x_n$ 代表 $n$ 个未知量, $s$
是方程的个数, $a_{ij}(i=1,2,\cdots ,s,j=1,2,\cdots ,n)$
称为方程组的系数, $b_j(j=1,2,\cdots ,s)$ 称为常数项.
方程组中未知量的个数 $n$ 与方程的个数 $s$ 不一定相等.系数 $a_{ij}$
的第一个指标 $i$ 表示它在第 $i$ 个方程,第二个指标 $j$ 表示它是 $x_j$
的系数.
所谓方程组 (1) 的一个解, 就是指由 $n$ 个数 $k_1,k_2,\cdots ,k_n$
组成的有序数组 $(k_1,k_2,\cdots$, $k_n$ ), 当
$x_1,x_2,\cdots ,x_n$ 分别用 $k_1,k_2,\cdots ,k_n$
代人后, (1) 中每个等式都变成恒等式.方程组 (1)
的解的全体称为它的解集合.解方程组实际上就是找出它全部的解,或者说,求出它的解集合.如果两个方程组有相同的解集合,它们就称为同解的.
显然, 如果知道了一个线性方程组的全部系数和常数项,
那么这个线性方程组就基本上确定了. 确切地说, 线性方程组 (1) 可以用矩阵
$$\left(\begin{array}{ccccc}{a}_{11}& a_{12}& \cdots & a_{1n}& b_1\\ a_{21}& a_{22}& \cdots & a_{2n}& b_2\\ ⋮& ⋮& & ⋮& ⋮\\ a_{21}& a_{32}& \cdots & a_{sn}& b_5\end{array}\right)$$
来表示.实际上,有了 (2)之后,除去代表未知量的文字外,线性方程组 (1)
就确定了,
而采用什么文字来代表未知量当然不是实质性的.在中学所学代数里我们学过用加减消元法和代人消元法解二元、三元线性方程组.实际上,这个方法比用行列式解方程组更具有普遍性.
下面就来介绍如何用一般消元法解一般线性方程组.
先看一个例子.
例如, 解方程组
$$\{\begin{array}{l}2x_1-x_2+3x_3=1,\\ 4x_1+2x_2+5x_3=4,\\ 2x_1+x_2+2x_3=5.\end{array}$$
第二个方程减去第一个方程的 2 倍,第三个方程减去第一个方程, 就变成
$$\{\begin{array}{rl}2x_1-x_2+3x_3& =1,\\ 4x_2-x_3& =2,\\ 2x_2-x_3& =4.\end{array}$$
第二个方程减去第三个方程的 2 倍,把第二、第三两个方程的次序互换, 即得
$$\{\begin{array}{rl}2x_1-x_2+3x_3& =1,\\ 2x_2-x_3& =4,\\ x_3& =-6.\end{array}$$
这样,我们就容易求出方程组的解为 $(9,-1,-6)$.
分析一下消元法, 不难看出, 它实际上是反复地对方程组进行变换,
而所作的变换也只是由以下三种基本的变换所构成:
1. 用一非零的数乘某一方程;
2. 把一个方程的倍数加到另一个方程;
3. 互换两个方程的位置.
于是,我们给出
定义 1 变换 $1,2,3$ 称为线性方程组的初等变换.
消元的过程就是反复施行初等变换的过程.下面证明,初等变换总是把方程组变成同解的方程组.我们只对第二种初等变换来证明.
对方程组
{ a 11 x 1 + a 12 x 2 + ⋯ + a 1 n x n = b 1 , a 21 x 1 + a 22 x 2 + ⋯ + a 2 n x n = b 2 , ⋯ ⋯ ⋯ ⋯ a n 1 x 1 + a 12 x 2 + ⋯ + a n n x n = b s \left\{\begin{array}{c} a_{11} x_{1}+a_{12} x_{2}+\cdots+a_{1 n} x_{n}=b_{1}, \\ a_{21} x_{1}+a_{22} x_{2}+\cdots+a_{2 n} x_{n}=b_{2}, \\ \cdots \cdots \cdots \cdots \\ a_{n 1} x_{1}+a_{12} x_{2}+\cdots+a_{n n} x_{n}=b_{s} \end{array}\right. ⎩ ⎨ ⎧​