高斯-约当消元计算器 - 求解线性方程组
通过将增广矩阵化为最简行阶梯形，求解线性方程组。
输入线性方程组的系数，设置矩阵维度，然后点击“求解”即可得到完整解。
高斯-约当消元计算器 - 求解线性方程组
通过将增广矩阵化为最简行阶梯形，求解线性方程组。
输入每个方程的系数。最后一列为常数项（b）。
| x1 | x2 | | | b |
|---|---|---|---|
| | | |||
| | |
关于高斯-约当消元
高斯-约当消元是一种系统化的线性方程组求解算法，它通过对增广矩阵施加初等行变换，直到得到最简行阶梯形（RREF）。这种方法以卡尔·弗里德里希·高斯和威廉·约当命名，它在高斯消元的基础上继续化简，直到每个主元都等于 1，且主元所在列的其他元素都为 0。这样就能直接读出解，而不需要回代。
过程从构造增广矩阵 [A | b] 开始，其中 A 包含变量系数，b 保存每个方程右侧的常数项。随后应用三类行变换：交换两行、用非零标量乘一行，以及把某一行的倍数加到另一行上。这些操作不会改变方程组的解集，因此最终得到的 RREF 矩阵与原方程组等价。
n 个方程、n 个未知数的方程组可能有且只有一个解（当系数矩阵满秩时）、没有解（当方程组不相容时，通常表现为左边全 0 而右侧非 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^-1]，从而直接得到逆矩阵。本计算器主要处理增广方程组，但使用的是同样的行变换。