这个计算器能做什么
本工具用于求解含两个未知数 \(x\) 和 \(y\) 的二元一次方程组,方程形式为 \(a_1\cdot x + b_1\cdot y = c_1\) 和 \(a_2\cdot x + b_2\cdot y = c_2\)。它采用克拉默法则(Cramer's rule)进行求解——对于 \(2\times 2\) 方程组而言,这与带部分主元选取的 LU 分解在数学上是完全等价的。这属于纯数学运算,在任何地方、任何场景下结果都一致。
使用方法
输入定义这两个方程的六个实数:\(x\) 的系数(\(a_1\)、\(a_2\))、\(y\) 的系数(\(b_1\)、\(b_2\)),以及等号右边的常数项(\(c_1\)、\(c_2\))。系数可以是负数、小数或零。点击计算,即可得到 \(x\) 和 \(y\) 的唯一解,同时还会给出行列式的值作为辅助判断依据。
公式解析
首先计算系数矩阵的行列式:\(D = a_1\cdot b_2 - a_2\cdot b_1\)。然后用常数项依次替换某一列,得到另外两个行列式:\(D_x = c_1\cdot b_2 - c_2\cdot b_1\),\(D_y = a_1\cdot c_2 - a_2\cdot c_1\)。唯一解即为
$$x = \frac{D_x}{D}, \qquad y = \frac{D_y}{D}$$若 \(D = 0\),则方程组没有唯一解:当 \(D_x\) 和 \(D_y\) 也都为零时,两个方程表示同一条直线(有无穷多解);否则两条直线平行且不重合(无解)。
例题演示
求解 \(1\cdot x + 2\cdot y = 3\) 和 \(4\cdot x + 5\cdot y = 6\)。此时
$$D = (1\cdot 5) - (4\cdot 2) = -3, \quad D_x = (3\cdot 5) - (6\cdot 2) = 3, \quad D_y = (1\cdot 6) - (4\cdot 3) = -6$$于是 \(x = 3 / {-3} = -1\),\(y = -6 / {-3} = 2\)。代入验算:\(1(-1) + 2(2) = 3\),\(4(-1) + 5(2) = 6\),结果正确。
常见问题
如果行列式等于零会怎样?此时不存在唯一的 \((x, y)\) 解。计算器会提示"无解"(两直线平行)或"无穷多解"(两直线重合)。
系数可以为零吗?可以。系数为零只是表示该变量在这个方程中不出现;只要行列式不为零,求解器依然能正常运算。
支持小数和负数吗?支持。六个输入项都按普通实数处理。