IB Mathematics: Applications and Interpretation Higher Level
Number and Algebra Formulae for IB Math AI HL
This educator-written guide turns Topic 1 into an organized revision system. It explains the formulas, the meaning behind them, calculator decisions, worked examples, common traps and the 2027 curriculum transition so that you can solve AI HL questions accurately instead of memorizing disconnected symbols.
What Does Number and Algebra Cover in IB Math AI HL?
Number and Algebra is Topic 1 of IB Mathematics: Applications and Interpretation. At Higher Level, it is not a separate island of abstract manipulation. It supplies tools that reappear in financial modelling, logarithmic scales, transformations, networks, Markov chains, coupled systems, data analysis and calculus. A matrix may begin as a rectangular arrangement of values, then become a system solver, a transformation, a transition model or a way to study long-term behaviour. A complex number may begin as a solution to a quadratic, then become a compact representation of rotation, stretch and phase.
The current course combines common SL material with additional higher-level content. The shared work includes scientific notation, arithmetic and geometric sequences, financial applications, exponent rules, logarithm basics, approximation and technology-based annuities. The additional HL portion develops logarithm laws, rational exponents, infinite geometric series, complex numbers, matrix algebra, eigenvalues, eigenvectors and diagonalization. Successful HL students connect these layers. For example, an infinite series depends on the geometric-series structure learned earlier, while an eigenvalue application depends on confident matrix multiplication and equation solving.
The point of a formula sheet is therefore not to replace reasoning. It should help you identify structure quickly. Before substituting numbers, name the model, define the variables, check the conditions and decide whether a hand method or technology is most efficient. This routine prevents many errors that look algebraic but actually begin with a modelling decision.
| Area | What you should be able to do | Typical question signal |
|---|---|---|
| Logarithms | Expand, condense and solve using valid domains | Products, quotients, powers, exponential unknowns |
| Rational exponents | Move between powers and roots and simplify | Fractional or negative indices |
| Infinite series | Test convergence and find a limiting sum | Repeated percentage change, bouncing or nesting |
| Complex numbers | Operate in Cartesian, polar and exponential form | Negative discriminant, Argand diagram, phase |
| Matrices | Calculate, invert and model systems | Tables, transformations, simultaneous equations |
| Eigen methods | Find invariant directions and efficient matrix powers | Repeated transformations or long-term systems |
Foundation Formulas AI HL Students Must Keep Active
Although this page emphasizes HL-only extensions, assessment questions can combine them with shared content without warning. You may diagonalize a matrix whose entries came from a sequence, or interpret a logarithmic result within a financial model. Keep the following foundations available and understand the variable definitions.
Scientific notation and exponent rules
Product rule: a^m×a^n=a^(m+n)
Quotient rule: a^m/a^n=a^(m−n)
Power rule: (a^m)^n=a^(mn)
Negative exponent: a^(−n)=1/a^n
Standard form is useful only if you preserve the coefficient condition. A calculator may display an answer with E notation, but a written mathematical answer should normally be converted to the requested form. In applied questions, also attach units and use a level of precision justified by the data rather than by the number of digits on the screen.
Arithmetic sequences and series
Arithmetic sum: S_n=n/2[2u_1+(n−1)d]
Equivalent sum: S_n=n/2(u_1+u_n)
An arithmetic sequence has a constant difference. The most common modelling mistake is to use this structure for a constant percentage change. If the same absolute amount is added each period, arithmetic is plausible. If the same multiplier or percentage applies each period, the model is geometric.
Finite geometric sequences and series
Finite geometric sum: S_n=u_1(1−r^n)/(1−r), where r≠1
A geometric sequence has a constant ratio. Always identify whether the initial amount represents term one or the value at time zero. The exponent changes accordingly. This indexing decision is small but can shift every later value by one period.
Worked example: choosing the correct sequence
A maintenance cost begins at 2,400 dollars and rises by 180 dollars each year. That is arithmetic because the absolute increase is constant: year n costs 2,400+180(n−1). If instead it rises by 7.5 percent each year, it is geometric: year n costs 2,400(1.075)^(n−1). State this interpretation before calculating a total.
Laws of Logarithms
Logarithms convert multiplication into addition, division into subtraction and powers into coefficients. This is why they are central to scale changes and linearisation. The laws are valid only when the logarithm arguments are positive. In the current AI HL course, examination work with these laws uses base 10 or base e.
Quotient law: log_a(x/y)=log_a(x)−log_a(y)
Power law: log_a(x^m)=m log_a(x)
Domain: a>0, a≠1, x>0, y>0
Expanding a logarithmic expression
Expansion reveals the individual factors. Apply the outer structure first. A quotient produces subtraction; then any internal product produces addition; powers move to the front. Do not split a sum because there is no law stating that the logarithm of a sum equals the sum of logarithms.
=2+3log_10(x)−log_10(y)
Condensing logarithms
Work in reverse. Coefficients become powers and then addition or subtraction becomes multiplication or division. Condensing is especially useful before solving because a single logarithm can be converted to an exponential statement.
=ln[x^2/(x−1)]
Worked example: solve a logarithmic equation
Solve ln(x)+ln(x−3)=ln(10). The domain requires x>3. Combine the left side to get ln[x(x−3)]=ln(10), so x(x−3)=10. This gives x²−3x−10=0 and therefore x=5 or x=−2. Only x=5 satisfies the original logarithmic domain. Domain checking is part of the solution, not an optional afterthought.
Solving exponential equations
If Ae^(kx)=B, then x=ln(B/A)/k
Before taking logarithms, isolate the exponential expression. When a model has an added vertical shift, subtract it first. Store unrounded parameter values on your calculator and round only the final contextual answer. If time is discrete, decide whether the question requires the exact decimal solution or the first whole period for which a threshold is reached.
Rational Exponents and Radical Form
A rational exponent expresses a root and a power in one notation. The denominator identifies the root and the numerator identifies the power. Converting deliberately between exponent and radical form can make simplification much clearer.
a^(−m/n)=1/a^(m/n)
For real values, even roots require a≥0
The order of root and power often gives the same real value when the expression is defined, but one form may be easier. For 32^(3/5), take the fifth root first: the fifth root of 32 is 2, then cube to obtain 8. For an algebraic expression, use exponent laws and state restrictions rather than cancelling symbols mechanically.
Worked example: simplify rational powers
(16x^8)^(3/4)=8x^6, under the stated real-domain assumptions
The second line needs care. In a fully general real setting, even roots can introduce absolute-value considerations. In an exam problem, use the domain supplied or inferred from context. If x represents a positive length, the positive-domain assumption is justified; if no domain is given, communicate the restriction.
Equations with rational exponents
Isolate the powered expression before applying a reciprocal power. Then check answers in the original equation. Raising both sides to an even power can create extraneous solutions, and taking an even root may omit a negative branch if the equation actually allows one.
Infinite Geometric Series
An infinite geometric series has a finite sum only when its terms shrink sufficiently fast. The convergence condition is not decoration: it is the first test you should perform. When the absolute value of the common ratio is less than one, successive powers approach zero and the partial sums approach a limit.
Convergence condition: abs(r)<1
Sum to infinity: S_∞=a/(1−r)
If r is positive, the terms keep the same sign. If r is negative, their signs alternate. Both can converge as long as the magnitude is below one. If abs(r) is at least one, do not use the sum-to-infinity formula because the terms do not approach zero in the required way.
Worked example: bouncing ball
A ball is dropped from 12 metres and rebounds to 70 percent of the previous height. The initial drop contributes 12 metres. Every completed rebound height is travelled twice, once upward and once downward. The rebound heights form an infinite geometric series with first term 12(0.7)=8.4 and ratio 0.7.
=12+56=68 metres
The common error is to double the initial drop as well. A diagram or a list of the first few movements makes the structure visible before you select the formula.
Recurring decimals and self-similar structures
A recurring decimal can be interpreted as an infinite geometric series. For example, 0.272727... can be written as 0.27+0.0027+0.000027+... . The first term is 0.27 and the ratio is 0.01, giving 0.27/(1−0.01)=27/99=3/11. Similar thinking appears in perimeter and area problems involving repeated scaling.
Complex Numbers in Cartesian Form
This section belongs to the current AI HL course and is particularly relevant to students assessed before the revised May 2029 cycle. A complex number combines a real part and an imaginary part. The imaginary unit satisfies i²=−1, extending the number system so that equations such as x²+1=0 have solutions.
Cartesian form: z=a+bi
Real part: Re(z)=a
Imaginary part: Im(z)=b
Conjugate: z*=a−bi
Modulus: abs(z)=sqrt(a^2+b^2)
Addition, subtraction and multiplication
Add or subtract real parts together and imaginary parts together. For multiplication, expand as with two binomials and replace i² by −1. Keep the final answer in a+bi form unless another representation is requested.
(a+bi)(c+di)=(ac−bd)+(ad+bc)i
Worked example: multiply complex numbers
=22−7i
The real contribution from the final term is positive because −10i²=10. Losing this sign is one of the most frequent hand-calculation errors.
Division using the conjugate
Multiply numerator and denominator by the conjugate of the denominator. The denominator becomes a real number because (c+di)(c−di)=c²+d².
Worked example: divide complex numbers
=(9+7i)/5=9/5+(7/5)i
Quadratics with a negative discriminant
If b^2−4ac<0, complex conjugate roots occur
For real coefficients, non-real roots occur as a conjugate pair. Keep the square root of a negative number organized: sqrt(−k)=i sqrt(k) for k>0. A calculator can confirm the result, but a hand solution should show the discriminant and the conversion to i.
Argand diagrams, modulus and argument
Plot z=a+bi as the point (a,b). The modulus is the distance from the origin. The argument is the directed angle from the positive real axis. Use the correct quadrant; a simple inverse-tangent output alone may give a reference angle rather than the required argument.
tan(theta)=b/a, with quadrant adjustment
Principal argument: −pi<theta≤pi
Polar and Exponential Forms of Complex Numbers
Cartesian form is usually convenient for addition and subtraction. Polar or exponential form is usually more efficient for multiplication, division and integer powers. Choosing the representation that matches the operation is an important AI skill.
Exponential form: z=re^(i theta)
where r=abs(z) and theta=arg(z)
Multiplication, division and integer powers
Quotient: [r_1 cis(theta_1)]/[r_2 cis(theta_2)]=(r_1/r_2)cis(theta_1−theta_2)
Power: [r cis(theta)]^n=r^n cis(n theta)
Geometrically, multiplication multiplies moduli and adds arguments. It therefore combines a stretch with a rotation. Division divides moduli and subtracts arguments. This interpretation is more memorable than treating the formulas as arbitrary symbol rules.
Worked example: power in polar form
If z=2cis(pi/6), then z⁴=2⁴cis(4pi/6)=16cis(2pi/3). Convert to Cartesian form only if requested: 16[cos(2pi/3)+i sin(2pi/3)]=−8+8sqrt(3)i.
Combining sinusoidal signals
The current course connects complex numbers with signals that have the same frequency but different phase shifts. Representing amplitudes and phases as complex quantities lets you add them as vectors on an Argand diagram. After combining the complex amplitudes, the modulus gives the resulting amplitude and the argument gives its phase shift.
Combined phasor: C=Ae^(i alpha)+Be^(i beta)
Result: abs(C)cos[omega t+arg(C)]
Matrix Algebra, Determinants and Inverses
A matrix organizes values in rows and columns. Its order is rows by columns. Addition and subtraction require the same order. Matrix multiplication requires the number of columns of the first matrix to equal the number of rows of the second. The order matters because matrix multiplication is generally not commutative.
Associative: A(BC)=(AB)C
Distributive: A(B+C)=AB+AC
Generally: AB≠BA
Two-by-two determinant and inverse
det(A)=ad−bc
A^(−1)=1/(ad−bc)[[d,−b],[−c,a]], where ad−bc≠0
The determinant tells you whether the inverse exists. If det(A)=0, the matrix is singular and the inverse formula is invalid. In a transformation context, the absolute determinant also gives the area scale factor. A negative determinant additionally indicates an orientation reversal.
Worked example: inverse of a matrix
det(A)=4×3−1×2=10
A^(−1)=1/10[[3,−1],[−2,4]]
Confirm by multiplying AA⁻¹ and checking that the identity matrix appears. This quick verification is especially useful after entering a matrix into technology.
Systems of linear equations
A system can be written as Ax=b. If A is invertible, multiply by A⁻¹ to obtain x=A⁻¹b. Technology is often efficient, but you still need to define the matrices correctly and interpret the components of the solution vector in context.
Solution: x=A^(−1)b
Worked example: production model
Suppose two products require labour and material. If product x uses 2 labour units and 1 material unit, while product y uses 1 labour unit and 3 material units, and the available totals are 100 and 120, then the system is 2x+y=100 and x+3y=120.
[[x],[y]]=[[2,1],[1,3]]^(−1)[[100],[120]]=[[36],[28]]
The final answer must say 36 units of the first product and 28 of the second, then be checked against non-negativity and any whole-unit restrictions.
Encoding, decoding and repeated transformations
Matrices can encode blocks of values, transform coordinates and combine information across categories. A decoding matrix is often the inverse of the encoding matrix. In repeated transformations, AB means that B acts first and A acts second when column vectors are used. Write a small test vector if the order is uncertain.
Eigenvalues, Eigenvectors and Diagonalization
An eigenvector is a non-zero direction that a matrix transformation does not turn away from itself; the matrix only scales it, possibly reversing direction. The scale factor is the eigenvalue. This idea helps explain invariant states, repeated transformations, population movement and coupled systems.
Characteristic equation: det(A−lambda I)=0
Finding eigenvalues for a two-by-two matrix
Subtract lambda from the diagonal entries of A, calculate the determinant and solve the resulting quadratic. Then, for each eigenvalue, solve (A−lambda I)v=0 to find a corresponding non-zero eigenvector. Any non-zero scalar multiple represents the same eigenvector direction.
Worked example: eigenvalues and eigenvectors
det(A−lambda I)=(3−lambda)^2−1=0
lambda_1=4, lambda_2=2
For lambda_1=4: v_1=[[1],[1]]
For lambda_2=2: v_2=[[1],[−1]]
The matrix stretches the direction (1,1) by a factor of 4 and the direction (1,−1) by a factor of 2. Multiplying A by each vector verifies the result immediately.
Diagonalization
For the assessed two-by-two case with distinct real eigenvalues, place independent eigenvectors as columns of P and place their eigenvalues in the corresponding positions of diagonal matrix D. Then A=PDP⁻¹. The order must match: if the first column of P is an eigenvector for lambda one, the first diagonal entry of D must be lambda one.
Matrix powers: A^n=PD^nP^(−1)
If D=[[lambda_1,0],[0,lambda_2]], then D^n=[[lambda_1^n,0],[0,lambda_2^n]]
The main benefit is repeated application. Raising a diagonal matrix to a power is simple, so Aⁿ can be calculated or interpreted efficiently. In a population model, the dominant eigenvalue and its eigenvector often describe long-term growth and the stable proportion between categories. Always connect the algebra back to the model rather than reporting an eigenvector without context.
How to Use Technology Without Losing Method Marks
AI HL expects purposeful use of technology. A graphing calculator or approved software can evaluate logarithms, solve equations, perform complex arithmetic, invert matrices and calculate eigenvalues. But an unexplained calculator output is not always a complete mathematical solution. The strongest response records the model, important inputs, a meaningful intermediate result and the contextual conclusion.
Before calculating
Define variables, state the equation or matrix, check units and identify domain or convergence conditions.
During calculation
Store full-precision values, verify modes such as radians or degrees and label matrix dimensions.
After calculating
Substitute back, multiply to verify an inverse, inspect reasonableness and interpret each component.
When writing
Show the setup and final answer even when technology performs the middle computation.
Complex-number mode
Confirm whether the calculator reports arguments in radians or degrees and whether the required principal range matches your display. When converting forms, check the quadrant visually on an Argand diagram. A decimal approximation may hide an exact special angle, so provide the requested form.
Matrix and eigenvalue mode
Enter every matrix carefully and verify its order. If an inverse command returns an error, inspect the determinant and input rather than repeatedly pressing the same keys. Calculator eigenvectors may be scaled differently from a markscheme; proportional non-zero vectors are equivalent. Check Av=lambda v to prove that the displayed pairing is correct.
How Number and Algebra Connects Across AI HL
Topic 1 becomes much easier to retain when you see where each idea is used later. Logarithm laws are not merely an exercise in symbolic manipulation. They explain why semi-log and log-log plots can transform exponential or power relationships into straight-line patterns. When a question asks you to interpret transformed data, the gradient and intercept usually represent combinations of the original model parameters. Recover those parameters and then evaluate the model on its original scale, because a strong straight line after transformation does not automatically guarantee a good contextual model.
Infinite geometric series connect to limits and repeated processes. A convergent sum describes the accumulated effect of endlessly repeated shrinking contributions. The same structure appears when distances decrease by a fixed ratio, when a self-similar design repeats at smaller scales, or when a long-term process can be decomposed into successive percentage contributions. Writing the first three terms is often the fastest way to discover whether a quantity is counted once or twice and whether the initial value belongs inside or outside the series.
Matrix algebra reappears throughout the applications course. Coordinate transformations use matrices to move or reshape objects. Adjacency matrices organize connections in graphs. Transition matrices describe movement between states in Markov chains. Coupled differential systems can also be expressed using matrices. The notation may change with the context, but the underlying questions remain familiar: what does each row and column represent, is multiplication in the correct order, and what does repeated application do to the system?
Eigenvalues and eigenvectors provide a bridge between a single transformation and its long-term behaviour. An eigenvector describes a direction or composition that the transformation preserves, while its eigenvalue describes the scale change. In a transition model, a steady-state vector is associated with eigenvalue one after the entries are scaled to represent probabilities. In a growth model, a dominant eigenvalue may control the long-run rate while the corresponding eigenvector determines stable proportions. These interpretations matter more than an isolated calculator list of values.
Complex numbers connect algebra with geometry and periodic behaviour in the current course. Cartesian form records horizontal and vertical components, while polar form records magnitude and direction. Multiplication becomes a stretch and rotation, so complex arithmetic can combine oscillations or phase shifts efficiently. This is a useful example of mathematical representation: the object is the same, but one form makes addition transparent and another makes multiplication transparent. Choosing the representation is part of the solution strategy.
Financial models also combine several Topic 1 ideas. Compound growth is geometric, solving for time may require logarithms, and annuity or amortization questions depend on accurately identifying payment timing and calculator settings. A numerical answer should be tested against reality: a payment count may need to be a whole number, an account balance cannot cross a target halfway through a scheduled period without interpretation, and interest or inflation rates must use compatible time units. This habit of returning to context is central to AI HL.
AI HL Exam Strategy for Number and Algebra
A reliable solution follows a visible chain: identify, represent, calculate, verify and interpret. Start by deciding which structure is present. Then write the defining formula or matrix relationship. Apply technology or algebra accurately, test the result against restrictions and finish in the language of the question.
- Underline the operation: sum, solve, approximate, prove, interpret or find a long-term value.
- Define variables: especially time zero, first term, state-vector order and matrix dimensions.
- Write conditions: positive log arguments, abs(r)<1, non-zero determinant or non-zero eigenvector.
- Choose the representation: Cartesian for addition, polar for complex multiplication, diagonal form for large matrix powers.
- Keep precision: do not round parameters before a later calculation.
- Verify: substitute solutions, multiply an inverse, or test the eigen equation.
- Interpret: state units, time period, category order and contextual limitations.
Common errors and how to prevent them
| Error | Why it happens | Better habit |
|---|---|---|
| Using a logarithm law across addition | Product and sum structures are confused | Factor first or keep log(x+y) intact |
| Using S∞ without checking r | The formula is memorized without its condition | Write abs(r)<1 before substitution |
| Accepting an invalid log solution | The transformed equation has a wider domain | Test every answer in the original logs |
| Wrong complex argument quadrant | Inverse tangent gives only a reference angle | Plot the point or use a two-argument angle tool |
| Assuming AB=BA | Matrix multiplication is treated like ordinary multiplication | Track dimensions and transformation order |
| Inverting a singular matrix | The determinant was never checked | Calculate det(A) before using A⁻¹ |
| Mismatching P and D | Eigenvectors and eigenvalues are reordered independently | Pair each column with its diagonal entry |
| Reporting calculator output only | Setup and interpretation are omitted | Show model, input, result and meaning |
A seven-day revision plan
Day 1: Refresh sequences, exponent laws and approximation. Day 2: Practise logarithm expansion, condensation, equations and domain checks. Day 3: Work on rational exponents and infinite-series models. Day 4: Review Cartesian complex arithmetic and quadratics. Day 5: Convert complex forms and practise products, powers and phase problems. Day 6: Solve matrix systems, inverses and applied transformations. Day 7: Complete a mixed timed set on eigenvalues, diagonalization and synthesis questions, then write an error log.
Frequently Asked Questions
Is this page only for AI HL students?
It focuses on the additional Higher Level Number and Algebra material, but it deliberately refreshes shared foundations because HL questions can combine SL and AHL ideas. AI SL students should use the combined SL and HL overview only for the content assigned by their teacher.
How many teaching hours does Topic 1 have?
The current official guide suggests 29 hours for Number and Algebra at HL: 16 hours of SL content and 13 hours of additional HL content. Suggested hours guide course planning; they are not an exam weighting guarantee.
Are complex numbers still in IB Math AI HL?
They are part of the current course described in the 2019 guide. IB’s revised course begins first teaching in August or September 2027 and first assessment in May 2029, and the official update states that complex numbers are removed from revised HL content. Follow the syllabus version confirmed by your school.
Do I need to memorize every matrix formula?
You should understand matrix order, multiplication, determinants, inverses and the eigenvalue relationships well enough to set up problems correctly. Use the official formula booklet and your teacher’s guidance to distinguish supplied formulas from facts and procedures you must know.
Why can two eigenvectors look different but both be correct?
Any non-zero scalar multiple of an eigenvector represents the same invariant direction. For example, (1,2) and (3,6) are equivalent directions. Verify the answer using Av=lambda v.
When should I use Cartesian or polar complex form?
Cartesian form is usually easiest for addition and subtraction. Polar or exponential form is usually best for multiplication, division and integer powers because moduli and arguments combine directly.
What condition must be checked before using a sum to infinity?
The common ratio must satisfy abs(r)<1. If that condition fails, the infinite geometric series does not have the finite sum given by a/(1−r).
Can I solve everything with a graphing calculator?
Technology can perform many calculations, but you still need to build the correct model, enter it accurately, state restrictions, show meaningful working and interpret the result. Those decisions are mathematical, not merely mechanical.
What is the fastest way to check a matrix inverse?
Multiply the original matrix by the proposed inverse. The result should be the identity matrix, allowing for small numerical rounding if decimal entries were used.
How should I revise this topic efficiently?
Use mixed practice. After learning each formula, solve one direct question, one contextual modelling question and one question that combines topics. Keep an error log organized by decision errors, algebra errors, technology errors and interpretation errors.
Related RevisionTown Guides
- Number and Algebra Formulae for AI SL and AI HL
- Prior Learning Formulae for AI HL
- Functions Formulae for AI HL
- Functions Formulae for AI SL and AI HL
Official Sources and Syllabus Boundary
This independent RevisionTown guide is not an official IB publication. Curriculum statements were checked against the official Mathematics: Applications and Interpretation guide and the IB’s latest course update page. Always use the syllabus version, formula booklet and calculator policy supplied by your school for your examination session.
Last educational review: 20 August 2026.
