RREF 计算器 — 最简行阶梯形 在线求解
在线即时计算任意矩阵的最简行阶梯形（RREF）——完整高斯-若尔当消元逐步展示、精确分数运算、支持 LaTeX 导出。
RREF 矩阵计算引擎
自动转换 · 步进推导 · 导出
什么是 RREF（最简行阶梯形）？
最简行阶梯形（RREF）是矩阵通过一系列初等行变换所能化成的唯一标准形式，这一过程称为高斯-若尔当消元法。RREF 是求解线性方程组、判断线性相关性、计算矩阵的秩以及寻找零空间的最强大工具。
RREF 的应用始于构造增广矩阵 [A | b]——将线性系统的系数矩阵 A 与常数向量 b 拼接在一起，然后通过行变换直接揭示解。
当且仅当满足以下四个条件时，矩阵处于最简行阶梯形：
- 1所有零行（如果有的话）都排在矩阵底部。
- 2每个非零行的第一个非零元素为 1，称为主元（leading 1）。
- 3每个主元严格位于上一行主元的右侧（阶梯状排列）。
- 4每个含有主元的列，其主元以外的所有元素均为 0（包括上方和下方）。
第四个条件将 RREF 与较简单的行阶梯形（REF）区分开来：REF 只消去每个主元下方的元素；RREF 还需消去主元上方的元素，从而得到唯一的结果。
如何使用 RREF 计算器
本计算器支持最大 10×10 的矩阵，可输入整数、小数和分数。通过输入增广矩阵来求解线性方程组。
- 01
设置矩阵大小
在维度框中输入行数和列数（例如，3×4 对应含 3 个未知数和 1 个右端项列的 3 方程组）。点击 ✓ 确认。
- 02
填写矩阵数值
点击每个单元格并输入数值。支持整数（−5、0、7）、小数（1.5、−0.25）和分数（3/4、−2/3）。留空单元格默认为 0。
- 03
点击「执行计算」
点击计算按钮，引擎将使用精确分数运算进行高斯-若尔当消元——无浮点舍入误差。
- 04
查看逐步推导
每个行变换操作均以 LaTeX 公式显示。跟随每一步，了解最简行阶梯形是如何推导出来的。
- 05
导出或分享
将完整推导过程复制为 LaTeX 格式的 Markdown，或分享永久链接——每个求解的矩阵都有其专属静态 URL（如 /solve/3x4-2_1_-1_8_…）。
手工计算示例：逐步推导 RREF
我们以一个经典案例为例，求解以下线性方程组：
x + 2y = 5
3x + 4y = 7
将其表示为增广矩阵 [A | b]，然后应用高斯-若尔当消元法：
初始增广矩阵 [A | b]
⎣
⎦
R₂ ← R₂ − 3R₁ （消去第 2 行的 x）
⎣
⎦
R₂ ← (−½) R₂ （主元归一化为 1）
⎣
⎦
R₁ ← R₁ − 2R₂ （消去第 1 行的 y → 得到 RREF）
⎣
⎦
请自己动手：在上方计算器中输入 [[1, 2, 5], [3, 4, 7]]，确认每一步与上述推导一致。
RREF 与 REF 有什么区别？
RREF 和 REF（行阶梯形）都由行变换产生，但它们在化简程度和所提供的保证方面有所不同。这是初等线性代数中最常见的混淆点之一。
| 对比项 | REF（行阶梯形） | RREF（最简行阶梯形） |
|---|---|---|
| 主元类型 | 任意非零值 | 严格等于 1 |
| 主元下方为零 | ✓ 必须满足 | ✓ 必须满足 |
| 主元上方为零 | ✗ 不要求 | ✓ 必须满足 |
| 算法 | 高斯消元法 | 高斯-若尔当消元法 |
| 唯一性 | 不唯一——同一矩阵可有多种 REF | 唯一——每个矩阵有且仅有一个 RREF |
| 解的可读性 | 需要回代求解 | 直接读出解 |
| 典型应用 | 计算行列式、LU 分解 | 求解方程组、求基、计算秩与零空间维数 |
简言之：RREF 总是 REF 的进一步化简。本计算器通过完整的高斯-若尔当消元法直接计算 RREF，给出最简洁的结果，无需额外步骤。
常见问题解答
RREF 在实际中有什么用途？+
RREF 是线性代数的瑞士军刀，最常见的应用包括：
- 求解线性方程组 ——输入增广矩阵，直接读出解。
- 求矩阵的秩 ——等于 RREF 中非零行的数量。
- 计算零空间 ——自由变量对应的列即为零空间的基向量组。
- 判断线性相关性 ——向量组线性无关，当且仅当其矩阵在 RREF 中满秩。
- 计算矩阵逆 ——对增广矩阵 [A | I] 做 RREF；若 A 化简为 I，右侧即为 A⁻¹。
矩阵的 RREF 是否总是唯一的？+
是的——始终唯一。与 REF 不同（REF 不唯一，不同的行变换可产生不同的 REF），每个矩阵有且仅有一个 RREF。唯一性是定理而非约定，这也是 RREF 如此有用的原因：它给出矩阵行空间和线性系统解集的无歧义描述。
什么是高斯-若尔当消元法？+
高斯-若尔当消元法是计算 RREF 的完整算法。它在高斯消元法（用于产生 REF）的基础上，进一步消去每个主元上方的元素。允许的三种初等行变换为：
- 行交换：R_i ↔ R_j
- 行数乘（乘以非零标量）：R_i ← k · R_i
- 行加法：R_j ← R_j + c · R_i
什么是增广矩阵？什么时候使用？+
增广矩阵是将线性系统 Ax = b 中的常数列 b 添加到系数矩阵 A 右侧所形成的矩阵，写作 [A | b]。例如，方程组
2x + y − z = 8 −3x − y + 2z = −11 −2x + y + 2z = −3
对应的 3×4 增广矩阵为 3x4-2_1_-1_8_-3_-1_2_-11_-2_1_2_-3。通过 RREF 可直接读出 x、y、z 的值。
如何判断方程组无解、唯一解还是无穷多解？+
对增广矩阵 [A | b] 进行 RREF 化简后，检查以下情况：
- 无解 ——出现形如 [0 0 … 0 | c]（c ≠ 0）的行，方程组矛盾。
- 唯一解 ——每个变量列都有主元，且无矛盾行。
- 无穷多解 ——方程组相容，但部分变量没有主元（称为自由变量）。通解以自由变量参数化表示。
是否可以输入分数或小数？+
当然可以。可以直接在单元格中输入以下任意格式：
整数：−7、0、42分数：1/2、−3/4、7/3小数：1.5、−0.25、3.14
计算内部将所有值转换为精确分数再运算，因此不存在浮点舍入误差。
如果某行在计算过程中变为全零，该怎么办？+
RREF 中出现全零行，意味着该方程与其他方程线性相关（不包含新信息）。在线性方程组的背景下：
- 若增广项（最后一列）也为零——该方程多余，方程组仍可能有解（若存在自由变量则有无穷多解）。
- 若增广项非零——出现如 0 = 5 的矛盾，方程组无解。
支持的最大矩阵尺寸是多少？+
RREF 计算器支持从 1×1 到最大 10×10 的矩阵。对于大多数含最多 9 个未知数加右端项列的线性方程组教材题目，9×10 的矩阵规模已完全够用。