📚 Equality in A-Level Mathematics | A-Level 数学中的等式与恒等关系
ality is the foundation of equations, identities and proof. Understanding exactly what the '=' tions and proving statements. This article covers the key ideas that students following the Edexcel Pure Mathematics specification need to master.
在 A-Level 数学中，等式是方程、恒等式和证明的基础。理解 '=' 的确切含义——它到底在断言什么，以及一个等式何时为真、何时为假、何时只在特定条件下为真——有助于你避免在化简表达式、解方程和证明命题时出错。本文涵盖 Edexcel 纯数学考试大纲中学生必须掌握的关键概念。
1. The Meaning of Equality | 等式的含义
it happens to be true. But the same symbol can also be used to declare that two different-looking expressions always represent the same quantity for every allowed input.
在数学中，等号 = 表示其左右两边的表达式具有相同的值。例如 2 + 3 = 5 就是一个等式陈述，而且它恰好为真。但同一个符号也可以用来声明：两个看起来不同的表达式，在所有允许的输入下始终表示相同的量。
ly when x = 4. And the statement (x + 1)² = x² + 2x + 1 is true for every real value of x.
一个等式陈述可能为真、为假，或者是条件性的。4 + 1 = 6 就是假命题；3x = 12 仅在 x = 4 时为真；而 (x + 1)² = x² + 2x + 1 对所有实数 x 都为真。
Distinguishing these three cases is not a technicality. Edexcel examiners frequently test whether you know that a conditional equation has a solution set, whereas an identity has infinitely many solutions and is normally proved by algebraic manipulation rather than by solving.
区分这三种情形并非吹毛求疵。Edexcel 考官经常考查你是否明白：条件方程有一个解集，而恒等式有无穷多个解，并且通常通过代数变形来证明，而不是通过"解方程"。
4 + 1 = 6 (false) 2x + 1 = 7 (conditional) (x + 1)² ≡ x² + 2x + 1 (identity)
2. Equations Versus Identities | 方程与恒等式的区别
ding, solving an equation means finding all values that make the equality true - and the answer is usually expressed as a solution set.
方程是一种条件，可能只被某些特定值满足。例如 2x + 1 = 7 是一个方程，因为它仅在 x = 3 时成立。在 Edexcel 的表述中，解方程意味着找出使等式成立的所有值，答案通常写成一个解集。
of equality that is true for all permitted values. It is often written with the triple bar ≡ hough Edexcel also accepts = when the context makes the meaning clear. For example, x² − 1 ≡ (x − 1)(x + 1). This identity holds for every real number x.
恒等式是一类特殊的等式，对所有允许的值都成立。它常用三横线符号 ≡ 而非 = 表示，不过当语境清楚时，Edexcel 也接受使用 =。例如 x² − 1 ≡ (x − 1)(x + 1)，这个恒等式对所有实数 x 都成立。
| Type / 类型 | Meaning / 含义 | Example / 例子 |
| Equation / 方程 | True for some values only / 只有某些值使其为真 | 3x − 2 = 10, so x = 4 |
| Identity / 恒等式 | True for all permitted values / 对所有允许值都为真 | x² − 1 ≡ (x − 1)(x + 1) |
| Contradiction / 矛盾式 | True for no values / 没有任何值使其为真 | x + 1 = x, i.e. 1 = 0 |
The practical difference is enormous. When you solve an equation you produce specific numbers; when you prove an identity you produce a chain of algebra that shows both sides are the same expression in disguise.
这个区别在实践中影响巨大。解方程时你得到的是具体的数值；证明恒等式时你得到的是一串代数推导，说明两边本质上只是同一个表达式的不同写法。
3. The Identity Symbol ≡ | 恒等号 ≡ 的用法
The triple bar ≡ is read as "is identically equal to" or simply "is equivalent to". It signals to the reader that the statement must hold for all values in the domain under discussion, not merely for a handful of them.
三横线符号 ≡ 读作"恒等于"或"等价于"。它向读者表明：该命题在所讨论的定义域内对所有值都成立，而不只是对个别值成立。
You will meet ≡ in several places in the Edexcel specification: polynomial identities such as (a + b)³ ≡ a³ + 3a²b + 3ab² + b³; trigonometric identities such as sin²θ + cos²θ ≡ 1; logarithmic identities such as log(ab) ≡ log a + log b for a, b > 0; and partial fractions, where the unknown coefficients are found by comparing coefficients in an identity.
在 Edexcel 大纲中，你会在多处遇到 ≡：多项式恒等式如 (a + b)³ ≡ a³ + 3a²b + 3ab² + b³；三角恒等式如 sin²θ + cos²θ ≡ 1；对数恒等式如 log(ab) ≡ log a + log b（a, b > 0）；以及部分分式，其中未知系数正是通过比较恒等式中各项系数求出的。
A word of caution: ≡ is also used in number theory for congruence modulo n, as in 17 ≡ 5 (mod 12). In A-Level Pure Mathematics you will only meet this briefly, but you should not confuse it with a polynomial identity.
需要注意：≡ 在数论中还表示模 n 同余，例如 17 ≡ 5 (mod 12)。在 A-Level 纯数学中你只会简短接触这一点，但不要把它与多项式恒等式混为一谈。
sin²θ + cos²θ ≡ 1 for all θ, but 2 sin θ = 1 only for certain θ
4. Solving Equations vs Proving Identities | 解方程与证明恒等式的区别
rm whose solution set is obvious, such as f(x) = 0, and then factorise, complete the square, or apply a formula. Every step must be reversible, or at least the final list of candidates must be checked against the original equation.
解方程就是要找出使该命题为真的变量取值。标准做法是把方程整理成一个解集显而易见的形式，例如 f(x) = 0，然后因式分解、配方或套用公式。每一步都必须可逆，或者至少要逐一代回原方程检验最终得到的候选解。
Proving an identity is a completely different activity. You are not looking for values; you are showing that the left-hand side and the right-hand side are logically the same expression. The correct format is to start from one side, usually the more complicated one, and manipulate it until it matches the other side.
证明恒等式则是完全不同的任务。你不是在寻找数值，而是在说明左边与右边在逻辑上是同一个表达式。正确的书写格式是从一边出发——通常是比较复杂的那一边——通过变形使它变成另一边的样子。
A common exam error is to treat an identity as an equation: writing "LHS = RHS" ou are supposed to prove. Work on one side only, and finish with a clear statement such as "therefore LHS ≡ RHS".
一个常见的考试错误是把恒等式当成方程处理：写出"LHS = RHS"然后对两边同时做同样的运算。在证明中这是循环论证，因为你已经默认了要证明的结论。正确做法是只对一边变形，最后明确写出"因此 LHS ≡ RHS"。
5. Conditional Equations, Contradictions and Identities | 条件等式、矛盾式与恒等式
Every algebraic statement of equality falls into one of three categories once the domain is fixed: it is true for some values, for all values, or for no values. Recognising which category you are dealing with tells you whether to solve, prove, or declare "no solution".
一旦定义域确定，任何代数等式都会落入三类之一：对某些值为真、对所有值为真、或对任何值都不为真。判断自己面对的是哪一类，就能决定是该"求解"、"证明"还是直接写"无解"。
Conditional equation / 条件方程: 2x + 5 = 13 has the single solution x = 4.
条件方程：2x + 5 = 13 只有一个解 x = 4。
Identity / 恒等式: (x + 3)² ≡ x² + 6x + 9 is true for every real x.
恒等式：(x + 3)² ≡ x² + 6x + 9 对所有实数 x 都成立。
Contradiction / 矛盾式: x = x + 1 simplifies to 0 = 1, which is never true.
矛盾式：x = x + 1 化简得 0 = 1，永远不成立。
ction in form, because students will meet its solutions ±i once they study complex numbers beyond the standard A-Level Pure content.
一个值得记住的特殊情形是实数范围内的 x² = −1。它是一个解集为空的条件方程，而不是形式上的矛盾式；当学生接触标准 A-Level 纯数学之外的内容时，会遇到它的解 ±i。
Some x → equation | All x → identity | No x → contradiction
6. Equivalent Expressions and Algebraic Manipulation | 等价表达式与代数变形
Most of the algebra you do in A-Level Mathematics consists of replacing an expression with an equivalent one. Expanding brackets, factorising, completing the square, rationalising a denominator and splitting into partial fractions are all equivalence-preserving operations - provided the domain is respected.
A-Level 数学中的大部分代数工作，都是用等价表达式去替换原表达式。展开括号、因式分解、配方、分母有理化、拆分为部分分式，这些都是保持等价性的运算——前提是定义域得到尊重。
whereas the simplified form takes the value 2. The identity is therefore (x² − 1)/(x − 1) ≡ x + 1 for all x ≠ 1.
定义域这一点至关重要。表达式 (x² − 1)/(x − 1) 可以化简为 x + 1，但仅在 x ≠ 1 时成立。当 x = 1 时，原表达式无定义，而化简后的式子取值 2。因此正确的恒等式应写作 (x² − 1)/(x − 1) ≡ x + 1，对所有 x ≠ 1 成立。
The same warning applies to logarithms and square roots. Writing √x² = x is false for negative x; the correct identity is √x² ≡ |x|. Writing log(x²) = 2 log x is false for x < 0; the valid identity is log(x²) ≡ 2 log |x| for x ≠ 0.
同样的警告适用于对数和平方根。对负数 x 而言，√x² = x 是错的，正确的恒等式是 √x² ≡ |x|。当 x < 0 时 log(x²) = 2 log x 也是错的，有效的恒等式是 log(x²) ≡ 2 log |x|，x ≠ 0。
Examiners reward candidates who state the range of validity. A single phrase such as "for x ≠ 1" or "provided x > 0" can turn a lose-a-mark answer into a full-mark answer.
考官会奖励那些写出有效范围的考生。仅仅一句"对 x ≠ 1"或"设 x > 0"，就可能把丢分的答案变成满分答案。
7. Proving Identities: Methods and Conventions | 证明恒等式的方法与规范
The general strategy for proving an identity is to start with the more complicated side and simplify it step by step until it equals the other side. If both sides look complicated, it is acceptable to work on each side separately and show that both reduce to the same expression.
证明恒等式的通用策略是从较复杂的一边出发，逐步化简，直到它等于另一边。如果两边都很复杂，也可以分别处理两边，说明它们都能化简成同一个表达式。
Useful tools include: common denominators for fractions; multiplying by a clever form of 1; using Pythagorean identities in trigonometry; factorising out common terms; and comparing coefficients when unknown constants are present.
常用工具包括：分数通分；乘上一个巧妙的"1"；在三角中使用平方关系恒等式；提取公因式；以及在含有未知常数时比较系数。
Presentation matters in Edexcel papers. Write "LHS" and "RHS" at the start, keep one vertical chain of equality, do not mix up the arrow ⇒ multiply across the identity sign. End your proof with a concluding statement, for example "LHS = ... = RHS, so the identity is proven".
在 Edexcel 试卷中，书写规范很重要。开头标出"LHS"和"RHS"，保持一条纵向的等式链，不要把蕴含箭头 ⇒ 与等号混用，也绝不要跨过恒等号进行交叉相乘。证明结尾要写一句结论，例如"LHS = ... = RHS，故恒等式得证"。
One more convention: when an identity contains an unknown constant, such as A(x + 1) + B(x − 1) ≡ 3x + 1, you may substitute convenient values of x to find A and B. Substitution is valid precisely because the statement is an identity - it is true for every x, so you are free to choose the easiest values.
还有一条约定：当恒式中含有未知常数时，例如 A(x + 1) + B(x − 1) ≡ 3x + 1，你可以代入方便的 x 值来求 A 和 B。代入法之所以有效，正是因为这个命题是恒等式——它对每个 x 都成立，所以你有权选择最方便的取值。
8. Common Identities in Edexcel Pure Mathematics | Edexcel 纯数学中的常用恒等式
Certain identities appear so often that they should be recognised instantly. Fluency with them saves time in the exam and reduces algebraic slips.
有些恒等式出现频率极高，必须做到一眼认出。熟练掌握它们既能节省考试时间，也能减少代数失误。
Difference of two squares / 平方差: a² − b² ≡ (a − b)(a + b)
平方差：a² − b² ≡ (a − b)(a + b)
Perfect squares / 完全平方: (a ± b)² ≡ a² ± 2ab + b²
完全平方：(a ± b)² ≡ a² ± 2ab + b²
Sum and difference of cubes / 立方和与立方差: a³ ± b³ ≡ (a ± b)(a² ∓ ab + b²)
立方和与立方差：a³ ± b³ ≡ (a ± b)(a² ∓ ab + b²)
Quadratic discriminant form / 判别式相关形式: the roots of ax² + bx + c = 0 satisfy x = (−b ± √b² − 4ac) / 2a
判别式相关形式：ax² + bx + c = 0 的根满足 x = (−b ± √b² − 4ac) / 2a
Binomial expansion / 二项式展开: (1 + x)ⁿ ≡ 1 + nx + n(n − 1)x²/2! + ...
二项式展开：(1 + x)ⁿ ≡ 1 + nx + n(n − 1)x²/2! + ...
Trigonometric Pythagorean identity / 三角平方恒等式: sin²θ + cos²θ ≡ 1
三角平方恒等式：sin²θ + cos²θ ≡ 1
Double angle identities / 二倍角公式: sin 2θ ≡ 2 sin θ cos θ, cos 2θ ≡ cos²θ − sin²θ
二倍角公式：sin 2θ ≡ 2 sin θ cos θ，cos 2θ ≡ cos²θ − sin²θ
Logarithmic laws / 对数法则: log a + log b ≡ log(ab), log a − log b ≡ log(a/b), n log a ≡ log(aⁿ)
对数法则：log a + log b ≡ log(ab)，log a − log b ≡ log(a/b)，n log a ≡ log(aⁿ)
Note that each of these is stated with ≡ s, whereas an equation such as tan θ = 1 has only specific solutions such as θ = π/4 + kπ.
注意上述每一条都用 ≡ 书写，因为它是对所有可取值的断言；而像 tan θ = 1 这样的方程只有特定解，例如 θ = π/4 + kπ。
9. Equality in Functions, Graphs and Coordinates | 函数、图像与坐标中的相等关系
ing for the x-values at which the two graphs meet. The solutions of the equation are precisely the x-coordinates of the intersection points, and substituting back gives the corresponding y-coordinates.
当你写 f(x) = g(x) 时，你其实在求两个图像相交处的 x 值。方程的解正是交点的横坐标，代回即可得到相应的纵坐标。
s undefined at x = 0. This distinction appears in questions about composite functions, inverse functions and domain restrictions.
两个函数只有在定义域相同且对应法则相同时才算相等。函数 f(x) = x²/x 与 g(x) = x 并不相等，因为 f 在 x = 0 处无定义。这一区别会出现在有关复合函数、反函数和定义域限制的题目中。
e of f. These are identities on the appropriate domains, and they are frequently examined.
对于反函数，其定义关系是：对 f 定义域内的所有 x，有 f⁻¹(f(x)) = x；并且对 f 值域内的所有 y，有 f(f⁻¹(y)) = y。这些都是在相应定义域上的恒等式，也是考试常考点。
10. Equality in Trigonometry | 三角学中的相等关系
uation-identity distinction is tested most sharply. The Pythagorean identity sin²θ + cos²θ ≡ contrast, the equation sin θ = 0.5 has infinitely many solutions but not all angles work.
三角学是考查"方程与恒等式之别"最尖锐的领域。平方关系 sin²θ + cos²θ ≡ 1 对任何角 θ 都成立，无论用角度制还是弧度制。相反，方程 sin θ = 0.5 虽然有无穷多个解，但并非所有角都满足。
xample, sin θ = 0.5 gives θ = π/6 + 2kπ or θ = 5π/6 + 2kπ, and you then select the values that lie in the required interval.
在给定区间内解三角方程时，务必先写出一般解形式，再代入区间筛选。例如 sin θ = 0.5 给出 θ = π/6 + 2kπ 或 θ = 5π/6 + 2kπ，然后再从中选出落在要求区间内的值。
Identities are also used to change the form of an expression. Replacing 1 − cos²θ with sin²θ, or 2 sin θ cos θ with sin 2θ, is legitimate because the identity is valid for every θ. Replacing sin 2θ with 2 sin θ would be a serious error: that is not an identity, only a coincidence at certain values.
恒等式也用于改变表达式的形式。把 1 − cos²θ 换成 sin²θ，或把 2 sin θ cos θ 换成 sin 2θ，都是合法的，因为这些恒等式对每个 θ 都成立。把 sin 2θ 换成 2 sin θ 则是严重错误：这不是恒等式，只是在某些取值上偶然相同。
11. Inequalities, Ranges and Validity | 不等式、范围与有效条件
Strictly speaking, an inequality is not an equality, but the logic of equivalence is the same and examiners test it constantly. When you multiply or divide an inequality by a negative number, the direction of the inequality sign reverses; when you square both sides, you may introduce extra solutions that must be rejected.
严格来说，不等式不是等式，但等价性的逻辑完全相同，而且考官反复考查。当不等式两边同乘或同除一个负数时，不等号方向要反转；当两边同时平方时，可能会引入需要剔除的多余解。
For example, solving x > 2 by squaring gives x² > 4, whose solution set is x < −2 or x > 2. The original condition rules out x < −2. This is exactly the same "check the domain" principle that governs conditional equations.
例如把 x > 2 两边平方得到 x² > 4，其解集为 x < −2 或 x > 2。原条件排除了 x < −2。这与支配条件方程的"检验定义域"原则完全一致。
The modulus function deserves special attention: |x| = 3 has two solutions x = 3 and x = −3, while |x| = −2 has none. Writing |x| ≡ x is false in general; the correct identity is |x| ≡ x for x ≥ 0 and |x| ≡ −x for x < 0.
绝对值函数尤其值得注意：|x| = 3 有两个解 x = 3 与 x = −3，而 |x| = −2 无解。一般来说 |x| ≡ x 是错的；正确的表达是：当 x ≥ 0 时 |x| ≡ x，当 x < 0 时 |x| ≡ −x。
12. Exam Technique and Common Errors | 考试技巧与常见错误
Most lost marks on this topic come from a small number of recurring mistakes rather than from a lack of mathematical ability. Being aware of them is half the battle.
这一专题上丢掉的分数，大多来自少数反复出现的错误，而不是数学能力不足。意识到这些错误就已经赢了一半。
Using = where ≡ is required, or vice versa, in a proof question.
在证明题中该用 ≡ 的地方用了 =，或反过来。
Operating on both sides of an identity, which assumes the result.
对恒等式两边同时运算，这等于预设了结论。
Forgetting to state restrictions such as x ≠ 0 or x > 0 after cancelling a factor.
约分后忘记写出 x ≠ 0 或 x > 0 之类的限制条件。
s by a factor containing the unknown, for example dividing x² = 4x by x and missing x = 0.
两边同除含未知数的因式而导致丢解，例如把 x² = 4x 除以 x 而漏掉 x = 0。
Introducing extra solutions by squaring both sides without checking.
两边平方却未检验，从而引入多余解。
Confusing the general solution of a trigonometric equation with a trigonometric identity.
把三角方程的一般解与三角恒等式混为一谈。
A reliable routine is to write down the domain first, decide whether the question asks you to solve or to prove, then carry out the algebra with a single clear chain of reasoning, and finally check your answer by substituting a convenient value or by testing the boundary cases.
一套可靠的流程是：先写出定义域；判断题目要求的是"求解"还是"证明"；再用一条清晰的推理链完成代数变形；最后通过代入一个方便的值或检验边界情形来验证答案。
Equality in A-Level Mathematics is therefore not one idea but a family of ideas: the ordinary equality of arithmetic, the conditional equality of equations, the universal equality of identities, and the restricted equality that applies only on an admissible domain. Master the distinctions and the algebra becomes far more secure.
因此，A-Level 数学中的"等式"
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图