The Higher Level pathway extends the AA SL foundations through advanced algebra, functions, geometry, probability and calculus.
Course units
5
Estimated study time
Not specified
Overall completion0%
Course Overview
IB Mathematics: Analysis and Approaches HL is organized into 5 units and 83 focused topics with 1311 Key Concepts sections, 1048 questions, and 1660 flashcards.
Continue where you left off
Begin with Topic 1.1: Scientific notation and operations with numbers.
Each unit groups focused topics. Every topic follows the same clear rhythm: review Key Concepts, use the Question Bank, then strengthen recall.
Unit 1
Not startedFree preview
Number and Algebra
AA HL includes the common SL foundations in number and algebra, then extends them through counting, generalized binomial expansions, partial fractions, complex numbers, advanced proof and linear systems.
16 topics
Unit 1 progress0%
Topics in this unit
Topic 1.1Not started
Scientific notation and operations with numbers
Scientific notation is a compact, reliable way to represent, compare and calculate with extremely large or small numbers. This guide builds from place value and conversions to arithmetic, significant figures, calculator use and IB-style multi-step problems.
Write every non-zero number in normalized scientific notation a × 10k, where 1 ≤ |a| < 10 and k is an integer.
Convert accurately between ordinary decimal notation, scientific notation and calculator E-notation.
Multiply, divide and raise scientific-notation values to integer powers using exponent laws.
Add and subtract scientific-notation values by first expressing them with a common power of ten.
Round values to a stated number of significant figures and communicate trailing significant zeros clearly.
Use a scientific calculator efficiently while retaining guard digits until the final answer.
Estimate orders of magnitude and use them to check whether a calculated result is reasonable.
Present IB exam solutions with correct working, notation, accuracy and units.
Key formulas
Normalized scientific notation
N=a×10k,1≤∣a∣<10,k∈Z
Multiplication rule
(a×10m)(b×10n)=(ab)×10m+n
Division rule
b×10na×10m=ba×10m−n,b=0
Power rule
(a×10m)p=ap×10mp
Addition with a common exponent
a×10k+b×10k=(a+b)×10k
Subtraction with a common exponent
a×10k−b×10k=(a−b)×10k
Calculator E-notation
aEk=a×10k
Topic 1.2Not started
Arithmetic sequences and series
Arithmetic sequences model quantities that change by the same additive amount each step. This guide develops common differences, nth terms, finite sums, sigma notation and IB-style applications from first principles.
Recognize an arithmetic sequence and calculate its common difference from consecutive or non-consecutive terms.
Use recurrence notation and the nth-term formula to generate and find terms.
Determine an unknown first term, common difference, term number or number of terms from given information.
Distinguish an arithmetic sequence from an arithmetic series and calculate the sum of a finite number of terms.
Represent and evaluate finite arithmetic sums using sigma notation.
Build and interpret arithmetic models for real-world situations with constant additive change.
Use calculator tables, summation tools and equation solvers efficiently while checking integer constraints.
Present IB exam solutions with clear formulas, substitutions, units and reasonableness checks.
Key formulas
Common difference
d=un+1−un
Recursive definition
u1=a,un+1=un+d
Arithmetic nth term
un=u1+(n−1)d
Common difference from two terms
d=q−puq−up,p=q
Term number
n=1+dun−u1,d=0
Arithmetic series using first and last terms
Sn=2n(u1+un)
Arithmetic series using the common difference
Sn=2n[2u1+(n−1)d]
Arithmetic series in sigma notation
Sn=r=1∑n[u1+(r−1)d]
Equivalent zero-based indexing
Sn=r=0∑n−1(u1+rd)
Topic 1.3Not started
Geometric sequences and series
Geometric sequences change by a constant ratio. AA HL questions may connect geometric growth or decay to repeated percentage change, modelling and series notation.
Use the nth-term formula and finite geometric sum.
Recognize when a geometric model is appropriate in context.
Key formulas
Common ratio
r=unun+1,un=0
Recursive definition
u1=a,un+1=run
Geometric nth term
un=u1rn−1
Ratio from two terms
rq−p=upuq
Term number for a positive ratio
n=1+lnrln(u1un),r>0,r=1,u1=0,u1un>0
Finite geometric sum
Sn=1−ru1(1−rn),r=1
Equivalent finite-sum form
Sn=r−1u1(rn−1),r=1
Special case r = 1
Sn=nu1
Infinite geometric sum
S∞=1−ru1,∣r∣<1
Remainder after n terms
Rn=S∞−Sn=1−ru1rn,∣r∣<1
Finite geometric series in sigma notation
Sn=k=0∑n−1u1rk
Infinite geometric series in sigma notation
k=0∑∞u1rk=1−ru1,∣r∣<1
Repeated growth or decay
Qt=Q0rt
Topic 1.4Not started
Financial applications (current syllabus)
Financial mathematics applies exponential growth and decay to money over repeated periods. Students should understand how percentage rate, number of compounding periods and time units interact.
Model compound interest and repeated percentage growth.
Model depreciation and interpret the value after a given number of periods.
Translate annual, monthly or other periodic information consistently before substituting.
Key formulas
Simple interest earned
I=Prt
Simple-interest balance
A=P(1+rt)
Percentage multiplier
growth: 1+100p,decay: 1−100p
Compound future value
FV=PV(1+i)n
Periodic rate from two values
i=(PVFV)n1−1,n>0,PV=0,PVFV>0
Number of periods
n=ln(1+i)ln(FV/PV)PV=0,FV/PV>0,i>−1,i=0
Nominal-rate compound interest
FV=PV(1+mr)mt
Periodic rate and period count
i=mr,n=mt
Effective annual rate
EAR=(1+mr)m−1
Present value of one future amount
PV=(1+i)nFV=FV(1+i)−n
Appreciation
Vn=V0(1+a)n
Reducing-balance depreciation
Vn=V0(1−d)n
Future value of an ordinary annuity
FV={Ri(1+i)n−1,nR,i=0i=0
Future value of an annuity due
FVdue={Ri(1+i)n−1(1+i),nR,i=0i=0
Deposit required for a target
R={FV(1+i)n−1i,FV/n,i=0i=0
Present value of loan repayments
PV={Ri1−(1+i)−n,nR,i=0i=0
Periodic loan repayment
R={PV1−(1+i)−ni,PV/n,i=0i=0
Outstanding balance after k payments
Bk={PV(1+i)k−Ri(1+i)k−1,PV−kR,i=0i=0
Total interest on equal repayments
Itotal=Rn−PV
Topic 1.5Not started
Integer exponents and introduction to logarithms
This section links exponent rules to logarithms and introduces logarithms as inverse operations. Technology can be used for numerical evaluation, but students should understand what a logarithm represents.
Evaluate common logarithms and natural logarithms numerically.
Connect exponential equations with logarithmic notation.
Key formulas
Positive integer exponent
an=n factorsa⋅a⋯a,n∈N
Zero exponent
a0=1,a=0
Negative integer exponent
a−n=an1,a=0
Product law
aman=am+n
Quotient law
anam=am−n,a=0
Power of a power
(am)n=amn
Power of a product
(ab)n=anbn
Power of a quotient
(ba)n=bnan,b=0
Moving a negative power across a fraction bar
b−na−m=ambn,a,b=0
Exponential-logarithmic equivalence
ac=b⟺logab=c
Common and natural logarithms
logx=log10x,lnx=logex
Inverse identities
loga(ax)=x,alogax=x(x>0)
Product property
loga(xy)=logax+logay
Quotient property
loga(yx)=logax−logay
Power property
loga(xk)=klogax
Useful exact values
loga1=0,logaa=1
Common-base principle
af(x)=ag(x)⟹f(x)=g(x),a>0,a=1
Solving a basic exponential equation
ax=b⟹x=lnalnb,a>0,a=1,b>0
Single logarithm equation
logaf(x)=c⟺f(x)=ac,f(x)>0
Equality of logarithms
logaf(x)=logag(x)⟹f(x)=g(x),f(x),g(x)>0
Change-of-base formula
logab=logalogb=lnalnb
Topic 1.6Not started
Simple deductive proof
AA HL expects students to justify mathematical statements rather than rely only on numerical evidence. Proof questions are usually short, but notation and logical flow matter.
Build a numerical or algebraic argument from accepted facts.
Show a clear chain of equivalences or implications.
Distinguish an equation that is true for particular values from an identity that is true throughout its domain.
Key formulas
Implication structure
P⇒Q
Universal statement
∀n∈S,P(n)
Even integer
n=2k,k∈Z
Odd integer
n=2k+1,k∈Z
Divisibility
d∣n⟺n=dk for some k∈Z
Consecutive integers
n,n+1,n+2,…(n∈Z)
Direct-proof chain
P⟹R1⟹R2⟹⋯⟹Q
Identity notation
f(x)≡g(x)
Difference of squares
A2−B2=(A−B)(A+B)
Square is non-negative
u2≥0for every u∈R
Even target form
E=2K,K∈Z
Odd target form
O=2K+1,K∈Z
Odd-square result
n odd⟹n2≡1(mod8)
Divisibility target
d∣N⟺N=dK for some K∈Z
Linear-combination property
d∣a∧d∣b⟹d∣(ra+sb),r,s∈Z
Consecutive integers
n,n+1,n+2
Consecutive even integers
2k,2k+2,2k+4
Consecutive odd integers
2k+1,2k+3,2k+5
Counterexample test
P(c) true and Q(c) false⟹∀x[P(x)⇒Q(x)] is false
Topic 1.7Not started
Rational exponents and logarithm laws
Students extend exponent rules to rational powers and use logarithm laws to simplify expressions and solve exponential equations. This topic appears frequently inside function and calculus questions as well.
An infinite geometric series has a finite sum only when its terms shrink fast enough. Students must identify convergence before applying the sum formula.
Find the limiting sum of a convergent geometric series.
Use an infinite series model in an applied or algebraic context.
Key formulas
Infinite geometric series
a+ar+ar2+ar3+⋯
Partial sum notation
Sn=k=0∑n−1ark
Common ratio
r=unun+1
Geometric term
un=arn−1
Geometric convergence condition
∣r∣<1⟺−1<r<1
Vanishing powers
∣r∣<1⟹rn→0
Finite geometric sum
Sn=1−ra(1−rn)
Sum to infinity
S∞=1−ra,∣r∣<1
First term from the sum
a=S∞(1−r)
Ratio from first term and sum
r=1−S∞a,S∞=0
Term condition
un=arn−1
Remainder after n terms
Rn=S∞−Sn=1−rarn
Approximation relation
S∞=Sn+Rn
Bouncing-ball distance
D=h+1−q2hq=h(1−q1+q)
Repeated fixed contribution
A∞=1−rd,∣r∣<1
Two-digit recurring decimal
0.ab=9910a+b,a,b∈{0,1,…,9}
Partial-sum calculator entry
Sn=1−ra(1−rn)
Solver interval
−1<r<1
Convergence and sum
∣r∣<1⟹S∞=1−ra
Term and remainder
un=arn−1,Rn=1−rarn
Topic 1.9Not started
Binomial theorem
The binomial theorem provides a systematic expansion of powers such as (a+b)n. Students should be able to identify individual terms without expanding the entire expression.
Find a specified term or coefficient in an expansion.
Connect the general term with powers of the two binomial components.
Key formulas
Binomial theorem
(a+b)n=r=0∑n(rn)an−rbr
Number of formal binomial summands
formal summands before collection=n+1
Pascal recurrence
(rn)=(r−1n−1)+(rn−1)
Coefficient symmetry
(rn)=(n−rn)
Row sum
r=0∑n(rn)=2n
Combination formula
(rn)=r!(n−r)!n!
Factorial
n!=n(n−1)(n−2)⋯2⋅1,0!=1
Boundary values
(0n)=(nn)=1
Expanded form
(a+b)n=(0n)an+(1n)an−1b+⋯+(nn)bn
Exponent check
(n−r)+r=n
General term
Tr+1=(rn)an−rbr
pth-term index
r=p−1
Coefficient method
power of x=k⟹solve for r
Quadratic coefficient
(2n)=2n(n−1)
Constant-term condition
net exponent of x=0
Admissible index
r∈{0,1,2,…,n}
Sum of coefficients
k=0∑nck=P(1)
Alternating coefficient sum
k=0∑n(−1)kck=P(−1)
GDC term calculation
(rn)an−rbr
Core theorem
(a+b)n=r=0∑n(rn)an−rbr
Target term
Tr+1=(rn)an−rbr
Constant condition
net power of x=0
Topic 1.10Not started
Counting principles and the extended binomial theorem
Higher Level extends counting beyond the coefficients used in ordinary binomial expansion. Students distinguish arrangements from selections, use factorial notation efficiently and apply generalized binomial expansions when the exponent is not a non-negative integer.
Use systematic counting principles to determine the number of possible outcomes without double-counting.
Distinguish permutations, where order matters, from combinations, where order does not matter.
Use factorial notation and calculate nPr and nCr values analytically or with technology where appropriate.
Use the generalized binomial expansion for rational, fractional or negative exponents and identify a required coefficient or term.
Recognize the interval/condition under which an infinite binomial expansion is valid.
Key formulas
Fundamental counting principle
N=m1m2⋯mk
Sum rule for disjoint cases
N=N1+N2+⋯+Nk
Factorial definition
n!=n(n−1)(n−2)⋯2⋅1
Zero factorial
0!=1
Useful cancellation
(n−r)!n!=n(n−1)⋯(n−r+1)
Arrange all distinct objects
N=n!
Permutations of r from n
nPr=(n−r)!n!
Combination formula
(rn)=nCr=r!(n−r)!n!
Combination symmetry
(rn)=(n−rn)
Permutation-combination link
nPr=r!(rn)
Arrangements with identical objects
N=n1!n2!⋯nk!n!
Sequences with repetition allowed
N=kr
Complement count
N(valid)=N(all)−N(forbidden)
Finite binomial theorem
(a+b)n=r=0∑n(rn)an−rbr
Finite general term
Tr+1=(rn)an−rbr
Pascal identity
(rn)=(r−1n−1)+(rn−1)
Generalized binomial coefficient
(rα)=r!α(α−1)⋯(α−r+1)
Extended binomial theorem
(1+x)α=r=0∑∞(rα)xr,∣x∣<1
First four terms
(1+x)α=1+αx+2!α(α−1)x2+3!α(α−1)(α−2)x3+⋯
Negative upper coefficient
(r−m)=(−1)r(rm+r−1)
Normalized binomial
(a+bx)α=aα(1+abx)α
Resulting validity condition
abx<1
Extended general term
Tr+1=(rα)ur
General term after normalization
Tr+1=aα(rα)(abx)r
Standard convergence condition
∣x∣<1
Substituted convergence condition
∣g(x)∣<1
Truncated approximation
(1+x)α≈r=0∑k(rα)xr
Generalized coefficient recurrence
(r+1α)=(rα)r+1α−r
Plausibility bound for a restriction
0≤N(valid)≤N(all)
Counting decision
order matters⇒nPr,order does not matter⇒(rn)
Extended-expansion checklist
(a+bx)α=aα(1+u)α,u=abx,∣u∣<1
Ordered selection
nPr=(n−r)!n!
Unordered selection
(rn)=r!(n−r)!n!
Factorial
n!=n(n−1)⋯2⋅1,0!=1
Permutation and combination
nPr=(n−r)!n!,(rn)=r!(n−r)!n!
Repeated objects
N=n1!n2!⋯nk!n!
Extended binomial theorem
(1+u)α=r=0∑∞(rα)ur,∣u∣<1
Generalized coefficient
(rα)=r!α(α−1)⋯(α−r+1)
Topic 1.11Not started
Partial fractions
Partial fractions reverse the process of combining rational expressions. The technique is important because a complicated rational function can often be rewritten as a sum of simpler fractions that is easier to integrate, simplify or analyze.
Check whether a rational expression is proper before decomposing it; use polynomial division first if necessary.
Factor the denominator and choose a decomposition that matches its factor structure.
Solve for unknown constants by equating coefficients or substituting convenient values.
Use the decomposition later in algebraic simplification and integration problems.
Key formulas
Basic decomposition identity
Q(x)P(x)=k=1∑mFk(x)Nk(x)
Polynomial division form
P(x)=Q(x)S(x)+R(x)
Improper rational expression
Q(x)P(x)=S(x)+Q(x)R(x)
Remainder condition
degreeR<degreeQ
Repeated linear factor template
x−aA1+(x−a)2A2+⋯+(x−a)mAm
Irreducible quadratic template
ax2+bx+cBx+C
Quadratic irreducibility test
b2−4ac<0
Two distinct linear factors
(x−a)(x−b)P(x)=x−aA+x−bB
Cover-up coefficient
A=(x−a)Q(x)P(x)x=a
Repeated linear decomposition
(x−a)mR(x)P(x)=x−aA1+⋯+(x−a)mAm+terms from R(x)
Highest-power coefficient
Am=R(x)P(x)x=a
Irreducible quadratic contribution
ax2+bx+cBx+C
Repeated quadratic contribution
j=1∑mq(x)jBjx+Cj
Coefficient at a simple root
A=x→alim(x−a)Q(x)P(x)
Highest repeated coefficient
Am=x→alim(x−a)mQ(x)P(x)
Polynomial coefficient identity
anxn+⋯+a0=bnxn+⋯+b0⇒ak=bk
Reconstruction check
k=1∑mFk(x)Nk(x)=Q(x)Fk(x)k=1∑mNk(x)Q(x)
Linear-factor integral
∫x−aAdx=Aln∣x−a∣+C
Basic telescoping decomposition
n(n+1)1=n1−n+11
Complete workflow
divide→factor→template→clear→solve→verify
Reasonableness identity
P(x)=?k=1∑mNk(x)Fk(x)Q(x)
Distinct linear template
x−aA+x−bB
Repeated linear template
j=1∑m(x−a)jAj
Quadratic template
ax2+bx+cBx+C
Improper-expression step
QP=S+QR,degreeR<degreeQ
Distinct linear factors
(x−a)(x−b)P(x)=x−aA+x−bB
Repeated linear factor
j=1∑m(x−a)jAj
Repeated irreducible quadratic
j=1∑mq(x)jBjx+Cj
Topic 1.12Not started
Complex numbers in Cartesian form
Complex numbers extend the real number system so that equations such as x2+1=0 have solutions. Students work algebraically with a + bi form and geometrically with points and vectors in the Argand plane.
Use i2=−1 to simplify powers of i and arithmetic involving complex numbers.
Identify the real part, imaginary part, conjugate, modulus and argument of a complex number.
Add, subtract, multiply and divide complex numbers in Cartesian form.
Represent complex numbers on an Argand diagram and interpret modulus as distance from the origin.
Use the conjugate to simplify quotients and connect complex roots with polynomial equations.
Key formulas
Imaginary unit
i2=−1
Cartesian form
z=a+bi
Set of complex numbers
C={a+bi:a,b∈R}
Real part
Re(a+bi)=a
Imaginary part
Im(a+bi)=b
Real-number condition
z∈R⟺Im(z)=0
Complex equality
a+bi=c+di⟺a=c and b=d
Addition
(a+bi)+(c+di)=(a+c)+(b+d)i
Subtraction
(a+bi)−(c+di)=(a−c)+(b−d)i
Four-power cycle
i0=1,i1=i,i2=−1,i3=−i,i4=1
Periodicity
in+4=in
Inverse of i
i−1=−i
Complex multiplication
(a+bi)(c+di)=(ac−bd)+(ad+bc)i
Complex square
(a+bi)2=(a2−b2)+2abi
Conjugate
a+bi=a−bi
Sum with conjugate
z+z=2Re(z)
Difference from conjugate
z−z=2iIm(z)
Conjugate product
zz=a2+b2
Conjugate of a product
zw=zw
Complex quotient
c+dia+bi=c2+d2(ac+bd)+(bc−ad)i
Complex reciprocal
a+bi1=a2+b2a−bi
Modulus
∣a+bi∣=a2+b2
Modulus squared
∣z∣2=zz
Distance
d(z1,z2)=∣z1−z2∣
Product modulus
∣zw∣=∣z∣∣w∣
Triangle inequality
∣z+w∣≤∣z∣+∣w∣
Argand coordinate
z=a+bi⟷(a,b)
Conjugate reflection
a+bi⟷a−bi
Displacement
z1−z2
Square in Cartesian form
(a+bi)2=(a2−b2)+2abi
Quadratic formula
z=2a−b±b2−4ac
Conjugate factor pair
(x−(a+bi))(x−(a−bi))=(x−a)2+b2
Quadratic from conjugate roots
x2−2ax+(a2+b2)=0
Circle locus
∣z−c∣=r
Equidistance locus
∣z−z1∣=∣z−z2∣
Universal arithmetic check
computed answersubstitutionoriginal equation
Core Cartesian workflow
expand→use i2=−1→collect real and imaginary parts
Conjugate
z=a−bi
Modulus
∣z∣=a2+b2
Division
c+dia+bi=c2+d2(ac+bd)+(bc−ad)i
Topic 1.13Not started
Polar, cis and exponential forms of complex numbers
Polar form separates a complex number into its modulus and direction. It is especially efficient for multiplication, division, powers and roots, where geometric rotation and scaling become visible.
De Moivre’s theorem makes powers and roots of complex numbers systematic. Students also use the conjugate-root property of real-coefficient polynomials to connect complex solutions back to algebraic equations.
Use the fact that non-real roots of a polynomial with real coefficients occur in conjugate pairs.
Apply De Moivre’s theorem to calculate powers exactly.
Find all nth roots of a complex number and display their regular angular spacing on an Argand diagram.
Use polar form to solve equations involving powers of complex numbers.
Key formulas
Complex conjugate
a+bi=a−bi
Conjugate product
zz=∣z∣2=a2+b2
Conjugate in polar form
rcisθ=rcis(−θ)
Conjugation of a real polynomial
p(z)=p(z)
Conjugate-root implication
p(z)=0⟹p(z)=0
Conjugate factor pair
(x−(a+bi))(x−(a−bi))=(x−a)2+b2
Expanded real quadratic
x2−2ax+(a2+b2)
Repeated conjugate factor
((x−a)2+b2)m
De Moivre's theorem
(rcisθ)n=rncis(nθ)
Unit-modulus form
(cosθ+isinθ)n=cos(nθ)+isin(nθ)
Exponential equivalent
(reiθ)n=rneinθ
Power modulus
∣zn∣=∣z∣n
Power argument
arg(zn)=nargz(mod2π)
Triple-angle cosine
cos3θ=4cos3θ−3cosθ
Triple-angle sine
sin3θ=3sinθ−4sin3θ
Nth-root formula
zk=Rn1cis(nθ+2kπ),k=0,1,…,n−1
Root modulus
∣zk∣=Rn1
Root angular spacing
Δθ=n2π
Root angles
ϕk=nθ+2kπ
Root check
(zk)n=w
Root circle
∣z∣=Rn1
Consecutive-root rotation
zk+1=zkcisn2π
Root sum
k=0∑n−1zk=0,n>1
Nth roots of unity
ωk=cisn2kπ,k=0,1,…,n−1
Root-of-unity equation
zn−1=0
Primitive-root condition
gcd(k,n)=1
Sum of nth roots of unity
k=0∑n−1ωk=0,n>1
Factor theorem
p(α)=0⟺(x−α) is a factor of p(x)
Root-count rule
degp=n⟹n complex roots counting multiplicity
Shifted power substitution
(z−a)n=wwith u=z−a
Root-family completeness
k=0,1,…,n−1
Numerical root check
∣p(zk)∣≈0
Geometric root check
∣zk∣=Rn1,argzk+1−argzk=n2π
Power checklist
rcisθnrncis(nθ)
Root checklist
Rcisθnth rootsRn1cis(nθ+2kπ)
Complete workflow
identify theorem→polar form→power or roots→complete set→verify
Conjugate-root factor
(x−(a+bi))(x−(a−bi))=(x−a)2+b2
Nth roots
zk=Rn1cis(nθ+2kπ)
Roots of unity
ωk=cisn2kπ
Topic 1.15Not started
Proof by induction, contradiction and counterexample
Higher Level expects students to communicate proof with explicit logical structure. Induction establishes a statement for every integer in a sequence of cases; contradiction assumes the opposite and derives an impossibility; a counterexample disproves a universal statement by finding one valid exception.
identify quantifier→choose method→justify every step→state conclusion
Induction structure
P(n0);P(k)⟹P(k+1);∴P(n) for all n≥n0
Contradiction structure
¬S⟹⊥∴S
Counterexample structure
c∈D,P(c) is false∴∀x∈D,P(x) is false
Topic 1.16Not started
Systems of linear equations
Students solve and interpret systems of two or three linear equations using algebra, matrices, Gaussian elimination and technology. They distinguish unique, inconsistent and dependent systems, including parameter cases, and connect row structure with the geometry of lines and planes.
Functions are a central organizing idea in AA HL. The SL core develops function notation, transformations, inverses, quadratics and exponential/logarithmic behaviour; Higher Level extends this to general polynomials, more complicated rational functions, parity, inequalities and transformations that substantially change graph structure.
16 topics
Unit 2 progress0%
Topics in this unit
Topic 2.1Not started
Equations of straight lines
Students revisit coordinate geometry through gradient, intercepts and relationships between lines. These skills recur in tangent/normal questions in calculus.
Find a line from points, gradient or intercept information.
Recognize parallel lines from equal gradients.
Use the negative reciprocal gradient relationship for perpendicular non-vertical lines.
Key formulas
Gradient from two points
m=ΔxΔy=x2−x1y2−y1,x2=x1
Gradient-intercept form
y=mx+c
Intercepts of y = mx + c
y-intercept:(0,c),x-intercept:(−mc,0),m=0
Point-slope form
y−y1=m(x−x1)
Two-point equation
y−y1=x2−x1y2−y1(x−x1),x2=x1
Parallel-line condition
m1=m2
Perpendicular-line condition
m1m2=−1⟺m2=−m11
Intercept method for \(ax+by=d\)
x-intercept=(ad,0),y-intercept=(0,bd)
Generic linear model
output=rate×input+initial value
Topic 2.2Not started
The concept of a function
A function connects permitted inputs to outputs according to a rule. Students should treat domain and range as part of the definition, not as optional graph labels.
Understand inverse functions graphically and algebraically, including the reflection in y=x where an inverse exists.
Key formulas
Function mapping
f:A→B,x↦f(x)
Output notation
y=f(x)
Evaluating a function
f(a)=f(x)∣x=a
Domain notation
Dom(f)={x:f(x) is defined}
Range notation
Ran(f)={f(x):x∈Dom(f)}
Graph coordinates
(x,y)=(x,f(x))
Sideways parabola example
x=y2⟹y=±x
Topic 2.3Not started
Graphs of functions
Students sketch and interpret graphs from equations, tables, contexts and given features. Technology may be used to explore more complicated graphs, but sketches should still communicate essential shape and behavior.
A graph communicates far more than individual points. AA HL questions often require students to identify intercepts, extrema, asymptotes, intervals, symmetry or intersections and use these features to solve a problem.
Use the identity relationship between a function and its inverse.
Check domain restrictions that may arise under composition or inversion.
Key formulas
Composite notation
(f∘g)(x)=f(g(x))
Reversed order
(g∘f)(x)=g(f(x))
Substitution pattern
f(u) with u=g(x)⟹f(g(x))
Composite domain
Dom(f∘g)={x∈Dom(g):g(x)∈Dom(f)}
Reversed mapping
f(a)=b⟺f−1(b)=a
Inverse construction
y=f(x)swap x,yx=f(y)solve for yy=f−1(x)
First inverse identity
(f∘f−1)(x)=f(f−1(x))=x
Second inverse identity
(f−1∘f)(x)=f−1(f(x))=x
Algebraic one-to-one condition
f(a)=f(b)⟹a=b
Inverse domain
Dom(f−1)=Ran(f)
Inverse range
Ran(f−1)=Dom(f)
Inverse graph reflection
(a,b)∈f⟺(b,a)∈f−1
Fixed-point condition
f(x)=x
Numerical inverse value
f−1(k)=a⟺f(a)=k
Composition
(f∘g)(x)=f(g(x))
Inverse mapping
f(a)=b⟺f−1(b)=a
Inverse identities
f(f−1(x))=x,f−1(f(x))=x
Domain and range swap
Dom(f−1)=Ran(f),Ran(f−1)=Dom(f)
Graph reflection
(a,b)↦(b,a) across y=x
Topic 2.6Not started
Quadratic functions
Quadratics are studied in several equivalent forms, each revealing different graph information. Efficient students choose the form that matches the question.
Use standard form for coefficients and the y-intercept.
Use factored form for roots/x-intercepts.
Use vertex form for the turning point and transformations.
Key formulas
General quadratic form
f(x)=ax2+bx+c,a=0
Standard form
f(x)=ax2+bx+c
Factorized form
f(x)=a(x−p)(x−q)
Vertex form
f(x)=a(x−h)2+k
y-intercept
f(0)=c⟹(0,c)
Roots from factorized form
a(x−p)(x−q)=0⟹x=p or x=q
Vertex input
xv=−2ab
Vertex
(−2ab,f(−2ab))
Axis from two roots
x=2p+q
Square completion identity
x2+bx=(x+2b)2−(2b)2
Standard-to-vertex conversion
ax2+bx+c=a(x+2ab)2+c−4ab2
Zero-product rule
AB=0⟹A=0 or B=0
Quadratic formula
x=2a−b±b2−4ac
Discriminant
Δ=b2−4ac
Root classification
Δ>0:2 distinct real roots;Δ=0:1 repeated real root;Δ<0:0 real roots
Root as graph feature
f(x)=0⟺(x,0) lies on y=f(x)
Intersection equation
f(x)=g(x)
Upward-opening range
a>0:Ran(f)=[k,∞)
Downward-opening range
a<0:Ran(f)=(−∞,k]
Transformation form
f(x)=a(x−h)2+k
Optimization input
xopt=−2ab
Standard form
f(x)=ax2+bx+c,a=0
Axis and vertex input
x=−2ab
Completing the square
x2+bx=(x+2b)2−(2b)2
Topic 2.7Not started
Quadratic equations and inequalities
Students solve quadratic equations by factorization, completing the square, the quadratic formula or technology when appropriate. The discriminant provides information about the number of real roots.
Solve equations and inequalities and express the solution correctly.
Use the discriminant to classify roots.
Relate algebraic solutions to graph intersections and sign intervals.
Key formulas
Standard quadratic equation
ax2+bx+c=0,a=0
Zero-product principle
PQ=0⟹P=0orQ=0
Roots from factored form
a(x−p)(x−q)=0⟹x=porx=q
Repeated factor
a(x−p)2=0⟹x=p
Completing-the-square identity
x2+bx=(x+2b)2−(2b)2
Square-root step
u2=k,k>0⟹u=±k
Quadratic formula
x=2a−b±b2−4ac
Discriminant
Δ=b2−4ac
Two distinct real roots
Δ>0
One repeated real root
Δ=0
No real roots
Δ<0
Exact-to-approximate reporting
x=2a−b±Δ⟹x≈x1,x2
Graphical root condition
f(x)=0⟺(x,0)lies ony=f(x)
Strict interval endpoints
x<porx>q⟺(−∞,p)∪(q,∞)
Inclusive interval
p≤x≤q⟺[p,q]
Union of outside intervals
(−∞,p)∪(q,∞)
All real numbers except a point
R∖{p}=(−∞,p)∪(p,∞)
Empty solution set
∅
Above the x-axis
f(x)>0
One graph above another
f(x)>g(x)⟺f(x)−g(x)>0
Intersection equation
f(x)=g(x)⟺f(x)−g(x)=0
Tangency condition
Δ=0
GDC equation entry
Y1=ax2+bx+c
GDC intersection entry
Y1=f(x),Y2=g(x)
Sum of roots check
x1+x2=−ab
Product of roots check
x1x2=ac
Root relationships
x1+x2=−ab,x1x2=ac
Interval notation reminder
<,>:exclude roots;≤,≥:include roots
Topic 2.8Not started
Reciprocal and rational functions
Reciprocal and simple rational functions introduce excluded values and asymptotic behavior. Students should connect the algebraic denominator with graph restrictions.
Understand the reciprocal function and its self-inverse property.
Sketch or analyze simple linear-over-linear rational functions.
Identify vertical and horizontal asymptotes from the function structure.
Key formulas
General rational function
f(x)=Q(x)P(x),Q(x)=0
Reciprocal identity
x⋅x1=1,x=0
Basic reciprocal function
f(x)=x1,x=0
Odd symmetry
f(−x)=−f(x)
Self-inverse property
f−1(x)=f(x)=x1
Parent reciprocal domain and range
Df=R∖{0},Rf=R∖{0}
Transformed reciprocal domain and range
Df=R∖{h},Rf=R∖{k}
Transformed reciprocal asymptotes
y=x−ha+k⟹x=h,y=k
Centre
(h,k)
x-intercept condition
Q(x)P(x)=0⟺P(x)=0,Q(x)=0
y-intercept
(0,f(0))
Transformed reciprocal
f(x)=x−ha+k,a=0
Point from an offset
x=h+t⟹y=k+ta,t=0
Linear-over-linear function
f(x)=cx+dax+b,c=0
Vertical asymptote candidate
x=−cd
Horizontal asymptote
y=ca
Hyperbola condition
ad−bc=0
Linear-over-linear transformed form
cx+dax+b=c2(x+cd)bc−ad+ca
Centre from coefficients
(−cd,ca)
Cancelled-factor model
(x−r)Q(x)(x−r)P(x)=Q(x)P(x),x=r
Rational-equation workflow
restrictions⟶clear denominators⟶solve⟶check
Intersection condition
f(x)=g(x)
Intersection coordinates
(x,f(x))=(x,g(x))
Inverse variation
y=xk,k=0
Average-cost model
C(x)=xF+v
Fixed-distance time
t=vd
GDC entry pattern
Y1=Q(X)P(X)
Numerical intersection
Y1=Y2
Parent reciprocal
f(x)=x1
Transformed reciprocal
f(x)=x−ha+k
Transformed asymptotes
x=h,y=k
Linear-over-linear asymptotes
x=−cd,y=ca
x-intercept condition
P(x)=0,Q(x)=0
Topic 2.9Not started
Exponential and logarithmic functions
Exponential and logarithmic functions are inverse families and are central to growth, decay and calculus. Students should recognize their domains, ranges and characteristic graph shapes.
Use inverse relationships to solve and interpret equations.
Key formulas
Basic exponential function
f(x)=ax,a>0,a=1
Scaled exponential function
f(x)=Aax
Natural exponential function
f(x)=ex,e≈2.71828
Basic exponential domain and range
D=R,R=(0,∞)
Basic exponential intercept
a0=1⟹(0,1)
Basic exponential asymptote
y=0
Discrete exponential model
A=A0bt
Growth condition
b>1
Decay condition
0<b<1
Percentage growth
A=A0(1+r)n
Percentage decay
A=A0(1−r)n
Compound interest
A=P(1+mr)mt
Continuous model
A=A0ekt
Discrete-continuous connection
b=ek,k=lnb
Doubling time
T2=kln2,k>0
Half-life
T21=∣k∣ln2,k<0
Exponential-logarithmic equivalence
logax=y⟺ay=x
Logarithm restrictions
a>0,a=1,x>0
Fundamental values
loga1=0,logaa=1
Natural inverse identities
ln(ex)=x,elnx=x(x>0)
Basic logarithmic domain and range
D=(0,∞),R=R
Basic logarithmic intercept
loga1=0⟹(1,0)
Basic logarithmic asymptote
x=0
Inverse pair
f(x)=ax,f−1(x)=logax
Inverse compositions
loga(ax)=x,alogax=x(x>0)
Reflected points
(p,q)⟷(q,p)
Product law
loga(MN)=logaM+logaN
Quotient law
loga(NM)=logaM−logaN
Power law
loga(Mp)=plogaM
Argument conditions
M>0,N>0
Change of base
logax=logbalogbx=lnalnx
Common calculator form
logax=logalogx
Equal-base principle
au=av⟹u=v
General exponential solution
ax=b⟹x=lnalnb
Natural exponential solution
ekx=c⟹x=klnc
Single-log equation
logaF(x)=c⟺F(x)=ac
Equal-log principle
logaM=logaN⟹M=N
Logarithmic domain
M>0,N>0
Transformed exponential
y=AaB(x−h)+k
Exponential asymptote
y=k
Transformed logarithm
y=Aloga(B(x−h))+k
Logarithmic domain condition
B(x−h)>0
Time to a target
A0bt=T⟹t=lnbln(A0T)
Continuous time to a target
A0ekt=T⟹t=kln(A0T)
Half-life model
A=A0(21)ht
Intersection method
Y1=F(x),Y2=G(x)
Root method
Y1=F(x)−G(x)
Approximation notation
x=ln3ln7−1≈0.771
Logarithmic validity check
every original argument>0
Topic 2.10Not started
Solving equations graphically and analytically
AA HL encourages students to choose the most efficient representation. Some equations are best solved symbolically; others are naturally solved by finding graph intersections or roots using technology.
Solve equations by algebra when an exact method is accessible.
Use graphs or numerical methods appropriately when technology is expected.
Check the solution against domain and context.
Key formulas
Equation solution condition
L(x)=R(x)
Root form
f(x)=0
Equivalent intersection form
F(x)=G(x)⟺F(x)−G(x)=0
Intersection equation
Y1=F(x),Y2=G(x)
Equivalent zero equation
Y1=F(x)−G(x)
Root coordinate
f(r)=0⟺(r,0) lies on y=f(x)
Addition property
A=B⟹A+C=B+C
Non-zero multiplication property
A=B⟹kA=kB,k=0
Verification
L(xcandidate)=?R(xcandidate)
General linear equation
ax+b=cx+d
Linear solution
x=a−cd−b,a=c
Parallel-line condition
a=c,b=d
Quadratic equation
ax2+bx+c=0,a=0
Quadratic formula
x=2a−b±b2−4ac
Discriminant
Δ=b2−4ac
Root classification
Δ>0:2 roots;Δ=0:1 repeated root;Δ<0:0 real roots
Root condition
f(r)=0
Crossing sign test
f(a)f(b)<0
Repeated quadratic factor
f(x)=(x−r)2g(x)
Intersection condition
F(x)=G(x)
Intersection point
(r,F(r))=(r,G(r))
Restricted solution set
{x:F(x)=G(x)}∩D
Equal-base principle
au=av⟹u=v
Logarithmic solution
ax=b⟹x=lnalnb
Positive substitution
u=ax,u>0
Logarithmic equivalence
logaF(x)=c⟺F(x)=ac
Equal-log principle
logaM=logaN⟹M=N
Domain requirement
M>0,N>0
Rational restriction
D(x)=0
Zero of a rational expression
D(x)N(x)=0⟺N(x)=0 and D(x)=0
Cross multiplication condition
BA=DC⟹AD=BC,B=0,D=0
Exact-to-approximate notation
x=4−1+33≈1.19
Absolute checking error
∣L(xapprox)−R(xapprox)∣
Factor route
P(x)=0⟶factor if practical
Intersection route
F(x)=G(x)⟶graph Y1=F(x),Y2=G(x)
Logarithm route
ag(x)=b⟶g(x)=lnalnb
Residual
R(x)=F(x)−G(x)
Exact check
R(r)=0
Approximate check
∣R(r)∣≈0
One-graph zero setup
Y1=F(x)−G(x)
Two-graph intersection setup
Y1=F(x),Y2=G(x)
Bracket condition
f(a)f(b)<0
Method-check structure
classify→restrict→solve→check→report
Approximation notation
x≈rwhen r is rounded
Topic 2.11Not started
Transformations of graphs
Transformations allow students to predict a new graph from a known one. The most common errors come from confusing horizontal and vertical effects or applying transformations in the wrong order.
Polynomial functions, roots and the factor/remainder theorems
Higher Level treats polynomial structure more generally. Students move between factors, zeros, coefficients and graph behaviour and use the factor and remainder theorems to avoid unnecessary long division.
Identify the degree, leading coefficient, roots, multiplicities and end behaviour of a polynomial function.
Move fluently between roots, linear factors, intercepts and a polynomial equation.
Apply the factor theorem and remainder theorem, including divisors of the form ax-b.
Divide polynomials using long division or synthetic division and verify the quotient-remainder identity.
Use factor and remainder conditions to determine unknown coefficients.
Factorize and solve higher-degree polynomial equations exactly where possible.
Use relationships between roots and coefficients to solve and construct polynomial problems.
Sketch polynomial graphs and use a GDC to find, check and interpret numerical roots.
Key formulas
General polynomial
f(x)=anxn+an−1xn−1+⋯+a1x+a0,an=0
Leading-term approximation
f(x)∼anxnas ∣x∣→∞
Root-factor connection
f(r)=0⟺(x−r) is a factor of f(x)
Factored polynomial
f(x)=ak=1∏n(x−rk)
Multiplicity definition
(x−r)m∣f(x),(x−r)m+1∤f(x)
Factor theorem
(x−a)∣f(x)⟺f(a)=0
General linear factor
(ax−b)∣f(x)⟺f(ab)=0
Remainder theorem
f(x)=(x−a)q(x)+f(a)
Remainder for ax-b
R=f(ab)
Division algorithm
f(x)=d(x)q(x)+r(x),degr<degd
Factor condition
(x−a)∣f(x)⟹f(a)=0
Remainder condition
f(x)÷(x−a) leaves R⟹f(a)=R
Repeated-root conditions
(x−a)2∣f(x)⟹f(a)=0 and f′(a)=0
Rational-root candidates
r=qp,p∣a0,q∣an
Conjugate factor pair
(x−(a+bi))(x−(a−bi))=(x−a)2+b2
General root sum
k=1∑nrk=−anan−1
General root product
k=1∏nrk=(−1)nana0
Cubic relationships
α+β+γ=−ab,αβ+αγ+βγ=ac,αβγ=−ad
Maximum number of turning points
Nturn≤n−1
y-intercept
(0,f(0))
Quadratic formula
x=2a−b±b2−4ac
Positive even degree
an>0,n even:f(x)→+∞ as x→±∞
Positive odd degree
an>0,n odd:f(x)→−∞ as x→−∞,f(x)→+∞ as x→+∞
Remainder theorem
R=f(a)for division by x−a
Division algorithm
f=dq+r,degr<degd
Root sum and product
k=1∑nrk=−anan−1,k=1∏nrk=(−1)nana0
Maximum turning points
Nturn≤n−1
Topic 2.13Not started
Higher-degree rational functions and asymptotes
Rational functions at HL can have more complicated numerator and denominator degrees, leading to several vertical asymptotes and to horizontal or oblique asymptotic behaviour. Algebraic form and graph features must be interpreted together.
Analyze domains, zeros, intercepts and asymptotes of rational functions.
Use factorization to identify denominator zeros and possible cancellations.
Use degree comparison or polynomial division to determine end behaviour and oblique asymptotes.
Construct or interpret a graph using algebraic information rather than relying only on technology.
Solve equations and inequalities involving rational functions while respecting excluded values.
Key formulas
General rational function
f(x)=Q(x)P(x),Q(x)=0
Degree notation
m=degP,n=degQ
Domain rule
Dom(f)={x∈R:Q(x)=0}
x-intercept condition
P(r)=0andQ(r)=0
y-intercept
(0,Q(0)P(0)),Q(0)=0
Vertical-asymptote test
Qs(a)=0,Ps(a)=0⟹x=a
One-sided notation
x→a−limf(x),x→a+limf(x)
Hole coordinate
x=a cancelled,hole=(a,fs(a))
Lower numerator degree
degP<degQ⟹y=0
Equal degrees
degP=degQ⟹y=lc(Q)lc(P)
Division identity
P(x)=Q(x)D(x)+R(x),degR<degQ
Asymptotic form
f(x)=D(x)+Q(x)R(x),Q(x)R(x)→0
Polynomial asymptote criterion
x→±∞lim(f(x)−D(x))=0
Sketching checkpoints
domain→holes→intercepts→asymptotes→signs
Cross-multiplication with restrictions
BA=DC⟹AD=BC,B=0,D=0
Critical values
P(x)=0orQ(x)=0
Intersection equation
Q(x)P(x)=g(x),Q(x)=0
Repeated quadratic root
b2−4ac=0
Numerical asymptote check
f(x)−D(x)→0asx→±∞
Domain
Q(x)=0
Horizontal asymptote
m<n:y=0;m=n:y=bnam
Polynomial asymptote
f(x)=D(x)+Q(x)R(x),degR<degQ
Vertical asymptote
Qs(a)=0,Ps(a)=0⟹x=a
Topic 2.14Not started
Odd/even functions and inverse-function restrictions
Symmetry becomes an algebraic property at HL. Students identify even and odd functions from equations and graphs and determine when a function must be restricted before an inverse can exist.
Test whether a function is even, odd or neither using f(-x).
Connect even functions with y-axis symmetry and odd functions with rotational symmetry about the origin.
Find inverse functions algebraically and state the corresponding domain and range.
Restrict a non-one-to-one function to a suitable domain before constructing its inverse.
Recognize and work with self-inverse functions.
Key formulas
Even function
f(−x)=f(x)
Domain symmetry requirement
x∈Dom(f)⟺−x∈Dom(f)
Odd function
f(−x)=−f(x)
Origin condition
0∈Dom(f) and f odd⟹f(0)=0
Parity decision
f(−x)=f(x): even;f(−x)=−f(x): odd
Even point symmetry
(x,y)↦(−x,y)
Odd point symmetry
(x,y)↦(−x,−y)
Inverse point reflection
(x,y)↦(y,x)
Even part
fe(x)=2f(x)+f(−x)
Odd part
fo(x)=2f(x)−f(−x)
Decomposition
f(x)=fe(x)+fo(x)
Injectivity test
f(a)=f(b)⟹a=b
Inverse existence
f−1 is a function⟺f is one-to-one
Right-branch inverse
f(x)=x2,x≥0⟹f−1(x)=x
Left-branch inverse
f(x)=x2,x≤0⟹f−1(x)=−x
Domain-range swap
Dom(f−1)=Ran(f),Ran(f−1)=Dom(f)
Inverse workflow
y=f(x)→x=f(y)→y=f−1(x)
Composition checks
f−1(f(x))=x,f(f−1(x))=x
Reflection rule
(a,b)∈f⟺(b,a)∈f−1
Mutual inverse check
f∘f−1=I,f−1∘f=I
Self-inverse condition
f(f(x))=x
Graph check
y=f(x),y=f−1(x),y=x
Even
f(−x)=f(x)
Odd
f(−x)=−f(x)
One-to-one
f(a)=f(b)⟹a=b
Domain-range swap
Dom(f−1)=Ran(f),Ran(f−1)=Dom(f)
Inverse check
f−1∘f=I,f∘f−1=I
Topic 2.15Not started
Inequalities involving functions
Function inequalities require students to find intervals rather than isolated roots. Graphical and analytic approaches should agree and excluded points must be treated carefully.
test one interior point from every reported interval in the original inequality
Comparison
f□g⟺f−g□0
Polynomial signs
P(x)=a∏(x−ri)mi
Rational domain
D(x)N(x):D(x)=0
Absolute value inside
∣u∣≤k⟺−k≤u≤k
Absolute value outside
∣u∣≥k⟺u≤−k or u≥k
Topic 2.16Not started
Special graph constructions and transformations
HL transformations include operations that can fold, reflect, reciprocate or square parts of an existing graph. Students should predict new zeros, asymptotes, symmetry and range from the original graph without always starting again from an equation.
Geometry and Trigonometry is the largest HL topic by recommended teaching time. The SL core develops triangle trigonometry, radians, exact values, identities and circular functions; the HL extension adds reciprocal and inverse trigonometric functions, compound-angle identities and an extensive three-dimensional vector treatment of lines, planes, intersections and angles.
18 topics
Unit 3 progress0%
Topics in this unit
Topic 3.1Not started
Three-dimensional geometry
AA HL extends coordinate and mensuration skills into three dimensions. Students should be comfortable moving between diagrams, coordinates and formulas for distance, midpoint, area and volume.
Find the distance and midpoint between points in 3D.
Calculate surface area and volume for common solids and composite solids.
Interpret angles between intersecting lines or between a line and a plane in geometric situations.
Key formulas
Euler relation for a convex polyhedron
V−E+F=2
Perpendicular line-plane angle
θ=90∘
Line-plane angle definition
θ=∠(line, perpendicular projection on plane)
Pythagorean theorem
c2=a2+b2
Rectangular base diagonal
p=l2+w2
Cuboid space diagonal
d=l2+w2+h2
Distance in three dimensions
AB=(x2−x1)2+(y2−y1)2+(z2−z1)2
Midpoint in three dimensions
M=(2x1+x2,2y1+y2,2z1+z2)
Distance from the origin
OP=x2+y2+z2
Line-plane angle using tangent
tanθ=projection lengthperpendicular height
Line-plane angle using sine
sinθ=line lengthperpendicular height
Line-plane angle using cosine
cosθ=line lengthprojection length
Cosine rule for an included angle
cosC=2aba2+b2−c2
Square centre-to-corner distance
p=2s2
Cuboid surface area
SA=2(lw+lh+wh)
Closed cylinder surface area
SA=2πr2+2πrh
Sphere surface area
SA=4πr2
Closed cone surface area
SA=πr2+πrs
Prism volume
V=Across-sectionL
Cuboid volume
V=lwh
Cylinder volume
V=πr2h
Pyramid volume
V=31Ah
Cone volume
V=31πr2h
Sphere volume
V=34πr3
Diagram-to-method chain
solid→projection or cross-section→2D triangle→formula
Cubic metres to litres
1 m3=1000 L
Maximum straight length in a cuboid
dmax=l2+w2+h2
Inverse tangent entry
θ=tan−1(ph)
Inverse sine entry
θ=sin−1(dh)
Reliable 3D workflow
label→project or cross-section→calculate→check→interpret
Topic 3.2Not started
Trigonometry in triangles
Students use right-triangle ratios as well as the sine and cosine rules for non-right triangles. Choosing the correct method is as important as substituting accurately.
Use the sine rule when a matching side-angle pair is available.
Use the cosine rule for SAS/SSS-style information and use the area formula for two sides and the included angle.
Key formulas
Interior angle sum
A+B+C=180∘
Standard opposite-side convention
a↔A,b↔B,c↔C
Sine ratio
sinθ=hypotenuseopposite
Cosine ratio
cosθ=hypotenuseadjacent
Tangent ratio
tanθ=adjacentopposite
Pythagorean theorem
a2+b2=c2
Missing shorter side
a=c2−b2
Complementary acute angles
α+β=90∘
Sine rule
sinAa=sinBb=sinCc
Reciprocal sine-rule form
asinA=bsinB=csinC
Supplementary sine solution
B2=180∘−B1
SSA comparison height
h=bsinA
Cosine rule for a side
c2=a2+b2−2abcosC
Cosine rule for an angle
cosC=2aba2+b2−c2
Triangle area from two sides and included angle
K=21absinC
Equivalent area forms
K=21bcsinA=21casinB
Method-selection guide
right triangleknown opposite pairSAS or SSS⇒SOH-CAH-TOA or Pythagoras⇒sine rule⇒cosine rule
Triangle inequality
a+b>c,b+c>a,c+a>b
Right-triangle ratios
sinθ=HO,cosθ=HA,tanθ=AO
Cosine rule
c2=a2+b2−2abcosC
Triangle area
K=21absinC
Topic 3.3Not started
Applications of trigonometry
Applied trigonometry requires students to convert words into a reliable diagram before calculating. Many errors occur because a correct formula is applied to an incorrectly labelled picture.
Use Pythagoras in two- and three-dimensional settings.
Solve elevation, depression and bearing-style geometry as appropriate.
Construct and label diagrams before selecting a trigonometric method.
Key formulas
Triangle angle sum
A+B+C=180∘
Height from elevation angle
h=dtanθ
Horizontal distance from depression angle
d=tanθh
Two-position height relation
xtanβ=(x+s)tanα
Reverse bearing
θreverse=(θ+180∘)mod360∘
Bearing from east and north components
θ=tan−1(NE)
Cosine rule for a route displacement
d2=p2+q2−2pqcosC
Sine rule for triangulation
sinAa=sinBb=sinCc
Sine rule
sinAa=sinBb=sinCc
Second possible sine-rule angle
B2=180∘−B1
Cosine rule for a side
c2=a2+b2−2abcosC
Cosine rule for an angle
C=cos−1(2aba2+b2−c2)
Triangle area
K=21absinC
Equivalent area forms
K=21bcsinA=21casinB
Cuboid space diagonal
d=l2+w2+h2
Line-plane angle
tanθ=projection lengthperpendicular height
Three-dimensional distance
d=(Δx)2+(Δy)2+(Δz)2
Route displacement bounds
∣p−q∣≤d≤p+q
Right-triangle ratios
sinθ=HO,cosθ=HA,tanθ=AO
Pythagorean theorem
a2+b2=c2
Cosine rule
c2=a2+b2−2abcosC
Triangle area
K=21absinC
Reverse bearing
θreverse=(θ+180∘)mod360∘
Topic 3.4Not started
Radian measure, arcs and sectors
Radians become the natural angle unit for higher mathematics and calculus. Students should switch comfortably between degree and radian thinking and use radian-based arc and sector formulas.
The unit circle extends trigonometric ratios beyond acute angles and makes signs and exact values systematic. It also supports equation solving and graph interpretation.
Define cosine and sine as coordinates on the unit circle.
Use tanθ=cosθsinθ where defined.
Know exact values for standard angles and use symmetry/quadrants to extend them.
Recognize the ambiguous case when the sine rule can produce two possible triangles.
Key formulas
Unit-circle equation
x2+y2=1
Coterminal angles
θcoterminal=θ+2kπ,k∈Z
Unit-circle coordinates
P=(cosθ,sinθ)
Pythagorean identity
sin2θ+cos2θ=1
Coordinate definitions
cosθ=x,sinθ=y
Tangent identity
tanθ=cosθsinθ=xy,cosθ=0
Undefined tangent angles
θ=2π+kπ,k∈Z
Quadrant I
sinθ>0,cosθ>0,tanθ>0
Quadrant II
sinθ>0,cosθ<0,tanθ<0
Quadrant III
sinθ<0,cosθ<0,tanθ>0
Quadrant IV
sinθ<0,cosθ>0,tanθ<0
QI reference angle
α=θ
QII reference angle
α=π−θ
QIII reference angle
α=θ−π
QIV reference angle
α=2π−θ
45-degree triangle ratio
1:1:2
30-60-90 triangle ratio
1:3:2
Rationalized tangent value
31=33
Values at zero
sin0=0,cos0=1,tan0=0
Values at 30 degrees
sin6π=21,cos6π=23,tan6π=33
Values at 45 degrees
sin4π=22,cos4π=22,tan4π=1
Values at 60 degrees
sin3π=23,cos3π=21,tan3π=3
Values at 90 degrees
sin2π=1,cos2π=0,tan2π is undefined
Degree-radian equivalence
180∘=π rad
Degrees to radians
θrad=θdeg180π
Radians to degrees
θdeg=θradπ180
Coordinate recovery
y=±1−x2,x=±1−y2
Even and odd symmetry
cos(−θ)=cosθ,sin(−θ)=−sinθ,tan(−θ)=−tanθ
Sine and cosine periods
sin(θ+2π)=sinθ,cos(θ+2π)=cosθ
Tangent period
tan(θ+π)=tanθ
Second-quadrant symmetry
sin(π−α)=sinα,cos(π−α)=−cosα
Fourth-quadrant symmetry
sin(2π−α)=−sinα,cos(2π−α)=cosα
Unit circle and coordinates
x2+y2=1,P=(cosθ,sinθ)
Tangent
tanθ=cosθsinθ,cosθ=0
Standard sine magnitudes
0,21,22,23,1
Standard cosine magnitudes
1,23,22,21,0
Periods
sin(θ+2π)=sinθ,cos(θ+2π)=cosθ,tan(θ+π)=tanθ
Topic 3.6Not started
Trigonometric identities
Identities are equations that hold throughout their valid domain. Students use them to simplify expressions, prove statements and transform trigonometric equations into solvable forms.
Select the most useful form of cos 2θ for the expression being simplified.
Key formulas
Fundamental Pythagorean identity
sin2θ+cos2θ≡1
Example of an equation
sinθ=21
Squared notation
sin2θ=(sinθ)2,cos2θ=(cosθ)2
Tangent quotient identity
tanθ=cosθsinθ,cosθ=0
Reciprocal identities
secθ=cosθ1,cscθ=sinθ1,cotθ=tanθ1
Cotangent quotient relationship
cotθ=sinθcosθ,sinθ=0
Fundamental Pythagorean identity
sin2θ+cos2θ=1
Rearranged forms
sin2θ=1−cos2θ,cos2θ=1−sin2θ
Tangent–secant identity
1+tan2θ=sec2θ,cosθ=0
Cotangent–cosecant identity
1+cot2θ=csc2θ,sinθ=0
Pythagorean replacements
1−cos2x=sin2x,1−sin2x=cos2x
Reciprocal-family replacements
sec2x−1=tan2x,csc2x−1=cot2x
Common-denominator pattern
ba+dc=bdad+bc,b=0,d=0
Conjugate product
(1+cosx)(1−cosx)=1−cos2x=sin2x
Cosine double-angle choices
cos2x=cos2x−sin2x=2cos2x−1=1−2sin2x
Sine double angle
sin2θ=2sinθcosθ
Cosine double angle
cos2θ=cos2θ−sin2θ
Alternative cosine forms
cos2θ=2cos2θ−1=1−2sin2θ
Power-reduction forms
cos2θ=21+cos2θ,sin2θ=21−cos2θ
Cosine-zero angles
cosx=0⟺x=2π+kπ,k∈Z
Sine-zero angles
sinx=0⟺x=kπ,k∈Z
Difference check
D(x)=LHS(x)−RHS(x)
Quotient identity
tanθ=cosθsinθ,cosθ=0
Reciprocal identities
secθ=cosθ1,cscθ=sinθ1,cotθ=sinθcosθ
Pythagorean identity
sin2θ+cos2θ=1
Derived Pythagorean identities
1+tan2θ=sec2θ,1+cot2θ=csc2θ
Cosine double-angle forms
cos2θ=cos2θ−sin2θ=2cos2θ−1=1−2sin2θ
Topic 3.7Not started
Circular functions and their graphs
Students analyze sine, cosine and tangent as periodic functions. Transformations connect the basic graphs to models with different amplitude, period, phase and vertical shift.
Model periodic contexts with transformed trigonometric functions.
Key formulas
Unit-circle coordinates
P=(cosθ,sinθ)
Tangent quotient
tanθ=cosθsinθ,cosθ=0
Parent periods
sin(x+2π)=sinx,cos(x+2π)=cosx,tan(x+π)=tanx
Quarter-cycle spacing
Δx=4T
Sine domain and range
Dom(sin)=R,Ran(sin)=[−1,1]
Sine zeros
x=kπ,k∈Z
Sine extrema
sinx=1 at x=2π+2kπ,sinx=−1 at x=23π+2kπ
Cosine domain and range
Dom(cos)=R,Ran(cos)=[−1,1]
Cosine zeros
x=2π+kπ,k∈Z
Cosine extrema
cosx=1 at x=2kπ,cosx=−1 at x=π+2kπ
Tangent domain
x∈R,x=2π+kπ,k∈Z
Tangent range
Ran(tan)=R
Tangent zeros and asymptotes
tanx=0 at x=kπ,x=2π+kπ are vertical asymptotes
Sine and cosine range
d−∣a∣≤y≤d+∣a∣
Extreme values
ymax=d+∣a∣,ymin=d−∣a∣
Sine and cosine amplitude
A=∣a∣
Sine and cosine period
T=∣b∣2π
Tangent period
T=∣b∣π
Midline
y=d
Transformed sine and cosine
y=asin(b(x−c))+d,y=acos(b(x−c))+d
Transformed tangent
y=atan(b(x−c))+d
Shift from expanded inside
bx+q=b(x+bq)=b(x−(−bq))
Tangent centre and asymptotes
xcentre=c+kT,xasymptote=c+(k+21)T
Five-point x-values
c,c+4T,c+2T,c+43T,c+T
Midline from extrema
d=2M+m
Amplitude from extrema
∣a∣=2M−m
Frequency coefficient from period
∣b∣=T2π
Quarter-period table step
Δx=4T
Sine and cosine models
y=asin(b(x−c))+d,y=acos(b(x−c))+d
Tangent model
y=atan(b(x−c))+d
Amplitude and midline
A=∣a∣,y=d
Phase shift from expanded form
asin(bx+q)+d has shift −bq
Topic 3.8Not started
Solving trigonometric equations
Trigonometric equations often have multiple solutions in an interval. Students must solve for all valid values rather than stop after the principal calculator answer.
Solve graphically and analytically over a stated finite interval.
Use exact values and identities where appropriate.
Handle equations that become quadratic in sin x, cos x or tan x.
Key formulas
Solution check
substitute each proposed x into the original equation
Sine and cosine feasibility
−1≤a≤1
Tangent target range
a∈R
Positive sine pair
x=α,x=π−α
Positive cosine pair
x=α,x=2π−α
Positive tangent pair
x=α,x=π+α
Related angles in one turn
α,π−α,π+α,2π−α
Common sine magnitudes
0,21,22,23,1
Common tangent magnitudes
0,33,1,3
Sine second solution
x2=π−x1for a positive sine value in [0,2π)
Cosine reflected solution
x2=2π−x1when x1∈[0,π]
Interval transformation
L≤x<U⟹nL≤nx<nUfor n>0
Full-turn equivalence
360∘=2π radians
Degree periods
Tsin=Tcos=360∘,Ttan=180∘
Radian periods
Tsin=Tcos=2π,Ttan=π
Sine general solutions
x=α+2kπorx=π−α+2kπ
Cosine general solutions
x=±α+2kπ
Tangent general solution
x=α+kπ
Zero-product rule
AB=0⟹A=0 or B=0
Pythagorean identity
sin2x+cos2x=1
Sine double angle
sin2x=2sinxcosx
Cosine double angle
cos2x=2cos2x−1=1−2sin2x
Intersection method
f(x)=g(x)⟺f(x)−g(x)=0
Quadrant-related angles
α,π−α,π+α,2π−α
Double-angle identities
sin2x=2sinxcosx,cos2x=2cos2x−1=1−2sin2x
Period conversion
2π radians=360∘,π radians=180∘
Topic 3.9Not started
Reciprocal and inverse trigonometric functions
The reciprocal ratios sec, cosec/csc and cot extend the trigonometric toolkit and generate additional identities. Inverse trigonometric functions are treated as functions with carefully defined principal domains and ranges.
Define secant, cosecant and cotangent and connect them to sine, cosine and tangent.
Determine domains, ranges, periods, intercepts and asymptotes of reciprocal trigonometric functions.
Use reciprocal and Pythagorean identities to simplify expressions and solve equations.
Interpret arcsin, arccos and arctan as inverse functions on restricted principal branches.
Evaluate inverse trigonometric expressions exactly and numerically while respecting principal values.
Solve reciprocal and inverse trigonometric equations over stated intervals and validate every solution.
Use a GDC effectively for graphs, inverse values and numerical solutions while preserving exact answers where appropriate.
Key formulas
Reciprocal definitions
secx=cosx1,cscx=sinx1,cotx=sinxcosx
Secant domain and range
Dom(sec)=R∖{2π+kπ},Ran(sec)=(−∞,−1]∪[1,∞)
Cosecant domain and range
Dom(csc)=R∖{kπ},Ran(csc)=(−∞,−1]∪[1,∞)
Cotangent domain and range
Dom(cot)=R∖{kπ},Ran(cot)=R
Transformed secant period
T=∣b∣2π
Transformed secant asymptotes
b(x−h)=2π+kπ
Transformed cosecant asymptotes
b(x−h)=kπ
Transformed cosecant range
(−∞,d−∣a∣]∪[d+∣a∣,∞)
Transformed cotangent period
T=∣b∣π
Transformed cotangent asymptotes
b(x−h)=kπ
Reciprocal Pythagorean identities
1+tan2x=sec2x,1+cot2x=csc2x
Inverse relation
y=f−1(x)⟺x=f(y)
Inverse sine principal range
arcsin:[−1,1]→[−2π,2π]
Inverse cosine principal range
arccos:[−1,1]→[0,π]
Inverse tangent principal range
arctan:R→(−2π,2π)
Inverse evaluation rule
arcsinu=θ⟺sinθ=u and −2π≤θ≤2π
Safe inverse compositions
sin(arcsinx)=x,cos(arccosx)=x,tan(arctanx)=x
Reciprocal equation conversion
secu=A⇒cosu=A1,cscu=A⇒sinu=A1,cotu=A⇒tanu=A1
Complementary inverse identity
arcsinx+arccosx=2π(−1≤x≤1)
Range filter for secant and cosecant
∣secx∣≥1,∣cscx∣≥1
Core reciprocal formulas
secx=cosx1,cscx=sinx1,cotx=sinxcosx
Core reciprocal identities
sec2x−tan2x=1,csc2x−cot2x=1
Complementary inverse functions
arcsinx+arccosx=2π
Topic 3.10Not started
Compound-angle and additional double-angle identities
Compound-angle identities express trigonometric functions of A±B in terms of functions of A and B. They are fundamental for exact values, proofs, equation solving and later calculus/series work.
Symmetry identities explain how the values and signs of trigonometric functions change when angles are reflected or shifted. They support exact manipulation and help students reason about whole families of solutions.
sinx=sinα⇒x=α+2kπ or x=π−α+2kπ;cosx=cosα⇒x=2kπ±α;tanx=tanα⇒x=α+kπ
Parity summary
sin(−x)=−sinx,cos(−x)=cosx,tan(−x)=−tanx
Phase-shift summary
cosx=sin(x+2π),sinx=cos(x−2π)
Solution-family summary
sinx=sinα⇒x=α+2kπ or π−α+2kπ;cosx=cosα⇒x=2kπ±α;tanx=tanα⇒x=α+kπ
Topic 3.12Not started
Vectors: components, magnitude and geometry
Vectors provide an algebraic language for position, displacement and direction in two and three dimensions. At HL they become a major tool for proving geometric relationships and describing lines and planes.
Distinguish vectors from scalars and use standard vector notation confidently.
Represent vectors by components in two and three dimensions and by the basis vectors i, j and k.
Use position vectors and displacement vectors to connect coordinates with geometry.
Calculate vector magnitudes and construct unit vectors in specified directions.
Perform vector addition, subtraction and scalar multiplication algebraically and geometrically.
Find a vector between two points and use vector equations to determine unknown coordinates.
Test whether vectors are parallel and whether points are collinear.
Present complete, validated vector solutions in IB Mathematics AA HL problems.
Key formulas
2D component form
v=(v1v2)
3D component form
v=v1v2v3
Reversing a directed vector
BA=−AB
Standard basis decomposition
abc=ai+bj+ck
Position vector
P(x,y,z)⟺OP=xyz
2D magnitude
(ab)=a2+b2
3D magnitude
abc=a2+b2+c2
Distance between points
AB=∥AB∥
Unit vector
v=∥v∥v,v=0
Vector with prescribed magnitude
w=M∥v∥v,M>0
Componentwise addition
abc+pqr=a+pb+qc+r
Vector subtraction
u−v=u+(−v)
Scalar multiplication
kabc=kakbkc
Magnitude of a scalar multiple
∥kv∥=∣k∣∥v∥
Vector between points
AB=OB−OA
Triangle law
AB+BC=AC
Recover an endpoint
OB=OA+AB
Midpoint position vector
m=2a+b
Point on a segment or line
p=(1−t)a+tb=a+t(b−a)
Parallelogram fourth vertex
c=b+d−a
Parallel-vector test
u∥v⟺u=λv(u,v=0)
Collinearity test
A,B,C collinear⟺AB=λAC for some λ∈R
Equality of vectors
abc=pqr⟺a=p,b=q,c=r
Resultant displacement
r=d1+d2+⋯+dn
Core component model
v=v1v2v3=v1i+v2j+v3k
Core length model
∥v∥=v12+v22+v32
Core direction model
v=∥v∥v
Core displacement model
AB=b−a
Core geometry model
p=a+t(b−a)
Topic 3.13Not started
Scalar (dot) product
The scalar product connects algebraic components with geometric angle. It provides a fast test for perpendicularity and is used repeatedly when finding angles between lines and planes.
Calculate scalar products from vector components in two and three dimensions.
Connect the component definition of the dot product to magnitudes and the included angle.
Find exact and approximate angles between nonzero vectors.
Test perpendicularity and use orthogonality to find unknown components.
Interpret the sign of a dot product geometrically.
Find scalar and vector projections in geometric and contextual problems.
Use the dot product in coordinate-geometry proofs and applications.
Present complete, validated IB Mathematics AA HL solutions using exact values appropriately.
Key formulas
2D component dot product
(a1a2)⋅(b1b2)=a1b1+a2b2
3D component dot product
a1a2a3⋅b1b2b3=a1b1+a2b2+a3b3
Geometric dot product
a⋅b=∥a∥∥b∥cosθ
Dot-product bound
∣a⋅b∣≤∥a∥∥b∥
Angle between nonzero vectors
θ=cos−1(∥a∥∥b∥a⋅b)
Sign and angle
a⋅b⎩⎨⎧>0,=0,<0,θ<π/2θ=π/2θ>π/2
Orthogonality criterion
a⊥b⟺a⋅b=0(a,b=0)
Perpendicular-component equation
a1b1+a2b2+a3b3=0
Scalar projection
compba=∥b∥a⋅b
Vector projection
projba=∥b∥2a⋅bb
Perpendicular remainder
a⊥=a−projba
Commutativity
a⋅b=b⋅a
Distributivity
a⋅(b+c)=a⋅b+a⋅c
Scalar compatibility
(ka)⋅b=k(a⋅b)
Self-dot product
a⋅a=∥a∥2
Magnitude of a sum
∥a+b∥2=∥a∥2+2a⋅b+∥b∥2
Magnitude of a difference
∥a−b∥2=∥a∥2−2a⋅b+∥b∥2
Parallelogram law
∥a+b∥2+∥a−b∥2=2∥a∥2+2∥b∥2
Vertex-angle model
cos∠ABC=∥BA∥∥BC∥BA⋅BC
Work done
W=F⋅s
Resolved scalar component
compdv=∥d∥v⋅d
Core component formula
a⋅b=a1b1+a2b2+a3b3
Core geometric formula
a⋅b=∥a∥∥b∥cosθ
Core angle formula
cosθ=∥a∥∥b∥a⋅b
Core orthogonality formula
a⊥b⟺a⋅b=0
Core vector projection formula
projba=∥b∥2a⋅bb
Topic 3.14Not started
Vector equation of a line
A line in two or three dimensions is described by one fixed point and a nonzero direction vector. Vector and parametric forms make points, intersections and motion along the line easy to analyze.
Distinguish position vectors from direction vectors in two and three dimensions.
Write and interpret the vector equation of a line.
Convert accurately between vector and parametric equations.
Construct a line from a point and direction or from two distinct points.
Determine exactly whether a point lies on a line.
Recognize equivalent equations of the same line.
Use line parameters in coordinate-geometry and motion contexts.
Present complete, validated IB Mathematics AA HL solutions using correct vector notation.
Key formulas
Position vector in 3D
OP=xyz
Vector between points
AB=OB−OA
Vector equation of a line
r=a+td,t∈R,d=0
Parametric equations in 3D
x=x0+lt,y=y0+mt,z=z0+nt
Line through two points
r=a+t(b−a),t∈R
Point-on-line criterion
q−a=td for one t∈R
Symmetric form
lx−x0=my−y0=nz−z0
Same-line test
d2=kd1(k=0)anda2−a1=λd1
Line segment
r=a+t(b−a),0≤t≤1
Constant-velocity line
r(t)=r0+tv
Core vector form
r=a+td
Core parametric form
x=x0+lt,y=y0+mt,z=z0+nt
Core two-point form
r=a+t(b−a)
Core point test
q−a=td
Topic 3.15Not started
Relationships between lines in space
Classify two lines in three-dimensional space as coincident, parallel, intersecting, perpendicular or skew by comparing direction vectors and solving parameter equations. Find intersections and acute angles with exact vector methods.
Represent two 3D lines with independent parameters and compare their direction vectors.
Distinguish parallel, coincident, intersecting, perpendicular and skew lines using complete algebraic tests.
Solve and verify simultaneous parameter equations to find a line intersection point.
Use the scalar product to find the acute angle between two lines and test perpendicularity correctly.
Interpret line relationships geometrically and communicate exact IB HL reasoning.
Use a GDC to support calculations while retaining algebraic justification and validation.
Recognize common logical errors, including treating every nonparallel pair as intersecting.
Solve multi-step and parameter-based line-relationship problems in two and three dimensions.
Key formulas
General pair of 3D lines
L1:r=a+λu,L2:r=b+μv
Parallel-direction test
v=kufor some k=0
Distinct-parallel test
v=kuandb−a=tufor every t∈R
Coincident-line test
v=kuandb−a=tu
Line-intersection system
a+λu=b+μv
Perpendicular-line criterion
u⋅v=0and the lines intersect
Skew-line classification
v=kufor every kanda+λu=b+μvhas no solution
Classification decision
{v=ku:parallel or coincident,v=ku:intersecting or skew.
Angle between lines
cosθ=∥u∥∥v∥∣u⋅v∣,0≤θ≤2π
Parallel-direction test
v=ku,k=0
Intersection test
a+λu=b+μv
Perpendicular-line test
u⋅v=0and the lines intersect
Acute line angle
cosθ=∥u∥∥v∥∣u⋅v∣
Topic 3.16Not started
Vector (cross) product
Compute and interpret the three-dimensional cross product. Use its direction for oriented normal vectors and its magnitude for angles, parallel tests, areas, plane geometry and volume applications.
Define the cross product of two 3D vectors and distinguish it from the scalar product.
Compute a cross product accurately from components or determinant notation.
Use the right-hand rule and order of multiplication to determine its direction.
Connect cross-product magnitude with the included angle and test for parallel vectors.
Find vectors perpendicular to two given vectors and verify orthogonality.
Calculate exact parallelogram and triangle areas from vectors or coordinate points.
Apply cross products to normal vectors, plane equations and three-dimensional volumes.
Use exact IB HL reasoning, calculator checks and appropriate geometric interpretation.
Key formulas
Cross-product orthogonality
(a×b)⋅a=0,(a×b)⋅b=0
Cross product in components
a×b=(a2b3−a3b2,a3b1−a1b3,a1b2−a2b1)
Determinant form
a×b=ia1b1ja2b2ka3b3
Anti-commutativity
b×a=−(a×b)
Basis-vector cycle
i×j=k,j×k=i,k×i=j
Cross-product magnitude
∥a×b∥=∥a∥∥b∥sinθ
Dot-cross magnitude identity
(a⋅b)2+∥a×b∥2=∥a∥2∥b∥2
Oriented unit normal
n=∥a×b∥a×b
Parallelogram area
Aparallelogram=∥a×b∥
Triangle area
A△ABC=21∥AB×AC∥
Parallel-vector test
a×b=0⟺a∥b
Collinearity test
AB×AC=0
Normal from spanning vectors
n=u×v
Plane through a point
n⋅(r−a)=0
Parallelepiped volume
V=∣a⋅(b×c)∣
Tetrahedron volume
Vtetrahedron=61∣a⋅(b×c)∣
Coplanarity test
a⋅(b×c)=0
Distributive law
a×(b+c)=a×b+a×c
Scalar compatibility
(ka)×b=k(a×b)=a×(kb)
Self cross product
a×a=0
Component formula
a×b=(a2b3−a3b2,a3b1−a1b3,a1b2−a2b1)
Right-hand orientation
b×a=−(a×b)
Magnitude
∥a×b∥=∥a∥∥b∥sinθ
Parallelogram and triangle areas
AP=∥a×b∥,AT=21∥a×b∥
Parallel test
a×b=0
Volume
V=∣a⋅(b×c)∣
Topic 3.17Not started
Vector equations of a plane
Represent planes in three-dimensional space using vector, parametric, normal and Cartesian equations. Construct planes from geometric information, convert between forms and test point membership with exact vector methods.
Interpret a plane as an anchor point plus two independent in-plane directions.
Write and use vector and parametric equations of a plane.
Find and interpret a normal vector using a cross product or Cartesian coefficients.
Construct a plane from a point and normal, three noncollinear points, or a line and an external point.
Convert accurately between vector, parametric, normal and Cartesian forms.
Test whether a point lies on a plane using either parameters or substitution.
Recognize equivalent plane equations and invalid dependent direction choices.
Present exact IB HL working with appropriate calculator verification and geometric conclusions.
Key formulas
Independent-direction test
u×v=0
Vector equation of a plane
r=a+λu+μv,λ,μ∈R
Parametric plane equations
x=x0+λu1+μv1,y=y0+λu2+μv2,z=z0+λu3+μv3
Degenerate direction condition
u×v=0⟹no plane is spanned
Normal from two directions
n=u×v
Normal orthogonality
n⋅u=0,n⋅v=0
Normal form of a plane
n⋅(r−a)=0
Scalar form of a plane
r⋅n=a⋅n
Cartesian plane
Ax+By+Cz=D,n=(A,B,C)
Point-normal construction
n⋅(r−p)=0
Plane through three points
n=AB×AC,n⋅(r−a)=0
Vector-to-Cartesian conversion
n=u×v,n⋅(r−a)=0
Direction condition from Cartesian form
Au1+Bu2+Cu3=0
Cartesian membership test
P=(x1,y1,z1) lies on Ax+By+Cz=D⟺Ax1+By1+Cz1=D
Plane containing line and point
n=d×(q−a),n⋅(r−a)=0
Vector plane
r=a+λu+μv
Parametric plane
x=x0+λu1+μv1,y=y0+λu2+μv2,z=z0+λu3+μv3
Normal from directions
n=u×v
Normal form
n⋅(r−a)=0
Cartesian form
Ax+By+Cz=D,n=(A,B,C)
Three-point plane
n=AB×AC
Topic 3.18Not started
Intersections and angles involving lines and planes
Combine vector equations, normal vectors, dot products and linear systems to classify intersections and calculate acute angles between lines and planes in three dimensions.
AA HL statistics and probability begins with the same data, correlation, probability and distribution content studied at SL, then extends conditional probability with Bayes’ theorem and develops the theory of discrete and continuous random variables in greater depth.
14 topics
Unit 4 progress0%
Topics in this unit
Topic 4.1Not started
Data concepts, sampling and reliability
Statistics begins with the quality of the data. Students need to distinguish populations and samples, types of variables and sources of bias before applying numerical techniques.
Data displays should reveal distribution, center, spread and unusual values. Students should be able to read a graph critically rather than only construct it.
Estimate median, quartiles and percentiles from cumulative information.
Interpret box-and-whisker plots and compare distributions.
Key formulas
Relative frequency
relative frequency=nf
Percentage frequency
percentage frequency=nf×100%
Cumulative frequency
Fi=j=1∑ifj
Class width
w=U−L
Class midpoint
m=2L+U
Frequency density
frequency density=wf
Histogram area
f=(frequency density)(class width)
Frequency between two values
f(a<x≤b)≈F(b)−F(a)
Quartile levels
Q1:4N,Q2:2N,Q3:43N
Percentile level
CF level=100pN
Interquartile range
IQR=Q3−Q1
Range
range=max−min
Outlier fences
Q1−1.5IQR,Q3+1.5IQR
Difference in medians
Δx=xA−xB
Display workflow
classify data→calculate→construct→interpret
Core presentation formulas
nf,wf,IQR=Q3−Q1
Relative frequency
nf
Frequency density
wf
Quartile levels
4N,2N,43N
Topic 4.3Not started
Measures of center and spread
A useful summary of data normally needs both a measure of center and a measure of variability. AA HL students should also understand how transformations of every data value affect these statistics.
Estimate a mean from grouped data and identify the modal class.
Use range, interquartile range, variance and standard deviation.
Determine the effect of adding or multiplying all data values by a constant.
Key formulas
Sample mean
xˉ=n1i=1∑nxi
Zero-sum deviations
i=1∑n(xi−xˉ)=0
Odd-n median position
2n+1
Even-n median
x=2x(2n)+x(2n+1)
Quartile cumulative levels
4N,2N,43N
Percentile cumulative level
100pN
Range
range=xmax−xmin
Interquartile range
IQR=Q3−Q1
Population variance
σ2=N1i=1∑N(xi−μ)2
Population computational form
σ2=N1i=1∑Nxi2−μ2
Sample variance
s2=n−11i=1∑n(xi−xˉ)2
Standard deviations
σ=σ2,s=s2
Frequency mean
xˉ=i=1∑kfii=1∑kfixi
Grouped mean estimate
xˉ≈i=1∑kfii=1∑kfimi
Grouped population variance estimate
σ2≈i=1∑kfii=1∑kfimi2−xˉ2
Transformed mean
yˉ=axˉ+b
Transformed variance
Var(Y)=a2Var(X)
Transformed standard deviation
σY=∣a∣σX
Transformed IQR
IQRY=∣a∣IQRX
Common potential-outlier fences
Q1−1.5IQR,Q3+1.5IQR
Exam workflow
identify data role→calculate→interpret→check units
Core center-and-spread formulas
xˉ=n1i=1∑nxi,IQR=Q3−Q1,σ=N1i=1∑N(xi−μ)2
Mean
xˉ=n1i=1∑nxi
IQR
IQR=Q3−Q1
Topic 4.4Not started
Bivariate data and linear correlation (current syllabus)
Bivariate analysis studies the relationship between two variables. Correlation describes strength and direction of linear association; regression provides a line for prediction. Neither automatically establishes causation.
Probability formalizes uncertainty through outcomes, events and sample spaces. Students should move between theoretical probability, relative frequency and expected counts.
Represent outcomes with Venn diagrams, tree diagrams, sample-space diagrams or tables.
Use the addition rule for unions.
Recognize mutually exclusive and independent events.
Calculate conditional probabilities.
Key formulas
Two-set region counts
n(A only)=n(A)−n(A∩B),n((A∪B)′)=n(U)−n(A∪B)
De Morgan’s laws
(A∪B)′=A′∩B′,(A∩B)′=A′∪B′
General addition rule
P(A∪B)=P(A)+P(B)−P(A∩B)
Mutually exclusive condition
A∩B=∅⟺P(A∩B)=0
Disjoint addition
P(A∪B)=P(A)+P(B)
Tree-diagram strategy
P(E)=j=1∑mk=1∏sjpjk
Conditional probability
P(A∣B)=P(B)P(A∩B),P(B)>0
Conditional probability from counts
P(A∣B)=n(B)n(A∩B)
General multiplication rule
P(A∩B)=P(A)P(B∣A)=P(B)P(A∣B)
Three-stage path
P(A∩B∩C)=P(A)P(B∣A)P(C∣A∩B)
Independent-events product condition
P(A∩B)=P(A)P(B)
Equivalent conditional condition
P(A∣B)=P(A),P(B)>0
Combined-events toolkit
P(A∪B)=P(A)+P(B)−P(A∩B),P(A∣B)=P(B)P(A∩B)
Addition and complement
P(A∪B)=P(A)+P(B)−P(A∩B),P(A′)=1−P(A)
Conditional and multiplication rules
P(A∣B)=P(B)P(A∩B),P(A∩B)=P(A)P(B∣A)
Independence test
A and B independent⟺P(A∩B)=P(A)P(B)
Topic 4.7Not started
Discrete random variables
A discrete random variable assigns a numerical value to each outcome. Students should interpret a probability distribution and use expected value as the long-run mean of the model.
Construct or interpret a probability distribution.
Check that probabilities are valid and total 1.
Calculate and interpret expected value in context.
Key formulas
Valid probability values
0≤P(X=xi)≤1for i=1,2,…,n
Total probability
i=1∑nP(X=xi)=1
Normalization equation
i=1∑npi=1
Expected value
E(X)=μ=i=1∑nxiP(X=xi)
Fair-game condition
E(X)=0when X is the player’s net gain
Second moment
E(X2)=i=1∑nxi2P(X=xi)
Variance
Var(X)=i=1∑n(xi−μ)2P(X=xi)=E(X2)−[E(X)]2
Standard deviation
σX=Var(X)
Expectation under a linear transformation
E(aX+b)=aE(X)+b
Variance under a linear transformation
Var(aX+b)=a2Var(X)
Standard deviation under a linear transformation
σaX+b=∣a∣σX
Probability total
i=1∑nP(X=xi)=1
Expected value
E(X)=i=1∑nxiP(X=xi)
Variance shortcut
Var(X)=E(X2)−[E(X)]2
Fair-game condition
E(X)=0for signed net gain X
Topic 4.8Not started
Binomial distribution
The binomial model applies to a fixed number of independent trials with two outcomes and constant success probability. Students should first verify that those conditions make sense.
Calculate exact, cumulative or interval probabilities with technology.
Use the mean and variance of a binomial distribution.
Key formulas
Binomial notation
X∼B(n,p)
Failure probability
q=1−p
Binomial support
x∈{0,1,2,…,n}
Exact binomial probability
P(X=x)=(xn)px(1−p)n−x
Combination
(xn)=x!(n−x)!n!
GDC exact-probability input
binompdf(n,p,x)=P(X=x)
GDC cumulative-probability input
binomcdf(n,p,x)=P(X≤x)
At least r successes
P(X≥r)=1−P(X≤r−1)
More than r successes
P(X>r)=1−P(X≤r)
Inclusive interval
P(a≤X≤b)=P(X≤b)−P(X≤a−1)
Binomial mean
E(X)=μ=np
Binomial variance
Var(X)=σ2=np(1−p)=npq
Binomial standard deviation
σ=np(1−p)
Binomial model
X∼B(n,p)
Exact probability
P(X=x)=(xn)px(1−p)n−x
At least r
P(X≥r)=1−P(X≤r−1)
Mean
E(X)=np
Variance
Var(X)=np(1−p)
Standard deviation
σ=np(1−p)
Topic 4.9Not started
Normal distribution
The normal distribution models continuous data with a symmetric bell-shaped curve determined by a mean and standard deviation. Students use technology for probabilities and inverse-normal questions.
Use inverse normal calculations to find values associated with given cumulative probabilities.
Key formulas
Total probability
P(−∞<X<∞)=1
Center of a normal distribution
mean=median=mode=μ
Area on either side of the mean
P(X<μ)=P(X>μ)=21
Normal-distribution notation
X∼N(μ,σ2)
Expected value
E(X)=μ
Variance
Var(X)=σ2
Standard deviation
SD(X)=σ=Var(X)
Within one standard deviation
P(μ−σ<X<μ+σ)≈0.68
Within two standard deviations
P(μ−2σ<X<μ+2σ)≈0.95
Within three standard deviations
P(μ−3σ<X<μ+3σ)≈0.997
Complement rule
P(X>a)=1−P(X≤a)
Interval from cumulative probabilities
P(a<X<b)=P(X<b)−P(X≤a)
Probability at one point
P(X=a)=0
Mirror-tail symmetry
P(X<μ−d)=P(X>μ+d)
Each tail outside a central area
P(X<L)=P(X>U)=21−c
Interval probability on a GDC
P(a<X<b)=normalcdf(a,b,μ,σ)
Lower-tail probability
P(X<b)=normalcdf(−∞,b,μ,σ)
Upper-tail probability
P(X>a)=normalcdf(a,∞,μ,σ)
Quantile definition
P(X≤xq)=q
Inverse-normal command
xq=invNorm(q,μ,σ)
Convert an upper-tail area
P(X>x)=p⟹P(X≤x)=1−p
Highest p cutoff
P(X>k)=p⟹k=invNorm(1−p,μ,σ)
Central interval tail area
each tail=21−c
Central interval boundaries
L=invNorm(21−c,μ,σ),U=invNorm(21+c,μ,σ)
Normal density
f(x)=σ2π1exp(−2σ2(x−μ)2)
Inflection points
x=μ−σandx=μ+σ
Expected count
expected count=nP(event)
Normal model
X∼N(μ,σ2)
Total area
P(−∞<X<∞)=1
Symmetry
P(X<μ−d)=P(X>μ+d)
Normal CDF
P(a<X<b)=normalcdf(a,b,μ,σ)
Inverse normal
P(X≤xq)=q⟹xq=invNorm(q,μ,σ)
Topic 4.10Not started
Regression line of x on y (current syllabus)
The regression line depends on which variable is being predicted. Reversing the prediction direction requires the regression of x on y rather than simply rearranging the equation for y on x.
Select the correct regression equation for the variable being predicted.
Use technology to obtain the appropriate regression model.
Keep predictions within a reasonable data range whenever possible.
Key formulas
Correlation range
−1≤r≤1
Regression of y on x
y^=a+bx
Vertical residual
ey=y−y^
Least-squares objective for y on x
mini=1∑n(yi−y^i)2
Regression of x on y
x^=c+dy
Horizontal residual
ex=x−x^
Least-squares objective for x on y
mini=1∑n(xi−x^i)2
Centroid property
(xˉ,yˉ) lies on both regression lines
Slope of y on x
byx=rsxsy
Slope of x on y
bxy=rsysx
Product of regression slopes
byxbxy=r2
Slope units
slope units=explanatory unitsresponse units
Rearrangement that is not a new regression
x^=c+dy⟹y=dx^−c
Exact-inverse special case
∣r∣=1⟹byxbxy=1
Predict y from x
y^=a+bx
Predict x from y
x^=c+dy
Residual directions
ey=y−y^,ex=x−x^
Centroid
(xˉ,yˉ) lies on both lines
Slope check
byxbxy=r2
Topic 4.11Not started
Formal conditional probability and independence
Conditional probability updates the sample space after information is known. Independence means that knowing one event occurred does not change the probability of the other.
Test independence using product or conditional-probability relationships.
Distinguish independence from mutually exclusive events.
Key formulas
Complement rule
P(A′)=1−P(A)
General addition rule
P(A∪B)=P(A)+P(B)−P(A∩B)
Conditional probability
P(A∣B)=P(B)P(A∩B),P(B)>0
Conditional probability from counts
P(A∣B)=n(B)n(A∩B)
Multiplication rule
P(A∩B)=P(B)P(A∣B)
Equivalent order
P(A∩B)=P(A)P(B∣A)
Three-event chain rule
P(A∩B∩C)=P(A)P(B∣A)P(C∣A∩B)
Complementary branches
P(A∣B)+P(A′∣B)=1
Conditional independence test
P(A∣B)=P(A)
Reverse conditional test
P(B∣A)=P(B)
Product test for independence
P(A∩B)=P(A)P(B)
IB independence statement
P(A∣B)=P(A)=P(A∣B′)
Complement product
P(A∩B′)=P(A)P(B′)
Mutual exclusivity
P(A∩B)=0
General multiplication rule
P(A∩B)=P(B)P(A∣B)
Independent product rule
P(A∩B)=P(A)P(B)
Independent conditional rule
P(A∣B)=P(A)=P(A∣B′)
Mutually exclusive rule
P(A∩B)=0
Topic 4.12Not started
Standardization of normal variables
Standardization measures how many standard deviations a value lies above or below the mean. It allows results from different normal distributions to be compared on the same scale.
Use standardized values together with normal probability calculations.
Use inverse methods when parameters or cutoffs must be inferred.
Key formulas
Standard normal notation
Z∼N(0,1)
Standard normal center
E(Z)=0,SD(Z)=1
Standardization formula
z=σx−μ,σ>0
Random-variable transformation
Z=σX−μ
Inverse standardization
x=μ+zσ
Equal-distance symmetry
P(Z<−a)=P(Z>a),a>0
Standardized distribution
X∼N(μ,σ2)⟹Z=σX−μ∼N(0,1)
Preserved cumulative probability
P(X≤x)=P(Z≤σx−μ)
Raw interval to standard interval
P(a<X<b)=P(σa−μ<Z<σb−μ)
Right-tail complement
P(Z>z)=1−P(Z≤z)
Separate standardizations
zA=σAxA−μA,zB=σBxB−μB
Percentile conversion
xp=μ+zpσ
Mean from a standardized cutoff
μ=x−zσ
Standard deviation from a cutoff
σ=zx−μ,z=0
Raw value to z-score
z=σx−μ
z-score to raw value
x=μ+zσ
Standard normal transformation
X∼N(μ,σ2)⟹Z=σX−μ∼N(0,1)
Matching cumulative areas
P(X≤x)=P(Z≤σx−μ)
Raw interval conversion
P(a<X<b)=P(σa−μ<Z<σb−μ)
Topic 4.13Not started
Bayes’ theorem
Bayes’ theorem reverses a conditional probability and updates a prior belief after evidence is observed. This topic develops the formula from conditional probability, organizes two- and multi-case models with trees and tables, and applies Bayesian reasoning to IB HL problems.
Interpret prior, likelihood, evidence and posterior probabilities in context.
Derive and use Bayes’ theorem from the conditional probability definition.
Use the law of total probability for two-case and multi-case partitions.
Find reverse conditional probabilities using formulas, trees and probability tables.
Solve multi-stage Bayesian problems while stating any conditional-independence assumptions.
Use natural frequencies and reasonableness checks to interpret rare-event results.
Apply calculator and GDC methods without losing exact working or mathematical justification.
Communicate an IB HL solution with defined events, structured working and a contextual conclusion.
Key formulas
Conditional probability
P(A∣B)=P(B)P(A∩B),P(B)>0
General multiplication rule
P(A∩B)=P(A)P(B∣A)=P(B)P(A∣B)
Bayesian update structure
posterior=evidencelikelihood×prior
Bayes’ theorem
P(A∣B)=P(B)P(B∣A)P(A),P(B)>0
Law of total probability
P(E)=i=1∑nP(E∣Hi)P(Hi)
Two-case Bayes formula
P(A∣B)=P(B∣A)P(A)+P(B∣Ac)P(Ac)P(B∣A)P(A)
Tree-path multiplication
P(Hi∩E)=P(Hi)P(E∣Hi)
Evidence from tree leaves
P(E)=i=1∑nP(Hi∩E)
Conditional probability from counts
P(A∣B)=n(B)n(A∩B)
General Bayes formula for a partition
P(Hj∣E)=i=1∑nP(E∣Hi)P(Hi)P(E∣Hj)P(Hj)
Conditionally independent evidence
P(E1∩E2∣Hi)=P(E1∣Hi)P(E2∣Hi)
Conditional probability
P(A∣B)=P(B)P(A∩B)
Bayes’ theorem
P(A∣B)=P(B)P(B∣A)P(A)
Two-case total probability
P(B)=P(B∣A)P(A)+P(B∣Ac)P(Ac)
General total probability
P(E)=i=1∑nP(E∣Hi)P(Hi)
General Bayes formula
P(Hj∣E)=i=1∑nP(E∣Hi)P(Hi)P(E∣Hj)P(Hj)
Topic 4.14Not started
Variance and continuous random variables
Develop variance from expected values, model continuous random variables with probability density and cumulative distribution functions, and calculate probabilities and moments using integration.
Calculus is the largest analytical component of AA HL. The SL core establishes differentiation, integration, optimization, motion and area; Higher Level develops rigorous limits, first-principles differentiation, l’Hôpital’s rule, implicit differentiation, inverse-trigonometric and reciprocal-trigonometric calculus, advanced integration, volumes, differential equations and Maclaurin series.
19 topics
Unit 5 progress0%
Topics in this unit
Topic 5.1Not started
Limits, gradients and rates of change
Calculus begins with the idea of what a function approaches and how quickly a quantity changes. Students connect graphical slope, average rate and instantaneous rate.
Recognize stationary points where f′(x)=0, while checking the surrounding behavior.
Key formulas
Increasing test
f′(x)>0
Decreasing test
f′(x)<0
Stationary-value condition
f′(c)=0
Critical-value search
f′(x)=0orf′(x) is undefined
Local maximum sign change
f′:+⟶−
Local minimum sign change
f′:−⟶+
No extremum
f′:+⟶+orf′:−⟶−
Increasing
f′(x)>0
Decreasing
f′(x)<0
Stationary value
f′(c)=0
Local maximum
f′:+⟶−
Local minimum
f′:−⟶+
Topic 5.3Not started
Derivatives of polynomials
Students apply the power rule term by term and simplify derivatives efficiently. Polynomial differentiation becomes a foundation for tangents, optimization and kinematics.
Differentiate powers of x and sums of polynomial terms.
Evaluate a derivative at a specified x-value.
Use the derivative to solve a gradient or rate problem.
Key formulas
Derivative from first principles
f′(x)=h→0limhf(x+h)−f(x)
Equivalent derivative notation
f′(x)=y′=dxdy
Gradient at x=a
mtangent=f′(a)
Power rule
dxd(xn)=nxn−1
Power rule with a constant coefficient
dxd(axn)=anxn−1
Derivative of a constant
dxd(c)=0
Constant multiple rule
dxd[af(x)]=af′(x)
Derivative of a linear term
dxd(ax)=a
Sum rule
dxd[f(x)+g(x)]=f′(x)+g′(x)
Difference rule
dxd[f(x)−g(x)]=f′(x)−g′(x)
General polynomial derivative
dxd(k=0∑nakxk)=k=1∑nkakxk−1
Gradient at a point
m=f′(a)
Inputs with gradient m
f′(x)=m
Tangent equation
y−f(a)=f′(a)(x−a)
Normal gradient
mnormal=−f′(a)1
Stationary condition
f′(c)=0
Stationary point coordinates
(c,f(c))
Velocity from displacement
v(t)=s′(t)
Acceleration from displacement
a(t)=v′(t)=s′′(t)
Power rule
dxd(axn)=anxn−1
Constant rule
dxd(c)=0
Gradient at x=a
m=f′(a)
Topic 5.4Not started
Tangents and normals
The derivative gives the gradient of a tangent. A normal line is perpendicular to the tangent, so its gradient is the negative reciprocal when both lines have finite non-zero gradient.
Write the equation of the tangent through the point on the curve.
Find a normal gradient and equation.
Key formulas
Tangent gradient
mtangent=f′(a)
Point-slope form
y−y1=m(x−x1)
Tangent at x=a
y−f(a)=f′(a)(x−a)
Perpendicular-gradient condition
m1m2=−1
Normal gradient
mnormal=−f′(a)1
Normal at x=a
y−f(a)=−f′(a)1(x−a)
Given tangent gradient
f′(x)=m
Given normal gradient
f′(x)=−n1
Horizontal tangent
f′(a)=0⟹y=f(a)
Corresponding vertical normal
x=a
Parallel-gradient condition
m1=m2
Tangent approximation
f(x)≈f(a)+f′(a)(x−a)
Tangent equation
y−f(a)=f′(a)(x−a)
Normal equation
y−f(a)=−f′(a)1(x−a)
Perpendicular gradients
mtangentmnormal=−1
Topic 5.5Not started
Introduction to integration
Integration is introduced as reverse differentiation and as accumulation/area. Students should understand the role of the constant of integration for antiderivatives and the meaning of a definite integral.
Use a boundary or initial condition to determine the constant C.
Use technology to evaluate definite integrals and interpret area when the function is non-negative.
Key formulas
Antiderivative condition
F′(x)=f(x)
Reverse relationship
dxd(∫f(x)dx)=f(x)
Indefinite integral notation
∫f(x)dx=F(x)+Cwhen F′(x)=f(x)
Definite integral notation
∫abf(x)dx
Integration power rule
∫xndx=n+1xn+1+C,n=−1
Constant multiple rule
∫kf(x)dx=k∫f(x)dx
Sum and difference rule
∫(f(x)±g(x))dx=∫f(x)dx±∫g(x)dx
Integral of a constant
∫kdx=kx+C
Family of antiderivatives
F(x)+C,C∈R
Polynomial rule
∫(k=0∑makxk)dx=k=0∑mk+1akxk+1+C
Condition from a point
F(a)=bfor a point (a,b)
Verification statement
dxd(F(x)+C)=f(x)
Initial-value pattern
y′=f(x),y(a)=b⟹y=∫f(x)dx and then use y(a)=b
Fundamental Theorem of Calculus
∫abf(x)dx=[F(x)]ab=F(b)−F(a)
Motion hierarchy
a(t)=v′(t),v(t)=s′(t)
Displacement from velocity
s(t)=∫v(t)dt
Antiderivative definition
F′(x)=f(x)⟺∫f(x)dx=F(x)+C
Power rule
∫xndx=n+1xn+1+C,n=−1
Constant rule
∫kdx=kx+C
Linearity
∫(af(x)+bg(x))dx=a∫f(x)dx+b∫g(x)dx
Definite integral
∫abf(x)dx=F(b)−F(a)
Topic 5.6Not started
Derivatives of elementary and composite functions
AA HL extends differentiation beyond polynomials to trigonometric, exponential and logarithmic functions. Correct use of the chain, product and quotient rules is essential.
Interpret the sign of f″ as concavity information.
Use f″ as part of local-max/min analysis where appropriate.
Key formulas
Second derivative definition
f′′(x)=dxd(f′(x))
Equivalent notation
f′′(x)=y′′=dx2d2y=dxd(dxdy)
Successive derivative process
f(x)dxdf′(x)dxdf′′(x)
Exponential pattern
dx2d2(ekx)=k2ekx
Sine pattern
dx2d2(sin(kx))=−k2sin(kx)
Cosine pattern
dx2d2(cos(kx))=−k2cos(kx)
Concavity conditions
f′′(x)>0⇒concave up,f′′(x)<0⇒concave down
Derivative hierarchy
fgradientf′gradientf′′
Example derivatives
f(x)=x3−3x,f′(x)=3x2−3,f′′(x)=6x
Second-derivative test
f′(a)=0,f′′(a)>0⇒local minimum,f′′(a)<0⇒local maximum
Inflection requirement
f′′ changes sign at x=a
Motion derivative hierarchy
v(t)=s′(t),a(t)=v′(t)=s′′(t)
Second derivative
f′′(x)=dxd(f′(x))=dx2d2y
Concavity
f′′>0⇒concave up,f′′<0⇒concave down
Stationary-point test
f′(a)=0:f′′(a)>0⇒min,f′′(a)<0⇒max
Motion hierarchy
v=s′,a=v′=s′′
Topic 5.8Not started
Local maxima, minima and points of inflection
Optimization problems combine calculus with modelling. Students must identify the quantity to optimize, find critical points and justify the final choice within the allowed domain.
Identify points of inflection, including cases with zero or non-zero gradient.
Interpret stationary points in the original context.
Key formulas
Stationary-point condition
f′(a)=0
Local minimum test
f′(a)=0,f′′(a)>0
Local maximum test
f′(a)=0,f′′(a)<0
Concave up
f′′(x)>0
Concave down
f′′(x)<0
Inflection inputs for the visual
x=±32
Inflection coordinates
(±32,−920)
Stationary condition
f′(a)=0
First-derivative maximum pattern
f′:+→−
First-derivative minimum pattern
f′:−→+
Second-derivative minimum test
f′(a)=0,f′′(a)>0
Second-derivative maximum test
f′(a)=0,f′′(a)<0
Inflection requirement
f′′ changes sign at x=a
Topic 5.9Not started
Kinematics
One-dimensional motion links displacement, velocity and acceleration through differentiation and integration. Direction matters: distance travelled is not always the same as displacement.
Differentiate displacement to obtain velocity and velocity to obtain acceleration.
Integrate acceleration or velocity when conditions are given.
Find total distance by accounting for changes of direction.
Key formulas
Velocity from displacement
v(t)=dtds=s′(t)
Acceleration from velocity
a(t)=dtdv=v′(t)=s′′(t)
Average velocity
vˉ=t2−t1s(t2)−s(t1)
Speed
speed=∣v(t)∣
Velocity change
v(t2)−v(t1)=∫t1t2a(t)dt
Displacement change
s(t2)−s(t1)=∫t1t2v(t)dt
Displacement maximum test
v(r)=0,a(r)<0
Displacement minimum test
v(r)=0,a(r)>0
Net displacement
Δs=s(t2)−s(t1)
Total distance
D=∫t1t2∣v(t)∣dt
Derivative chain
s(t)dtdv(t)dtda(t)
Total distance on an interval
D=∫t1t2∣v(t)∣dt
Velocity
v(t)=s′(t)=dtds
Acceleration
a(t)=v′(t)=s′′(t)=dt2d2s
Topic 5.10Not started
Indefinite integrals and reverse chain rule
Students integrate a wider family of functions and recognize linear-composite patterns. Integration by inspection is often faster than formal substitution when the inner function is linear.
Integrate simple composite functions of ax+b by reversing the chain rule.
Recognize common trigonometric antiderivatives.
Key formulas
Indefinite integral definition
∫f(x)dx=F(x)+Cwhen F′(x)=f(x)
Power rule
∫xndx=n+1xn+1+C,n=−1
Constant multiple
∫kf(x)dx=k∫f(x)dx
Sum and difference
∫(f(x)±g(x))dx=∫f(x)dx±∫g(x)dx
Integral of a constant
∫kdx=kx+C
Reciprocal
∫x1dx=ln∣x∣+C
Natural exponential
∫exdx=ex+C
Cosine
∫cosxdx=sinx+C
Sine
∫sinxdx=−cosx+C
Secant squared
∫sec2xdx=tanx+C
General reverse-chain form
∫g′(x)f(g(x))dx=F(g(x))+Cwhere F′(u)=f(u)
Composite power
∫g′(x)[g(x)]ndx=n+1[g(x)]n+1+C,n=−1
Linear-composite power
∫(ax+b)ndx=a(n+1)(ax+b)n+1+C,a=0,n=−1
Logarithmic reverse chain
∫g(x)g′(x)dx=ln∣g(x)∣+C
Natural-exponential reverse chain
∫g′(x)eg(x)dx=eg(x)+C
Linear exponential
∫eax+bdx=a1eax+b+C,a=0
Cosine reverse chain
∫g′(x)cos(g(x))dx=sin(g(x))+C
Sine reverse chain
∫g′(x)sin(g(x))dx=−cos(g(x))+C
Secant-squared reverse chain
∫g′(x)sec2(g(x))dx=tan(g(x))+C
Verification principle
dxd(∫f(x)dx)=f(x)
Composite power
∫g′(x)[g(x)]ndx=n+1[g(x)]n+1+C
Logarithmic pattern
∫g(x)g′(x)dx=ln∣g(x)∣+C
Exponential pattern
∫g′(x)eg(x)dx=eg(x)+C
Cosine pattern
∫g′(x)cos(g(x))dx=sin(g(x))+C
Sine pattern
∫g′(x)sin(g(x))dx=−cos(g(x))+C
Topic 5.11Not started
Definite integrals and areas between curves
A definite integral gives signed accumulation. When a question asks for geometric area, negative contributions must be handled carefully and regions may need to be split.
Evaluate definite integrals analytically when possible.
Find areas between a curve and the x-axis.
Find areas between two curves using upper-minus-lower function.
Find intersections first when they define integration limits.
Key formulas
Signed-area interpretation
∫abf(x)dx=area above the x-axis−area below the x-axis
Fundamental theorem of calculus
∫abf(x)dx=[F(x)]ab=F(b)−F(a)where F′(x)=f(x)
Reverse limits
∫baf(x)dx=−∫abf(x)dx
Equal limits
∫aaf(x)dx=0
Split an interval
∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx
Area above the x-axis
A=∫abf(x)dxwhen f(x)≥0
Area below the x-axis
A=−∫abf(x)dx=∫ab[−f(x)]dxwhen f(x)≤0
Total area
Atotal=∫ab∣f(x)∣dx
Intersection condition
f(x)=g(x)
Area between two curves
A=∫ab[upper(x)−lower(x)]dx
Fundamental theorem
∫abf(x)dx=F(b)−F(a)
Split interval
∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx
Area above axis
A=∫abf(x)dxif f(x)≥0
Area below axis
A=−∫abf(x)dxif f(x)≤0
Area between curves
A=∫ab[upper(x)−lower(x)]dx
Topic 5.12Not started
Continuity, differentiability and the derivative from first principles
Use one-sided limits to test continuity, classify discontinuities, distinguish continuity from differentiability, and construct derivatives directly from the limiting difference quotient.
Interpret continuity locally, graphically and through limits.
Use left-hand and right-hand limits to decide whether a two-sided limit exists.
Apply all three conditions for continuity at a point and classify common discontinuities.
Determine unknown parameters that make piecewise functions continuous or differentiable.
Interpret a difference quotient as a secant gradient and its limit as a tangent gradient.
Derive derivatives from first principles using algebraic simplification and limits.
Explain why differentiability implies continuity and provide counterexamples to the converse.
Recognize corners, cusps, vertical tangents and discontinuities from graphs.
Use a GDC to investigate and verify while retaining rigorous limit-based reasoning.
Key formulas
Continuity at a point
x→climf(x)=f(c)
Existence of a two-sided limit
x→climf(x)=L⟺x→c−limf(x)=x→c+limf(x)=L
Three-condition test
f(c) exists,x→climf(x) exists,x→climf(x)=f(c)
Endpoint continuity
x→a+limf(x)=f(a),x→b−limf(x)=f(b)
Derivative at a point
f′(c)=h→0limhf(c+h)−f(c)
Difference quotient
hf(x+h)−f(x),h=0
Alternative derivative definition
f′(c)=x→climx−cf(x)−f(c)
Derivative function from first principles
f′(x)=h→0limhf(x+h)−f(x)
Quadratic derivative from first principles
dxd(ax2+bx+c)=2ax+b
Differentiability implication
f differentiable at c⟹f continuous at c
Differentiability at a join
x→c−limf(x)=x→c+limf(x)=f(c),f−′(c)=f+′(c)
Tangent equation
y−f(c)=f′(c)(x−c)
Continuity
x→climf(x)=f(c)
Two-sided limit
x→c−limf(x)=x→c+limf(x)=L
Difference quotient
hf(x+h)−f(x)
Derivative from first principles
f′(x)=h→0limhf(x+h)−f(x)
Derivative at a point
f′(c)=x→climx−cf(x)−f(c)
Piecewise differentiability
f−′(c)=f+′(c)
Tangent
y−f(c)=f′(c)(x−c)
Topic 5.13Not started
Evaluation of limits: l’Hôpital’s rule and series methods
Evaluate difficult finite and infinite limits by classifying indeterminate forms, choosing an efficient algebraic, l’Hôpital or Maclaurin-series method, and presenting a rigorous IB HL justification.
Implicit differentiation, related rates and optimization
Differentiate relationships defined implicitly, use their derivatives for tangents and motion, connect simultaneous rates through a shared constraint, and solve constrained maximum and minimum problems rigorously.
Distinguish explicit and implicit descriptions of a relationship and recognize when an implicit form is useful.
Apply the chain and product rules while differentiating equations containing both x and y.
Solve an implicit derivative equation for dy/dx and evaluate first or second derivatives at a point.
Find tangent and normal equations, including exceptional horizontal and vertical cases.
Translate verbal related-rate information into variables, a constraint equation and consistently signed derivatives.
Use first- and second-derivative tests, endpoints and domain constraints to justify local or global extrema.
Model geometric and real-world related-rate and optimization situations with correct units and interpretations.
Use a GDC to investigate and verify without replacing analytic differentiation and justification.
Key formulas
Implicit relation
F(x,y)=0
Implicit power chain rule
dxd(yn)=nyn−1dxdy
Implicit function chain rule
dxdg(y)=g′(y)dxdy
Product rule for xy
dxd(xy)=xdxdy+y
Implicit derivative from F
dxdy=−FyFx
Second implicit derivative
dx2d2y=dxd(dxdy)
Tangent equation
y−y0=mt(x−x0)
Normal gradient
mn=−mt1
Time chain rule
dtdf(x)=f′(x)dtdx
Related-rates product rule
dtd(xy)=xdtdy+ydtdx
Sphere volume
V=34πr3
Sphere volume rate
dtdV=4πr2dtdr
Cone volume rate
dtdV=3π(2rhdtdr+r2dtdh)
Fixed-length ladder rate
xdtdx+ydtdy=0
Stationary-point condition
Q′(x)=0
Second-derivative maximum test
Q′(c)=0,Q′′(c)<0⟹local maximum at c
Second-derivative minimum test
Q′(c)=0,Q′′(c)>0⟹local minimum at c
Open-box volume
V(x)=x(L−2x)(W−2x)
Closed-cylinder surface area
S=2πr2+2πrh
Fixed-volume cylinder condition
r3=2πV,h=2r
Motion along a curve
dtdy=dxdydtdx
Implicit derivative template
F(x,y)=0⟹dxdy=−FyFx
Related-rates template
F(x,y)=0⟹Fxdtdx+Fydtdy=0
Optimization conditions
Q′(c)=0,Q′′(c)<0 for a local maximum,Q′′(c)>0 for a local minimum
Topic 5.15Not started
Derivatives and antiderivatives of special functions
Differentiate and integrate exponential, logarithmic, trigonometric and inverse-trigonometric functions, recognize their composite standard forms, and preserve exact values, domains and constants.
Transform composite integrals by substitution, including changed bounds, and reverse the product rule through integration by parts, choosing methods strategically for algebraic and special-function products.
Use definite integrals to find exact areas and volumes of revolution, choosing the correct orientation, limits, and disc or washer radii from a carefully sketched region.
Distinguish signed integral values from geometric area and split intervals where necessary.
Find areas between curves using vertical or horizontal slices.
Find intersection points and use them as justified limits of integration.
Model volumes formed by rotation about the x-axis or y-axis using discs and washers.
Identify outer and inner radii as perpendicular distances from the axis of rotation.
Use a GDC to locate intersections, evaluate definite integrals, and verify exact analytic work.
Present complete IB HL solutions with sketches, formulas, correct bounds, exact values, and units.
Key formulas
Fundamental Theorem of Calculus
∫abf(x)dx=F(b)−F(a),F′(x)=f(x)
Reversing limits
∫baf(x)dx=−∫abf(x)dx
Total area
A=∫ab∣f(x)∣dx
Area under a non-negative curve
A=∫abf(x)dxwhen f(x)≥0
Area between curves with vertical slices
A=∫ab(f(x)−g(x))dxwhen f(x)≥g(x)
Intersection condition
f(x)=g(x)
Area with horizontal slices
A=∫cd(R(y)−L(y))dy
Symmetric area
A=2∫0ah(x)dxfor a symmetric region
Cross-sectional volume principle
V=∫Across-sectiondℓ
Disc method
V=π∫ab[R(x)]2dx
Volume about the x-axis
V=π∫ab[f(x)]2dx
Washer area
Awasher=π(R2−r2)
Washer volume about the x-axis
V=π∫ab([R(x)]2−[r(x)]2)dx
Disc volume about the y-axis
V=π∫cd[R(y)]2dy
Washer volume about the y-axis
V=π∫cd([R(y)]2−[r(y)]2)dy
Distance from a horizontal axis
radius=∣f(x)−k∣about y=k
Distance from a vertical axis
radius=∣g(y)−h∣about x=h
Bounding-cylinder check
0≤V≤πRmax2L
Area between curves
A=∫ab(upper−lower)dx
Area with horizontal slices
A=∫cd(right−left)dy
Disc volume
V=π∫R2dℓ
Washer volume
V=π∫(R2−r2)dℓ
Topic 5.18Not started
Differential equations
Model relationships between quantities and their rates of change using first-order differential equations, exact and numerical solution methods, equilibrium analysis, and real-world interpretation.
Interpret the order, variables and solution family of a differential equation.
Solve separable first-order differential equations and apply initial conditions.
Model exponential and logistic growth, decay and Newton cooling.
Identify equilibrium solutions and interpret direction fields and solution curves.
Approximate initial-value problems using Euler’s method.
Solve homogeneous first-order equations using the substitution y equals vx.
Solve linear first-order equations using an integrating factor.
Use a GDC appropriately and communicate domain restrictions, units and model limitations.
Key formulas
General first-order form
dxdy=f(x,y)
General second-order form
F(x,y,dxdy,dx2d2y)=0
Initial condition
y(x0)=y0
Separation rule
dxdy=g(x)h(y)⟹∫h(y)1dy=∫g(x)dx
Equilibrium condition
F(c)=0⟹y=c
Exponential model
N(t)=N0ekt
Doubling time
T2=kln2(k>0)
Half-life
T21=∣k∣ln2(k<0)
Newton cooling solution
T(t)=Ta+(T0−Ta)e−kt
Logistic differential equation
dtdN=kN(M−N)
Logistic solution
N(t)=1+Ae−kMtM
Logistic partial fractions
N(M−N)1=M1(N1+M−N1)
Euler update
xn+1=xn+h,yn+1=yn+hf(xn,yn)
Euler local line
y≈yn+f(xn,yn)(x−xn)(xn≤x≤xn+h)
Homogeneous substitution
y=vx⟹dxdy=v+xdxdv
Linear standard form
y′+P(x)y=Q(x)
Integrating factor
μ(x)=e∫P(x)dx
Linear solution structure
y=μ(x)1(∫μ(x)Q(x)dx+C)
Product derivative match
(μy)′=μy′+μ′y,μμ′=P
Separable equation
dxdy=g(x)h(y)⟹∫h(y)1dy=∫g(x)dx
Homogeneous substitution
y=vx,dxdy=v+xdxdv
Integrating factor
μ=e∫P(x)dxfory′+P(x)y=Q(x)
Linear solution
y=μ1(∫μQdx+C)
Topic 5.19Not started
Maclaurin series
Represent functions near the origin with Maclaurin series, generate new expansions algebraically or from differential equations, and use truncated series for approximation and limit evaluation.