📚 System of linear equations: Unique, infinite and no solutions | 线性方程组：唯一解、无穷多解与无解
A system of linear equations is a collection of one or more linear equations involving the same set of variables. In IB Mathematics, determining whether a system has a unique solution, infinitely many solutions, or no solution is a central skill, linking algebra, geometry, and matrix theory. These three possibilities describe how lines, planes, or hyperplanes intersect in n-dimensional space and are essential for modelling real-world constraints.
线性方程组是由一个或多个包含相同变量的线性方程组成的集合。在 IB 数学中，判断方程组是有唯一解、无穷多解还是无解是一项核心技能，它将代数、几何和矩阵理论联系起来。这三种情况描述了直线、平面或超平面在 n 维空间中的相交方式，对于建立现实世界的约束模型至关重要。
1. Introduction to Systems of Linear Equations | 线性方程组简介
atrix, x the column vector of variables, and b the constant vector. The core task is to find all vectors x that satisfy every equation simultaneously.
一个 n 元线性方程一般可写作 a₁x₁ + a₂x₂ + ... + aₙxₙ = b，其中 aᵢ 是系数，b 是常数项。包含 m 个方程、n 个未知数的方程组可以用矩阵形式简洁地表示为 Ax = b，其中 A 是 m × n 系数矩阵，x 是变量列向量，b 是常数列向量。核心任务是找出同时满足所有方程的所有向量 x。
The solution set can be classified by comparing the rank of the coefficient matrix A with the rank of the augmented matrix [A|b]. These ranks reveal whether the equations are consistent and how many free parameters exist. Understanding this concept early builds the foundation for Gaussian elimination and geometric interpretation.
解集可以通过比较系数矩阵 A 的秩与增广矩阵 [A|b] 的秩来分类。这些秩揭示了方程组是否相容以及存在多少个自由参数。早期理解这一概念可以为高斯消元法和几何解释打下基础。
2. Geometric Interpretation in Two Dimensions | 二维几何解释
Consider two linear equations in two variables, representing straight lines in the xy-plane. The system has a unique solution if the two lines intersect at exactly one point. This occurs when the lines have different slopes, i.e. the ratios a₁/a₂ and b₁/b₂ are not equal. In matrix terms, the coefficient matrix is invertible and its determinant is non-zero.
考虑两个二元线性方程，它们在 xy 平面上表示两条直线。若这两条直线恰好交于一点，则方程组有唯一解。当两直线斜率不同，即比值 a₁/a₂ 与 b₁/b₂ 不相等时，就会出现这种情况。用矩阵的语言来说，系数矩阵可逆且行列式非零。
lines that never meet. The augmented matrix would show a contradiction, such as a row [0 0 | c] with c ≠ 0.
若两直线平行但不相交，则方程组无解。从代数上看，系数成比例而常数项不遵循同一比例。例如，2x + y = 5 和 2x + y = 7 是永不相交的平行线。此时增广矩阵会出现矛盾，比如某行是 [0 0 | c] 且 c ≠ 0。
the same geometric object. One equation is redundant, leaving the system underdetermined.
当两个方程表示同一条直线时，就会出现无穷多解。它们彼此成标量倍数，因此直线上每一点都同时满足两个方程。例如，x + 2y = 4 和 2x + 4y = 8 描述的是同一个几何对象。其中一个方程是多余的，系统处于欠定状态。
3. Algebraic Conditions for Solution Types | 解的分类的代数条件
iven a system Ax = b with m equations and n unknowns, we construct the augmented matrix [A|b]. Let r = rank(A) and r' = rank([A|b]). The system is consistent (has at least one solution) if and only if r = r'. If r < r' olution. This condition is the starting point for systematic analysis using row reduction.
对于包含 m 个方程和 n 个未知数的系统 Ax = b，我们构造增广矩阵 [A|b]。设 r = rank(A)，r' = rank([A|b])。当且仅当 r = r' 时，方程组是相容的（至少有一个解）。若 r < r'，则方程组不相容，无解。这一条件是使用行化简进行系统分析的出发点。
is a unique solution because all variables are determined with no free parameters. If r < n, there are infinitely many solutions because (n - r) variables can be chosen freely. This framework unifies the three solution behaviours in a purely algebraic manner.
在方程组相容的前提下，我们再比较 r 与 n 的关系。若 r = n，则有唯一解，因为所有变量都已确定，不存在自由参数。若 r < n，则有无穷多解，因为有 (n - r) 个变量可以自由取值。这一框架用纯粹的代数方法统一了三种解的情形。
4. Unique Solution: Consistent and Independent | 唯一解：相容且独立
A system has a unique solution when the equations are consistent and none of them is redundant. In a square system, this means the coefficient matrix is invertible and its determinant is non-zero. The solution can be found by substitution, elimination, or Cramer's rule. Each equation contributes independent information that pins down exactly one value for each variable.
当方程组相容且没有任何方程冗余时，它有唯一解。在方阵系统中，这意味着系数矩阵可逆且行列式非零。解可以通过代入法、消元法或克拉默法则求得。每个方程都提供了独立的信息，为每个变量精确确定了一个值。
lines intersect at (2.2, 0.2). The coefficient matrix [2,3; 1,-1] has determinant -5 ≠ 0, confirming a unique solution.
示例：求解方程组 2x + 3y = 5 和 x - y = 2。使用消元法，将第二个方程乘以 2 后与第一个相减：(2x + 3y) - 2(x - y) = 5 - 4 ⇒ 5y = 1 ⇒ y = 0.2，然后 x = 2.2。两条直线交于点 (2.2, 0.2)。系数矩阵 [2,3; 1,-1] 的行列式为 -5 ≠ 0，确认有唯一解。
For larger systems, row reduction to reduced row echelon form will yield a leading one in each column corresponding to a variable, with the last column giving the unique values. No row of the form [0 0 ... 0 | non-zero] appears, and the number of pivots equals the number of unknowns.
对于更大的方程组，通过行化简得到简化行阶梯形，会在每个对应变量的列中产生一个主元 1，末列给出唯一值。不会出现 [0 0 ... 0 | 非零] 形式的行，且主元数等于未知数个数。
5. Infinite Solutions: Consistent and Dependent | 无穷多解：相容且相关
Infinite solutions occur when the system is consistent but the number of independent equations is less than the number of unknowns. In row echelon form, at least one column lacks a pivot, meaning the corresponding variable can be free. The general solution is expressed parametrically, with one or more free variables spanning a solution space of dimension n - r.
当方程组相容但独立方程个数少于未知数个数时，会出现无穷多解。在行阶梯形中，至少有一列没有主元，这意味着对应的变量可以是自由变量。通解用参数形式表达，一个或多个自由变量张成维度为 n - r 的解空间。
set is a plane in R³ parametrised by s and t. Rank(A) = 1, n = 3, hence 2 free parameters.
示例：x + 2y - z = 3, 2x + 4y - 2z = 6。第二个方程只是第一个的两倍，因此它们相关。消元后只得到一个非平凡方程。令 y = s、z = t 为自由变量，则 x = 3 - 2s + t。解集是 R³ 中由 s 和 t 参数化的平面。rank(A) = 1，n = 3，故有 2 个自由参数。
Inconsistent dependencies, like the same equation repeated but with a different constant, do not yield infinite solutions. The augmented matrix reveals whether the dependency introduces a contradiction. Thus, always check the augmented column before declaring infinite solutions.
不一致的相关，例如重复同一方程但常数项不同，并不会产生无穷多解。增广矩阵会揭示这种相关是否引入了矛盾。因此，在判定有无穷多解之前，务必先检查增广列。
6. No Solution: Inconsistent System | 无解：不相容
An inconsistent system is one where the equations contradict each other. In two dimensions, this corresponds to parallel distinct lines. In three dimensions, it could be two parallel planes or three planes forming a triangular prism with no common intersection. Algebraically, a row [0 0 ... 0 | c] with c ≠ 0 emerges during Gaussian elimination.
不相容的方程组是指方程之间彼此矛盾。在二维中，这对应于平行且不相交的直线。在三维中，可能是两个平行平面，或是三个平面形成一个没有公共交点的三角柱。从代数上看，高斯消元过程中会出现形如 [0 0 ... 0 | c]（c ≠ 0）的行。
from the second to get 0 = 2, impossible. The augmented matrix shows rank(A) = 1, rank([A| oth equations. Any real-world model with such constraints would have no feasible solution.
示例：x + y = 3, x + y = 5。第二式减第一式得到 0 = 2，不可能。增广矩阵显示 rank(A) = 1，rank([A|b]) = 2，因此不相容。没有任何实数 x 和 y 能同时满足这两个方程。任何包含此类约束的现实模型都将没有可行解。
In systems with many variables, inconsistency might hide until the final steps of row reduction. A common IB question asks to determine values of a parameter k such that a system has no solution. Setting up the augmented matrix and reducing symbolically reveals the specific k that forces a contradictory row.
在含有多个变量的方程组中，不相容性可能直到行化简的最后几步才显现出来。IB 考试中常见的问题是确定参数 k 的值，使得方程组无解。通过构造增广矩阵并进行符号化简，就能求出导致矛盾行的特定 k 值。
7. Using Gaussian Elimination to Determine Solution Type | 使用高斯消元法确定解的类型
Gaussian elimination systematically transforms the augmented matrix into row echelon form (REF) or reduced row echelon form (RREF). The number of pivots reveals the rank, while the presence of a pivot in the augmented column signals inconsistency. A step-by-step approach allows you to classify the system without solving it completely.
高斯消元法系统地将增广矩阵转化为行阶梯形 (REF) 或简化行阶梯形 (RREF)。主元的个数揭示了秩的大小，而增广列中出现主元则表明不相容。通过逐步操作，即使不完整求解，也能对系统进行分类。
Procedure: Write [A| se row operations to create leading ones and zeros below them. If a row becomes [0 0 ... 0 | c] with c ≠ 0, stop – than the variables, express the solution in terms of free variables → infinite solutions.
操作步骤：写出 [A|b]，利用行变换生成先导 1 及其下方的零。如果某行变为 [0 0 ... 0 | c] 且 c ≠ 0，停止——系统无解。如果每一行都相容，且先导 1 的个数等于变量个数，则系统有唯一解。如果先导 1 的个数少于变量个数，则将解用自由变量表达 → 无穷多解。
showing no solution. The step-by-step reduction helps identify exactly which equation or combination causes the inconsistency.
以方程组 x + 2y + z = 4, 2x + 5y - z = 3, 3x + 7y = 7 为例。消元后第三行出现矛盾 0 = 2，表明无解。逐步化简有助于精确识别是哪个方程或组合导致了不相容。
8. Rank of a Matrix and Its Role | 矩阵的秩及其作用
In a system Ax = b, the solution type is fully determined by comparing rank(A) and rank([A|b]):
矩阵的秩是最大线性无关行或列的数目。对于 m × n 矩阵 A，有 rank(A) ≤ min(m, n)。在方程组 Ax = b 中，解的类型完全由比较 rank(A) 与 rank([A|b]) 来确定：
If rank(A) ≠ rank([A|b]), the system is inconsistent (no solution).
若 rank(A) ≠ rank([A|b])，则方程组不相容（无解）。
If rank(A) = rank([A|b]) = r, the system is consistent. Then:
若 rank(A) = rank([A|b]) = r，则方程组相容。此时：
If r = n, unique solution.
若 r = n，有唯一解。
If r < n, infinitely many solutions with (n - r) free parameters.
若 r < n，有无穷多解，并带有 (n - r) 个自由参数。
This 'rank criterion' is extremely powerful because it does not require actually solving the system. In IB problems, computing the rank often involves evaluating determinants of square submatrices or performing partial elimination. Understanding rank deepens your insight into the structure of linear systems.
这一「秩判据」极为强大，因为它不需要真正求解方程组。在 IB 问题中，计算秩通常涉及计算方子阵的行列式或进行部分消元。理解秩能够加深你对线性系统结构的洞见。
9. Determinant and Cramer's Rule for Unique Solution | 行列式与克拉默法则应用于唯一解
If det(A) ≠ 0, the system has exactly one unique solution, which can be found using Cramer' s method is efficient for 2 × 2 and 3 × 3 systems but becomes impractical for larger ones.
对于方阵系统（m = n），系数矩阵的行列式提供了一个快速检验。若 det(A) ≠ 0，则方程组恰好有一个唯一解，并可通过克拉默法则求出：xᵢ = det(Aᵢ) / det(A)，其中 Aᵢ 是将第 i 列替换为 b 后得到的矩阵。该方法对 2 × 2 和 3 × 3 系统高效，但对更大的系统则不再实用。
proportional; check if the augmented column maintains the proportion to see if solutions exist.
若 det(A) = 0，矩阵是奇异的。此时方程组要么无解，要么有无穷多解。必须检查增广矩阵才能确定属于哪种情况。例如，2 × 2 系统 ax + by = e, cx + dy = f 的行列式为 ad - bc。当 ad - bc = 0 时，各行成比例；检查增广列是否保持该比例即可判断解是否存在。
l values; then substitute back to test consistency with the augmented column, distinguishing between the cases where the planes are parallel or coincident.
在 IB 考试中，常常要求找出常数 k 的条件，使系统有唯一解、无穷多解或无解。令 det(A) = 0 有助于找到临界值；然后代回检验增广列的相容性，以区分平面是平行还是重合的情况。
10. Practical Examples and a Decision Table | 实例与判别表
Here is a summary table that integrates the conditions based on ranks and determinants, serving as a quick reference for IB revision:
下表综合了基于秩和行列式的条件，可作为 IB 复习的快速参考：
| Condition | System Type | Solution Outcome |
|---|---|---|
| rank(A) = rank([A|b]) = n | Consistent, independent | Unique solution |
| rank(A) = rank([A|b]) < n | Consistent, dependent | Infinitely many solutions |
| rank(A) < rank([A|b]) | Inconsistent | No solution |
| Square system: det(A) ≠ 0 | Consistent, independent | Unique solution |
| Square system: det(A) = 0 | Dependent or inconsistent | Check augmented rank |
When you encounter a problem, first identify the number of equations and variables. Use elimination to find pivots or directly compute the determinant if the system is square. Always verify consistency by checking the augmented column before declaring the number of solutions. Parametrisation is your tool for describing infinite solution sets clearly and completely.
遇到问题时，首先确定方程和变量的个数。利用消元法寻找主元，若系统为方阵可直接计算行列式。在判定解的个数之前，始终通过检查增广列来验证相容性。参数化是清晰、完整描述无穷解集的工具。
Mastering these concepts will not only help you score highly on IB exams but also build a solid foundation for further study in linear algebra, calculus of several variables, and data science. Practise with a variety of systems, including those involving parameters, to become confident in spotting the solution type immediately.
掌握这些概念不仅能帮你在 IB 考试中取得高分，也能为深入学习线性代数、多元微积分和数据科学打下坚实基础。通过练习各种方程组，包括含参数的系统，你能自信地迅速识别解的类型。
11. Common Pitfalls and How to Avoid Them | 常见错误与避免方法
seen, it can also lead to infinite solutions. Always extend the analysis to the augmented matrix. Another pitfall is misinterpreting a zero row: [0 0 0 | 0] means a redundant equation, which is fine in a consistent system, but [0 0 0 | 5] is a contradiction.
一个常见错误是认为 det(A) = 0 一定意味着无解。如前所述，它也可能导致无穷多解。必须将分析扩展到增广矩阵。另一个易错点是误读全零行：[0 0 0 | 0] 表示冗余方程，在相容系统中是正常的；而 [0 0 0 | 5] 则是矛盾。
(1 - 2t, t, 3) for one parameter, or use linear combinations for multiple free variables.
在对无穷解进行参数化时，学生有时会忘记声明哪些变量是自由的，以及如何正确用自由变量表示基本变量。始终要以清晰的向量形式写出解集，例如对于单参数可写 (x, y, z) = (1 - 2t, t, 3)，对于多个自由变量则使用线性组合。
t practice with 3 × 3 systems under timed conditions will improve both speed and accuracy.
此外，行变换中的算术错误可能改变显示的秩。请仔细检查每一步，或在可行时使用行列式进行验证。在限时条件下反复练习 3 × 3 系统，将有助于提高速度和准确性。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图