矩阵逆计算器

方阵
结果

方阵A的逆矩阵记作A⁻¹,满足A·A⁻¹ = I。输入一个最多为10×10的方阵后,计算器会用单位矩阵对其进行增广,采用部分主元消元法进行高斯-约丹消元运算,并返回A⁻¹及所有执行的行操作过程。若矩阵奇异(行列式 det = 0),程序将终止运行并提示消元过程失败的具体位置。

如何计算逆矩阵

  1. 1

    输入一个方阵

    行数和列数相同,从 2×2 到 10×10。

  2. 2

    工具检验可逆性

    首先计算 det(A)。若结果为零,则矩阵奇异且无逆矩阵。

  3. 3

    用单位矩阵进行增广

    构造分块矩阵 [A | I],为高斯-约丹消元做好准备。

  4. 4

    将各行化简为 [I | A^−1]

    每次行操作均会被记录;右侧区块即为逆矩阵。

  5. 5

    验证

    该工具将 A·A⁻¹ 相乘并显示结果,在数值精度范围内应为单位矩阵。

当存在逆运算时

方阵A可逆当且仅当满足det(A) ≠ 0。等价条件:

  • 各列彼此线性独立。
  • 各行彼此线性独立。
  • 零空间是平凡的(仅包含零向量)。
  • A具有完全秩(秩 = n)。
  • 线性方程组 Ax = b 对于任意 b 均存在唯一解。

2×2快捷方式

对于 A = [[a, b], [c, d]]

A^−1 = (1 / (ad − bc)) · [[d, −b], [−c, a]]

交换对角线元素,取非对角线元素的负值,然后除以行列式。

高斯-约丹法一图示

开始:[A | I]

结束:[I | A^−1]

将使矩阵A变为I的行操作应用于矩阵I时,可将其转换为A⁻¹。

为什么部分主元法至关重要

若无此条件,算法将选择当前行的对角元素作为主元。若该元素为零或极小值,则除法运算会发散。部分主元变换则交换具有最大绝对主元值的行,从而使计算在数值上保持稳定。

检查您的结果

将矩阵 A 与其逆矩阵 A⁻¹ 相乘。应得到单位矩阵(数值误差极小)。若发现对角线上的元素明显偏离 1,或其他位置的元素明显偏离 0,则该矩阵接近奇异状态,其数值逆矩阵不可靠,虽然在理论上存在,但计算结果可能相差多位数。

2×2 工作示例

A = [[4, 7], [2, 6]]

  • det(A) = 4·6 − 7·2 = 24 − 14 = 10(非零且可逆)。
  • 交换与反转:[[6, −7], [−2, 4]]
  • 除以 10:A^−1 = [[0.6, −0.7], [−0.2, 0.4]]
  • 验证:A · A^−1 = [[1, 0], [0, 1]]。✓

小贴士

  • 对于较小的矩阵(2×2、3×3),应使用精确算术运算以获得干净的分数结果;浮点数即使对简单的整数输入也会导致舍入误差。
  • 在生产代码中,请勿通过求逆来求解方程 Ax = b;应直接对增广方程组 [A | b] 进行行约简;相较于先求逆再乘法运算,该方法求解速度更快且稳定性更高。
  • 条件数。cond(A)的数值较大(例如双精度下>10^10),即使数值逆矩阵存在,其可靠性亦不可靠。

常见问题

“奇异”意味着行列式为零,这种情况通常发生在列向量线性相关时,即某一列向量是另一列向量的倍数,或由另外两个列向量之和构成。非零元素并不保证列向量的独立性。

不。非方阵矩阵具有伪逆(Moore-Penrose伪逆),该概念适用于任意矩阵,但并非真正的逆矩阵。如需计算伪逆,请使用专用工具。

对于合理大小的整数输入,结果均为有理数;而对于浮点数或无理数输入,计算器会切换为双精度模式。

在浏览器中可舒适地显示至10×10尺寸;超出此范围时,请使用配备BLAS功能的数值库。

双精度算术中的舍入处理。数值可能显示为 1.000000000000002 而非 1。对于病态矩阵,漂移值可能更大。若需求精确逆矩阵,请对小型矩阵使用精确有理模式。

相关工具

此工具还提供其他语言版本