通过引入变量修正不相容线性方程组的系统方法探究

嘿，这个问题问得相当到位！其实处理这类不相容线性方程组，真的有一套非常系统的方法，而且我们能精准算出需要引入多少个新变量——核心就和方程组的秩挂钩。

先回忆一下线性代数里的关键结论：对于写成矩阵形式的方程组 $A\mathbf{x} = \mathbf{b}$，它有解（相容）的充要条件是系数矩阵 $A$ 的秩等于增广矩阵 $[A|\mathbf{b}]$ 的秩，也就是 $\text{rank}(A) = \text{rank}([A|\mathbf{b}])$。

如果方程组不相容，说明 $\text{rank}([A|\mathbf{b}]) = \text{rank}(A) + d$，这里的 $d$ 就是我们需要引入的最少新变量个数——它代表了原方程组里“独立矛盾”的数量。

• 第一步：计算秩差，确定新变量数量
  把原方程组转化为矩阵形式 $A\mathbf{x} = \mathbf{b}$，分别计算系数矩阵 $A$ 的秩 $r_A$ 和增广矩阵 $[A|\mathbf{b}]$ 的秩 $r_{Ab}$。两者的差值 $d = r_{Ab} - r_A$，就是你需要引入的最少新变量数。
  比如你举的例子：
  原方程组的系数矩阵 $A = \begin{pmatrix}1&1\1&1\end{pmatrix}$，秩 $r_A=1$；增广矩阵 $[A|\mathbf{b}] = \begin{pmatrix}1&1&0\1&1&1\end{pmatrix}$，秩 $r_{Ab}=2$，秩差 $d=1$，所以只需要1个新变量。

• 第二步：给独立矛盾行分配新变量
  找到增广矩阵中那些“导致不相容的独立行”——也就是在系数矩阵 $A$ 里线性相关，但在增广矩阵中线性无关的行。给每一组这样的独立行分配一个独特的新变量，把这个新变量加到该行的任意位置（只要不影响其他行的线性关系就行）。
  像你的例子里，第二行就是那个独立矛盾行，所以把新变量 $w$ 加到第二行，就得到了相容的方程组：
  $$\begin{align*} x + y &= 0 \ w + x + y &= 1 \end{align*}$$

• 第三步：验证修正后的相容性
  修正后的方程组，其新的系数矩阵 $\tilde{A}$ 的秩会等于新的增广矩阵的秩——因为我们用新变量填补了原有的秩差，所以必然存在解，也就是相容的。

如果把同一个新变量加到多个不相容的行里，比如你的例子里把 $w$ 同时加到两个方程：
$$\begin{align*} w + x + y &= 0 \ w + x + y &= 1 \end{align*}$$
这其实还是不相容的——两个方程相减会得到 $0=1$，新变量根本没解决原有的矛盾。所以每个新变量只能对应一组独立的矛盾行，才能真正消除冲突。

内容的提问来源于stack exchange，提问作者Earthliŋ