矩阵解线性方程

学习自《linear algebra and its application》

二元线型方程

我们熟知的两个未知数两个方程组的解，等价于两条直线的交点
可能交于一点（一个解），平行（无解），重合（两条直线上每个点交点）
有交点相容，无交点不相容

用矩阵表示方程组

我们使用矩阵来包含一个方程组的主要信息

上面一个是系数矩阵，一个是曾广矩阵

那么如何求解，首先我们看看先后关系

答案很明显了，解方程也就是对矩阵的变换

我们来看组无解的情况：

当化成第一个三角形时 $0=\frac {5}{2}$ 显然不成立

解任意线型方程组

下面是带来解任意线型方程组的行化简算法

阶梯型

1. 每一非零行在每一零行之上
2. 每一行的先导元素所在列位于前一行先导元素的釉面
3. 某一先导元素所在的列下方元素都是0
   

简化阶梯型

1. 以上三点
2. 每一非0行的先导元素是1
3. 每一先导元素1是该元素所在列的唯一非0元素
   

例子：简化下面的增广矩阵

由最左边的非零列开始，作为第一个主元列，然后选取一个非零元素作为主元，若有必要的话，兑换两行
用倍加行变换将主元下面的元素变为0

从第二行开始由最左边的非零列开始，选取新主元行的主元，然后用倍加行变换将主元下面的元素变为0

选取第三行的，直接就成立了，到此为止，阶梯型有了，如果需要简化阶梯型，还需要下述步骤

首先我们将最三行的，所在列其他的变为0（本身为1，所以不需要缩小）

然后我们处理第二行的，这是需要缩小和所在列其他的变为0

然后我们处理第一行的，这是只需要缩小，到此为止，最简阶梯型好了
最后我们得到的是线型方程组的一种显示表示法，如下面我们已经化成简化阶梯型

$x_1$和 $x_2$ 为基本变量， $x_3$ 为自由变量，然后我们用自由变量表示基本变量即可，最后式子给出了通解。

如何区分基本变量：则非零行的首非零元所在列对应的就是约束变量,其余变量即为自由变量