克莱姆法则计算器 - 线性方程组与行列式

克莱姆法则是线性代数中的一个定理。当线性方程组的方程个数与未知数个数相同且存在唯一解时，它给出该方程组解的显式公式。该法则以瑞士数学家 Gabriel Cramer 命名，他于 1750 年发表了这一结果。法则把每个未知数的值表示为两个行列式之比：分子行列式由系数矩阵将对应未知数的列替换为常数向量得到，分母则是原系数矩阵的行列式。 对于 2×2 方程组 ax + by = e、cx + dy = f，系数矩阵为 A = [[a,b],[c,d]]，行列式 D = ad − bc。若 D ≠ 0，则唯一解为 x = (ed − bf)/D，y = (af − ce)/D。对于 3×3 方程组，需要计算四个行列式——一个是系数矩阵的行列式，另外三个分别对应每个变量替换后的矩阵。 D ≠ 0 这一条件至关重要。当 D = 0 时，系数矩阵是奇异矩阵，这意味着方程组要么无解（方程相互矛盾），要么有无穷多解（方程存在冗余）。克莱姆法则无法判断属于哪一种情况——对于奇异方程组，你必须使用高斯消元或行化简等其他方法。 即使克莱姆法则并非最高效的计算方法，它仍具有重要的理论性质。它为每个变量给出显式闭式表达式，这在符号代数、敏感性分析和证明中很有用。例如，当所有系数和常数都是整数时，该法则保证每个解的分子和分母也是整数——因此有理输入总会产生有理解。这种保持有理性的性质常用于精确算术计算。 从计算角度看，克莱姆法则适用于 2×2 和 3×3 方程组，因为行列式计算很快。对于更大的方程组，高斯消元效率高得多（O(n³)，而朴素行列式展开为 O(n!)），但对于本计算器处理的小型方程组，克莱姆法则能清楚地展示逐步求解过程。结果面板中给出的行列式值可让你独立验证每一步。