📚 Fundamental Solution System of Homogeneous Linear Equations | 齐次线性方程组的基础解系
A homogeneous linear system is a system of linear equations in which every constant term is zero. Its solution set carries a beautiful algebraic structure: it forms a vector space, and the entire solution set can be generated from a finite set of linearly independent solutions known as a fundamental solution system. This concept is central to linear algebra and appears frequently in IB Mathematics Analysis and Approaches as well as university-level introductory courses.
齐次线性方程组是常数项全为零的线性方程组。它的解集具有优美的代数结构：构成一个向量空间，并且整个解集可以由一组有限个线性无关的解生成，这组解称为基础解系。这一概念是线性代数的核心，在 IB 数学分析与方法以及大学入门课程中频繁出现。
1. Definition of Homogeneous Systems | 齐次方程组的基本定义
A homogeneous linear system with m equations and n unknowns can be written in matrix form as Ax = 0, where A is an m × n coefficient matrix, x is an n-dimensional column vector of unknowns, and 0 is the n-dimensional zero vector. The system always has at least one solution: the zero vector, often called the trivial solution.
含有 m 个方程、n 个未知数的齐次线性方程组在矩阵形式下写作 Ax = 0，其中 A 是 m × n 系数矩阵，x 是 n 维未知数列向量，0 是 n 维零向量。该方程组至少有一个解：零向量，通常称为零解或平凡解。
A = [aᵢⱼ]ₘₓₙ, x = (x₁, x₂, …, xₙ)ᵀ, Ax = 0
2. What Is a Fundamental Solution System | 什么是基础解系
Suppose the homogeneous system Ax = 0 has non-trivial solutions. A set of solution vectors {ξ₁, ξ₂, …, ξₖ} is called a fundamental solution system if: (1) each ξᵢ is a solution of Ax = 0; (2) the vectors ξ₁, ξ₂, …, ξₖ are linearly independent; and (3) every solution of Ax = 0 can be expressed as a linear combination of ξ₁, ξ₂, …, ξₖ.
设齐次方程组 Ax = 0 有非零解。若解向量组 {ξ₁, ξ₂, …, ξₖ} 满足：(1) 每个 ξᵢ 都是 Ax = 0 的解；(2) ξ₁, ξ₂, …, ξₖ 线性无关；(3) Ax = 0 的每一个解都可以表示为 ξ₁, ξ₂, …, ξₖ 的线性组合，则称该向量组为齐次方程组的一个基础解系。
Equivalently, a fundamental solution system is precisely a basis of the solution space of the homogeneous system. The dimension of this solution space equals the number k of vectors in the fundamental solution system.
等价地说，基础解系就是齐次方程组解空间的一组基。解空间的维数等于基础解系中向量的个数 k。
3. Key Theorem: Dimension Formula | 核心定理：维数公式
For a homogeneous system Ax = 0 where A is an m × n matrix, let r denote the rank of A. Then the solution space has dimension n − r. This means the fundamental solution system contains exactly n − r linearly independent solution vectors.
对于 m × n 矩阵 A 的齐次方程组 Ax = 0，设 r 为 A 的秩，则解空间的维数为 n − r。也就是说，基础解系恰好包含 n − r 个线性无关的解向量。
dim(ker A) = n − rank(A)
This theorem is also known as the Rank–Nullity Theorem. The nullity of A, denoted null(A), is defined as the dimension of the solution space of Ax = 0. The theorem states that rank(A) + null(A) = n.
该定理也称为秩—零化度定理。A 的零化度记作 null(A)，定义为 Ax = 0 的解空间的维数。定理表明 rank(A) + null(A) = n。
4. Solving by Gaussian Elimination | 高斯消元法求解
The standard method for finding a fundamental solution system begins by transforming the augmented coefficient matrix to reduced row echelon form (RREF). Since the system is homogeneous, the augmented column is a zero column, so we work directly with the coefficient matrix A.
求基础解系的标准方法首先将增广系数矩阵化为简化行阶梯形（RREF）。由于系统是齐次的，增广列是零列，因此我们直接对系数矩阵 A 进行化简。
After obtaining the RREF, we identify pivot columns and free columns. Pivot columns correspond to dependent (basic) variables, while free columns correspond to independent (free) variables. The number of free variables equals n − r.
得到简化行阶梯形后，我们识别主元列和自由列。主元列对应因变量（基本变量），自由列对应自变量（自由变量）。自由变量的个数等于 n − r。
5. Step-by-Step Procedure | 逐步求解步骤
To construct a fundamental solution system, follow these steps. First, reduce A to reduced row echelon form. Second, identify the pivot columns and free columns. Third, assign parameters to the free variables. Fourth, express the pivot variables in terms of the free variables. Fifth, form the solution vector generically, then substitute one free variable equal to 1 and the rest equal to 0 for each free variable to obtain each basis vector.
构造基础解系请遵循以下步骤：第一，将 A 化为简化行阶梯形；第二，识别主元列和自由列；第三，给自由变量赋参数；第四，用自由变量表示主元变量；第五，写出通解向量的一般形式，然后对每个自由变量分别令其取 1、其余自由变量取 0，得到每个基向量。
For example, if x₂ and x₄ are free variables, we set (x₂, x₄) = (1, 0) to obtain the first basis vector, then (x₂, x₄) = (0, 1) to obtain the second. The resulting vectors are linearly independent by construction and span the entire solution space.
例如，若 x₂ 和 x₄ 是自由变量，令 (x₂, x₄) = (1, 0) 得到第一个基向量，再令 (x₂, x₄) = (0, 1) 得到第二个。如此构造的向量必然线性无关，并且张成整个解空间。
6. Worked Example: 2 Equations, 4 Unknowns | 实例：2 个方程 4 个未知数
Consider the system:
x₁ + 2x₂ − x₃ + x₄ = 0
2x₁ + 4x₂ + x₃ − x₄ = 0
We form the coefficient matrix and reduce it to RREF. Subtract twice the first row from the second row. The second row becomes 0x₁ + 0x₂ + 3x₃ − 3x₄ = 0, so x₃ = x₄. Substituting back into the first equation gives x₁ + 2x₂ − x₄ + x₄ = 0, hence x₁ = −2x₂.
我们构造系数矩阵并将其化为简化行阶梯形。将第二行减去第一行的 2 倍，得到 0x₁ + 0x₂ + 3x₃ − 3x₄ = 0，因此 x₃ = x₄。代回第一个方程得到 x₁ + 2x₂ − x₄ + x₄ = 0，即 x₁ = −2x₂。
Here x₂ and x₄ are free variables. Setting (x₂, x₄) = (1, 0) yields the solution vector ξ₁ = (−2, 1, 0, 0)ᵀ. Setting (x₂, x₄) = (0, 1) yields ξ₂ = (0, 0, 1, 1)ᵀ. The fundamental solution system is {(−2, 1, 0, 0)ᵀ, (0, 0, 1, 1)ᵀ}.
这里 x₂ 和 x₄ 是自由变量。令 (x₂, x₄) = (1, 0) 得到解向量 ξ₁ = (−2, 1, 0, 0)ᵀ；令 (x₂, x₄) = (0, 1) 得到 ξ₂ = (0, 0, 1, 1)ᵀ。因此基础解系为 {(−2, 1, 0, 0)ᵀ, (0, 0, 1, 1)ᵀ}。
7. General Solution Structure | 通解的结构
Once a fundamental solution system {ξ₁, ξ₂, …, ξₖ} is known, the general solution of Ax = 0 is written as a linear combination with arbitrary constants:
一旦求得基础解系 {ξ₁, ξ₂, …, ξₖ}，齐次方程组 Ax = 0 的通解可以写成带有任意常数的线性组合：
x = c₁ξ₁ + c₂ξ₂ + … + cₖξₖ, c₁, c₂, …, cₖ ∈ ℝ
Every choice of the constants c₁ through cₖ produces a solution, and every solution arises from exactly one such choice because of linear independence. This is the most concise and complete description of the solution set.
常数 c₁ 到 cₖ 的每一组取值都产生一个解，并且由于线性无关性，每个解恰好对应于唯一的一组常数。这是对解集最简洁、最完整的描述。
8. The Trivial versus Non-Trivial Solutions | 零解与非零解
For a homogeneous system, the zero vector is always a solution. Non-trivial solutions exist if and only if the number of variables exceeds the rank of the coefficient matrix, i.e., n > r. In particular, if m < n (fewer equations than unknowns), the system always has non-trivial solutions.
对于齐次系统，零向量始终是一个解。非零解存在当且仅当变量个数大于系数矩阵的秩，即 n > r。特别地，若 m < n（方程个数少于未知数个数），系统必存在非零解。
If n = r, the coefficient matrix has full column rank, and the solution space is {0}. In this case, the fundamental solution system is empty, and the general solution is simply the zero vector.
若 n = r，系数矩阵列满秩，解空间为 {0}。此时基础解系为空集，通解就是零向量。
9. Geometric Interpretation | 几何意义
Geometrically, each equation in a homogeneous system represents a hyperplane passing through the origin in ℝⁿ. The intersection of all these hyperplanes is the solution space — a linear subspace through the origin. Its dimension equals n − r.
从几何角度看，齐次系统中的每个方程代表 ℝⁿ 中过原点的一个超平面。所有这些超平面的交集就是解空间——一个过原点的线性子空间。其维数等于 n − r。
When n = 3 and r = 1, the solution space is a plane through the origin. When n = 3 and r = 2, the solution space is a line through the origin. When n = 3 and r = 3, the solution space is just the origin itself.
当 n = 3、r = 1 时，解空间是过原点的一个平面；当 n = 3、r = 2 时，解空间是过原点的一条直线；当 n = 3、r = 3 时，解空间仅仅是原点本身。
10. Connection to Non-Homogeneous Systems | 与非齐次方程组的联系
For a non-homogeneous system Ax = b, the general solution has the form x = xₚ + xₕ, where xₚ is any particular solution of Ax = b, and xₕ is the general solution of the corresponding homogeneous system Ax = 0. Thus the fundamental solution system of the homogeneous part determines the entire structure of the non-homogeneous solution set.
对于非齐次方程组 Ax = b，通解具有形式 x = xₚ + xₕ，其中 xₚ 是 Ax = b 的任一特解，xₕ 是对应齐次系统 Ax = 0 的通解。因此齐次部分的基础解系决定了非齐次解集的整体结构。
Geometrically, the solution set of a non-homogeneous system is a translate of the homogeneous solution space — a linear subspace shifted away from the origin by the vector xₚ. This insight unifies the study of all linear systems.
从几何上看，非齐次系统的解集是齐次解空间的平移——将线性子空间沿着向量 xₚ 平移到离开原点的位置。这一洞见统一了所有线性系统的研究。
11. Common Pitfalls and Exam Tips | 常见错误与考试技巧
Students frequently make several errors. First, forgetting that the fundamental solution system must be linearly independent — always verify by inspection or determinant when the number of vectors is manageable. Second, misidentifying free variables when the RREF is not fully reduced. Third, using the original matrix instead of the RREF when reading off pivot columns.
学生经常犯几类错误。第一，忘记基础解系必须线性无关——请始终检查，向量个数不多时可用观察法或行列式验证。第二，当矩阵未完全化为简化行阶梯形时错误地识别自由变量。第三，在读取主元列时使用了原矩阵而非简化行阶梯形矩阵。
On the IB exam, clearly state the rank, the number of free variables, and then write the fundamental solution system explicitly. Showing the dimension formula n − r in your working earns method marks even if later arithmetic has minor slips.
在 IB 考试中，请清晰写明秩、自由变量个数，然后显式写出基础解系。在解题过程中展示维数公式 n − r 可以获得方法分，即使后续计算有小失误。
12. Summary | 总结
The fundamental solution system of a homogeneous linear system is a set of n − r linearly independent solutions that generate the full solution space by linear combination. It provides a complete and elegant description of all solutions, connects linear algebra to geometry, and serves as the backbone for understanding general linear systems.
齐次线性方程组的基础解系是一组 n − r 个线性无关的解向量，它们通过线性组合生成整个解空间。它提供了一种完整而优雅的方式描述所有解，将线性代数与几何联系起来，并且是理解一般线性系统结构的基石。
Mastering the procedure — reducing to RREF, identifying free variables, and constructing basis vectors one free variable at a time — is a critical skill for IB Mathematics and beyond. With practice, this topic becomes one of the most mechanical and reliable sections in linear algebra examinations.
掌握完整的求解过程——化为简化行阶梯形、识别自由变量、逐个构造基向量——是 IB 数学及后续学习中的关键技能。多加练习之后，这一主题将成为线性代数考试中最具套路性、最稳定拿分的部分之一。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导