循环差分矩阵的定义及方程Cx=b可解性条件证明问询

一、循环差分矩阵的定义 #

循环差分矩阵是一类专门描述循环相邻元素差分关系的方阵，核心特点是它的差分规则会形成闭合的循环——也就是说，不仅中间元素和相邻元素计算差分，最后一个元素的差分也会关联到第一个元素，打破了普通差分矩阵只处理连续相邻元素的局限。

举个简单的例子，n阶循环差分矩阵通常的前向差分形式中，第i行的(i, i)位置为-1，(i, (i mod n)+1)位置为+1（下标从1开始），这样每一行就对应“下一个元素减去当前元素”的差分，而最后一行则对应“第一个元素减去最后一个元素”的差分，完美形成循环。当然具体形式可能根据差分方向（前向/后向）略有调整，但“循环关联首尾元素”是它的核心标识。

二、证明方程$Cx = b$仅当$b_1 + b_3 = 0$时有解 #

我们可以从方程组本身推导和线性代数秩条件两个角度来证明：

方法1：直接从方程组推导 #

根据你给出的矩阵$C$和方程$Cx = b$，展开后得到三个等式：

• 第一行：$0 \cdot x_1 + 1 \cdot x_2 + 0 \cdot x_3 = b_1$ → $x_2 = b_1$
• 第二行：$-1 \cdot x_1 + 0 \cdot x_2 + 1 \cdot x_3 = b_2$ → $x_3 = x_1 + b_2$
• 第三行：$0 \cdot x_1 + (-1) \cdot x_2 + 0 \cdot x_3 = b_3$ → $-x_2 = b_3$

把第一个等式得到的$x_2 = b_1$代入第三个等式，直接可得：$-b_1 = b_3$，也就是$b_1 + b_3 = 0$——这是方程组有解的必要条件。

反过来，如果满足$b_1 + b_3 = 0$，我们可以构造出解：令$x_1 = t$（$t$为任意实数），那么$x_2 = b_1$，$x_3 = t + b_2$，代入原方程验证完全成立，说明这个条件也是充分条件。

方法2：利用秩的判定规则 #

线性方程组$Ax = b$有解的充要条件是：系数矩阵$A$的秩等于增广矩阵$[A|b]$的秩。

先看系数矩阵$C$的行向量：

• 行1：$[0, 1, 0]$
• 行2：$[-1, 0, 1]$
• 行3：$[0, -1, 0]$

很明显，行1 + 行3 = $[0,0,0]$，说明行向量线性相关，所以$r(C) = 2$。

对于增广矩阵$[C|b]$，它的行向量是：

• 行1：$[0,1,0, b_1]$
• 行2：$[-1,0,1, b_2]$
• 行3：$[0,-1,0, b_3]$

如果$b_1 + b_3 \neq 0$，那么行1 + 行3 = $[0,0,0, b_1 + b_3] \neq [0,0,0,0]$，此时三个行向量线性无关，$r([C|b])=3$，不等于$r(C)=2$，方程组无解；只有当$b_1 + b_3 = 0$时，行1 + 行3 = $[0,0,0,0]$，增广矩阵的秩仍为2，和系数矩阵秩相等，方程组有解。

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