高斯-约当消元计算器 - 解线性方程组
通过将增广矩阵转换为最简行阶梯形来求解线性方程组。
输入线性方程组的系数，设置矩阵维度，然后点击“求解”即可获得完整解。
高斯-约当消元计算器 - 解线性方程组
通过将增广矩阵转换为最简行阶梯形来求解线性方程组。
输入每个方程的系数。最后一列是常数项（b）。
| x1 | x2 | | | b |
|---|---|---|---|
| | | |||
| | |
关于高斯-约当消元
高斯-约当消元是一种通过对增广矩阵施加初等行变换来求解线性方程组的系统算法，直到它达到最简行阶梯形（RREF）。该方法以卡尔·弗里德里希·高斯和威廉·约当命名，是对高斯消元的扩展：它会继续化简，直到每个主元都为 1，且主元所在列的其他元素都为 0。这样就能直接读出解，而不需要回代。
首先构造增广矩阵 [A | b]，其中 A 包含变量系数，b 包含每个方程右侧的常数项。随后应用三种行变换：交换两行、用非零标量乘一行，以及将一行的倍数加到另一行。这些操作不会改变方程组的解集，因此最终得到的 RREF 矩阵表示一个等价方程组。
一个包含 n 个方程、n 个未知数的方程组可能有且仅有一个解（当系数矩阵满秩时）、无解（当方程组不相容时，表现为左侧全为 0 而右侧非零的一行），或者有无穷多个解（当方程组相关，且主元列少于变量数时）。高斯-约当消元可以清晰地区分这三种情况。
该方法在高等代数课程中被广泛讲授，因为它为求解任意线性方程组提供了一条清晰、可执行的路径。在实际计算中，数值版本通常会使用部分主元选取来提高稳定性并减少舍入误差。高斯-约当消元也是计算矩阵逆、求解最小二乘问题和计算零空间的基础。
本计算器针对 2x2、3x3 和 4x4 方程组实现了带部分主元选取的高斯-约当消元。它会在显示完整 RREF 矩阵的同时给出解的数值，让你既能看到结果，也能理解方程组的代数结构。
示例
具有代表性的线性方程组及其解：
| 方程组 | 解 | 说明 |
|---|---|---|
| 2x + y = 5, 4x + 3y = 11 | x1 = 2, x2 = 1 | 唯一的 2x2 解 |
| 2x + y + z = 8, x + 3y - z = 10, x + y + 2z = 7 | x1 = 2, x2 = 3, x3 = 1 | 3x3 唯一解 |
| x + y = 3, 2x + 2y = 6 | 无穷多解 | 相关方程组 |
| x + y = 3, x + y = 5 | 无解 | 不相容方程组 |
使用方法
- 使用尺寸按钮选择方程数（行）和变量数（列）。
- 在对应的矩阵单元格中输入每个变量的系数。最后一列用于常数项。
- 点击“求解”以使用部分主元选取运行高斯-约当消元。
- 从“解”面板读取结果。如果每个变量都显示唯一数值，这些就是答案。
- 查看下方的 RREF 矩阵，以理解代数结构或验证计算结果。
常见问题
什么是高斯-约当消元？
高斯-约当消元是高斯消元的扩展，它会把增广矩阵一直化简到最简行阶梯形（RREF）。与需要回代的高斯消元不同，高斯-约当法会生成一个可以直接读出解的矩阵。
什么是最简行阶梯形（RREF）？
当一个矩阵中每个首个非零元素（主元）都为 1，主元列中其他元素都为 0，并且主元从上到下依次向右移动时，它就处于 RREF。对于任意给定矩阵，RREF 都是唯一的，并且可以直接表示线性方程组的解。
方程组无解是什么意思？
当消元过程得到形如 [0 0 ... 0 | k] 且 k 非零的一行时，方程组就是不相容的。这表示这些方程彼此矛盾，不存在同时满足所有方程的点。
方程组有无穷多个解是什么意思？
当 RREF 中的主元个数少于变量数，留下自由变量时，就会出现无穷多个解。每个自由变量都可以取任意实数，从而生成一族解。解集可以是一条直线、一个平面，或者更高维的子空间。
什么是部分主元选取，为什么要使用它？
部分主元选取会交换行，使当前列中绝对值最大的元素成为主元。这样可以减少除以极小数时引起的数值误差，让浮点运算下的算法更稳定。
这种方法可以用来求矩阵的逆吗？
可以。要逆转一个 n×n 矩阵 A，只需把它与 n×n 单位矩阵拼成 [A | I]，然后应用高斯-约当消元。如果 A 可逆，结果会变成 [I | A-inverse]，从而直接得到逆矩阵。这个计算器主要处理增广方程组，但同样的行变换也适用。