📚 Key Treaties and Agreements | 关键定理与约定
In mathematics, we rarely speak of "treaties", yet the subject is built upon a collection of universally accepted axioms, definitions, and notational conventions that function much like binding agreements within the mathematical community. These "treaties" – ranging from the commutative law of addition to the parallel postulate of Euclidean geometry – ensure that every mathematician, regardless of language or background, reasons from the same foundational rules. For Edexcel A‑Level Mathematics, mastering these key "treaties and agreements" is as essential as learning the theorems themselves, because they underpin everything from algebraic manipulation to calculus proofs.
在数学中，我们很少提到“条约”，但这门学科正是建立在一系列普遍接受的公理、定义和符号约定之上，它们就像数学共同体内部的约束性协议。这些“条约”——从加法交换律到欧几里得几何的平行公设——保证了无论语言或背景如何，每一位数学家都从相同的基础规则出发进行推理。对于 Edexcel A‑Level 数学而言，掌握这些关键的“定理与约定”与学习定理本身同样重要，因为它们支撑着从代数运算到微积分证明的一切。
1. The Axioms of Arithmetic: The Oldest Treaties | 算术公理：最古老的条约
sociative agreement allows us to regroup: (a + b) + c = a + (b + c) and (a × b) × c = a × (b × c). The distributive treaty bridges the two operations: a × (b + c) = a × b + a × c. These are not theorems that we prove from something deeper; they are accepted "clauses" upon which the entire edifice of algebra is built.
所有数值运算的核心都建立在实数的域公理之上，包括我们常常不假思索就应用的交换律、结合律和分配律。对于任意实数 a、b 和 c，加法条约规定 a + b = b + a，乘法条约规定 a × b = b × a。结合律协议允许我们重新分组：(a + b) + c = a + (b + c) 以及 (a × b) × c = a × (b × c)。分配律条约则将两种运算连接起来：a × (b + c) = a × b + a × c。这些并不是我们从更深层的内容证明出来的定理，而是被接受的“条款”，整个代数大厦都建立其上。
2. The Equality Pact and Its Consequences | 等号公约及其推论
Furthermore, the substitution treaty allows us to replace any expression with another that is equal to it without altering the truth of a statement. In Edexcel A‑ ify an expression or solve an equation by performing the same operation on both sides. The "do the same to both sides" reement that preserves equality, ensuring that the balance of an equation is never broken.
等号本身就代表着一项庄严的约定：若 A = B，则 B = A（对称性），A = A（自反性），并且若 A = B 且 B = C，则 A = C（传递性）。此外，代换条约允许我们用另一个与之相等的表达式替换原表达式，而不会改变命题的真值。在 Edexcel A‑Level 的代数和三角学中，每次我们对表达式进行化简，或者通过两边同施相同运算来解方程时，都在运用这一公约。“两边同做一样的事情”是一条保持相等性的协议，确保方程的天平永远不会被打破。
3. Notational Conventions: The Silent Treaties of Mathematics | 符号约定：数学中无声的条约
so is the use of √ for the principal square root. The order of operations (BIDMAS/BODMAS) – brackets, indices, division/multiplication, addition/subtraction – ion fg(x) means f(g(x)), not f(x) × g(x). These silent treaties are tested constantly in A‑Level differentiation, integration, and algebraic simplification.
如果没有标准化的符号，数学将会陷入混乱。幂的上标表示法 xⁿ 是一项通用条约；使用 √ 表示算术平方根也是如此。运算顺序（括号、指数、乘除、加减）是一项解决形如 3 + 4 × 2 歧义性问题的协议。人人接受乘法具有更高的优先级，因此结果为 11，而非 14。类似地，关于函数的条约规定，f(x) 表示函数 f 作用于输入 x 的输出，而复合 fg(x) 表示 f(g(x))，而非 f(x) × g(x)。这些无声的条约在 A‑Level 的微分、积分和代数化简中不断被考查。
4. The Postulates of Euclidean Geometry | 欧几里得几何的公设
Euclidean geometry is governed by a set of postulates – effectively a treaty signed by all who work in the plane. The parallel postulate, in its modern form, declares that through a point not on a given line there is exactly one line parallel to the given line. This agreement is not something we prove; it is an accepted starting point that defines the geometry of the flat surfaces used in A‑Level coordinate geometry, vectors, and mechanics. When we use the distance formula or the fact that the angles of a triangle sum to 180°, we are invoking consequences of these ancient treaties.
欧几里得几何由一组公设所支配——这实际上是一项所有在平面上工作的人都签署的条约。现今形式的平行公设宣称，过直线外一点有且只有一条直线与已知直线平行。这项协议并非我们证明出来的结果，而是一个被接受的起点，它定义了 A‑Level 解析几何、向量和力学中所使用的平面几何。当我们使用距离公式或者三角形内角和为 180° 这一事实时，我们正是在调用这些古老条约的推论。
5. Trigonometric Identities: Signed Conventions of the Unit Circle | 三角恒等式：单位圆的签署公约
Trigonometry is rich in "agreements". The fundamental treaty is the definition of sine and cosine on the unit circle: for an angle θ measured anticlockwise from the positive x‑axis, the coordinates of the point on the circle are (cos θ, sin θ). This convention, combined with the Pythagorean identity sin²θ + cos²θ ≡ 1, serves as the parent treaty from which all other trigonometric identities derive. The sine and cosine rules for non‑right‑angled triangles are also part of this universal agreement, as are the exact values of sin, cos, and tan for 30°, 45°, and 60°, which must be committed to memory.
三角学中充满了各种“协议”。最根本的条约是单位圆上正弦与余弦的定义：对于从正 x 轴逆时针方向度量的角 θ，单位圆上对应点的坐标为 (cos θ, sin θ)。这一约定，连同勾股恒等式 sin²θ + cos²θ ≡ 1，构成了核心条约，所有其他三角恒等式均由此导出。非直角三角形的正弦定理与余弦定理同样属于这项普遍协议的一部分，必须熟记的 30°、45° 和 60° 角的正弦、余弦和正切精确值也在此列。
6. The Fundamental Theorem of Calculus: A Landmark Treaty | 微积分基本定理：一座里程碑式的条约
of Calculus (FTC) is a binding agreement between the two principal operations of calculus – ates that if F is an antiderivative of f on an interval [a, b], then ∫[a,b] f(x) dx = F(b) – he process of finding areas under curves can be reversed by differentiation. For Edexcel A‑ tegral and d/dx for derivative are themselves parts of the treaty, invented by Leibniz and universally ratified.
微积分基本定理（FTC）是微积分中两项主要运算——微分与积分——之间一项具有约束力的协议。它断言，若 F 是 f 在区间 [a, b] 上的一个原函数，则 ∫[a,b] f(x) dx = F(b) – F(a)。这项条约保证了求曲线下方面积的过程可以通过微分来逆转。对于 Edexcel A‑Level，这意味着我们计算的每一个定积分，无论是多项式、指数函数还是三角函数，都依赖于这一核心协议。积分符号 ∫ 和导数符号 d/dx 本身就是该条约的一部分，由莱布尼茨发明并得到普遍认可。
7. The Laws of Logarithms: A Treaty for Exponential Growth | 对数定律：指数增长的条约
dditive ones. The three principal clauses are: logₐ(xy) = logₐx + logₐy; logₐ(x/y) = logₐx – ex laws, are indispensable for solving exponential equations and for linearising data in A‑Level modelling. Without them, tasks such as solving 2ˣ = 5 or differentiating aˣ gₐa = 1 and logₐ1 = 0 for any base a > 0, a ≠ 1 is also a fundamental part of this treaty.
对数定律构成了一组简洁的协议，将乘法关系转化为加法关系。三个主要条款为：logₐ(xy) = logₐx + logₐy；logₐ(x/y) = logₐx – logₐy；以及 logₐ(xⁿ) = n logₐx。这些直接由指数律导出的条约，在求解指数方程以及 A‑Level 建模中进行数据线性化时不可或缺。没有它们，像解 2ˣ = 5 或微分 aˣ 这样的任务将会繁琐得多。对于任意底数 a > 0 且 a ≠ 1，logₐa = 1 且 logₐ1 = 0 的约定同样是该条约的基本组成部分。
8. Vector Space Axioms: Treaties in Higher Dimensions | 向量空间公理：高维中的条约
When Edexcel A‑ must exist a zero vector 0 such that v + 0 = v, and each vector v has an additive inverse – elocities behaves in a consistent, predictable manner, whether in two or three dimensions.
当 Edexcel A‑Level 的学生处理向量时，他们正不知不觉地进入一个由一组公理支配的向量空间。向量的加法必须满足交换律（a + b = b + a）与结合律，必须存在一个零向量 0 使得 v + 0 = v，并且每一个向量 v 都有其加法逆元 –v。标量乘法同样受到若干协议的约束：c(dv) = (cd)v，(c + d)v = cv + dv，以及 c(v + w) = cv + cw。这些条约保证了无论是二维还是三维空间中，力、位移和速度的几何都能以一致且可预测的方式运作。
9. The Principle of Mathematical Induction: A Proof Treaty | 数学归纳法原理：一项证明条约
the truth of P(k + 1) for an arbitrary k, then P(n) is true for all natural numbers n. This agreement allows us to cross an infinite bridge in just two steps. In A‑ n(n+1)/2. Accepting this treaty is what separates finite verification from genuine proof.
数学归纳法不仅仅是一种技巧，它是一项关于自然数的正式协议。该条约规定：若一个命题 P(n) 对 n = 1 为真，并且对任意的 k，P(k) 为真能推出 P(k+1) 为真，则 P(n) 对所有自然数 n 均为真。这项协议使我们能够仅用两步就跨过一座无限长的桥梁。在 A‑Level 中，它被用来证明级数求和、整除性以及数列相关的结论，例如前 n 个整数之和为 n(n+1)/2。接受此项条约正是将有限验证与真正证明区分开来的关键。
10. Probability Axioms and Statistical Conventions | 概率公理与统计约定
of the entire sample space is 1, P(S) = 1; and for mutually exclusive events A and B, P(A ∪ B) = P(A) + P(B). From these, all other rules – such as the addition law for non‑exclusive events and the multiplication law for independent events – n that population parameters are Greek letters (μ, σ) while sample statistics are Roman (x̄ assumption of normality in many hypothesis tests act as further treaties that unify the A‑Level syllabus.
概率论建立在一项由三条公理组成的条约之上：对于任一事件 A，P(A) ≥ 0；整个样本空间的概率为 1，P(S) = 1；并且对于互斥事件 A 和 B，P(A ∪ B) = P(A) + P(B)。所有其他规则——如非互斥事件的加法法则和独立事件的乘法法则——均由此导出。在统计学中，约定使用无偏估计量，总体参数用希腊字母（μ, σ）而样本统计量用罗马字母（x̄, s）表示的惯例，以及在许多假设检验中引入正态性假设，这些都构成进一步统一 A‑Level 教学大纲的条约。
11. The Chain Rule and Implicit Agreements | 链式法则与隐性协议
silently ratifying this treaty. Equally important is the implicit agreement that for a function y = f(x), the notation dy/dx is not a fraction, yet it can be manipulated like one in the context of the chain rule and related rates. This "treaty of infinitesimals", though technically not rigorous at A‑Level, is a pragmatic understanding that underpins successful problem‑solving.
微分的链式法则 dy/dx = dy/du × du/dx 是微积分中最强大的条约之一。它代表着这样一项协议：复合函数的导数等于其组成部分导数的乘积。当我们对 sin(3x) 求导得到 3 cos(3x) 时，我们就在默默地认可这项条约。同样重要的是那个隐性协议：对于函数 y = f(x)，记号 dy/dx 并非一个分数，但在链式法则和相关变化率的情境中却可以像分数一样进行运算。这项“无穷小条约”虽然从 A‑Level 的严格程度来看并不严密，但却是支撑成功解题的一种实用理解。
12. Conventions for Sequences, Series, and Sigma Notation | 数列、级数与求和符号约定
treaty for expressing sums. The agreement is that Σ (from r=1 to n) of uᵣ means u₁ + u₂ + … eatment of arithmetic and geometric sequences: the nth term of an arithmetic sequence is a + (n‑ and for a geometric sequence it is arⁿ⁻¹. The formulas for the sum to n terms are likewise "ratified" allow us to handle everything from simple sequences to the binomial expansion as a series.
求和符号 Σ 是一项用于表示求和的简洁条约。该约定规定，Σ (r=1 到 n) uᵣ 表示 u₁ + u₂ + … + uₙ。此项条约还包含诸如 Σ (a uᵣ + b vᵣ) = a Σ uᵣ + b Σ vᵣ 的规则，它反映了求和的线性性质。另一项重要约定是对等差数列和等比数列的处理：等差数列的第 n 项为 a + (n‑1)d，等比数列则为 arⁿ⁻¹。其前 n 项和的公式同样已获“批准”，必须准确应用。这些协议使我们能够处理从简单数列到作为级数的二项式展开等各种问题。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图