通过MCP连接 →

输入计算

x + y =
x + y =

数学公式

广告

结果

: 0
x = -1, y = 2
Determinant (D = a1·b2 − a2·b1) -3
x -1
y 2

这个计算器能做什么

本工具用于求解含两个未知数 \(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 分解在数学上是完全等价的。这属于纯数学运算,在任何地方、任何场景下结果都一致。

坐标平面上相交于一点的两条直线
2×2 线性方程组表示两条直线,其交点即为解 (x, y)。

使用方法

输入定义这两个方程的六个实数:\(x\) 的系数(\(a_1\)、\(a_2\))、\(y\) 的系数(\(b_1\)、\(b_2\)),以及等号右边的常数项(\(c_1\)、\(c_2\))。系数可以是负数、小数或零。点击计算,即可得到 \(x\) 和 \(y\) 的唯一解,同时还会给出行列式的值作为辅助判断依据。

Advertisement
两条直线的三种情形:相交、平行和重合
三种可能情况:唯一解(相交)、无解(平行)和无穷多解(重合)。

公式解析

首先计算系数矩阵的行列式:\(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)\) 解。计算器会提示"无解"(两直线平行)或"无穷多解"(两直线重合)。

系数可以为零吗?可以。系数为零只是表示该变量在这个方程中不出现;只要行列式不为零,求解器依然能正常运算。

支持小数和负数吗?支持。六个输入项都按普通实数处理。

最后更新: