嘿，你的这个思路其实本质上就是高斯消元法的核心思想哦！先给你吃个定心丸：只要方程组是有唯一解的（也就是系数矩阵行列式不为0），这种通过方程加减/乘系数消元的方法肯定是通用的。如果是无解或者无穷多解的情况，用这个方法也能判断出来，咱们一步步来拆解你的例子，顺便聊聊它的适用范围~

先回顾你的示例方程组 #

方程(1): $2x - 3y + z = 13$
方程(2): $4x + y - 5z = -9$
方程(3): $-2x + 4y + 3z = -8$

用你的消元思路一步步求解 #

第一步：消去x，得到二元方程组 #

• 处理方程(1)和(2)：用方程(2)减去2倍的方程(1)，直接消掉x：

  4x + y -5z - 2*(2x -3y + z) = -9 - 2*13
  

  展开计算后简化为：方程(A): y - z = -5

• 处理方程(1)和(3)：把两个方程相加，直接消掉x：

  (2x -3y + z) + (-2x +4y +3z) =13 + (-8)
  

  计算得：方程(B): y +4z =5

第二步：解二元方程组求y、z #

用方程(B)减去方程(A)消去y：

(y +4z) - (y - z) =5 - (-5)

计算得 5z=10 → z=2，把z=2代入方程(A)得：y=-3

第三步：回代求x #

把y=-3、z=2代入方程(1)：

2x -3*(-3) +2 =13

计算得 2x=2 → x=1

验证一下，把x=1、y=-3、z=2代入三个原方程，等式都成立，求解正确~

关于方法的适用性 #

你的消元思路完全通用，本质和高斯消元是一回事，只是没有严格遵循标准化的行阶梯形步骤：

• 有唯一解的情况：只要系数矩阵可逆（行列式≠0），通过逐步消元总能把方程组化简到只剩一个变量，再回代求解，全程没问题。
• 无解的情况：消元过程中会出现0=5这类矛盾等式，直接就能判断方程组无解。
• 无穷多解的情况：消元后会出现0=0这类恒等式，说明存在自由变量，这时候可以把自由变量当作参数，用它表示其他所有变量即可。

所以放心用吧，你的方法逻辑完全站得住脚！

内容的提问来源于stack exchange，提问作者ek.Sek