📚 Year 12 AQA Further Mathematics: Core Knowledge Review | Year 12 AQA 进阶数学：核心知识点梳理
Year 12 AQA Further Mathematics introduces a range of powerful pure core topics that build directly on GCSE and AS Mathematics. From complex numbers and matrices to deeper calculus and 3D vectors, these concepts form the foundation for A-level Further Maths and many university courses. This article provides a structured, bilingual overview of the essential knowledge you need to master.
AQA 进阶数学第一年（Year 12）引入了一系列强大的纯数核心知识点，这些内容与 GCSE 及 AS 数学紧密衔接。从复数、矩阵到更深入的微积分与三维向量，这些概念不仅为 A-level 进阶数学打下基础，也在许多大学课程中发挥关键作用。本文将用中英双语为你梳理必须掌握的核心知识体系。
1. Proof and Mathematical Argument | 证明与数学论证
Proof by deduction uses logical steps from known facts to reach a conclusion. For example, proving that the sum of two even numbers is always even.
演绎法从已知事实出发，运用逻辑步骤得出结论，例如证明两个偶数之和恒为偶数。
Proof by exhaustion checks every possible case; it is useful when the number of cases is finite and manageable.
穷举法逐一检验每一种可能情况，适用于情形有限且可以逐一处理的命题。
Disproof by counter example requires finding a single case where a statement fails. For instance, to disprove 'all prime numbers are odd', the counter example is 2.
举反例法只需找到一个使命题失效的特例即可完成证伪，如要推翻“所有质数都是奇数”，只需举出 2 这个反例。
Proof by contradiction assumes the opposite of what we want to prove and derives an impossibility. A classic example is the proof that √2 is irrational: assume √2 then show both p and q are even, contradicting the assumption that p/q is in lowest terms.
反证法先假设要证明的结论不成立，然后推导出矛盾。经典例子是证明 √2 为无理数：假设 √2 = p/q 为最简分数，可推出 p 和 q 均为偶数，从而与最简分数的假设矛盾。
Mathematical language includes implication (⇒), equivalence (⇔), and the use of quantifiers ('for all', 'there exists') to structure arguments precisely.
数学语言包含推出符号 (⇒)、等价符号 (⇔) 以及量词（“对任意”、“存在”）的使用，它们使得论证结构更加严谨。
2. Complex Numbers: Fundamentals | 复数：基本概念
The imaginary unit i is defined by i² = –1. A complex number takes the form z = a + bi, where a, b ∈ ℝ.
虚数单位 i 定义为 i² = –1。复数具有 z = a + bi 的形式，其中 a, b 均为实数。
rformed by treating real and imaginary parts separately: (a+bi) ± (c+di) = (a±c) + (b±d)i.
复数的加减运算只需分别处理实部与虚部：(a+bi) ± (c+di) = (a±c) + (b±d)i。
Multiplication uses the distributive law and the fact that i² = –1, yielding (a+bi)(c+di) = (ac – bd) + (ad + bc)i.
乘法利用分配律并结合 i² = –1，得到 (a+bi)(c+di) = (ac – bd) + (ad + bc)i。
The complex conjugate of z = a+bi is z* = a– nominator by the conjugate of the denominator, turning the denominator into a real number.
复数 z = a+bi 的共轭为 z* = a–bi。进行复数除法时，需将分子分母同乘分母的共轭，使分母化为实数。
s, a repeated real root, or a pair of complex conjugate roots when the discriminant Δ = b²–4ac < 0.
任何实系数二次方程 ax²+bx+c=0，当判别式 Δ = b²–4ac < 0 时，将产生一对共轭复根，而非实根。
3. Complex Numbers: Argand Diagram and De Moivre | 复数：复平面与棣莫弗定理
The Argand diagram represents complex numbers as points in a plane, with the x‑axis as the real part and the y‑axis as the imaginary part. The modulus |z| = √a²+b² ument θ = arctan(b/a) (adjusted for quadrant) gives the angle from the positive real axis.
复平面（Argand 图）将复数表示为平面上的点，横轴为实部，纵轴为虚部。模 |z| = √a²+b² 表示该点到原点的距离，辐角 θ = arctan(b/a)（需根据象限调整）表示从正实轴起算的角度。
In modulus‑argument form, z = r(cos θ + i sin θ), often abbreviated as z = r cis θ.
复数的模‑辐角形式写作 z = r(cos θ + i sin θ)，常简记为 z = r cis θ。
De Moivre' n, (r cis θ)ⁿ = rⁿ cis(nθ). This provides an efficient way to compute powers and multiple‑angle trigonometric identities.
棣莫弗定理指出，对任意整数 n，有 (r cis θ)ⁿ = rⁿ cis(nθ)，这一工具可高效计算复数乘方，也可用于推导倍角三角恒等式。
nth roots of a complex number: z = r cis θ gives roots as r¹/ⁿ cis((θ+2kπ)/n) for k = 0,1,…,n–1.
应用该定理还可求复数的 n 次方根：z = r cis θ 的 n 个不同的 n 次方根为 r¹/ⁿ cis((θ+2kπ)/n)，k = 0,1,…,n–1。
When solving polynomial equations with real coefficients, complex roots always occur in conjugate pairs, which helps in factorising polynomials completely.
在求解实系数多项式方程时，复根总是成对出现（共轭对），这有助于对多项式进行彻底因式分解。
4. Matrices: Operations and Determinants | 矩阵：运算与行列式
A matrix is a rectangular array of numbers. Two matrices can be added or subtracted if they have the same dimensions, by adding corresponding entries.
矩阵是一个矩形数字阵列。只有相同维度的矩阵才能进行加减运算，方法是将对应位置的元素相加或相减。
the number of columns in the first matrix equals the number of rows in the second: (A B)ᵢⱼ = Σₖ Aᵢₖ Bₖⱼ.
标量乘法是将矩阵的每一个元素都乘以该标量。矩阵乘法在第一个矩阵的列数等于第二个矩阵的行数时才有定义：(AB)ᵢⱼ = Σₖ Aᵢₖ Bₖⱼ。
h 1s on the diagonal and 0s elsewhere) serves as a multiplicative identity: A I = I A = A.
单位矩阵 I 在其主对角线上为 1，其余位置为 0，它扮演乘法单位元的角色：A I = I A = A。
The determinant of a 2×2 matrix A = [[a,b],[c,d]] is det(A) = ad – bc. For a 3×3 matrix, the determinant can be computed using expansion by minors or Sarrus' rule; it tells us whether the matrix is invertible (non‑zero determinant) or singular (zero determinant).
对 2×2 矩阵 A = [[a,b],[c,d]]，其行列式为 det(A) = ad – bc。对于 3×3 矩阵，行列式可用余子式展开或 Sarrus 规则计算；行列式值决定了矩阵是否可逆（非零则可逆，为零则是奇异矩阵）。
the determinant of a product equals the product of determinants: det(AB) = det(A) det(B).
行列式具有重要性质：交换两行变号，某行乘以 k 则行列式也乘以 k，而矩阵乘积的行列式等于各自行列式的乘积：det(AB) = det(A) det(B)。
5. Matrices: Inverses and Linear Systems | 矩阵：逆矩阵与线性方程组
h that AB = BA = I, written B = A⁻¹. For a 2×2 matrix [[a,b],[c,d]], the inverse is (1/(ad–bc)) [[d,–b],[–c,a]], provided the determinant is non‑zero.
一个方阵 A 如果存在矩阵 B 使得 AB = BA = I，则称 A 可逆，记 B = A⁻¹。对 2×2 矩阵 [[a,b],[c,d]]，若行列式非零，其逆矩阵为 (1/(ad–bc)) [[d,–b],[–c,a]]。
f variables and b is the constant column. If det(A) ≠ 0, the unique solution is x = A⁻¹ b.
线性方程组可写作矩阵形式 A x = b，其中 A 为系数矩阵，x 为变量列，b 为常数列。若 det(A) ≠ 0，方程组有唯一解 x = A⁻¹ b。
no solution or infinitely many solutions, depending on consistency. Solving by Gaussian elimination (reducing to row echelon form) helps reveal the nature of the solution.
当 det(A) = 0 时，方程组要么无解，要么有无穷多解，这取决于是否相容。通过高斯消元法化简为行阶梯形有助于判断解的类型。
se either the inverse matrix method or row operations to find solutions, and to interpret geometrical representations of planes in terms of intersection patterns.
对于 3×3 方程组，需要能够用逆矩阵法或行变换求解，并能从平面相交的几何角度解释解的情况。
6. Matrices: Linear Transformations | 矩阵：线性变换
2×2 matrix can represent a linear transformation of the plane mapping a point (x,y) to (x',y') by (x',y')ᵀ = M (x,y)ᵀ.
一个 2×2 矩阵可表示平面的线性变换，将点 (x,y) 映射为 (x',y')，满足 (x',y')ᵀ = M (x,y)ᵀ。
Common transformation matrices include: rotation by angle θ, [[cosθ, –sinθ],[sinθ, cosθ]]; reflection in the line y = (tanθ)x, [[cos2θ, sin2θ],[sin2θ, –cos2θ]]; stretches parallel to axes, [[k,0],[0,1]] etc; and shears parallel to the x‑axis, [[1,k],[0,1]].
常见变换矩阵有：旋转 θ 角，矩阵 [[cosθ, –sinθ],[sinθ, cosθ]]；关于直线 y=(tanθ)x 的反射，矩阵 [[cos2θ, sin2θ],[sin2θ, –cos2θ]]；平行于坐标轴的拉伸，如 [[k,0],[0,1]]；以及平行于 x 轴的剪切 [[1,k],[0,1]]。
The image of any point can be found by matrix multiplication. Successive transformations correspond to multiplying the transformation matrices, with the first transformation on the right: T₂∘T₁ is represented by M₂ M₁.
任意点的像可通过矩阵乘法求得。连续的多次变换对应于将变换矩阵按顺序相乘，先施行的变换写在右侧：T₂∘T₁ 对应的矩阵为 M₂ M₁。
The inverse transformation uses M⁻¹ and reverses the mapping. The determinant of a transformation matrix gives the area scale factor: a transformation scales areas by |det(M)|.
逆变换用 M⁻¹ 表示，它逆转原映射。变换矩阵的行列式（的绝对值）就是面积缩放因子：经变换后图形的面积将乘以 |det(M)|。
Recognising invariant lines and the effect on the unit square helps in identifying the type of transformation represented by a given matrix.
识别不变直线以及单位正方形在变换下的像，有助于判断给定矩阵所代表的变换类型。
7. Further Algebra: Rational Functions and Inequalities | 进阶代数：有理函数与不等式
A rational function is the ratio of two polynomials. Sketching such functions involves locating vertical asymptotes where the denominator is zero and horizontal asymptotes determined by the degrees of numerator and denominator.
有理函数是两个多项式之比。绘制其图像时，需确定分母为零处的垂直渐近线，并根据分子分母的次数关系确定水平渐近线。
If the degrees are equal, the asymptote is y = leading coefficient ratio. If the numerator's degree exceeds the denominator's by one, an oblique asymptote exists.
若分子次数低于分母次数，水平渐近线为 y=0；若次数相等，渐近线为 y = 首项系数比；若分子次数比分母次数大 1，则存在一条斜渐近线。
For inequalities involving rational expressions, it is usually safer to rearrange so that one side is zero, combine into a single fraction, and use a sign table (interval method) rather than multiplying across by the denominator, which might change sign.
解含分式的不等式时，通常更安全的方法是将一边
Published by TutorHao | Year 12 进阶数学 Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图