矩阵计算器:加减乘、求逆、行列式、RREF、特征值, 含分步骤

真实使用场景

• 验完作业本里 4×4 行列式再交卷

  你按第一行余子式展开 4×4 的行列式手算到 18, 但符号正负不 太放心。把 16 个元素填进矩阵计算器选 det(A), 它跑 Bareiss 分式消元 (O(n³), 中间结果都是 BigInt 分数), 给出精确整数: 不会出现 "结果约为 17.999999" 这种浮点垃圾。两边对得上就放 心交; 对不上就把运算切到"RREF (含步骤)", 一行行检查手算 时哪步行变换符号搞反了。

• 不丢精度地算出逆矩阵

  统计作业要求把 A = [[2,1,1],[1,3,2],[1,0,0]] 求逆。代入选 A⁻¹, 页面同时给出结果 (精确分数, 像 0、−2、2、1、−2、1/2、 1/2 这种) 和高斯-约旦每一步的行变换:先行交换把非零主元 换到上面, 再把每个主元化成 1, 再消每个主元列里其他位置的 值。下学期再求逆时, 你可以照着这份行变换 trace 一步步对 自己手算的结果。

• 物理课上算 3×3 应力张量的特征值

  应力张量 σ = [[3,1,0],[1,3,0],[0,0,2]] 的三个主应力就是它 的特征值。计算器用 Faddeev-LeVerrier 算出特征多项式 λ³ − 8λ² + 20λ − 16 (系数都是精确有理数), 再用 Durand-Kerner 数值求根得到 λ = 2, 2, 4。第三个主方向沿 z 轴 (矩阵是分块 对角), 三个特征值全是实数, 没有虚部残留:这正是物理上应 该看到的结果, 不会出现 "2 + 0.00000001i" 这种数值噪音。

• 发现一个线性方程组有无穷多解

  方程组 x + 2y + 3z = 6, 2x + 4y + 6z = 12, 3x + 5y + 7z = 15 看上去是三条独立方程。把 A 填进矩阵、b = (6, 12, 15), 选 "解线性方程组 A·x = b"。计算器对 [A | b] 跑 RREF, 发现 rank(A) = rank([A | b]) = 2 < 3, 提示"有无穷多解", 给出 一个特解, 并说明哪一列是自由变量。很多学生第一次意识到 3×3 方程组也可能欠定。计算器明确指出哪一列是自由变量, 参数 形式就直接能手写出来。

• 判断一组向量是否线性无关

  ℝ⁵ 里给你四个向量, 想知道它们线性无关与否。把它们当列向量 堆成 5×4 矩阵 A, 选 rank(A)。秩 = 4 就线性无关、张出一个 4 维子空间; 秩 < 4 就存在线性关系, 顺手看一下 RREF 里哪 些列是主元列、哪些列依赖其他列。"四个向量是不是 ℝ⁴ 的基" 也是同一套机器:堆成 4×4 矩阵, 看 det ≠ 0 或 rank = 4 即可。

常见踩坑

• 把矩阵乘法和逐元素乘法搞混。这里的 × 是线性代数意义上的 A 乘 B (求和乘积), 要求 cols(A) = rows(B)。如果你想要的是 Hadamard 逐元素乘积, 那是另一种运算, 大多数线代教材里说"矩阵乘法"不是指这个。

• 对非方阵或奇异方阵求逆。只有方阵才有通常意义下的逆, 而且 det 必须 ≠ 0。计算器会直接报"奇异", 不会偷偷给一个没有数学意义的结果; 如果你需要的是 Moore-Penrose 伪逆, 那是另一种要求, 这里不做。

• 把特征值列表当成"有序"。特征值是一个重集 (multiset), 计算器输出的顺序是任意的, 重特征值按重数列出。和对应的特征向量配对时, 要看 (A − λI) 哪些行化成零向量。

隐私说明