Great question—this is a super common confusion when connecting homogeneous and nonhomogeneous linear systems. Let’s unpack this clearly, starting with the table’s core context, then resolving the apparent contradiction, and finally breaking down every case.

表格的核心前提 #

First, let’s set the stage: this table exclusively applies to nonhomogeneous linear systems of the form (A\mathbf{x} = \mathbf{b}), where (\mathbf{b} \neq \mathbf{0}). The entire point of the table is to answer:

Given whether the nonhomogeneous system has a particular solution (a single vector that satisfies (A\mathbf{x} = \mathbf{b})), and whether the corresponding homogeneous system (A\mathbf{x} = \mathbf{0}) has unique or infinite solutions, what does the nonhomogeneous system’s solution set look like?

逐个解析表格的四种情况 #

Let’s walk through each row to build intuition:

1. 有特解 + 齐次方程组唯一零解 = 唯一解 #

When you have a particular solution (\mathbf{p}) (so (A\mathbf{p} = \mathbf{b})) and the homogeneous system only has the trivial zero solution, the nonhomogeneous solution set is just ({\mathbf{p}}). Why? Because the general solution formula is (\text{particular solution} + \text{homogeneous solution})—if the only homogeneous solution is (\mathbf{0}), adding it to (\mathbf{p}) doesn’t create any new solutions.

2. 有特解 + 齐次方程组无穷解 = 无穷多解 #

Here, you have your particular solution (\mathbf{p}), plus an infinite number of vectors (\mathbf{h}) that satisfy (A\mathbf{h} = \mathbf{0}). Every combination (\mathbf{p} + \mathbf{h}) will satisfy (A(\mathbf{p} + \mathbf{h}) = A\mathbf{p} + A\mathbf{h} = \mathbf{b} + \mathbf{0} = \mathbf{b}), so you get infinitely many distinct solutions.

3. 无特解 + 齐次方程组唯一零解 = 无解 #

If there’s no particular solution, that means no vector exists that satisfies (A\mathbf{x} = \mathbf{b}). The fact that the homogeneous system only has the zero solution doesn’t change this—homogeneous solutions solve a different equation ((A\mathbf{x} = \mathbf{0})), not the nonhomogeneous one. The nonhomogeneous solution set is empty.

4. 无特解 + 齐次方程组无穷解 = 无解 (the confusing one!) #

This is the row that tripped you up, so let’s clarify:

• The homogeneous system having infinite solutions just tells us that the matrix (A) has a non-trivial null space (i.e., (rank(A) < \text{number of variables})). But this has nothing to do with whether the nonhomogeneous system (A\mathbf{x} = \mathbf{b}) has solutions.
• The nonhomogeneous system has solutions if and only if the rank of (A) equals the rank of the augmented matrix ([A | \mathbf{b}]). If this condition fails, there’s no particular solution—full stop.
• Your apparent contradiction comes from mixing up homogeneous and nonhomogeneous solutions: the infinite homogeneous solutions solve (A\mathbf{x} = \mathbf{0}), not (A\mathbf{x} = \mathbf{b}). They don’t count as solutions to the nonhomogeneous system, so even if there are infinitely many of them, the nonhomogeneous system still has zero solutions.

表格的底层逻辑 #

To wrap it up, the table boils down to one key rule:

The nonhomogeneous system’s solution set only exists (i.e., is non-empty) if a particular solution exists. The homogeneous system’s solutions only describe the structure of the nonhomogeneous solution set—they don’t create solutions where none exist.

If there’s no particular solution, the homogeneous system’s behavior is irrelevant to the nonhomogeneous system’s solvability.

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