📚 IB HL Mathematics: Core Skills and HL Extensions | IB DP 高等数学核心技能与高阶扩展
The IB Diploma Programme Higher Level Mathematics course builds on the Standard Level syllabus and adds substantial depth in algebra, functions, trigonometry, vectors, calculus, statistics, and discrete mathematics. HL students are expected to construct rigorous arguments, work fluently with abstract objects such as complex numbers and matrices, and apply mathematical models to unfamiliar problems. This revision article consolidates the core HL extensions and common examination techniques, with paired English and Chinese explanations to support bilingual learners.
IB 文凭课程高等数学（HL）在标准水平（SL）大纲的基础上，深入拓展代数、函数、三角学、向量、微积分、统计与离散数学等内容。HL 学生需要能够构造严谨的论证，熟练处理复数和矩阵等抽象对象，并将数学模型应用于陌生问题。本文梳理 HL 核心扩展内容与常见考试技巧，采用中英文对照讲解，帮助双语学习者巩固复习。
1. Proof by Mathematical Induction | 数学归纳法证明
Mathematical induction is a core HL proof technique used to establish statements for all positive integers n. You must show two parts: the base case, usually n = 1, and the inductive step, where the truth of the statement for n = k implies its truth for n = k + 1. The conclusion is that the statement holds for all n ≥ 1. A common mistake is to manipulate the wrong side of the equation during the inductive step; always start from the n = k + 1 expression and use the induction hypothesis carefully.
数学归纳法是 HL 核心证明方法，用于证明对所有正整数 n 都成立的命题。必须完成两部分：基础情形（通常 n = 1）和归纳步骤，即假设 n = k 时命题成立，推出 n = k + 1 时也成立。结论是该命题对所有 n ≥ 1 成立。常见错误是在归纳步骤中变形了等式的错误一侧；务必从 n = k + 1 的表达式入手，并谨慎使用归纳假设。
For example, to prove 1 + 3 + 5 + … + (2n − 1) = n², first check n = 1: 1 = 1². Then assume the formula is true for n = k, and show for n = k + 1 by adding the next odd term (2k + 1) to get (k + 1)². Writing the induction hypothesis explicitly as P(k) and the target as P(k + 1) helps examiners follow your logic.
例如，证明 1 + 3 + 5 + … + (2n − 1) = n²，先检查 n = 1：1 = 1²。然后假设公式对 n = k 成立，证明 n = k + 1 时，将下一个奇数项 (2k + 1) 加上后得到 (k + 1)²。把归纳假设明确写作 P(k)，目标写作 P(k + 1)，有助于考官理解你的逻辑。
2. Complex Numbers in Cartesian and Polar Form | 复数的笛卡尔与极坐标形式
Complex numbers extend the real number system with the imaginary unit i, where i² = −1. A complex number z = a + bi has real part a and imaginary part b. The conjugate is z* = a − bi, and the modulus is |z| = √(a² + b²). The polar form is z = r(cos θ + i sin θ) = r cis θ, where r = |z| and θ = arg(z). Euler’s formula e^(iθ) = cos θ + i sin θ connects exponential and trigonometric forms, enabling compact calculations for powers and roots.
复数通过虚数单位 i 扩展实数系，其中 i² = −1。复数 z = a + bi 的实部为 a，虚部为 b。共轭复数为 z* = a − bi，模为 |z| = √(a² + b²)。极坐标形式为 z = r(cos θ + i sin θ) = r cis θ，其中 r = |z|，θ = arg(z)。欧拉公式 e^(iθ) = cos θ + i sin θ 将指数形式与三角形式联系起来，使幂和方根的计算更为简洁。
e^(iθ) = cos θ + i sin θ, e^(iπ) + 1 = 0
The HL syllabus includes De Moivre’s theorem: for any integer n, (cos θ + i sin θ)ⁿ = cos(nθ) + i sin(nθ). This is used to find powers and nth roots of complex numbers. To find the three cube roots of 8, for example, express 8 as 8(cos 0 + i sin 0) and use the formula with k = 0, 1, 2 to obtain three equally spaced roots on a circle of radius 2.
HL 大纲包含棣莫弗定理：对任意整数 n，(cos θ + i sin θ)ⁿ = cos(nθ) + i sin(nθ)。它用于求复数的幂和 n 次方根。例如求 8 的三个立方根，将 8 表示为 8(cos 0 + i sin 0)，并用 k = 0, 1, 2 的公式得到半径为 2 的圆上均匀分布的三个根。
3. Vectors, Lines and Planes | 向量、直线与平面
Vectors in three dimensions are written as column vectors or in terms of i, j, k. The scalar product a · b = |a||b| cos θ is used to find angles between vectors and to test perpendicularity, while the vector product a × b gives a vector perpendicular to both a and b. The magnitude |a × b| equals the area of the parallelogram spanned by a and b. In HL, you must distinguish between scalar product (a number) and vector product (a vector).
三维向量可写为列向量或用 i、j、k 表示。数量积 a · b = |a||b| cos θ 用于求向量夹角和判断垂直，而向量积 a × b 得到同时垂直于 a 和 b 的向量。|a × b| 等于由 a 和 b 张成的平行四边形面积。在 HL 中，必须区分数量积（结果为数）和向量积（结果为向量）。
A line in 3D has vector equation r = a + λb, where a is a point on the line and b is a direction vector. A plane has equation r · n = d or ax + by + cz = d. To find the intersection of a line and a plane, substitute the parametric line coordinates into the plane equation and solve for λ. The angle between two planes is the angle between their normal vectors.
三维空间中的直线向量方程为 r = a + λb，其中 a 为直线上一点，b 为方向向量。平面方程为 r · n = d 或 ax + by + cz = d。求直线与平面的交点时，将直线的参数坐标代入平面方程并解出 λ。两个平面的夹角即其法向量的夹角。
4. Matrix Algebra and Eigenvalues | 矩阵代数与特征值
HL Mathematics includes matrix operations, determinants, inverses, and applications to linear transformations. The determinant of a 2 × 2 matrix A = [[a, b], [c, d]] is det(A) = ad − bc. The inverse is A⁻¹ = (1/det A)[[d, −b], [−c, a]], provided det A ≠ 0. For solving simultaneous equations, write the system as Ax = b and multiply both sides by A⁻¹ to obtain x = A⁻¹b, but check first that A is non-singular.
HL 数学包括矩阵运算、行列式、逆矩阵以及在线性变换中的应用。2 × 2 矩阵 A = [[a, b], [c, d]] 的行列式为 det(A) = ad − bc。其逆矩阵为 A⁻¹ = (1/det A)[[d, −b], [−c, a]]，前提是 det A ≠ 0。求解联立方程组时，将方程组写作 Ax = b，两边乘以 A⁻¹ 得 x = A⁻¹b，但需先检查 A 是否非奇异。
Eigenvalues and eigenvectors satisfy Av = λv, where λ is a scalar and v is a non-zero vector. The eigenvalues are found by solving det(A − λI) = 0. Once an eigenvalue λ is known, substitute it into (A − λI)v = 0 to find the corresponding eigenvector. Eigenvalues are used to study powers of matrices and to classify transformations such as rotations, reflections, and stretches.
特征值和特征向量满足 Av = λv，其中 λ 为标量，v 为非零向量。特征值通过求解 det(A − λI) = 0 得到。求得特征值 λ 后，代入 (A − λI)v = 0 求出对应的特征向量。特征值用于研究矩阵的幂，并用于分类旋转、反射和伸缩等变换。
5. Functions, Transformations and Inverse Functions | 函数、变换与反函数
HL students must confidently handle domain, range, composition, and inverse functions. The notation f⁻¹ denotes the inverse function, which satisfies f(f⁻¹(x)) = x and f⁻¹(f(x)) = x. To find an inverse, write y = f(x), swap x and y, and solve for y. The domain of f⁻¹ is the range of f, and vice versa. Horizontal line test determines whether a function is one-to-one and therefore invertible on its domain.
HL 学生必须熟练掌握定义域、值域、复合函数和反函数。记号 f⁻¹ 表示反函数，满足 f(f⁻¹(x)) = x 和 f⁻¹(f(x)) = x。求反函数时，令 y = f(x)，交换 x 与 y，再解出 y。f⁻¹ 的定义域是 f 的值域，反之亦然。水平线检验用于判断函数是否一一对应，从而在其定义域上可逆。
Transformations of graphs include translations y = f(x + a), vertical stretches y = a f(x), horizontal stretches y = f(ax), and reflections y = −f(x) or y = f(−x). The order of transformations matters: for example, y = 3f(2x − 1) involves a horizontal compression by factor 1/2, a translation right by 1/2, and a vertical stretch by factor 3, but the order of translation and stretch must be applied to the input consistently.
图像变换包括平移 y = f(x + a)、纵向伸缩 y = a f(x)、横向伸缩 y = f(ax)，以及反射 y = −f(x) 或 y = f(−x)。变换的顺序很重要：例如 y = 3f(2x − 1) 包含横向压缩因子 1/2、向右平移 1/2 以及纵向伸缩因子 3，但平移和伸缩作用于自变量时必须顺序一致。
6. Advanced Differentiation and Integration | 高阶微分与积分
HL calculus extends SL differentiation to functions such as aˣ, logₐ x, arcsin x, arccos x, and arctan x. The derivative of aˣ is aˣ ln a, and the derivative of logₐ x is 1/(x ln a). The chain rule, product rule, and quotient rule are essential. Implicit differentiation is used when y is not explicitly expressed as a function of x, and related rates problems link the rates of change of several variables.
HL 微积分将 SL 微分拓展到 aˣ、logₐ x、arcsin x、arccos x 和 arctan x 等函数。aˣ 的导数为 aˣ ln a，logₐ x 的导数为 1/(x ln a)。链式法则、乘积法则和商法则是基础。当 y 没有显式表示为 x 的函数时，使用隐函数求导；相关变化率问题则把多个变量的变化率联系起来。
d/dx (sin⁻¹ x) = 1/√(1 − x²), d/dx (tan⁻¹ x) = 1/(1 + x²)
Integration techniques at HL include integration by substitution, integration by parts, and partial fractions. The formula for integration by parts is ∫ u dv = uv − ∫ v du. Trigonometric identities often simplify integrals such as ∫ sin²x dx and ∫ sin mx cos nx dx. When using substitution, remember to change the limits for definite integrals or substitute back for indefinite integrals.
HL 积分技巧包括换元积分法、分部积分法和部分分式法。分部积分公式为 ∫ u dv = uv − ∫ v du。三角恒等式常用于化简 ∫ sin²x dx 和 ∫ sin mx cos nx dx 等积分。使用换元法时，定积分要同步更换积分限，不定积分则需将变量代回。
7. First-Order Differential Equations | 一阶微分方程
HL candidates solve separable first-order differential equations of the form dy/dx = g(x)h(y). The method separates variables: 1/h(y) dy = g(x) dx, then integrate both sides. After integration, include the constant of integration and use initial conditions to find a particular solution. Interpretations include exponential growth and decay, Newton’s law of cooling, and logistic models.
HL 考生需要求解可分离变量的一阶微分方程，形式为 dy/dx = g(x)h(y)。方法为分离变量：1/h(y) dy = g(x) dx，然后两边积分。积分后要加上积分常数，并利用初始条件求特解。常见应用包括指数增长与衰减、牛顿冷却定律和 logistic 模型。
For example, solve dy/dx = ky with y(0) = y₀. Separating gives 1/y dy = k dx, so ln|y| = kx + C. Exponentiating yields y = A e^(kx), and using y(0) = y₀ gives A = y₀, hence y = y₀ e^(kx). This exponential solution describes continuous growth when k > 0 and decay when k < 0.
例如，求解 dy/dx = ky，且 y(0) = y₀。分离变量得 1/y dy = k dx，积分得 ln|y| = kx + C。取指数得 y = A e^(kx)，代入 y(0) = y₀ 得 A = y₀，因此 y = y₀ e^(kx)。当 k > 0 时，该指数解描述连续增长；当 k < 0 时描述衰减。
8. Maclaurin Series and Limits | 麦克劳林级数与极限
The Maclaurin series is a Taylor series centred at x = 0: f(x) = f(0) + f'(0)x + f”(0)x²/2! + f”'(0)x³/3! + … The HL syllabus requires series for eˣ, sin x, cos x, ln(1 + x), (1 + x)ⁿ, and arctan x. These expansions can approximate function values and evaluate limits, especially when direct substitution gives an indeterminate form such as 0/0.
麦克劳林级数是中心在 x = 0 的泰勒级数：f(x) = f(0) + f'(0)x + f”(0)x²/2! + f”'(0)x³/3! + …。HL 大纲要求掌握 eˣ、sin x、cos x、ln(1 + x)、(1 + x)ⁿ 和 arctan x 的级数展开。这些展开可用于近似函数值和计算极限，特别是直接代入得到 0/0 等未定式时。
eˣ = 1 + x + x²/2! + x³/3! + …, sin x = x − x³/3! + x⁵/5! − …
To evaluate a limit such as lim(x→0) (sin x − x)/x³, expand sin x = x − x³/6 + …, then the numerator becomes −x³/6 + …, so the limit is −1/6. Another technique is l’Hôpital’s rule, which is valid when the limit is of type 0/0 or ∞/∞. However, Maclaurin expansions often give cleaner justification in HL exam questions.
例如求 lim(x→0) (sin x − x)/x³，将 sin x 展开为 x − x³/6 + …，分子变为 −x³/6 + …，因此极限为 −1/6。另一种技巧是洛必达法则，适用于 0/0 或 ∞/∞ 型极限。不过在 HL 考试题中，麦克劳林展开通常能给出更清晰的证明过程。
9. Probability Distributions and Expectation | 概率分布与期望
HL probability includes discrete and continuous random variables, expectation, variance, and probability generating functions. For a discrete random variable X with probabilities P(X = x), the expectation is E(X) = Σ x P(X = x) and the variance is Var(X) = E(X²) − [E(X)]². The binomial distribution B(n, p) and Poisson distribution Po(λ) are studied, including their means and variances.
HL 概率部分涵盖离散和连续随机变量、期望、方差以及概率生成函数。对于离散随机变量 X 及其概率 P(X = x)，期望为 E(X) = Σ x P(X = x)，方差为 Var(X) = E(X²) − [E(X)]²。学习二项分布 B(n, p) 和泊松分布 Po(λ)，包括它们的均值与方差。
Continuous random variables use a probability density function f(x) with ∫ f(x) dx = 1 over the domain. The probability P(a < X < b) is the integral of f(x) from a to b. The normal distribution N(μ, σ²) is central: standardise using Z = (X − μ)/σ and use tables or calculator for probabilities. The central limit theorem underpins approximations of sample means.
连续随机变量使用概率密度函数 f(x)，在其定义域上满足 ∫ f(x) dx = 1。概率 P(a < X < b) 为 f(x) 从 a 到 b 的积分。正态分布 N(μ, σ²) 是核心：使用 Z = (X − μ)/σ 进行标准化，并查表或用计算器求概率。中心极限定理为样本均值的近似提供理论依据。
10. Hypothesis Testing and Confidence Intervals | 假设检验与置信区间
HL statistics requires formal hypothesis tests for means and proportions. State the null hypothesis H₀ and alternative hypothesis H₁, choose a significance level α (often 5%), calculate a test statistic, and compare with a critical value or p-value. For a one-sample z-test for a mean with known variance, the test statistic is z = (x̄ − μ₀)/(σ/√n). For proportions, use z = (p̂ − p₀)/√(p₀(1 − p₀)/n).
HL 统计要求对均值和比例进行正式的假设检验。提出原假设 H₀ 与备择假设 H₁，选择显著性水平 α（通常为 5%），计算检验统计量，并与临界值或 p 值比较。对于已知方差的单样本均值 z 检验，统计量为 z = (x̄ − μ₀)/(σ/√n)。对于比例检验，使用 z = (p̂ − p₀)/√(p₀(1 − p₀)/n)。
A confidence interval gives a range of plausible values for a population parameter. A 95% confidence interval for a population mean with known σ is x̄ ± z* σ/√n, where z* = 1.96. For proportions, the interval is p̂ ± z* √(p̂(1 − p̂)/n). The width of the interval decreases as the sample size n increases, reflecting greater precision.
置信区间给出总体参数的一个合理取值范围。已知 σ 时，总体均值的 95% 置信区间为 x̄ ± z* σ/√n，其中 z* = 1.96。比例的置信区间为 p̂ ± z* √(p̂(1 − p̂)/n)。区间宽度随样本量 n 增大而减小，这反映了精度的提高。
11. Trigonometry and Identities | 三角学与恒等式
HL trigonometry extends SL work to include compound angle formulae, double angle identities, reciprocal and inverse trigonometric functions, and solving equations over specified intervals. Key identities include sin(A ± B), cos(A ± B), tan(A ± B), and the Pythagorean identities sec²θ = 1 + tan²θ, cosec²θ = 1 + cot²θ. These are used to simplify expressions and solve equations analytically.
HL 三角学在 SL 基础上扩展至和角公式、倍角恒等式、倒数与反三角函数，以及在指定区间内解方程。关键恒等式包括 sin(A ± B)、cos(A ± B)、tan(A ± B)，以及毕达哥拉斯恒等式 sec²θ = 1 + tan²θ、cosec²θ = 1 + cot²θ。这些用于化简表达式和解析求解方程。
sin(A + B) = sin A cos B + cos A sin B, cos 2A = cos²A − sin²A
For solving equations such as 2 sin²x + 3 cos x = 3, replace sin²x with 1 − cos²x to obtain a quadratic in cos x. Factorise and solve for cos x, then find all x in the given interval. Always check the domain and discard extraneous solutions, particularly when squaring both sides or using inverse functions.
解诸如 2 sin²x + 3 cos x = 3 的方程时，将 sin²x 替换为 1 − cos²x，得到关于 cos x 的二次方程。因式分解并解出 cos x，然后在给定区间内求出所有 x。务必检查定义域并舍去增根，尤其是在两边平方或使用反函数时。
12. Exam Technique and Common Pitfalls | 考试技巧与常见错误
In HL Mathematics Paper 1 and Paper 2, marks are awarded for method, accuracy, and reasoning. Always show your working clearly, even when using a calculator. Write down formulas or equations you are using, substitute values explicitly, and state final answers to three significant figures unless otherwise specified. For proof questions, do not assume the result; build the argument step by step from definitions or known theorems.
在 HL 数学试卷一和试卷二中，分数按方法、准确性和推理能力评定。即使使用计算器，也要清晰展示解题过程。写出所用公式或方程，明确代入数值，除非另有说明，最终答案保留三位有效数字。对于证明题，不要直接假设结论；应从定义或已知定理出发逐步建立论证。
Common pitfalls include confusing radian and degree mode, omitting the constant of integration, mishandling signs in vector products, and forgetting to test endpoints when solving inequalities. In probability, ensure that the distribution conditions are met before applying a formula. In calculus, check whether a stationary point is a maximum or minimum by using the second derivative or a sign table. Careful reading of command terms such as ‘show’, ‘hence’, ‘find’, and ‘prove’ is essential.
常见错误包括混淆弧度与角度模式、遗漏积分常数、向量积中符号处理错误，以及解不等式时忘记检验端点。在概率中，应用公式前要确保分布条件满足。在微积分中，要通过二阶导数或符号表判断驻点是极大值还是极小值。仔细阅读指令词，如 ‘show’（证明）、’hence’（由此）、’find’（求）和 ‘prove’（证明），至关重要。
Published by TutorHao | IB Mathematics HL Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导