The Higher Level pathway applies advanced mathematical models through statistics, functions, geometry, and calculus in real-world contexts.
Course units
5
Estimated study time
Not specified
Overall completion0%
Course Overview
IB Mathematics: Applications and Interpretation HL is organized into 5 units and 77 focused topics with 1584 Key Concepts sections, 931 questions, and 1540 flashcards.
Continue where you left off
Begin with Topic 1.1: Operations with numbers and scientific notation.
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
AI HL begins with the AI SL foundations of scientific notation, sequences, financial mathematics and technology-supported equation solving, then extends into logarithm laws, infinite geometric series, complex numbers, matrices and eigenvalue methods. This topic supports finance, transformations, Markov models, phase portraits and repeated-state systems later in the course.
15 topics
Unit 1 progress0%
Topics in this unit
Topic 1.1Not started
Operations with numbers and scientific notation
Scientific notation provides a stable way to work with very large and very small values and is frequently used in applied contexts.
Write non-zero numbers in normalized form a x 10k with 1≤a<10 and integer k.
Perform arithmetic using scientific notation and interpret calculator E-notation correctly.
Compare orders of magnitude and use appropriate units.
Maintain sufficient precision when scientific notation appears inside a longer calculation.
Key formulas
Normalized scientific notation
N=a×10k,1≤∣a∣<10,k∈Z
Product of powers of ten
10m×10n=10m+n
Quotient of powers of ten
10n10m=10m−n
Power of a power
(10m)r=10mr
Relative-size ratio
factor=smaller quantitylarger quantity
Multiplication rule
(a×10m)(b×10n)=(ab)×10m+n
Division rule
b×10na×10m=ba×10m−n,b=0
Addition with common exponent
a×10k+b×10k=(a+b)×10k
Power rule
(a×10k)n=an×10kn
Calculator translation
aEk=a×10k
Common metric prefixes
kilo=103,milli=10−3,micro=10−6,nano=10−9
Normalized form
N=a×10k,1≤∣a∣<10,k∈Z
Product
(a×10m)(b×10n)=ab×10m+n
Quotient
b×10na×10m=ba×10m−n
Power
(a×10m)r=ar×10mr
Common-exponent sum
a×10k+b×10k=(a+b)×10k
Topic 1.2Not started
Arithmetic sequences and series
Arithmetic sequences model approximately constant additive change. AI students should be able to calculate with the model and judge how well it fits real data.
Use sigma notation and interpret repeated percentage change.
Key formulas
Consecutive-term ratio
r=unun+1
Growth multiplier
r=1+100p
Decay multiplier
r=1−100p
Geometric recurrence
u1=a,un+1=run
Geometric nth term
un=arn−1
Term number from logarithms
n=1+lnrln(aun)
Ratio from two terms
rq−p=upuq
First term from a known term
a=rp−1up
First n geometric terms
Sn=a+ar+ar2+⋯+arn−1
Finite geometric sum
Sn=1−ra(1−rn)=r−1a(rn−1)
Constant-ratio special case
Sn=nawhen r=1
Finite geometric sum in sigma notation
k=0∑n−1ark=1−ra(1−rn)
Inclusive index count
number of terms=n−m+1
Infinite geometric sum
S∞=1−ra,∣r∣<1
Infinite sigma form
k=0∑∞ark=1−ra,∣r∣<1
Repeated-change model
At=A0rt
Percentage change from ratio
percentage change=100(r−1)%
Approximate ratio from endpoints
r≈(upuq)q−p1
Residual
en=observed value−predicted value
Common ratio
r=unun+1
Nth term
un=arn−1
Finite sum
Sn=1−ra(1−rn)
Infinite sum
S∞=1−ra
Topic 1.4Not started
Financial applications
Financial mathematics connects exponentials, repeated percentage change and technology. Students should understand what the variables mean rather than treating finance as a calculator-only topic.
Calculate present and future values under compound growth.
Model depreciation.
Interpret nominal rate, compounding frequency and number of periods.
Use financial technology for realistic savings and loan problems.
State answers in context with appropriate currency and time units.
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
Future price under inflation
Ct=C0(1+f)t
Real value after inflation
Vreal=(1+f)tM
Exact real annual rate
rreal=1+f1+r−1
Simple interest
I=Prt,A=P(1+rt)
Compound amount
FV=PV(1+i)N
Nominal compounding
i=mr,N=mt
Present value
PV=(1+i)NFV
Depreciation
VN=V0(1−d)N
Regular savings
FV=PMT(i(1+i)N−1)
Loan payment
PMT=PV(1−(1+i)−Ni)
Topic 1.5Not started
Exponents and introductory logarithms
The current shared AI syllabus includes exponent laws and numerical use of common and natural logarithms. At HL, logarithmic ideas are later developed more formally.
Evaluate powers, roots, log10(x) and ln(x) using technology.
Recognize logarithms as inverses of exponentials.
Use numerical logarithms in modelling and equation solving.
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
Exponential growth or decay model
Q(t)=Q0bt
Percentage multiplier
b=1±100r
Time to a target
t=lnbln(Q0T)
pH model
pH=−log10[H+]
Sound-intensity level
L=10log10(I0I)
Ratio from a base-10 scale difference
ratio=10Δ
Change-of-base formula
logab=logalogb=lnalnb
Product and quotient laws
aman=am+n,anam=am−n
Power laws
(am)n=amn,(ab)n=anbn
Zero and negative exponents
a0=1,a−n=an1(a=0)
Exponential-logarithmic equivalence
ax=b⟺logab=x
Change of base
logab=logalogb=lnalnb
Growth or decay model
Q(t)=Q0bt
Topic 1.6Not started
Approximation, bounds and percentage error
Approximation is treated as part of mathematical judgement. Rounded measurements represent intervals, and an applied conclusion may depend on how much error is acceptable.
Calculate regular loan payments and outstanding balances.
Analyze annuities and savings plans.
Recognize present value, future value, payment, interest rate and number of payment periods.
Interpret sign conventions used by GDC finance applications.
Compare financial options using mathematically justified criteria.
Key formulas
Annuity-due timing adjustment
Vdue=Vordinary(1+i)
Periodic rate
i=mr
Number of periods
n=mt
Effective annual rate
reff=(1+i)m−1
Future value of an ordinary annuity
FV=Ri(1+i)n−1
Future value of an annuity due
FVdue={Ri(1+i)n−1(1+i),nR,i=0i=0
Regular deposit for a target
R=FV(1+i)n−1i
Interest earned on a savings annuity
I=FV−nR
Present value of an ordinary annuity
PV=Ri1−(1+i)−n
Present value of an annuity due
PVdue=Ri1−(1+i)−n(1+i)
Loan as a present-value annuity
PV=Ri1−(1+i)−n
Periodic loan repayment
R={PV1−(1+i)−ni,PV/n,i=0i=0
Total scheduled repayments
T=nR
Total interest without fees
Itotal=nR−PV
Outstanding balance from original loan
Bk=PV(1+i)k−Ri(1+i)k−1
Outstanding balance from remaining payments
Bk=Ri1−(1+i)−(n−k)
Principal repaid by time k
Prepaid=PV−Bk
Interest component
Ij=iBj−1
Principal component
Pj=R−Ij
Balance recurrence
Bj=Bj−1(1+i)−R
Periodic rate and period count
i=mr,n=mt
Ordinary-annuity future value
FV=Ri(1+i)n−1
Annuity-due adjustment
Vdue=Vordinary(1+i)
Ordinary-annuity present value
PV=Ri1−(1+i)−n
Loan repayment
R=PV1−(1+i)−ni
Outstanding balance
Bk=PV(1+i)k−Ri(1+i)k−1
Amortization row
Ij=iBj−1,Pj=R−Ij,Bj=Bj−1−Pj
Total interest
Itotal=nR−PV
Topic 1.8Not started
Solving equations with technology
AI uses numerical technology to solve systems and polynomial equations efficiently, while the student remains responsible for creating the correct equations.
Review geometric sequences and series and distinguish terms from partial sums.
Identify the first term and common ratio, including alternating geometric structures.
Explain convergence through partial sums and apply the condition |r|<1 correctly.
Derive and use the finite-sum and sum-to-infinity formulas.
Find unknown first terms, common ratios, terms, and parameters while rejecting invalid candidates.
Calculate and interpret remainders after a finite number of terms.
Model repeated processes, recurring decimals, bouncing motion, steady states, and perpetuities.
Use a GDC to inspect partial sums and solve parameter equations while communicating convergence and 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}
Retain-and-add recurrence
An+1=rAn+d
Stable long-term level
L=1−rd,∣r∣<1
Present value of an end-of-period perpetuity
PV=iP,i>0
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
nth term
un=arn−1
Finite sum
Sn=1−ra(1−rn)
Convergence condition
∣r∣<1
Remainder after n terms
Rn=1−rarn
Unknown first term
a=S∞(1−r)
Unknown common ratio
r=1−S∞a
Topic 1.12Not started
Complex numbers in Cartesian form
Complex numbers extend the real number system and allow polynomial equations with negative discriminant to be solved. AI HL develops both algebraic operations and geometric interpretation in the complex plane.
Matrices provide a compact way to represent transformations, simultaneous equations and repeated-state systems. They become especially important in graph theory, Markov chains and differential-equation models.
Eigenvectors identify directions or states that are only scaled by a transformation. In AI HL they support powers of matrices and later help interpret coupled systems and long-term behaviour.
Interpret eigenvalues and eigenvectors through the equation A v = λv and matrix geometry.
Form and solve the characteristic equation to find exact eigenvalues.
Find and verify corresponding eigenvectors and describe eigenspaces.
Distinguish algebraic and geometric multiplicity for repeated eigenvalues.
Determine whether a matrix has enough independent eigenvectors to be diagonalizable.
Construct and verify a diagonalization A=PDP−1 with correctly matched columns and diagonal entries.
Use diagonalization to calculate powers of matrices efficiently.
Decompose an initial state into eigencomponents and analyze repeated transformations.
Interpret eigenvalues in dynamic, stability and transition-matrix models.
Use calculator/GDC eigenvalue and matrix methods while preserving exact reasoning and contextual conclusions.
Key formulas
Eigenvector equation
Av=λv,v=0
Equivalent homogeneous system
(A−λI)v=0
Length scaling
∥Av∥=∣λ∣∥v∥
Repeated eigenvector action
Anv=λnv
Characteristic equation
det(A−λI)=0
Two-by-two characteristic polynomial
λ2−tr(A)λ+det(A)=0
Eigenvalue checks
λ1+λ2=tr(A),λ1λ2=det(A)
Two-by-two expansion
det(A−λI)=(a−λ)(d−λ)−bc
Quadratic formula
λ=2a−b±b2−4ac
Eigenvector system
(A−λI)v=0
Eigenspace
Eλ=ker(A−λI)
Eigenspace span
Eλ=span{v1,…,vk}
Multiplicity bound
1≤mg(λ)≤ma(λ)
Diagonalizability count
dim(Eλ1)+⋯+dim(Eλk)=n
Multiplicity condition
mg(λ)=ma(λ) for every eigenvalue
Diagonalization
A=PDP−1
Equivalent relation
AP=PD
Eigenvector and eigenvalue arrangement
P=[v1⋯vn],D=diag(λ1,…,λn)
Construction
P=[v1⋯vn],D=diag(λ1,…,λn)
Reconstruction check
PDP−1=A
Power of a diagonalizable matrix
An=PDnP−1
Power of D
Dn=diag(λ1n,…,λnn)
Eigenvector power rule
Anv=λnv
Eigenbasis coordinates
c=P−1x0
State decomposition
x0=Pc=i=1∑kcivi
Repeated state
Anx0=i=1∑kciλinvi
Discrete iteration
xn+1=Axn
State after n steps
xn=Anx0
Spectral radius
ρ(A)=imax∣λi∣
Discrete asymptotic stability
ρ(A)<1
Steady-state eigen-equation
Ts=s
Normalized stationary state
i=1∑ksi=1
Steady plus transient form
xn=xsteady+cλtransientnv
Eigenpair residual
r=Av−λv
Diagonalization check
AP=PD
Solution workflow
det(A−λI)=0→λ→(A−λI)v=0→P,D→verify→apply
Practice workflow
A→det(A−λI)=0→λi→vi→P,D→power or model
Eigenpair
Av=λv
Eigenvectors
(A−λI)v=0
Power
An=PDnP−1
Repeated state
xn=Anx0
Unit 2
Not startedSubscription
Functions
Functions are the modelling language of AI. The shared course covers straight lines, graph interpretation and common real-world models; HL extends this into composite and inverse functions, transformations, logistic and logarithmic models, piecewise structures and logarithmic linearization.
10 topics
Unit 2 progress0%
Topics in this unit
Topic 2.1Not started
Equations of a straight line
Straight lines model constant rate of change and also provide the transformed relationships used in regression and linearization.
Students should extract information from graphs rather than treating them as pictures. Intersections, intercepts and turning behaviour often have contextual meaning.
Interpret intervals of increase/decrease and important changes in shape.
Relate graph features to the quantities being modelled.
Key formulas
Point on a graph
(a,b) lies on y=f(x)⟺f(a)=b
Even-root condition
u(x) is real⟺u(x)≥0
Denominator condition
q(x)p(x) is defined only when q(x)=0
Logarithm condition
loga(u(x)) is defined only when u(x)>0
Root condition
f(r)=0⟺(r,0) is an x-intercept
y-intercept
(0,f(0))
Quadratic vertex x-coordinate
xv=−2abfor f(x)=ax2+bx+c
Positive region
f(x)>0⟺the graph is above the x-axis
Negative region
f(x)<0⟺the graph is below the x-axis
Intersection condition
f(x)=g(x)⟺f(x)−g(x)=0
Root
f(x)=0
Target output
f(x)=k
Intersection
f(x)=g(x)
Difference-function form
f(x)−g(x)=0
Zero command target
Y1=f(x),Y1=0
Intersection command target
Y1=f(x),Y2=g(x),Y1=Y2
Break-even condition
R(x)=C(x)
Profit model
P(x)=R(x)−C(x)
Break-even as a root
P(x)=0
Root or zero
f(r)=0
x-intercept
(r,0)
Break-even
R(x)=C(x)⟺P(x)=0
Topic 2.5Not started
Modelling with common functions
AI HL uses a broad library of functions for applied modelling. Students should recognize characteristic shapes and connect parameters to real features.
Transform parent functions systematically, track every key feature, and interpret translations, reflections and scale changes in mathematical and applied models.
Logarithmic, sinusoidal, logistic and piecewise models
Choose, fit and critique logarithmic, sinusoidal, logistic and piecewise models by connecting their parameters and graph features to real data and context.
Use semi-log and log-log transformations to reveal straight-line relationships, fit exponential and power models, and recover interpretable parameters.
Explain how equal distances on a logarithmic axis represent equal ratios rather than equal differences.
Distinguish linear, semi-log and log-log plots and state the positivity conditions for logarithms.
Linearize exponential models using natural or common logarithms.
Linearize power models by transforming both variables.
Interpret the gradient and intercept of a transformed straight line.
Recover original model parameters correctly for the chosen logarithm base.
Create transformed data columns and perform linear regression with technology.
Use transformed plots and residuals to identify and compare plausible models.
Interpret multiplicative change, doubling time, half-life and scale exponents in context.
Recognize limitations caused by non-positive data, shifts, outliers and transformed error structures.
Distinguish interpolation from extrapolation and evaluate the reliability of predictions.
Communicate an IB AI HL modelling solution with equations, parameters, units and contextual conclusions.
Key formulas
Linear-axis spacing
Δx=x2−x1
Log-axis spacing
Δ(logbx)=logb(x1x2)
Order-of-magnitude difference
log10(x1x2)
Change of base
logbx=lnblnx
Inverse of natural log
lnA=c⇒A=ec
Inverse of common log
log10A=c⇒A=10c
Semi-log coordinates
X=x,Y=lny
Exponential straight line
Y=kX+lnA
One-unit growth factor
y(x)y(x+1)=ek
Log-log coordinates
X=lnx,Y=lny
Power straight line
Y=nX+lnA
Scaling rule
y(x)y(qx)=qn
Straight-line target
Y=mX+c
Exponential choice
X=x,Y=lny
Power choice
X=lnx,Y=lny
Natural exponential linearization
y=Aekx⇒lny=kx+lnA
Recovered parameters
k=m,A=ec
Percentage change
100(ek−1)%
General exponential linearization
lny=(lnb)x+lnA
Natural-log recovery
A=ec,b=em
Common-log recovery
A=10c,b=10m
Power linearization
y=Axn⇒lny=nlnx+lnA
Power recovery with ln
n=m,A=ec
Elasticity
yΔy≈nxΔx
Exponential intercept
x=0⇒y=A
Power intercept
lnx=0⇒x=1⇒y=A
Common-log multiplier
b=10m
Exponential ratio
y1y2=bx2−x1
Power ratio
y1y2=(x1x2)n
Power exponent
n=ln(x1x2)ln(y1y2)
Semi-log table
(x,y)↦(x,lny)
Log-log table
(x,y)↦(lnx,lny)
Positivity check
lnz is real only for z>0
Linear signature
y=a+bx
Exponential signature
lny=c+mx
Power signature
lny=c+mlnx
Transformed residual
ei=Yi−(mXi+c)
Coefficient of determination
R2=1−i=1∑n(Yi−Y)2i=1∑nei2
Back-transformed prediction
y=eY
Log residual as ratio
lny−lny=ln(yy)
Observed-to-fitted ratio
yy=eelog
Original residual
ri=yi−yi
Direct back-transform
y=exp(lny)
Nonlinearity warning
eE(Z)=E(eZ) in general
Log-normal mean adjustment
E(Y)=eμ+2σ2
Positive-domain conditions
y>0and, for log-log,x>0
Shifted exponential linearization
y=C+Aekx⇒ln(y−C)=kx+lnA
Shift requirement
y−C>0
pH scale
pH=−log10[H+]
Decibel level
L=10log10(I0I)
Ratio from index difference
Q1Q2=10kΔL
Doubling time
Td=kln2,k>0
Half-life
T21=∣k∣ln2,k<0
Base-form doubling time
Td=lnbln2
Geometric scaling
V∝L3
Area scaling
S∝L2
Factor response
x↦qx⇒y↦qny
Interpolation condition
xmin≤xpred≤xmax
Extrapolation condition
xpred<xmin or xpred>xmax
Prediction
y=f(xpred)
Absolute error
∣y−y∣
Absolute percentage error
100yy−y%
Root mean square error
RMSE=n1i=1∑n(yi−yi)2
Dimensionless logarithm
ln(Q0Q)
Exponent units
[k]=[x]−1
Power coefficient units
[A]=[y][x]−n
Exponential prediction from line
y=emx+c
Power prediction from line
y=ecxm
Unrounded calculation principle
store full m,c⇒round final y
Valid product law
ln(ab)=lna+lnb
Invalid sum split
ln(a+b)=lna+lnb
Exam chain
transform→regress→recover→predict→evaluate
Practice check: exponential
lny vs x linear⇒y=Aekx
Practice check: power
lny vs lnx linear⇒y=Axn
Practice check: prediction
fit=guaranteed extrapolation
Exponential
y=Aekx⟺lny=kx+lnA
Power
y=Axn⟺lny=nlnx+lnA
Base recovery
lnA=c⇒A=ec,log10A=c⇒A=10c
Unit 3
Not startedSubscription
Geometry and Trigonometry
AI HL begins with measurement, triangle trigonometry, circles, perpendicular bisectors and Voronoi diagrams, then extends into unit-circle ideas, transformation matrices, vectors, kinematics and a full graph-theory/network-algorithm strand.
16 topics
Unit 3 progress0%
Topics in this unit
Topic 3.1Not started
Distance, midpoint and three-dimensional solids
Coordinate geometry and mensuration support practical measurement in two and three dimensions.
Define sine, cosine and tangent from coordinates on the unit circle.
Convert accurately between degree and radian measure.
Recall and derive exact values for standard angles.
Use quadrants, reference angles and coterminal angles to evaluate trigonometric ratios.
Apply periodicity, odd/even symmetry and related-angle relationships.
Use reciprocal, quotient and Pythagorean identities with appropriate domain restrictions.
Simplify trigonometric expressions and prove elementary identities.
Solve sine, cosine and tangent equations on finite intervals and for all real values.
Solve quadratic, factorized and multiple-angle trigonometric equations without losing roots.
Use a GDC to find and verify graphical or numerical solutions.
Interpret trigonometric solutions and periods in applied models.
Communicate exact and approximate answers in an IB AI HL exam-ready form.
Key formulas
Unit-circle equation
x2+y2=1
Terminal point
P(cosθ,sinθ)
Tangent as slope
tanθ=cosθsinθ
Degree-radian equivalence
180∘=π rad
Degrees to radians
θrad=θdeg180π
Radians to degrees
θdeg=θradπ180
Special-angle sine pattern
sinθ=20,1,2,3,4
Special-angle cosine pattern
cosθ=24,3,2,1,0
Tangent from sine and cosine
tanθ=cosθsinθ
Quadrant I
sinθ>0,cosθ>0,tanθ>0
Quadrants II and III
QII:sinθ>0,QIII:tanθ>0
Quadrant IV
QIV:cosθ>0
Quadrant II reference angle
α=π−θ
Quadrant III reference angle
α=θ−π
Quadrant IV reference angle
α=2π−θ
Radian coterminal family
θ+2πk,k∈Z
Degree coterminal family
θ+360∘k,k∈Z
Principal reduction
θ≡θ+2πk(mod2π)
Sine periodicity
sin(θ+2πk)=sinθ
Cosine periodicity
cos(θ+2πk)=cosθ
Tangent periodicity
tan(θ+πk)=tanθ
Sine odd symmetry
sin(−θ)=−sinθ
Cosine even symmetry
cos(−θ)=cosθ
Tangent odd symmetry
tan(−θ)=−tanθ
Quadrant-II sine
sin(π−θ)=sinθ
Quadrant-II cosine
cos(π−θ)=−cosθ
Quadrant-IV relations
sin(2π−θ)=−sinθ,cos(2π−θ)=cosθ
Reciprocal identities
secθ=cosθ1,cscθ=sinθ1,cotθ=tanθ1
Quotient identities
tanθ=cosθsinθ,cotθ=sinθcosθ
Reciprocal products
sinθcscθ=1,cosθsecθ=1
Fundamental Pythagorean identity
sin2θ+cos2θ=1
Tangent-sec identity
1+tan2θ=sec2θ
Cotangent-cosecant identity
1+cot2θ=csc2θ
Difference of squares
1−cos2x=sin2x
Secant rearrangement
sec2x−1=tan2x
Cosecant rearrangement
csc2x−1=cot2x
Conjugate product
(1−sinx)(1+sinx)=1−sin2x
Pythagorean substitution
1−sin2x=cos2x
Secant square
cos2x1=sec2x
Sine range
−1≤sinx≤1
Sine principal interval
−2π≤sin−1(a)≤2π
Sine solution pair
x=α+2πkorx=π−α+2πk
Cosine range
−1≤cosx≤1
Cosine principal interval
0≤cos−1(a)≤π
Cosine general solution
x=±arccos(a)+2πk
Tangent range
tanx∈R
Tangent principal interval
−2π<tan−1(a)<2π
Tangent general solution
x=arctan(a)+kπ
Sine families
x=α+2πkorx=π−α+2πk
Cosine families
x=±α+2πk
Tangent family
x=α+kπ
Quadratic substitution
au2+bu+c=0,u=sinx,cosx or tanx
Sine-cosine range test
−1≤u≤1
Difference of squares
u2−1=(u−1)(u+1)
Zero-product form
A(x)B(x)=0⟹A(x)=0 or B(x)=0
Sine-square replacement
sin2x=1−cos2x
Cosine-square replacement
cos2x=1−sin2x
Input substitution
u=nx+c
Transformed interval
a≤x<b⟹na+c≤u<nb+c(n>0)
Back-substitution
x=nu−c
Interval filtering
x∈I
Exact-answer principle
sinx=21⟹x written as exact multiples of π
Verification test
L(x)=R(x)
Equation as a zero
f(x)=g(x)⟺f(x)−g(x)=0
Sinusoidal period
T=∣B∣2π
Sinusoidal range
D−∣A∣≤y≤D+∣A∣
Principal sine input
α=sin−1(a)
Principal cosine input
α=cos−1(a)
Residual check
residual=L(x)−R(x)
Final checklist
mode→reference angle→quadrants→interval→check
Sine-cosine feasibility
∣a∣≤1
Integer parameter
k∈Z
Practice equation workflow
isolate→solve ratio→generate angles→filter→verify
Model period
T=∣B∣2π
Graphical root condition
f(x)−g(x)=0
Unit-circle point
(x,y)=(cosθ,sinθ)
Three Pythagorean identities
sin2θ+cos2θ=1,1+tan2θ=sec2θ,1+cot2θ=csc2θ
Periods
Tsin=Tcos=2π,Ttan=π
Topic 3.9Not started
Geometric transformations using matrices
Represent reflections, rotations, scalings, stretches, shears and affine motions with matrices; compose them in the correct order and interpret their geometry.
Represent straight paths in two and three dimensions using fixed position and direction vectors; convert to parametric form, classify line relationships, solve intersections and interpret practical route models.
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 forms.
Construct a line from a point and a nonzero direction vector.
Construct a line through two distinct points.
Determine exactly whether a point lies on a line.
Recognize equivalent equations of the same line.
Test whether two lines are parallel, distinct or coincident.
Find and verify intersection points in two dimensions.
Find and verify intersection points in three dimensions.
Recognize skew lines through algebraic inconsistency.
Use parameter restrictions for segments, rays and physical time.
Apply vector lines to navigation, route planning and constant-velocity motion.
Use calculator or GDC systems as a verification tool.
Present complete IB Mathematics AI HL solutions with notation, reasoning, context and units.
Key formulas
Line model
r=a+λd,λ∈R
Displacement from the fixed point
r−a=λd
Position vector in 3D
OP=xyz
Vector between points
AB=OB−OA
Position vector of P
OP=xPyPzP
Nonzero direction requirement
d=0
Vector equation of a line
r=a+td,t∈R,d=0
Vector line equation
r=a+λd
Unit-direction form
r=a+sd
Parametric equations in 3D
x=x0+lt,y=y0+mt,z=z0+nt
2D parametric form
x=x0+λp,y=y0+λq
3D parametric form
x=x0+λp,y=y0+λq,z=z0+λr
Point-direction line
r=r0+λd
Line through two points
r=a+t(b−a),t∈R
Line through A and B
r=a+λ(b−a)
Point-on-line criterion
q−a=td for one t∈R
Membership condition
p−a=λd for one common λ
Symmetric form
lx−x0=my−y0=nz−z0
Component expansion
xyz=x0y0z0+λpqr
Same-line test
d2=kd1(k=0)anda2−a1=λd1
Same-line test
d2=kd1anda2−a1=md1
Line segment
r=a+t(b−a),0≤t≤1
Two-point parameterization
r(t)=(1−t)a+tb
xy-plane condition
z=0
yz-plane condition
x=0
xz-plane condition
y=0
Constant-velocity line
r(t)=r0+tv
Constant-velocity motion
r(t)=r0+tv
Parallel-direction test
e=kd,k=0
Coincidence test
e=kdandb−a=md
Intersection equation
a+λd=b+μe
2D component system
ax+λdx=bx+μex,ay+λdy=by+μey
3D intersection system
ai+λdi=bi+μei,i=1,2,3
Verification
a+λ0d=b+μ0e
Skew classification
e=kdanda+λd=b+μe for all λ,μ
Segment AB
r=(1−t)a+tb,0≤t≤1
Ray
r=a+td,t≥0
Bearing velocity
v=(vsinβvcosβ)
Route model
r(t)=r0+tv
Linear-system form
(pq−u−v)(λμ)=(bx−axby−ay)
Path-intersection model
a+λd=b+μe
Reliable final check
a+λd=?b+μe
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
Parallel test
e=kd
Intersection test
a+λd=b+μe
Segment restriction
r=(1−t)a+tb,0≤t≤1
Topic 3.12Not started
Vector kinematics
Model motion in two and three dimensions using time-dependent position, velocity and acceleration vectors; integrate and differentiate componentwise; analyze trajectories, relative motion, collisions and closest approach.
Interpret position vectors as functions of time in two and three dimensions.
Calculate displacement and average velocity over a time interval.
Differentiate position to obtain velocity and speed.
Differentiate velocity to obtain acceleration.
Integrate velocity to recover position using vector initial conditions.
Integrate acceleration to recover velocity and position.
Model constant-velocity and constant-acceleration motion.
Analyze planar and spatial particle trajectories.
Eliminate time to obtain a Cartesian trajectory equation.
Use velocity as a tangent direction and interpret changing speed.
Apply vector methods to projectile motion.
Calculate relative position, relative velocity and separation.
Determine closest approach by minimizing squared separation.
Distinguish geometric path intersections from collisions.
Solve and verify collision conditions in two and three dimensions.
Use calculator and GDC methods to support numerical motion analysis.
Evaluate modelling assumptions, domains, precision and units in context.
Present complete IB Mathematics AI HL solutions with clear vector reasoning.
Key formulas
2D position
r(t)=(x(t)y(t))
3D position
r(t)=x(t)y(t)z(t)
Displacement
Δr=r(t2)−r(t1)
Displacement magnitude
∣Δr∣=∣r(t2)−r(t1)∣
Average velocity
vavg=t2−t1r(t2)−r(t1)
Velocity
v(t)=dtdr
Component form
v(t)=x′(t)y′(t)z′(t)
2D speed
∣v∣=vx2+vy2
3D speed
∣v∣=vx2+vy2+vz2
Acceleration
a(t)=dtdv=dt2d2r
Component form
a(t)=x′′(t)y′′(t)z′′(t)
Vector derivative
dtd⟨f,g,h⟩=⟨f′,g′,h′⟩
Motion chain
rdtdvdtda
Indefinite integration
r(t)=∫v(t)dt+C
Initial-value form
r(t)=r(t0)+∫t0tv(u)du
Velocity from acceleration
v(t)=v(t0)+∫t0ta(u)du
Position after two integrations
r(t)=∫(∫a(t)dt+C1)dt+C2
Initial position
r(t0)=r0
Initial velocity
v(t0)=v0
Constant-velocity position
r(t)=r0+tv
Zero acceleration
a(t)=0
Velocity
v(t)=v0+ta
Position
r(t)=r0+tv0+21t2a
Planar state
r=⟨x,y⟩,v=⟨x′,y′⟩,a=⟨x′′,y′′⟩
Spatial motion
r(t)=⟨x(t),y(t),z(t)⟩
Spatial speed
∣v∣=x′(t)2+y′(t)2+z′(t)2
Trajectory elimination
t=g(x)⟹y=f(g(x))
Unit tangent
T(t)=∣v(t)∣v(t)
Speed derivative
dtd∣v∣=∣v∣v⋅a
Gravity acceleration
a=(0−g)
Projectile position
r(t)=r0+tv0+21t2(0−g)
Relative position
rBA=rA−rB
Relative velocity
vBA=vA−vB
Separation
d(t)=∣rA(t)−rB(t)∣
Squared separation
D(t)=∣rA−rB∣2=(rA−rB)⋅(rA−rB)
Stationary condition
D′(t)=0
Collision condition
rA(t)=rB(t)
Path-intersection condition
rA(u)=rB(v)
Bearing components
v=(VsinβVcosβ)
Ground velocity
vground=vmediumobject+vgroundmedium
Component displacement
Δx=∫t1t2vx(t)dt
Component acceleration
ax(t)=dtdvx
Numerical collision functions
fi(t)=rA,i(t)−rB,i(t)
GDC minimum target
D(t)=∣rA(t)−rB(t)∣2
Dimensional chain
[r]=L,[v]=LT−1,[a]=LT−2
Collision checklist
rA(t)=rB(t) in every component and within the domain
Velocity
v=dtdr
Speed
speed=∣v∣
Acceleration
a=dtdv=dt2d2r
Position from velocity
r(t)=r(t0)+∫t0tv(u)du
Constant acceleration
r=r0+tv0+21t2a
Collision
rA(t)=rB(t)
Topic 3.13Not started
Scalar and vector products
Products of vectors measure angular alignment and perpendicular area/direction. The dot product is widely used for angles; the cross product gives a vector perpendicular to two 3D vectors.
Calculate scalar products in two and three dimensions.
Interpret the scalar product using vector magnitudes and the included angle.
Find angles between vectors and identify acute, right and obtuse relationships.
Test vectors for perpendicularity using a zero scalar product.
Resolve one vector into components parallel and perpendicular to another.
Apply scalar products to work, direction and three-dimensional geometry.
Compute vector products accurately using components or determinants.
Use the right-hand rule and explain why cross-product order matters.
Find a vector perpendicular to two given non-parallel vectors.
Interpret the magnitude of a vector product geometrically.
Find areas of parallelograms and triangles using vector products.
Test vectors for parallelism using a zero vector product.
Find normals and equations of planes from points and direction vectors.
Use scalar triple products for volumes and coplanarity.
Use GDC methods to verify vector calculations while presenting complete reasoning.
Solve multi-step IB AI HL problems involving scalar and vector products.
Key formulas
Scalar product output
a⋅b∈R
Vector product output
a×b∈R3
Geometric dot product
a⋅b=∥a∥∥b∥cosθ
Self-product
a⋅a=∥a∥2
Commutative law
a⋅b=b⋅a
2D component form
⟨a1,a2⟩⋅⟨b1,b2⟩=a1b1+a2b2
3D component form
⟨a1,a2,a3⟩⋅⟨b1,b2,b3⟩=a1b1+a2b2+a3b3
Angle between vectors
θ=cos−1(∥a∥∥b∥a⋅b)
Perpendicular-vector test
a⊥b⟺a⋅b=0(a,b=0)
Scalar projection
compab=∥a∥a⋅b
Vector projection
projab=a⋅aa⋅ba
Perpendicular component
b⊥=b−projab
Constant-force work
W=F⋅d=∥F∥∥d∥cosθ
Cross-product magnitude
∥a×b∥=∥a∥∥b∥sinθ
Order reversal
b×a=−(a×b)
Self cross product
a×a=0
Component formula
a×b=⟨a2b3−a3b2,a3b1−a1b3,a1b2−a2b1⟩
Determinant form
a×b=ia1b1ja2b2ka3b3
Distributive law
a×(b+c)=a×b+a×c
Scalar factors
(sa)×(tb)=st(a×b)
Normal from two directions
n=u×v
Normal checks
n⋅u=0,n⋅v=0
Parallelogram interpretation
Aparallelogram=∥a×b∥
Base-height interpretation
∥a×b∥=∥a∥(∥b∥sinθ)
Parallelogram area
A=∥u×v∥
Triangle area
A△ABC=21AB×AC
Parallel-vector test
a∥b⟺a×b=0(a,b=0)
Collinearity test
A,B,C collinear⟺AB×AC=0
Point-normal plane
n⋅(r−p)=0
Cartesian plane
ax+by+cz=d,n=⟨a,b,c⟩
Angle between planes
θ=cos−1(∥n1∥∥n2∥∣n1⋅n2∣)
Angle between line and plane
ϕ=sin−1(∥d∥∥n∥∣d⋅n∣)
Parallelepiped volume
V=∣a⋅(b×c)∣
Coplanarity test
a⋅(b×c)=0
Tetrahedron volume
V=61∣a⋅(b×c)∣
Point-plane distance
d=∥n∥∣n⋅(p−a)∣
Cartesian point-plane distance
d=a2+b2+c2∣ax0+by0+cz0−d0∣
Unit normal
n=∥a×b∥a×b
GDC angle input
cos−1(norm(a)norm(b)dot(a,b))
Product decision
angle/projection→⋅,normal/area→×
Core angle formula
cosθ=∥a∥∥b∥a⋅b
Core area formula
A△=21∥a×b∥
Dot product
a⋅b=i=1∑naibi=∥a∥∥b∥cosθ
Cross product
a×b=⟨a2b3−a3b2,a3b1−a1b3,a1b2−a2b1⟩
Perpendicular test
a⋅b=0
Parallel test
a×b=0
Areas
A∥=∥a×b∥,A△=21∥a×b∥
Volume
V=∣a⋅(b×c)∣
Topic 3.14Not started
Graph theory: fundamental concepts
Graph theory models networks by representing objects as vertices and relationships as edges. The mathematics is structural rather than geometric: the exact drawn shape of the network is often irrelevant.
Define an adjacency matrix using a declared vertex order and row-to-column convention.
Construct adjacency matrices for directed and undirected graphs.
Reconstruct labelled graphs accurately from adjacency matrices.
Recognize symmetry, diagonal entries and row or column sums as graph information.
Represent loops and parallel edges under a stated matrix convention.
Construct and interpret weighted adjacency tables or matrices.
Distinguish zero weight from absence of an edge.
Calculate route weights from a weighted network.
Multiply matrices and compute powers using a GDC.
Explain why the entry of a matrix power counts walks of a specified length.
Interpret individual entries, row sums, column sums and diagonal entries of matrix powers.
Use powers of an adjacency matrix to test reachability within a fixed number of steps.
Distinguish walks counted by matrix powers from trails and paths.
Use trace formulas to count edges, returns and triangles in simple undirected graphs.
Distinguish adjacency, weighted and transition matrices.
Apply matrix representations to transport, communication, social and movement networks.
Use calculator matrix features efficiently and verify outputs independently.
Communicate IB AI HL solutions with vertex order, convention and contextual interpretation.
Key formulas
Matrix entry
aij=information about the connection vi→vj
Simple adjacency entry
aij={1,0,if vi→vj is an edge,otherwise
Matrix order
∣V∣=n⟹A∈Rn×n
Undirected symmetry
aij=ajiand henceA=AT
Simple graph diagonal
aii=0
Edge count
m=21i=1∑nj=1∑naij
Directed entry convention
aij=1⟺vi→vj
Transpose reverses arrows
AT represents the graph with every arrow reversed
Arc set
E={(vi,vj):aij=0}
Multiplicity entry
aij=number of edges from vi to vj
Degree with diagonal loop count
d(vi)=j=1∑naij+aii
Undirected test
A=AT
Isolation in an undirected graph
j=1∑naij=0
Undirected degree
d(vi)=j=1∑naij
Out-degree
d+(vi)=j=1∑naij
In-degree
d−(vj)=i=1∑naij
Directed degree balance
i=1∑nd+(vi)=i=1∑nd−(vi)=∣E∣
Weighted entry
wij=weight of the edge vi→vj
Undirected weighted symmetry
wij=wji
Common distance-table convention
wii=0,wij=∞ if no direct edge exists
Walk weight
W(v0v1⋯vk)=r=1∑kwvr−1vr
Matrix product entry
(BC)ij=r=1∑nbircrj
Adjacency square entry
(A2)ij=r=1∑nairarj
Two-step interpretation
(A2)ij=#{walks of length 2 from vi to vj}
Simple undirected diagonal
(A2)ii=d(vi)
Walk-count theorem
(Ak)ij=#{walks of length k from vi to vj}
Power recursion
Ak+1=AkA
Walks starting at (v_i)
j=1∑n(Ak)ij
Walks ending at (v_j)
i=1∑n(Ak)ij
All k-step walks
i=1∑nj=1∑n(Ak)ij
Trace
tr(Ak)=i=1∑n(Ak)ii
Based closed walks
(Ak)ii=#{closed k-walks based at vi}
Edges from trace
m=21tr(A2)
Triangles from trace
N△=61tr(A3)
Reachability up to L
RL=A+A2+⋯+AL
Finite reachability test
(A+A2+⋯+An−1)ij>0
Containment of route types
path⊆trail⊆walk
Weighted square entry
(W2)ij=r=1∑nwirwrj
Maximum-degree hub set
H={vi:d(vi)=1≤r≤nmaxd(vr)}
Row-stochastic condition
pij≥0,j=1∑npij=1
Two-step transition probability
(P2)ij=r=1∑npirprj
Power command meaning
Ak=k factorsA⋅A⋯A
Core walk formula
(Ak)ij=number of length-k walks from vi to vj
Triangle count
N△=6tr(A3)
Adjacency
aij=1⟺vi→vj
Walks
(Ak)ij=# length-k walks vi→vj
Row total
j=1∑n(Ak)ij
Closed walks
tr(Ak)=i=1∑n(Ak)ii
Topic 3.16Not started
Network routes, spanning trees and optimization algorithms
Optimize weighted networks using shortest-path, spanning-tree, route-inspection and travelling-salesperson methods, with complete algorithm traces and contextual interpretation.
Lv=w(MST(G−v))+two smallest weights incident with v
Bound interval
L≤WTSP∗≤U
Absolute bound gap
gap=U−L
Relative gap convention
relative gap=LU−L×100%
Shortest-path update
L(v)←min{L(v),L(u)+w(u,v)}
MST edge count
∣E(T)∣=n−1
TSP bounds
L≤WTSP∗≤U
Dijkstra
L(v)←min{L(v),L(u)+w(u,v)}
Tree size
∣E∣=∣V∣−1
Postman
WCPP=r=1∑mw(er)+minimum odd-pairing cost
Bounds
L≤WTSP∗≤U
Unit 4
Not startedSubscription
Statistics and Probability
Statistics and Probability is the largest current AI HL content area. The shared course develops data presentation, regression, distributions, Spearman correlation and basic hypothesis testing. HL then adds study design, nonlinear regression, transformed random variables, the Central Limit Theorem, confidence intervals, Poisson models, advanced hypothesis testing and Markov chains.
19 topics
Unit 4 progress0%
Topics in this unit
Topic 4.1Not started
Population, samples and sampling
Statistical conclusions are only as trustworthy as the data collection process. Students should judge source quality, bias and representativeness before calculation.
Use frequency tables for discrete and continuous data.
Construct and interpret histograms.
Use cumulative-frequency graphs.
Determine median, quartiles and percentiles.
Use box-and-whisker plots to compare distributions.
Calculate range and interquartile range.
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-polygon point
(mi,fi),mi=2Li+Ui
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 central tendency and spread
Different summaries answer different questions. Students should know when the mean is sensitive to extreme values and when the median/IQR are more robust.
Explain the effect of adding/multiplying all data values by a constant.
Compare data sets using both center and spread.
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
Linear correlation and regression
Linear regression describes association between two quantitative variables. The fitted equation supports prediction, but interpretation and limitations remain essential.
Identify trials, outcomes, sample spaces and events.
Use equally likely outcomes when appropriate.
Use relative frequency as an empirical estimate.
Apply complements.
Calculate expected numbers of occurrences from repeated trials.
Key formulas
Counting outcomes in successive choices
n(U)=n1n2⋯nk
Event containment
A⊆U
Probability bounds
0≤P(A)≤1
Impossible and certain events
P(∅)=0,P(U)=1
Equally likely outcomes
P(A)=n(U)n(A)
Complement rule
P(A′)=1−P(A)
Complement total
P(A)+P(A′)=1
Mutually exclusive condition
A∩B=∅⟺P(A∩B)=0
Addition rule for mutually exclusive events
P(A∪B)=P(A)+P(B)
Relative frequency
P(A)=NfA
Expected number of occurrences
E(number of occurrences of A)=NP(A)
General addition rule
P(A∪B)=P(A)+P(B)−P(A∩B)
Multiplication rule
P(A∩B)=P(A)P(B∣A)
Independent-event multiplication rule
P(A∩B)=P(A)P(B)
Core probability rules
P(U)=1,P(∅)=0,0≤P(A)≤1
Foundational probability toolkit
P(A)=n(U)n(A),P(A′)=1−P(A),P(A)=NfA
Probability scale and equally likely outcomes
0≤P(A)≤1,P(A)=n(U)n(A)
Complement, relative frequency and expectation
P(A′)=1−P(A),P(A)=NfA,E(count)=NP(A)
Topic 4.6Not started
Probability diagrams, combined events and conditional probability
Venn diagrams, tree diagrams and tables organize compound probability. Students should select the representation that makes the dependence structure clear.
Use inverse normal calculations to find cut-off values.
Distinguish standard deviation from variance when entering technology.
Sketch or annotate the probability region.
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
Spearman rank correlation
Spearman correlation measures monotonic association using ranks and can be more appropriate than Pearson correlation when data are ordinal or strongly affected by nonlinearity/outliers.
Fit, compare and critique linear and nonlinear regression models using parameters, residuals, residual plots, goodness-of-fit measures and contextual reasoning.
Describe a normal random variable using its mean and variance or standard deviation.
Standardize normal observations and interpret z-scores.
Calculate normal probabilities and quantiles using a GDC.
Transform a normal random variable under an affine rule.
Find the distribution of a sum of independent normal variables.
Find the distribution of a difference of independent normal variables.
Find the distribution of a general linear combination of independent normal variables.
Include covariance when random variables are not independent.
Find the mean, variance and standard deviation of an independent total.
Find the exact distribution of a sample mean from a normal population.
Distinguish the population distribution from a sampling distribution.
Distinguish a total from a sample mean and use the correct spread.
Explain the Central Limit Theorem in student-friendly language.
State the conditions and assumptions required for a CLT approximation.
Judge whether a sample size is adequate from the population shape and context.
Apply the CLT to approximate the distribution of a sample mean.
Apply the CLT to approximate the distribution of an independent sum.
Standardize sample means and sums using the correct standard error.
Find probability cutoffs using inverse-normal technology.
Apply continuity correction when approximating a discrete count by a normal model.
Use a finite-population correction where sampling without replacement makes it necessary.
Model quality control, demand, waiting times, polling and finance applications.
Use calculator/GDC functions accurately and report technology inputs.
Identify common mistakes involving variance, independence, normality and sample size.
Communicate assumptions, units and approximation language in IB AI HL solutions.
Solve multi-stage IB AI HL problems involving exact normal results and CLT approximations.
Key formulas
Mean of sample mean
E(Xˉ)=μ
Variance of sample mean
Var(Xˉ)=nσ2
Standard error
σXˉ=nσ
Normal notation
X∼N(μ,σ2)
Variance-standard deviation link
Var(X)=σ2
Total density area
P(−∞<X<∞)=1
z-score
Z=σX−μ
Standard normal
Z∼N(0,1)
Reverse standardization
X=μ+Zσ
Upper-tail complement
P(X>a)=1−P(X≤a)
Between probability
P(a<X<b)=P(X<b)−P(X≤a)
Affine normal rule
aX+b∼N(aμ+b,a2σ2)
Independent normal sum
X+Y∼N(μX+μY,σX2+σY2)
Independent normal difference
X−Y∼N(μX−μY,σX2+σY2)
Combination mean
E(T)=i=1∑kaiμi+c
Independent combination variance
Var(T)=i=1∑kai2σi2
Independent normal combination
T∼N(i=1∑kaiμi+c,i=1∑kai2σi2)
General two-variable variance
Var(aX+bY)=a2σX2+b2σY2+2abCov(X,Y)
Covariance from correlation
Cov(X,Y)=ρσXσY
Normal total distribution
Sn∼N(nμ,nσ2)
Normal total SD
σSn=nσ
Exact normal sample mean
Xˉ∼N(μ,nσ2)
Sample-mean standard error
σXˉ=nσ
Total
Sn=i=1∑nXi
Average
Xˉ=nSn
CLT standardized sum
σnSn−nμdN(0,1)
CLT sample-mean approximation
Xˉ≈N(μ,nσ2)
Standard-error ratio
SEn1SEn2=n2n1
Approximate sample-mean distribution
Xˉ≈N(μ,nσ2)
Sample-mean z-score
Z=nσXˉ−μ
Approximate sum distribution
Sn≈N(nμ,nσ2)
Sum z-score
Z=σnSn−nμ
Generic statistic z-score
Z=Var(T)T−E(T)
Mean z-score
Z=nσXˉ−μ
Sample-mean percentile
xp=μ+zpnσ
Bernoulli mean and variance
E(X)=p,Var(X)=p(1−p)
Sample-proportion approximation
p^≈N(p,np(1−p))
Binomial normal approximation
X∼B(n,p)≈N(np,np(1−p))
Finite-population standard error
SE(Xˉ)=nσN−1N−n
Independent normal combination
i=1∑kaiXi+c∼N(i=1∑kaiμi+c,i=1∑kai2σi2)
Independent total
Sn∼N(nμ,nσ2)exactly if X is normal, approximately by CLT otherwise
Sample mean
Xˉ∼N(μ,nσ2)exactly if X is normal, approximately by CLT otherwise
Mean standard error
SE(Xˉ)=nσ
Sum standard deviation
σSn=σn
Mean z-score
z=nσxˉ−μ
Sum z-score
z=σns−nμ
Topic 4.16Not started
Confidence intervals
Confidence intervals turn sample evidence into an estimate of an unknown population mean while making sampling uncertainty, assumptions and precision explicit.
The Poisson distribution models independent event counts at an approximately constant average rate across time, distance, area, volume or another exposure measure.
Explain a Poisson random variable as a count in a fixed exposure interval.
Recognize suitable and unsuitable situations for a Poisson model.
State the independence and constant-rate assumptions.
Interpret the parameter lambda as an expected event count.
Distinguish an event rate from the Poisson mean for a specified exposure.
Scale lambda when time, distance, area, volume or exposure changes.
Use correct Poisson distribution notation.
Calculate exact Poisson probabilities from the probability mass function.
Use factorials and the discrete support correctly.
Calculate probabilities of zero, one and multiple events.
Calculate cumulative at-most probabilities.
Calculate at-least probabilities using complements.
Calculate inclusive and exclusive interval probabilities.
Use the equality of Poisson mean and variance.
Calculate the Poisson standard deviation.
Find an unknown parameter from a mean, variance or standard deviation.
Find an unknown parameter from an exact or cumulative probability.
Use GDC Poisson PDF and CDF functions accurately.
Find quantile-type cutoffs using a GDC table or search.
Combine independent Poisson variables by adding their parameters.
Apply Poisson thinning or splitting where relevant.
Explain the connection between binomial and Poisson models.
Use a Poisson approximation to a binomial distribution where appropriate.
Use a normal approximation to a Poisson distribution where appropriate.
Apply a continuity correction in normal approximations.
Connect Poisson counts with exponential waiting times where relevant.
Estimate an event rate from observed counts and total exposure.
Evaluate model fit using the mean–variance relationship and context.
Solve multi-stage real-world event-rate problems.
Communicate assumptions, units and probability statements in IB AI HL style.
Key formulas
Poisson support
x∈{0,1,2,…}
Distribution notation
X∼Po(λ)
Small-exposure idea
P(two or more events in Δt)=o(Δt)
Constant-rate expectation
E(X)=rE
Expected count
E(X)=λ
Rate–exposure relation
λ=rE
Scale from one interval
λ2=λ1E1E2
Rate times exposure
λ=rE
Poisson notation
X∼Po(λ)
Discrete inequality
P(X<a)=P(X≤a−1)(a∈Z)
Poisson PMF
P(X=x)=x!e−λλx
Factorial
x!=x(x−1)⋯2⋅1
Zero factorial
0!=1
Poisson recurrence
P(X=x+1)=P(X=x)x+1λ
No events
P(X=0)=e−λ
At least one event
P(X≥1)=1−e−λ
Poisson CDF
P(X≤k)=x=0∑kx!e−λλx
Strict lower count
P(X<k)=P(X≤k−1)
At least k
P(X≥k)=1−P(X≤k−1)
More than k
P(X>k)=1−P(X≤k)
Inclusive interval
P(a≤X≤b)=F(b)−F(a−1)
Strict-lower interval
P(a<X≤b)=F(b)−F(a)
Poisson mean
E(X)=λ
Poisson variance
Var(X)=λ
Poisson standard deviation
σX=λ
From mean
λ=E(X)
From variance
λ=Var(X)
From SD
λ=σX2
Lambda from zero probability
λ=−lnP(X=0)
Consecutive probability ratio
P(X=x)P(X=x+1)=x+1λ
GDC PDF input
poissonPdf(λ,k)
Exact event
P(X=k)
GDC CDF input
poissonCdf(λ,k)=P(X≤k)
Quantile condition
F(k−1)<p≤F(k)
Independent Poisson sum
X∼Po(a),Y∼Po(b)⇒X+Y∼Po(a+b)
n independent equal intervals
i=1∑nXi∼Po(nλ)
Thinned Poisson count
Y∼Po(pλ)
Conditional category count
Y∣X=n∼Bin(n,p)
Poisson approximation
Bin(n,p)≈Po(np)
Approximation parameter
λ=np
Normal approximation
X∼Po(λ)≈Y∼N(λ,λ)
Continuity correction for at least k
P(X≥k)≈P(Y>k−0.5)
Poisson-process count
N(t)∼Po(rt)
Exponential survival
P(T>t)=e−rt
First-event CDF
P(T≤t)=1−e−rt
Equal-interval estimate
λ^=xˉ
Pooled rate estimate
r^=total exposuretotal events
Predicted interval parameter
λ^=r^E
Poisson moment check
Var(X)=E(X)
Dispersion ratio
D=xˉs2
Call interval parameter
λ=7.5(6024)=3
More than four
P(X>4)=1−P(X≤4)
Distance-scaled parameter
λ=(2.4)(3.5)=8.4
Distance-count spread
σY=8.4
Multi-stage parameter
λ=(original exposuremean count)(new exposure)
Exposure from no-event probability
E=−rlnP(X=0)
Correct at-least complement
P(X≥k)=1−F(k−1)
Correct interval scaling
λnew=rEnew
Exam workflow
context→r→λ→event→probability
Final probability form
0≤P(event)≤1
Practice PMF
P(X=x)=x!e−λλx
Practice CDF complement
P(X≥k)=1−F(k−1)
Practice scaling
λ=rE
Core model
X∼Po(λ)
Core PMF
P(X=x)=x!e−λλx
Core moments
E(X)=Var(X)=λ,σX=λ
Topic 4.18Not started
Advanced hypothesis testing, errors and critical regions
Advanced hypothesis testing formalizes evidence through hypotheses, test statistics, p-values and critical regions while quantifying Type I and Type II decision risks.
State null and alternative hypotheses using population parameters.
Distinguish a parameter claim from a sample statistic.
Choose a left-tailed, right-tailed or two-tailed alternative from the research question.
Explain the significance level as a preselected Type I error bound or rate.
Interpret a p-value as a probability calculated under the null hypothesis.
Use p-values to make reject or fail-to-reject decisions.
Calculate and interpret standardized test statistics.
Find critical values for one-tailed and two-tailed tests.
Construct and use critical regions.
Explain the equivalence of p-value and critical-region methods.
Define Type I and Type II errors in general and in context.
Calculate the actual probability of a Type I error.
Calculate Type II error probabilities for specified alternatives.
Calculate and interpret test power.
Explain how sample size, significance level and effect size affect power.
Select an appropriate test for a mean, proportion, Poisson mean or correlation.
Select between one-sample, paired and independent two-sample procedures.
Apply z or t tests for population means in the required settings.
Apply tests for population proportions.
Apply exact or critical-region tests for a Poisson mean in the current syllabus.
Test whether a population correlation coefficient is zero in the required setting.
Use chi-square tests of goodness of fit and independence appropriately.
Use GDC test menus and interpret complete output.
Check randomness, independence, distribution and expected-frequency conditions.
Distinguish statistical significance from practical importance.
Write conclusions using evidence language rather than certainty language.
Recognize the limitations of multiple testing and post-hoc tail selection.
Solve multi-stage IB AI HL hypothesis-testing problems.
Audit a testing solution for direction, boundaries, assumptions and interpretation.
Communicate technology-supported inference clearly and accurately.
Key formulas
Testing framework
claim→null model→sample evidence→decision
Evidence probability
P(result at least as extreme as observed∣H0)
Null hypothesis
H0:θ=θ0
Alternative forms
H1:θ<θ0,θ>θ0,orθ=θ0
Left tail
H1:θ<θ0
Right tail
H1:θ>θ0
Two tails
H1:θ=θ0
Significance level
α=P(reject H0∣H0 true)
Two-tail allocation
α=2α+2α
Generic standardized statistic
test statistic=null standard errorestimate−null value
Two-sided extremeness
∣T∣≥∣tobs∣
Right-tail p-value
p=P(T≥tobs∣H0)
Left-tail p-value
p=P(T≤tobs∣H0)
Two-tail p-value
p=P(∣T∣≥∣tobs∣∣H0)
Reject rule
p≤α⇒reject H0
Fail-to-reject rule
p>α⇒fail to reject H0
Right critical value
P(T≥c∣H0)=α
Two-tail critical values
P(T≤−c∣H0)+P(T≥c∣H0)=α
Equivalent rejection
T∈C⟺p≤α
Critical region probability
PH0(T∈C)≤α
Type I event
reject H0 when H0 is true
Type I probability
αactual=P(reject H0∣H0 true)
Type II event
fail to reject H0 when H1 is true
Type II probability
β(θ1)=Pθ1(fail to reject H0)
Power
Power(θ1)=1−β(θ1)
Power event
Pθ1(reject H0)
Discrete Type I probability
αactual=Pθ0(X∈C)
Discrete Type II probability
β(θ1)=Pθ1(X∈/C)
Selection keys
variable type+parameter+design+conditions
Paired reduction
Di=Xafter,i−Xbefore,i
One-sample z statistic
z=nσxˉ−μ0
Null sampling model
Xˉ∼N(μ0,nσ2)
One-sample t statistic
t=nsxˉ−μ0
Degrees of freedom
df=n−1
Sample proportion
p^=nx
One-proportion z statistic
z=np0(1−p0)p^−p0
Null expected counts
np0andn(1−p0)
Poisson null model
X∣H0∼Po(λ0)
Upper-tail Poisson p-value
p=Pλ0(X≥xobs)
Lower-tail Poisson p-value
p=Pλ0(X≤xobs)
Correlation t statistic
t=r1−r2n−2
Correlation test degrees of freedom
df=n−2
Correlation hypotheses
H0:ρ=0
Chi-square statistic
χ2=i=1∑kEi(Oi−Ei)2
GOF degrees of freedom
df=k−1−m
Expected cell frequency
Eij=grand total(row total)(column total)
Independence degrees of freedom
df=(r−1)(c−1)
Paired t statistic
t=nsddˉ−μD,0
Difference in means
H0:μ1−μ2=Δ0
GDC output set
(test statistic,p,df,sample estimates)
Decision audit
p?α
Reject conclusion
p≤α⇒sufficient evidence for H1
Non-reject conclusion
p>α⇒insufficient evidence for H1
Significance question
p≤α
Importance question
∣effect∣≥contextual threshold
Familywise false-positive chance
1−(1−α)m
Bonferroni per-test level
αper=mαfamily
Discrete upper critical boundary
Pθ0(X≥c)≤α<Pθ0(X≥c−1)
Actual level
αactual=Pθ0(X≥c)
Critical sample-mean boundary
c=μ0+z1−αnσ
Right-test beta
β(μ1)=Pμ1(Xˉ<c)
Power at alternative
1−β(μ1)
Correct conditioning
p=P(extreme data∣H0)
Incorrect reversal
p=P(H0∣data)
Testing workflow
H0,H1→test→conditions→T,p→decision→context
Error workflow
C→Pθ0(C) or Pθ1(Cc)
Practice decision
p≤α⇒reject H0
Practice power
1−β
Practice chi-square df
(r−1)(c−1)
Core decision
p≤α⟺T∈C
Core errors
α=PH0(reject),β(θ1)=Pθ1(fail to reject)
Core power
Power(θ1)=1−β(θ1)
Topic 4.19Not started
Markov chains and steady state
Markov chains model systems that move among states according to fixed transition probabilities. Matrix powers describe repeated steps, while a steady-state vector describes long-term proportions when appropriate.
Explain a stochastic process as a system whose state changes randomly over time.
Identify states, transitions and one-step transition probabilities.
State and apply the Markov property.
Construct a transition diagram from contextual information.
Read probabilities correctly from a directed transition diagram.
Construct a column-stochastic transition matrix.
Check that a transition matrix is valid.
Distinguish column-vector and row-vector conventions.
Construct and interpret an initial state vector.
Calculate a one-step future state using matrix multiplication.
Calculate an n-step future state using a matrix power.
Interpret entries of a powered transition matrix.
Convert probabilities into expected population counts.
Describe transient and long-term behaviour.
Define a steady-state distribution.
Find a steady state by solving a system of equations.
Verify a proposed steady state by multiplication.
Interpret the eigenvalue-one relationship for a steady state.
Recognize a regular Markov chain.
Explain why some chains do not converge.
Recognize absorbing states and simple absorption behaviour.
Model customer movement between categories.
Model migration between regions.
Model movement between market states.
Use GDC matrix operations and powers efficiently.
Use technology to approximate long-term distributions.
Build a Markov model from observed transition counts.
Evaluate the assumptions and limitations of a Markov model.
Avoid orientation, rounding and interpretation errors.
Communicate Markov-chain conclusions in an IB AI HL context.
Key formulas
State process
X0,X1,X2,…
State space
S={s1,s2,…,sk}
One-step transition
Xn=sj⟶Xn+1=si
n-step transition
X0⟶Xn
Markov property
P(Xn+1=i∣Xn=j,Xn−1,…,X0)=P(Xn+1=i∣Xn=j)
Time-homogeneous transition
P(Xn+1=i∣Xn=j)=tij
Transition probability
tij=P(Xn+1=si∣Xn=sj)
Probability total from current state j
i=1∑ktij=1
Outgoing total
i=1∑kP(j→i)=1
Visual matrix model
vn+1=Tvn
Column convention
tij=P(next i∣current j)
Column evolution
vn+1=Tvn
Row evolution
rn+1=rnR
Convention conversion
T=RT
Column checks
0≤tij≤1,i=1∑ktij=1
Probability conservation
1TT=1T
Initial probability vector
v0=p1p2⋮pk,i=1∑kpi=1
Counts to proportions
v0=N1n0
One-step evolution
vn+1=Tvn
Component form
(vn+1)i=j=1∑ktij(vn)j
n-step state
vn=Tnv0
Recursive form
vn=Tvn−1
n-step entry
(Tn)ij=P(Xn=si∣X0=sj)
Pure-state start
Tnej=column j of Tn
Component recurrence
vi,n+1=j=1∑ktijvj,n
Two-state reduction
bn=1−an
Long-term limit
n→∞limTnv0
Convergent case
n→∞limvn=π
Steady-state equation
Tπ=π
Probability condition
1Tπ=1,πi≥0
Eigenvector form
(T−I)π=0
Linear system
(T−I)π=0,1Tπ=1
Normalize eigenvector w
π=1Tww
Two-state balance
P(A→B)πA=P(B→A)πB
Normalization
πA+πB=1
Customer matrix
T=0.700.200.100.150.700.150.050.200.75
Customer steady state
π=9/3514/3512/35
Regularity condition
∃m∈N such that (Tm)ij>0 for all i,j
Regular-chain limit
n→∞limTnv0=π
Periodic swap
T2=I
Closed class
P(leave the class)=0
Absorbing state
tii=1
Simple survival
P(transient after n)=qn
Simple absorption by n
P(absorbed by n)=1−qn
Expected next counts
nn+1=Tnn
Long-run expected count
Nπ
Closed total
1Tnn+1=1Tnn=N
Net change
Δni=(nn+1)i−(nn)i
Pure-state forecast
v1=Tej
Most likely state
iargmax(vn)i
GDC prediction
Tnv0
GDC verification
Tπ−π≈0
Augmented system
[T−I1T]π=[01]
Empirical transition
tij=i=1∑knijnij
Column total
Nj=i=1∑knij
Time-homogeneous assumption
tij(n)=tij for all n
Changing-transition model
vn=TnTn−1⋯T1v0
Customer one-step state
v1=0.4050.3500.245
Customer limit
π=9/3514/3512/35
Migration matrix
T=(0.920.080.120.88)
Migration balance
0.08πN=0.12πS
Steady eigenvector
Tπ=1π
Two-state convergence pattern
vn−π=λ2n(v0−π)
Wrong operation
nT=Tn
Correct order check
order(v)=row/column state order of T
Prediction template
vn=Tnv0
Steady template
(T−I)π=0,i=1∑kπi=1
Practice prediction
vn=Tnv0
Practice steady state
Tπ=π
Practice normalization
i=1∑kπi=1
Transition probability
tij=P(Xn+1=i∣Xn=j)
Future state
vn=Tnv0
Steady state
Tπ=π
Regularity
∃m:(Tm)ij>0∀i,j
Unit 5
Not startedSubscription
Calculus
AI calculus begins with rates of change, polynomial differentiation, basic integration and optimization, then extends at HL into standard derivative rules, second derivatives, richer integration, volumes, kinematics, differential equations, slope fields, Euler approximation and phase portraits for coupled systems.
17 topics
Unit 5 progress0%
Topics in this unit
Topic 5.1Not started
Limits and the derivative as a rate of change
Calculus begins with the idea that local behaviour can be studied through limiting change. AI emphasizes graphical and contextual meaning.
Derivatives of standard functions and differentiation rules
Differentiate polynomial, exponential, logarithmic and trigonometric models using chain, product and quotient rules, then interpret the derivative in applied contexts.
Review the derivative as gradient and instantaneous rate of change.
Use derivative notation accurately and attach units in context.
Differentiate constants, powers, sums and polynomial functions.
Differentiate natural exponential functions and exponential composites.
Differentiate general exponential functions with a positive base.
Differentiate natural and general logarithmic functions with domain awareness.
Differentiate sine, cosine and tangent functions using radians.
Apply the chain rule to algebraic and standard-function composites.
Apply the product rule to products of differentiable functions.
Apply the quotient rule and preserve the numerator order.
Combine chain, product and quotient rules in multi-layer expressions.
Simplify expressions before differentiating when this reduces error.
Choose an efficient differentiation rule from the structure of a formula.
Evaluate exact derivative values using standard trigonometric and logarithmic values.
Find gradients and equations of tangents in mathematical and applied models.
Interpret derivatives as marginal cost, marginal revenue and changing rates.
Set up and solve elementary related-rate relationships.
Use derivatives to locate candidate optimum points in context.
Use GDC numerical derivatives and graphs as checks rather than substitutes for analytic work.
Communicate assumptions, domains, units and conclusions in IB AI HL style.
Key formulas
Difference quotient
f′(x)=h→0limhf(x+h)−f(x)
Tangent gradient
mtangent=f′(a)
Equivalent notation
f′(x)=y′=dxdy=dxd[f(x)]
Second derivative notation
f′′(x)=dx2d2y
Derivative units
[f′]=[x][f]
Constant rule
dxd(c)=0
Power rule
dxd(xn)=nxn−1
Constant multiple rule
dxd[cf(x)]=cf′(x)
Sum rule
dxd[f(x)±g(x)]=f′(x)±g′(x)
Polynomial derivative
dxd(r=0∑narxr)=r=1∑nrarxr−1
Linear function
dxd(mx+c)=m
Quadratic function
dxd(ax2+bx+c)=2ax+b
Natural exponential derivative
dxd(ex)=ex
Exponential chain rule
dxd(eu)=u′eu
General exponential derivative
dxd(ax)=axlna
General exponential chain rule
dxd(au)=u′aulna
Natural logarithm derivative
dxd(lnx)=x1
Logarithmic chain rule
dxd(lnu)=uu′
Change of base
logax=lnalnx
General logarithm derivative
dxd(logau)=ulnau′
Sine derivative
dxd(sinx)=cosx
Cosine derivative
dxd(cosx)=−sinx
Tangent derivative
dxd(tanx)=sec2x
Sine chain rule
dxd(sinu)=u′cosu
Cosine chain rule
dxd(cosu)=−u′sinu
Exact value
sin6π=21
Tangent chain rule
dxd(tanu)=u′sec2u
Sinusoidal rate
dtd[Asin(ωt+ϕ)]=Aωcos(ωt+ϕ)
Chain rule
dxdf(g(x))=f′(g(x))g′(x)
Power chain rule
dxd(un)=nun−1u′
Exponential composite
dxd(eu)=u′eu
Logarithmic composite
dxd(lnu)=uu′
Repeated chain factors
dxdf(g(h(x)))=f′(g(h(x)))g′(h(x))h′(x)
Product rule
dxd(uv)=u′v+uv′
Quotient rule
dxd(vu)=v2u′v−uv′
Structural rule
differentiate the outer structure, then each inner component
Tangent equation
y−f(a)=f′(a)(x−a)
Instantaneous rate
rate at x=a=f′(a)
Marginal profit
P′(q)=R′(q)−C′(q)
Point elasticity
E(x)=f(x)xf′(x)
Marginal approximation
Δf≈f′(x)Δx
Circle related rate
dtdA=2πrdtdr
Sphere related rate
dtdV=4πr2dtdr
Product related rate
dtd(xy)=xdtdy+ydtdx
Stationary condition
f′(x)=0
Optimization comparison
max{f(endpoints),f(feasible stationary points)}
Numerical derivative check
f′(a)≈nDeriv(f(x),x,a)
Power
dxd(xn)=nxn−1
Natural exponential
dxd(eu)=u′eu
General exponential
dxd(au)=u′aulna
Natural logarithm
dxd(lnu)=uu′
Sine
dxd(sinu)=u′cosu
Cosine
dxd(cosu)=−u′sinu
Tangent
dxd(tanu)=u′sec2u
Product
(uv)′=u′v+uv′
Quotient
(vu)′=v2u′v−uv′
Chain
dxdf(g(x))=f′(g(x))g′(x)
Topic 5.10Not started
Second derivative and classification
Use first and second derivatives to describe curvature, classify stationary points, identify inflection points and interpret changing rates in applied models.
Explain the second derivative as the rate of change of the first derivative.
Use and interpret second-derivative notation accurately.
Find second derivatives of polynomial and standard functions.
Interpret a second derivative as acceleration or a changing marginal rate.
Find stationary points by solving f′x=0.
Distinguish local maxima, local minima and stationary points of inflection.
Apply the second-derivative test to classify stationary points.
Recognize when the second-derivative test is inconclusive.
Use first-derivative sign changes when the second-derivative test fails.
Determine intervals of concavity from the sign of f''x.
Find candidate points of inflection and confirm a change in concavity.
Distinguish stationary and non-stationary points of inflection.
Connect the graphs and signs of f, f' and f''.
Reconstruct qualitative behaviour from derivative information.
Classify endpoints and interior critical points in constrained models.
Interpret curvature and classification in motion, cost and growth models.
Use GDC graphs, numerical derivatives and solvers appropriately.
State exact values before using decimal approximations where appropriate.
Avoid common errors involving f′′c=0 and inflection conditions.
Communicate derivative evidence, domains, units and contextual conclusions in IB AI HL style.
Key formulas
Second derivative
f′′(x)=dxd[f′(x)]
Leibniz notation
dx2d2y=dxd(dxdy)
Prime notation
y′′=f′′(x)
Evaluate after differentiating
f′′(a)=dx2d2yx=a
Natural exponential
dx2d2(ekx)=k2ekx
Natural logarithm
dx2d2(lnx)=−x21
Sine
dx2d2(sinx)=−sinx
Cosine
dx2d2(cosx)=−cosx
Velocity
v(t)=s′(t)
Acceleration
a(t)=v′(t)=s′′(t)
Second-derivative units
[f′′]=[x]2[f]
Stationary condition
f′(c)=0
Stationary coordinates
(c,f(c))
Interior extremum condition
f′(c)=0for a differentiable interior local extremum
Local minimum test
f′(c)=0andf′′(c)>0⟹local minimum
Local maximum test
f′(c)=0andf′′(c)<0⟹local maximum
Inconclusive case
f′(c)=0,f′′(c)=0requires another test
Concave up
f′′(x)>0
Concave down
f′′(x)<0
Candidate separators
f′′(x)=0orf′′(x) undefined
Inflection criterion
f′′ changes sign at x=c
Common candidate condition
f′′(c)=0is not sufficient
Stationary inflection
f′(c)=0andf′′ changes sign at c
Non-stationary inflection
f′(c)=0andf′′ changes sign at c
Increasing function
f′(x)>0
Decreasing function
f′(x)<0
Increasing derivative
f′′(x)>0⟺f′ is increasing
Decreasing derivative
f′′(x)<0⟺f′ is decreasing
Four cases
(f′,f′′)∈{(+,+),(+,−),(−,+),(−,−)}
First-derivative maximum
f′:+→−⟹local maximum
First-derivative minimum
f′:−→+⟹local minimum
No extremum
f′ has no sign change⟹neither maximum nor minimum
Classification sequence
f′(c)=0⟶f′′(c)⟶type and coordinates
Even-order conclusion
f(n)(c)>0,n even⟹local minimum
Odd-order conclusion
f(n)(c)=0,n>1 odd⟹stationary inflection
Maximum stationary points
degf=n⟹degf′=n−1
Exponential curvature
dx2d2(Aekx)=Ak2ekx
Logarithmic curvature
dx2d2[Aln(x+b)]=−(x+b)2A
Sinusoidal curvature
dx2d2[Asin(Bx+C)]=−AB2sin(Bx+C)
Turning candidate
v(t)=s′(t)=0
Position classification
s′′(t)=a(t)
Changing marginal cost
C′′(q)=dqd[C′(q)]
Profit test
P′(q)=0,P′′(q)<0⟹local maximum profit
Growth-rate maximum
P′′(t)=0with sign +→−⟹P′ has a local maximum
Closed-interval candidates
stationary points in [a,b],a,b
Strict concavity
f′′(x)>0on an interval⟹f is strictly convex there
Point condition
f(c)=d
Inflection candidate
f′′(c)=0
Numerical first derivative
f′(a)≈nDeriv(f(x),x,a)
Numerical second derivative
f′′(a)≈nDeriv(f′(x),x,a)
Essential test order
f′(c)=0first, then inspect f′′(c)
Stationary point
f′(c)=0
Local minimum
f′(c)=0,f′′(c)>0
Local maximum
f′(c)=0,f′′(c)<0
Inconclusive
f′(c)=0,f′′(c)=0
Inflection
f′′ changes sign
Maximum sign test
f′:+→−
Minimum sign test
f′:−→+
Velocity and acceleration
v=s′,a=s′′
Topic 5.11Not started
Integration of standard functions and substitution
Integrate polynomial, exponential, logarithmic and trigonometric forms, use substitution for composite integrands, apply initial conditions, and evaluate definite integrals accurately.
Explain integration as reverse differentiation and accumulation.
Distinguish indefinite integrals from definite integrals.
Use correct integral notation, limits and differentials.
Include and interpret the constant of integration.
Integrate polynomial and general power functions.
Recognize the logarithmic exception to the power rule.
Integrate natural and general exponential functions.
Integrate reciprocal and logarithmic-derivative forms.
Integrate standard trigonometric functions in radians.
Check antiderivatives by differentiation.
Apply the Fundamental Theorem of Calculus.
Interpret definite integrals as signed accumulation.
Recognize reverse-chain-rule patterns.
Choose an efficient substitution from the structure of an integrand.
Carry out substitution in indefinite integrals and return to the original variable.
Change limits correctly in definite integrals.
Use initial or boundary conditions to determine unknown constants.
Apply integration to accumulated change in contextual models.
Use GDC numerical integration appropriately and preserve accuracy.
Communicate methods, domains, units and conclusions in IB AI HL style.
Key formulas
Antiderivative relationship
F′(x)=f(x)⟺∫f(x)dx=F(x)+C
Derivative check
dxd[∫f(x)dx]=f(x)
Indefinite integral notation
∫f(x)dx
Definite integral notation
∫abf(x)dx
Family of antiderivatives
∫f(x)dx=F(x)+C
Sum rule
∫[f(x)±g(x)]dx=∫f(x)dx±∫g(x)dx
Constant multiple
∫kf(x)dx=k∫f(x)dx
Fundamental evaluation
∫abf(x)dx=F(b)−F(a)=[F(x)]ab
Reverse limits
∫baf(x)dx=−∫abf(x)dx
Same limits
∫aaf(x)dx=0
Accumulation derivative
dxd∫axf(t)dt=f(x)
Composite upper limit
dxd∫ag(x)f(t)dt=f(g(x))g′(x)
Net change
ΔQ=∫abQ′(t)dt
Final amount
Q(b)=Q(a)+∫abQ′(t)dt
Total area
A=∫ab∣f(x)∣dx
Power rule
∫xndx=n+1xn+1+C,n=−1
Constant
∫kdx=kx+C
Polynomial
∫(r=0∑narxr)dx=r=0∑nr+1arxr+1+C
Reciprocal rule
∫x1dx=ln∣x∣+C
Logarithmic derivative pattern
∫f(x)f′(x)dx=ln∣f(x)∣+C
Natural exponential
∫exdx=ex+C
Linear exponent
∫ekx+cdx=k1ekx+c+C,k=0
Reverse-chain exponential
∫f′(x)ef(x)dx=ef(x)+C
General exponential
∫axdx=lnaax+C
Composite general exponential
∫akx+cdx=klnaakx+c+C
Sine
∫sinxdx=−cosx+C
Cosine
∫cosxdx=sinx+C
Secant squared
∫sec2xdx=tanx+C
Cosecant squared
∫csc2xdx=−cotx+C
Tangent
∫tanxdx=−ln∣cosx∣+C
Inverse tangent
∫1+x21dx=arctanx+C
Scaled inverse tangent
∫a2+x21dx=a1arctan(ax)+C,a>0
Power composite
∫f′(x)[f(x)]ndx=n+1[f(x)]n+1+C,n=−1
Log composite
∫f(x)f′(x)dx=ln∣f(x)∣+C
Cosine composite
∫f′(x)cos(f(x))dx=sin(f(x))+C
Substitution rule
u=g(x),du=g′(x)dx
Transformed integral
∫f(g(x))g′(x)dx=∫f(u)du
Selection test
dxdu=g′(x)should match a factor in the integrand
Linear power
∫(ax+b)ndx=a(n+1)(ax+b)n+1+C,n=−1
Linear reciprocal
∫ax+b1dx=a1ln∣ax+b∣+C
Exponential substitution
∫f′(x)ef(x)dx=ef(x)+C
Nested logarithm
∫xlnxdx=21(lnx)2+C
Sine composite
∫f′(x)sin(f(x))dx=−cos(f(x))+C
Secant-squared composite
∫f′(x)sec2(f(x))dx=tan(f(x))+C
Changed limits
x=a⇒u=g(a),x=b⇒u=g(b)
Definite substitution
∫abf(g(x))g′(x)dx=∫g(a)g(b)f(u)du
Consistent alternative
[F(u)]u=g(a)u=g(b)=[F(g(x))]x=ax=b
Particular antiderivative
F(x)=∫f(x)dx+C,F(a)=b
Accumulation form
F(x)=F(a)+∫axf(t)dt
Accumulation from rate
Q(t)=Q(t0)+∫t0tR(s)ds
Units
[integral]=[rate]×[input]
Average value
favg=b−a1∫abf(x)dx
Method decision
simplify→standard form→substitution if an inner derivative matches
Generic numerical command
∫abf(x)dx≈fnInt(f(x),x,a,b)
Verification
dxd[answer]=integrand
Power
∫xndx=n+1xn+1+C,n=−1
Reciprocal
∫x1dx=ln∣x∣+C
Log pattern
∫ff′dx=ln∣f∣+C
Substitution
u=g(x),du=g′(x)dx
Definite evaluation
∫abf(x)dx=[F(x)]ab
Net change
Q(b)=Q(a)+∫abQ′(x)dx
Average value
favg=b−a1∫abf(x)dx
Topic 5.12Not started
Areas and volumes of revolution
Use definite integration to model signed and total area, areas between boundaries, and volumes formed by rotating regions about coordinate axes. Build accurate disc and washer models, use technology effectively, and interpret results in practical contexts.
Interpret a definite integral as signed accumulation and distinguish it from total geometric area.
Find the area under a curve and between a curve and a coordinate axis.
Find exact or numerical intersection points and use them as justified limits of integration.
Find areas between two curves using upper minus lower or right minus left.
Split an area integral when a graph crosses an axis or the boundary order changes.
Choose vertical or horizontal slices to create an efficient integral.
Explain how rotating a thin strip creates a disc or washer cross-section.
Find volumes of revolution about the x-axis and y-axis using discs and washers.
Identify outer and inner radii as perpendicular distances from the axis of rotation.
Set correct bounds and integrate with respect to the variable matching the cross-sections.
Model real-world cross-sectional areas, capacities, hollow components and manufactured solids.
Find unknown parameters from specified areas or volumes.
Use a GDC to graph boundaries, locate intersections and evaluate definite integrals.
Retain full calculator precision and report appropriate units and accuracy.
Check answers using sketches, dimensions, positivity and geometric reasonableness.
Present complete IB AI HL solutions with a model, limits, calculation and contextual conclusion.
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
Area between measured profiles
A=∫ab(yupper−ylower)dx
Accumulation from a rate
ΔQ=∫t1t2q(t)dt
Capacity from a radius profile
V=π∫cd[R(y)]2dy
Material volume of a hollow profile
V=π∫ab(R(x)2−r(x)2)dx
Radius scaling
R=kR⟹V=k2V
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.13Not started
Kinematics and calculus
Use calculus to model one-dimensional motion, connect position, velocity and acceleration, interpret motion graphs, distinguish displacement from total distance, and solve realistic IB AI HL kinematics problems.
Define position, displacement, velocity, speed and acceleration with correct signs and units.
Interpret position as a function of time relative to a chosen origin and positive direction.
Differentiate position to obtain velocity and differentiate velocity to obtain acceleration.
Integrate acceleration to obtain velocity and integrate velocity to obtain position.
Use initial conditions to determine integration constants.
Find all times when a particle is at rest within a stated domain.
Use the sign of velocity to determine the direction of motion.
Use the signs of velocity and acceleration to decide whether speed is increasing or decreasing.
Find and classify local and absolute maximum or minimum positions.
Calculate net displacement from endpoint positions or the signed area under a velocity graph.
Calculate total distance by splitting at every change of direction or integrating speed.
Calculate and distinguish average velocity and average speed.
Interpret gradients and signed areas on position–time, velocity–time and acceleration–time graphs.
Analyse polynomial, exponential, trigonometric and piecewise motion models.
Build and evaluate real-world models for braking, vertical motion and approach to terminal velocity.
Use a GDC to solve motion equations, evaluate derivatives and integrals, and inspect graphs.
Check domains, units, assumptions and physical reasonableness.
Present complete IB AI HL solutions with analytical setup, technological evidence and contextual conclusions.
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
Speed sign test
v(t)a(t)>0⇒speeding up,v(t)a(t)<0⇒slowing down
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
Average velocity
vˉ=t2−t1s(t2)−s(t1)=t2−t11∫t1t2v(t)dt
Average speed
average speed=t2−t1∫t1t2∣v(t)∣dt
Derivative chain
s(t)dtdv(t)dtda(t)
Total distance on an interval
D=∫t1t2∣v(t)∣dt
Distance check
D≥∣s(t2)−s(t1)∣
Oscillatory derivative pattern
s=Asin(ωt+ϕ)⇒v=Aωcos(ωt+ϕ)⇒a=−ω2s
Exponential chain rule
dtdekt=kekt
Terminal velocity limit
t→∞limV(1−e−kt)=V(k>0)
Stopping distance
D=∫0tstop∣v(t)∣dt,v(tstop)=0
Vertical acceleration near Earth
a=−g≈−9.8 m s−2
Velocity
v(t)=s′(t)=dtds
Acceleration
a(t)=v′(t)=s′′(t)=dt2d2s
Topic 5.14Not started
Modelling with differential equations
Construct, solve and evaluate first-order differential-equation models for growth, decay, finance, populations, cooling and input-output systems, with careful use of initial conditions, technology, units and assumptions.
Construct and interpret slope fields for first-order differential equations, sketch initial-value solution curves, analyze nullclines and equilibria, match fields to equations, and communicate long-term behaviour in applied models.
Explain the meaning of a slope or direction field.
Relate each direction segment to dxdy=f(x,y).
Calculate local slopes at selected coordinates.
Draw short direction segments with correct sign and steepness.
Construct a slope field systematically from a table and repeated patterns.
Distinguish autonomous and non-autonomous differential equations.
Recognize row, column and diagonal isocline patterns.
Find and interpret nullclines.
Read increasing, decreasing and near-horizontal behaviour from a field.
Sketch smooth solution curves tangent to a direction field.
Use an initial condition to select one solution curve.
Apply the uniqueness and non-crossing principle appropriately.
Find equilibrium solutions in autonomous models.
Classify stable, unstable and side-dependent equilibrium behaviour.
Predict long-term behaviour without solving explicitly.
Match differential equations to slope fields using structural evidence.
Check exact solutions against a field and by differentiation.
Interpret slope fields in population, cooling and rate-balance contexts.
Use technology or a GDC to generate or support field analysis.
Avoid common construction and interpretation errors in IB AI HL problems.
Key formulas
Direction-field rule
m(x,y)=dxdy=f(x,y)
Local gradient
f(a,b)=dxdy(a,b)
Slope table entry
mij=f(xi,yj)
Logistic row slope
m(y)=y(1−4y)
Segment angle
θ=tan−1(m)
Column-pattern example
y′=x⟹m depends only on x
Autonomous equation
dxdy=F(y)
Non-autonomous equation
dxdy=f(x,y)
Isocline equation
f(x,y)=c
Increasing/decreasing test
f(x,y)≷0⟺y increases/decreases locally
Nullcline
f(x,y)=0
Tangency condition
y′(x)=f(x,y(x))
Initial-value problem
dxdy=f(x,y),y(x0)=y0
Uniqueness consequence
one initial point⟹one local solution
Equilibrium condition
F(c)=0⟹y=c
Stability sign test
F(y)>0:↑,F(y)<0:↓
Row pattern
y′=F(y)
Column pattern
y′=G(x)
Diagonal-nullcline example
y′=x−y
Exact verification
y′(x)=?f(x,y(x))
Logistic field
dtdy=y(1−4y)
Newton cooling field
dtdT=−k(T−Ta),k>0
Logistic population model
dtdP=rP(1−KP)
Maximum logistic growth row
P=2K
Technology input
f(x,y)=right-hand side of the differential equation
Field-analysis chain
equation→slopes→field→solution behaviour
Field rule
m=f(x,y)
Autonomous equilibrium
F(c)=0⇒y=c
Initial condition
y(x0)=y0
Segment angle
θ=tan−1(f(x,y))
Topic 5.16Not started
Euler method and numerical differential equations
Use Euler’s method to approximate first-order initial-value problems, organize iterations in tables, control step size and error, compare numerical and exact solutions, and apply the method to real-world and coupled models.
Phase portraits for coupled differential equations
Analyze two-variable coupled differential equations in the phase plane, construct and interpret trajectories, classify equilibria with eigenvalues, predict stability and long-term behaviour, and connect portraits to oscillation, damping, populations and numerical technology.