Proof by induction and complex numbers are two places where IB Mathematics AA HL moves decisively beyond routine school Mathematics. Both require students to see structure: induction turns a repeating argument into a proof for infinitely many cases, while complex numbers extend the number system and connect algebra to geometry.
Proof by induction
A correct induction proof has a base case, an induction hypothesis and an induction step that shows why truth at one stage forces truth at the next. The most common weakness is not algebra—it is failing to state exactly what is being assumed and exactly what must be shown.
- State the proposition clearly.
- Verify the initial case.
- Assume the proposition for an arbitrary integer k.
- Use that assumption to prove the k+1 case.
- Conclude the statement for the required integers.
Complex numbers
Complex numbers should be understood through both algebraic and geometric representations. Cartesian form supports algebraic manipulation; Argand diagrams make modulus and argument visible; polar or exponential form makes multiplication, powers and roots structurally clearer.
Where the two topics connect
Both topics reward mathematical communication. A proof must show why a statement follows. A complex-number solution should explain which representation is being used and why it simplifies the task.
For the stable underlying Mathematics, use BTT’s Algebra Knowledge Object.
World Mathematics route: return to the World Mathematics Atlas for the wider map across examinations, curricula, competitions, mathematical objects and university routes.
IB Mathematics AA HL: proof by induction and complex numbers as connected advanced tools
Induction proves a general chain
State the proposition, verify the base case, assume it for k and prove it for k+1. The induction hypothesis must be used explicitly. Testing several values is evidence for a conjecture, not proof.
Algebra in the induction step matters
Many induction failures are really manipulation failures. Keep the target k+1 form visible and decide whether to transform the new expression toward it or substitute the hypothesis into a useful part.
Complex numbers extend the number line to a plane
Write z=a+bi and interpret it as a point or vector in the Argand plane. Modulus gives distance from the origin and argument gives direction.
Cartesian and polar forms serve different jobs
Addition is natural in Cartesian form; multiplication, division and powers often become clearer in modulus-argument form. Convert because the operation suggests it.
Multiplication has geometric meaning
Multiplying complex numbers multiplies moduli and adds arguments. This connects algebra to scaling and rotation.
Roots have symmetry
Solutions of z^n=w are distributed regularly in argument. Plotting roots reveals the geometry and helps detect missing solutions.
Conjugates support algebra and geometry
The conjugate changes the sign of the imaginary part, reflects across the real axis and helps simplify quotients. Products z times its conjugate give modulus squared.
Loci translate conditions into geometry
Conditions involving modulus and argument can describe circles, lines, rays or regions. Sketch before algebraic manipulation.
Common errors
Induction without using the hypothesis, degree/radian confusion in arguments, missing periodic arguments and reporting only one nth root are recurring failures.
Transfer
Mix proof, algebra and geometry so the student can choose a representation rather than treating induction and complex numbers as isolated exam tricks.