This is Chapter 1 – Mathematical Induction for the Year 12 Specialist Mathematics course.

Mathematical induction is a formal method of proof used to establish that a statement is true for every positive integer, or for every integer from a particular starting point onward. It develops the logical precision expected throughout Specialist Mathematics and provides students with an early introduction to the style of reasoning used in tertiary mathematics.

We begin by revisiting the underlying process of induction and the idea that proving one statement can create a logical pathway to the next. The formal principle requires students to verify a base case, assume the result is true for a general value and then prove that it must also hold for the following value.

Although the overall structure remains consistent, the algebra within the inductive step can vary considerably. Students apply induction to divisibility statements, sequences, series and products, where careful expansion, factorisation and rearrangement are often required. Induction with matrices extends the method into a more abstract setting and requires students to combine matrix operations with formal proof.

A strong solution must do more than reach the correct final expression. Students need to communicate the assumption clearly, show exactly how it is used and conclude the proof appropriately. This makes induction especially valuable for developing structured mathematical writing.

Proof by induction is widely used in number theory, computer science, algorithm analysis and other areas involving recursively defined or sequential structures. The logical habits developed here also support later reasoning in polynomials, complex numbers, vectors and calculus.

Subchapters:

• 1A: The process of induction

• 1B: The principle of mathematical induction
• 1C: Proof of divisibility
• 1D: Proofs for sequences and series
• 1E: Proofs for products
• 1F: Induction with matrices

By the end of this chapter, students will be able to construct rigorous induction proofs and communicate each stage of their reasoning with clarity and precision.