什么是加减消元法？
加减消元法（也叫加减法）是求解二元一次方程组的常用方法。其思路是先把两个方程同时乘以适当的倍数，使某个未知数的系数相等或互为相反数，再将两式相加或相减，从而消去一个未知数，最后回代求出另一个未知数。这款计算器会帮你完成全部运算：只需输入方程组 \(a_1x + b_1y = c_1\) 和 \(a_2x + b_2y = c_2\) 的六个系数，即可得到 \(x\) 与 \(y\) 的精确解。
如何使用本计算器
把每个方程的系数填入对应的输入框中。第一行是方程 1（\(a_1\)、\(b_1\)、\(c_1\)），第二行是方程 2（\(a_2\)、\(b_2\)、\(c_2\)）。系数可以是负数，也可以是小数。点击"计算"后，即可看到解，以及行列式 \(a_1b_2 - a_2b_1\)——它能告诉你方程组是否有唯一解。
公式详解
利用克拉默法则（与消元法等价），解为 $$x = \frac{c_1 b_2 - c_2 b_1}{a_1 b_2 - a_2 b_1}, \qquad y = \frac{a_1 c_2 - a_2 c_1}{a_1 b_2 - a_2 b_1}$$ 公共分母 \(a_1b_2 - a_2b_1\) 就是系数行列式。若该行列式等于零，说明两条直线平行——此时要么无解（方程组矛盾），要么有无穷多解（两条直线重合）。
例题演示
求解 \(2x + 3y = 12\) 与 \(x - y = 1\)。这里 \(a_1=2\)，\(b_1=3\)，\(c_1=12\)，\(a_2=1\)，\(b_2=-1\)，\(c_2=1\)。行列式为 \(2(-1) - 1(3) = -5\)。于是 $$x = \frac{12 \cdot (-1) - 1 \cdot 3}{-5} = \frac{-15}{-5} = 3, \qquad y = \frac{2 \cdot 1 - 1 \cdot 12}{-5} = \frac{-10}{-5} = 2$$ 所以 \(x = 3\)，\(y = 2\)。
常见问题
行列式为零怎么办？ 此时方程组没有唯一解。计算器会进一步判断方程组是否相容，并给出"无解"（两直线平行）或"无穷多解"（两直线重合）的结论。
可以输入小数或分数吗？ 小数可以直接输入。如果是分数，请先化成对应的小数（例如 \(1/2 \to 0.5\)）。
这和代入消元法一样吗？ 两种方法得到的答案相同。加减消元法通过组合两个方程来消去一个未知数，而代入消元法则先把某个未知数单独表示出来再代入。
