📚 AS OCR Further Mathematics: Core Knowledge Overview | AS OCR 进阶数学：核心知识点梳理
This article summarises the core topics of the AS Level OCR Further Mathematics syllabus, focusing on the Further Pure 1 (FP1) unit. These concepts form the essential foundation for advanced problem-solving and further study in pure mathematics.
本文梳理 AS 阶段 OCR 进阶数学课程的核心主题，重点关注进阶纯数学 1（FP1）单元。这些概念构成了高阶问题求解和纯数学深入学习的重要基础。
1. Proof by Induction | 数学归纳法证明
ts: the base case (checking n = 1 or the smallest relevant integer), the inductive hypothesis (assuming the statement is true for n = k), and the inductive step (proving it for n = k + 1 using the hypothesis).
数学归纳法是一种强有力的技巧，用于证明某一命题对所有正整数 n 都成立。证明包含三个主要部分：基础情形（验证 n = 1 或最小相关整数）、归纳假设（假设命题对 n = k 成立）以及归纳步骤（利用该假设证明对 n = k + 1 成立）。
assume it is valid for k, and then show that adding (k+1) to both sides gives ½(k+1)(k+2).
例如，证明前 n 个自然数的求和公式：∑ⁿᵣ₌₁ r = ½n(n+1) 时，我们先验证 n = 1 的基础情形，假设对 k 成立，然后通过在两边加 (k+1) 来证明它对 k+1 也成立，得到 ½(k+1)(k+2)。
Induction is also frequently applied to divisibility proofs, such as showing 3²ⁿ - 1 is divisible by 8 for all positive integers n.
归纳法也常用于整除性证明，例如证明对所有正整数 n，3²ⁿ - 1 可被 8 整除。
2. Complex Numbers | 复数
the property i² = -1. The term a is the real part Re(z) and b is the imaginary part Im(z).
复数写作 z = a + bi，其中 a 和 b 是实数，i 是虚数单位，满足 i² = -1。a 称为实部 Re(z)，b 称为虚部 Im(z)。
ses expansion and the fact that i² = -1, giving (a + bi)(c + di) = (ac - bd) + (ad + bc)i.
加法和减法按分量进行：(a + bi) ± (c + di) = (a ± c) + (b ± d)i。乘法利用展开和 i² = -1，得到 (a + bi)(c + di) = (ac - bd) + (ad + bc)i。
always real and non-negative. Division of complex numbers is carried out by multiplying numerator and denominator by the conjugate of the denominator.
z 的共轭复数记作 z* = a - bi。它表示复数关于实轴的镜像，并且满足 z z* = a² + b²，该值总是非负实数。复数除法通过分子分母同乘以分母的共轭复数来实现。
3. Argand Diagrams and Modulus-Argument Form | 阿甘德图与模-辐角形式
e real part and the y-axis the imaginary part. The distance from the origin is the modulus |z| = √a² + b², and the angle measured from the positive real axis is the argument arg(z), usually given in radians.
复数可以在阿甘德图上用点来表示，x 轴为实部，y 轴为虚部。到原点的距离是模 |z| = √a² + b²，从正实轴开始测量的角度是辐角 arg(z)，通常以弧度为单位。
The modulus-argument form (polar form) is z = r(cos θ + i sin θ), where r = |z| and θ = arg(z). This representation simplifies multiplication and division: |z₁z₂| = |z₁||z₂| arg(z₁) + arg(z₂). Similarly, for division, the moduli divide and the arguments subtract.
模-辐角形式（极形式）为 z = r(cos θ + i sin θ)，其中 r = |z|，θ = arg(z)。这种表示使乘法和除法变得简单：|z₁z₂| = |z₁||z₂|，且 arg(z₁z₂) = arg(z₁) + arg(z₂)。类似地，除法时模相除，辐角相减。
ing equations such as zⁿ = c often requires expressing c in polar form and using De Moivre's theorem for integer powers, though full use of the theorem is extended in A2.
求解 zⁿ = c 类方程时，通常需要先将 c 化为极式并应用棣莫弗定理的整数次幂情形，尽管该定理的完整推广在 A2 阶段才涉及。
4. Matrix Operations | 矩阵运算
ces is done element-wise, while multiplication of a matrix by a scalar multiplies every entry.
矩阵是由数字构成的矩形阵列，用于表示线性变换。AS 阶段主要关注 2×2 矩阵。矩阵加法是对应元素相加，标量乘法则是将标量乘以每个元素。
of columns of A equals the number of rows of B. For 2×2 matrices, the product is given by:
矩阵乘法 AB 只有在 A 的列数等于 B 的行数时才有定义。对于 2×2 矩阵，乘积计算如下：
⎡a b⎤ ⎡e f⎤ = ⎡ae+bg af+bh⎤
⎣c d⎦ ⎣g h⎦ ⎣ce+dg cf+dh⎦
that matrix multiplication is not commutative; generally AB ≠ BA. The identity matrix I = ⎡1 0⎤⎣0 1⎦ leaves any matrix unchanged when multiplied: AI = IA = A.
必须牢记矩阵乘法不满足交换律；通常 AB ≠ BA。单位矩阵 I = ⎡1 0⎤⎣0 1⎦ 与任意矩阵相乘都保持该矩阵不变：AI = IA = A。
5. The Inverse and Determinant of a Matrix | 逆矩阵与行列式
The determinant of a 2×2 matrix M = ⎡a b⎤⎣c d⎦ matrix is invertible: a matrix has an inverse if and only if its determinant is non-zero.
2×2 矩阵 M = ⎡a b⎤⎣c d⎦ 的行列式为 det(M) = ad - bc。行列式决定了矩阵是否可逆：矩阵存在逆矩阵当且仅当其行列式不为零。
The inverse of M, denoted M⁻¹, is given by M⁻¹ = 1/(ad-bc) ⎡d -b⎤⎣-c a⎦, provided ad - bc ≠ 0. The inverse satisfies MM⁻¹ = M⁻¹M = I.
M 的逆矩阵记作 M⁻¹，由 M⁻¹ = 1/(ad-bc) ⎡d -b⎤⎣-c a⎦ 给出，前提是 ad - bc ≠ 0。逆矩阵满足 MM⁻¹ = M⁻¹M = I。
In the context of transformations, the inverse matrix reverses the effect of the original transformation. A zero determinant indicates that the transformation collapses the plane onto a line or the origin and is therefore singular.
在变换的语境中，逆矩阵可以逆转原先变换的效果。行列式为零表明该变换将平面压缩到一条直线或原点上，因此矩阵是奇异的。
6. Solving Linear Equations Using Matrices | 利用矩阵解线性方程组
atrix, X is the column vector of variables, and C is the constant column vector. For example:
两个联立线性方程组可以写成矩阵形式 MX = C，其中 M 为系数矩阵，X 为变量列向量，C 为常数列向量。例如：
⎡2 3⎤⎡x⎤ = ⎡8⎤
⎣1 -1⎦⎣y⎦ ⎣1⎦
hod is efficient for pairs of equations and links closely with the inverse matrix concept.
如果 det(M) ≠ 0，我们可以在方程两边左乘 M⁻¹，从而得到唯一解 X = M⁻¹C。这种方法对处理两个方程的方程组非常高效，并与逆矩阵概念紧密相连。
When the determinant is zero, the system may have either no solutions or infinitely many solutions, corresponding to parallel lines or coincident lines in geometric interpretation.
当行列式为零时，方程组可能无解或有无穷多解，在几何上分别对应着平行直线或重合直线的情况。
7. Summation of Series | 级数求和
AS Further Pure mathematics extends the study of series by using standard results for sums of powers. Students are expected to know and apply:
AS 进阶纯数学通过对幂次求和标准结果的应用扩展了级数的学习。学生需要知道并应用：
∑ⁿᵣ₌₁ r = n(n+1)/2
∑ⁿᵣ₌₁ r² = n(n+1)(2n+1)/6
∑ⁿᵣ₌₁ r³ = n²(n+1)²/4
+1)(r+2), can be handled by expanding the expression into a sum of powers and then applying the standard formulas term by term.
更复杂的级数，例如 ∑(r+1)(r+2)，可以通过将表达式展开为幂的和，然后逐项应用标准公式来处理。
ing only the first and last few terms. This is used for sums of the form ∑(f(r) - f(r+1)).
差分法是另一种引入的技巧，其中级数通过裂项相消，使得中间项对消，只留下首尾几项。它用于形如 ∑(f(r) - f(r+1)) 的求和。
8. Roots of Polynomial Equations | 多项式方程的根
= c/a. These can be used to find sums and products of roots without solving the equation.
对于具有根 α 和 β 的二次方程 ax² + bx + c = 0，系数与根之间的关系是 α + β = -b/a 以及 αβ = c/a。这些关系可用于在不求解方程的情况下找到根的和与乘积。
For a cubic equation ax³ + bx² + cx + d = 0 with roots α, β, γ, the symmetric sums are:
对于具有根 α, β, γ 的三次方程 ax³ + bx² + cx + d = 0，其对称和为：
Σα = α + β + γ = -b/a
Σαβ = αβ + βγ + γα = c/a
αβγ = -d/a
Similar relationships exist for quartic equations. These properties help in constructing new equations whose roots are related to the original roots, for example, finding an equation with roots 2α, 2β, 2γ.
类似的关係也存在于四次方程中。这些性质有助于构造新方程，其根与原方程的根相关，例如，求根为 2α, 2β, 2γ 的新方程。
9. First Order Differential Equations: Separation of Variables | 一阶微分方程：分离变量法
te both sides. The general solution includes an arbitrary constant C, which can be determined by an initial condition.
形如 dy/dx = f(x)g(y) 的一阶微分方程可以通过分离变量法求解：改写成 1/g(y) dy = f(x) dx 并对两边积分。通解包含任意常数 C，该常数可由初始条件确定。
For example, dy/dx = 2xy leads to ∫ 1/y dy = ∫ 2x dx, giving ln|y| = x² + C and thus y = Aex², where A = ±eC.
例如，dy/dx = 2xy 可化为 ∫ 1/y dy = ∫ 2x dx，积分后得到 ln|y| = x² + C，进而得到 y = Aex²，其中 A = ±eC。
This technique is fundamental in modelling situations such as exponential growth and decay, Newton's law of cooling, and many other contexts where rates of change are proportional to a function of the current value.
该技巧是建立模型的基础，适用于指数增长与衰变、牛顿冷却定律以及许多变化率与当前值的某个函数成正比的情境。
10. Integrating Factor Method | 积分因子法
egrating factor (I.F.) is defined as μ(x) = e^(∫P(x) dx). Multiplying the entire equation by μ(x) transforms the left-hand side into the derivative of μ(x)y.
当一阶线性微分方程以 dy/dx + P(x)y = Q(x) 的形式给出时，分离变量法通常不再适用。定义积分因子 μ(x) = e^(∫P(x) dx)，将方程两边同乘以 μ(x)，可将左边转换为 μ(x)y 的导数。
The solution is then found by integrating both sides: d/dx[μ(x)y] = μ(x)Q(x) ⇒ μ(x)y = ∫ μ(x)Q(x) dx, and finally dividing by μ(x).
随后通过两边积分求解：d/dx[μ(x)y] = μ(x)Q(x) ⇒ μ(x)y = ∫ μ(x)Q(x) dx，最后再除以 μ(x) 即得通解。
od is essential for solving equations like dy/dx + 2xy = x, where the integrating factor ex² simplifies the process and yields a complete solution family.
该方法对于求解形如 dy/dx + 2xy = x 的方程至关重要，此时积分因子 ex² 简化了过程并给出完整的解族。
Published by TutorHao | Further Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图