📚 5. Homogeneous Sets of Equations | 5. 齐次方程组
A homogeneous set of equations (or homogeneous linear system) is a system in which every constant term on the right-hand side equals zero. In IB Mathematics, particularly in the Analysis and Approaches HL and Applications and Interpretation HL courses, understanding homogeneous systems is fundamental for exploring vector spaces, matrix invertibility, and the geometry of solutions. A system of m linear equations in n unknowns is said to be homogeneous if it can be written in the form Ax = 0, where A is the m × n coefficient matrix, x is the column vector of unknowns, and 0 is the zero vector. Unlike non-homogeneous systems, a homogeneous system always has at least the trivial solution – but under certain conditions it may admit infinitely many non-trivial solutions, revealing deep structural properties of the underlying linear transformation.
齐次方程组（或称齐次线性系统）是指等号右边所有常数项均为零的方程组。在IB数学中，特别是分析与方法HL以及应用与解释HL课程中，理解齐次方程组对于探究向量空间、矩阵的可逆性以及解的几何意义至关重要。一个包含 m 个方程、n 个未知数的线性系统，如果可以写成 Ax = 0 的形式，其中 A 是 m × n 系数矩阵，x 是未知数列向量，0 是零向量，那么这个系统就是齐次的。与非齐次系统不同，齐次系统至少总有一个平凡解——但在某些条件下它可能会允许无限多个非平凡解，从而揭示出对应线性变换深层的结构特性。
1. What Are Homogeneous Sets of Equations? | 什么是齐次方程组？
because the right-hand side of every equation is zero. In matrix notation, this is expressed as Ax = 0. The zero vector on the right-hand side guarantees that x = 0 (the trivial solution) satisfies the system automatically. This property makes homogeneous systems particularly predictable, yet rich in solution structure when the coefficient matrix is singular or rectangular.
齐次方程组是指所有常数项均为零的方程组。例如，方程组 2x + 3y − z = 0、x − y + 4z = 0 和 −x + 2y + z = 0 就是齐次的，因为每个方程等号右边都是零。用矩阵符号表示，这可以记作 Ax = 0。右边的零向量保证了 x = 0（即平凡解）自动满足系统。这一特性使得齐次系统特别具有可预测性，但当系数矩阵为奇异矩阵或非方阵时，其解结构又十分丰富。
2. Trivial and Non-trivial Solutions | 平凡解与非平凡解
The solution x = 0 ple of the first, the system has infinitely many solutions of the form x = −2t, y = t, where t is a free parameter. Here, taking t ≠ 0 yields non-trivial solutions. The existence of non-trivial solutions is a key indicator that the coefficient matrix does not have full column rank, and in the case of a square matrix, that it is singular.
解 x = 0（即所有未知数均取零）称为齐次系统的平凡解。任何不同于平凡解的解都叫做非平凡解。例如，在方程组 x + 2y = 0 和 2x + 4y = 0 中，平凡解是 x = 0, y = 0。然而，因为第二个方程只是第一个方程的倍数，该系统有无穷多个形如 x = −2t, y = t 的解，其中 t 是自由参数。这里，取 t ≠ 0 即可得到非平凡解。非平凡解的存在是系数矩阵不具有满列秩的关键标志；对于方阵而言，这意味着矩阵是奇异的。
3. The Coefficient Matrix and Its Role | 系数矩阵及其作用
The coefficient matrix A completely determines the nature of the solution set for Ax = 0 esents m linear equations in n unknowns. The null space (or kernel) of A is the set of all vectors x such that Ax = 0. The dimension of this null space, called the nullity, satisfies the Rank– column rank), the null space contains only the zero vector, and the system has only the trivial solution. If rank(A) < n, the nullity is positive, meaning there are infinitely many solutions that form a vector space of dimension n − rank(A).
系数矩阵 A 完全决定了 Ax = 0 解集的性质。如果 A 是一个 m × n 矩阵，该系统表示包含 n 个未知数的 m 个线性方程。A 的零空间（或核）是所有满足 Ax = 0 的向量 x 的集合。这个零空间的维数称为零度，满足秩–零度定理：rank(A) + nullity(A) = n。因此，若 rank(A) = n（满列秩），零空间只包含零向量，系统只有平凡解。若 rank(A) < n，零度为正，意味着存在无限多个解，这些解构成一个维数为 n − rank(A) 的向量空间。
4. Determinant Criterion for Square Systems | 方阵的行列式判别法
a quick test for the existence of non-trivial solutions. For a homogeneous square system Ax = 0 m possesses infinitely many non-trivial solutions. This result is a direct consequence of the invertibility of A: when det(A) ≠ 0, A⁻¹ exists, and multiplying both sides by A⁻¹ yields x = 0. Conversely, a zero determinant indicates that rows (or columns) are linearly dependent, opening the door to free variables and non-trivial solutions.
当系数矩阵 A 为方阵（m = n）时，行列式可以快速判定非平凡解是否存在。对于齐次方阵系统 Ax = 0，当且仅当 det(A) ≠ 0 时，系统仅有平凡解。若 det(A) = 0，则 A 是奇异矩阵，系统存在无限多个非平凡解。这一结论源自 A 的可逆性：当 det(A) ≠ 0 时，A⁻¹ 存在，两边同乘 A⁻¹ 即得 x = 0。反之，行列式为零意味着行（或列）线性相关，从而引入了自由变量和非平凡解。
5. Solving Homogeneous Systems Using Gaussian Elimination | 使用高斯消元法求解齐次方程组
Gaussian elimination applied to Ax = 0 proceeds by reducing the augmented matrix [A | 0 ile free variables correspond to non-pivot columns. By assigning parameters (e.g., t₁, t₂, … there will be 3 − 2 = 1 free parameter, and the solutions form a line through the origin.
对 Ax = 0 使用高斯消元法时，需将增广矩阵 [A | 0] 化为行阶梯形。由于在初等行变换过程中，等号右边的零始终不变，通常会省略增广部分而直接对 A 进行操作。消元后主元的个数即为秩 r。主元列对应基本变量，非主元列对应自由变量。通过为自由变量引入参数（如 t₁, t₂, …），可将解集表示成跨越零空间的基向量的线性组合。例如，在一个秩为 2 的 3×3 系统中，将有 3 − 2 = 1 个自由参数，解构成一条通过原点的直线。
6. Rank and the Number of Solutions | 秩与解的数量
ely many solutions, and the solution space has dimension n − rank(A). In practical terms, if the system has more variables than independent equations, non-trivial solutions are guaranteed. The rank can be found through row reduction or by examining the largest non-zero minor for a non-square matrix. IB exam questions often ask students to determine the value of a parameter such that a homogeneous system has non-trivial solutions, which directly translates into setting det(A) = 0 for square systems or checking rank conditions otherwise.
系数矩阵 A 的秩是决定齐次系统解集的最关键因素。若 rank(A) = n（n 为未知数的个数），则称系统具有满列秩，此时仅有平凡解。若 rank(A) < n，系统便有无限多个解，且解空间的维数为 n − rank(A)。从实际角度看，若系统中变量的个数多于独立方程的个数，则必然存在非平凡解。秩可以通过行化简求得，对非方阵则可考察最大的非零子式。IB考试中常要求考生确定某个参数的值，使得齐次系统有非平凡解，这直接转化为对方阵令 det(A) = 0，或对其他情况检查秩的条件。
7. Homogeneous Systems with More Unknowns Than Equations | 未知数多于方程数的齐次方程组
infinitely many non-trivial solutions. This result is an immediate consequence of the Rank– ne through the origin in 3D space. The two free parameters correspond to the two degrees of freedom needed to parametrize the plane.
当齐次系统未知数的个数多于方程个数（n > m）时，矩阵 A 的秩最多为 m。因此 rank(A) ≤ m < n，这意味着该系统必定有无穷多个非平凡解。这一结果是秩–零度定理的直接推论：nullity(A) = n − rank(A) ≥ n − m > 0。此时解空间至少是 (n − m) 维的。例如，一个关于三个变量 x, y, z 的单个齐次线性方程 2x + 3y − z = 0，在三维空间中描述了一个通过原点的平面。两个自由参数对应着参数化该平面所需的两个自由度。
8. Geometric Interpretation of Solutions | 解的几何解释
Homogeneous systems have a beautifully consistent geometric interpretation. Since the zero vector is always a solution, the solution set always passes through the origin. A system with only the trivial solution corresponds geometrically to the intersection of all represented hyperplanes being exactly the single point at the origin. When non-trivial solutions exist, the solution set forms a vector subspace (a line, a plane, or a higher-dimensional hyperplane through the origin). For two equations in three unknowns, the solution is typically a line through the origin (intersection of two planes). The dimension of this solution subspace equals the nullity of A. This geometric perspective is particularly valuable when visualising consistency and dependency in linear systems.
齐次系统有着优美且一致的几何解释。由于零向量总是解，解集必然通过原点。只有平凡解的系统，在几何上对应于所有代表的超平面仅相交于原点这一个点。当存在非平凡解时，解集会形成一个向量子空间（一条直线、一个平面或一个更高维的通过原点的超平面）。对于含有三个未知数的两个方程，其解通常是一条通过原点的直线（两个平面的交线）。该解子空间的维数等于 A 的零度。这种几何视角在可视化线性系统的一致性与相关性时尤其有用。
9. Relationship with Linear Independence | 与线性独立性的关系
A homogeneous system Ax = 0 provides a direct test for the linear independence of the columns of A. The columns of A are linearly independent if the only solution to Ax = 0 is the trivial solution. If a non-trivial solution exists, then the columns are linearly dependent. In IB mathematics, this connection is exploited when deciding whether vectors form a basis for a given space. For a set of vectors v₁, v₂, …, vₙ, constructing matrix A with these vectors as columns and solving Ax = 0 reveals dependency: any non-zero component in the solution vector gives the coefficients of a linear combination that yields the zero vector, demonstrating dependency.
齐次系统 Ax = 0 为检验 A 的列的线性独立性提供了直接手段。如果 Ax = 0 只有平凡解，则 A 的各列线性独立。如果存在非平凡解，那么这些列是线性相关的。在 IB 数学中，当需要判断一组向量是否能构成给定空间的一组基时，便会用到这一联系。对于一组向量 v₁, v₂, …, vₙ，以这些向量为列构造矩阵 A 并求解 Ax = 0，即可揭示其相关性：解向量中任何非零分量都给出了产生零向量的线性组合的系数，从而证明了相关性。
10. Applications in IB Exam Questions | 在IB考试题中的应用
iency. For example, a question might present the system (k − 1)x + y = 0, 2x + (k + 2)y = 0, and ask for the values of k that yield infinitely many solutions. Students are expected to set det(A) = (k − 1)(k + 2) − 2 = 0, leading to a quadratic equation for k. Another common style gives a system with a parameter in three equations and asks for the basis of the solution space. These problems test skills in determinants, row reduction, parametric solution writing, and the logical reasoning of rank analysis.
典型的 IB HL 齐次系统考题会要求学生寻找使系统具有非平凡解的未知参数（常用 k 或 λ 表示）。处理方法为：要么计算方阵系数矩阵的行列式并令其为零，要么进行行化简并施加秩的缺失。例如，题目可能给出方程组 (k − 1)x + y = 0, 2x + (k + 2)y = 0，要求找出使系统有无穷多解的 k 值。学生需设 det(A) = (k − 1)(k + 2) − 2 = 0，从而得到关于 k 的一元二次方程。另一种常见题型是在三个方程中给出一个参数，并要求找到解空间的基。这些问题综合考察了行列式、行化简、参数化解的书写以及秩分析的逻辑推理能力。
11. Summary and Key Takeaways | 总结与要点
aussian elimination reveals the free variables that parametrise the infinite solution set, which forms a vector subspace. IB students should be confident in linking algebraic solutions to geometric intuition, and in manipulating parameters to achieve rank deficiencies. Mastering homogeneous systems builds a strong foundation for eigenvectors, linear transformations, and differential equations encountered in higher-level mathematics.
齐次方程组永远具有平凡解，而解题的挑战在于判定何时会出现非平凡解。这一条件取决于系数矩阵的秩与未知数个数之间的关系。对于方阵系统，det(A) = 0 是决定性判据。通过高斯消元法可以找出用来参数化无限解集（构成一个向量子空间）的自由变量。IB 学生应能熟练地将代数解与几何直觉联系起来，并能通过调节参数促成秩的缺失。掌握好齐次系统能够为后续更高层次数学中遇到的特征向量、线性变换以及微分方程等内容打下坚实的基础。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图