高斯-约旦消元计算器 - 求解线性方程组
通过将增广矩阵化为简化行阶梯形，求解线性方程组。
输入线性方程组的系数，设置矩阵维度，然后点击求解以获取完整解。
高斯-约旦消元计算器 - 求解线性方程组
通过将增广矩阵化为简化行阶梯形，求解线性方程组。
输入每个方程的系数。最后一列是常数项 (b)。
| x1 | x2 | | | b |
|---|---|---|---|
| | | |||
| | |
关于高斯-约旦消元法
高斯-约旦消元法是一种系统化算法，通过对增广矩阵执行初等行变换，直到矩阵达到简化行阶梯形 (RREF)，从而求解线性方程组。该方法以卡尔·弗里德里希·高斯和威廉·约旦命名，它在高斯消元法的基础上继续化简，直到每个主元都是 1，且主元所在列的其他元素都是 0。最终结果无需回代即可直接显示解。
过程从构造增广矩阵 [A | b] 开始，其中 A 包含变量系数，b 包含每个方程右侧的常数。会使用三类行变换：交换两行、将某一行乘以非零标量，以及把一行的倍数加到另一行。这些操作不会改变方程组的解集，因此最终的 RREF 矩阵表示一个等价方程组。
含有 n 个未知量的 n 个方程组成的方程组可能恰有一个解（当系数矩阵满秩时）、无解（当方程组不相容时，表现为左侧全为零而右侧非零的一行），或有无穷多解（当方程组相关且主元列少于变量数时）。高斯-约旦消元法可以清楚地区分这三种情况。
该方法在线性代数课程中被广泛讲授，因为它为求解任意线性方程组提供了清晰、算法化的路径。在实际计算中，数值版本会使用部分选主元来提升稳定性并减少舍入误差。高斯-约旦消元法也是计算矩阵逆、求解最小二乘问题和计算零空间的基础。
此计算器为 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 阶方阵 A 的逆，可将它与 n 阶单位矩阵拼接成 [A | I]，然后应用高斯-约旦消元法。如果 A 可逆，结果会是 [I | A 的逆]，从而直接得到逆矩阵。此计算器专注于增广方程组，但相同的行变换同样适用。