线性代数01 Gauss-Jordan（高斯-诺尔当）算法：消两个算什么？我一次消N个

0 概述

虽然Gilbert Strang教授讲解线性代数是从向量在空间中的表示开始，但是我仍然想从解线性方程组来开始整个线性代数课程的笔记整理。 最重要的东西我一般都喜欢让它放在前面，虽然在大一的时候线代学的不咋地，但是对于线代有个非常重要的认识，整个的课本的核心都围绕线性方程组的求解来展开。当然后来也引入了其他的非常多的内容，但是还是非常基础而核心的内容。

1 回顾方程组的消元解法

高中或者初中的时候学习线性方程组的解法，非常重要也最常用的解法就是消元法，其实和我们的讲述的高斯-诺尔当的解法是相似的。先来看看简单方程的消元解法。

在这里我们可以看到我们进行了两个操作：
（1）用②方程的2倍加到①方程。消去①方程中的x
（2）代入得到的y值，得到x的值

2 如果未知量的个数很多，怎么办？

对于这样的线性方程组，我们是否还可以根据消元法得到它的解？
理论上是可行的，我们可以按照二元方程组的步骤，一步一步消元，得到一个只含有一个未知量的方程，再逐步代入原来的方程组。在整个过程中，我们第一个感到麻烦的事情是什么呢？
对于笔者来说，首先感到的是对于未知量的重复撰写，每次我需要x1，x2…xn都要写一遍，但是实际参与运算的只有数字。那么我是不是可以省略这些变量，先用系数和右边的常数项来计算呢？
这里便引出了系数矩阵与增广矩阵的概念。
这样，便可以将消元的过程，放置到对于增广矩阵的操作上。回顾我们对于消元的过程，我们有什么操作？一般来说，具有三种变换：
（1） 将