IB Maths AA 1.11 Definitions
This page contains our IB Maths AA definitions for 1.11. By learning each one of these definitions, you will fully cover the content for IB Maths AA 'Additional proofs'.
base
The initial value of for which a claim is first verified in an induction argument, commonly .
HL
contradiction
An impossibility or inconsistency reached in an argument, such as deducing two statements that cannot both be true.
HL
counterexample
A single example that makes a universal claim fail, showing the statement is not always true.
HL
Induction hypothesis
The assumption that is true for some fixed , used as a step in proving .
HL
Inductive step
The part of an induction proof where, using the induction hypothesis, is proved to follow from .
HL
opposite
The side that lies across from the chosen acute angle in a right-angled triangle.
proof
A sequence of logically valid steps showing that a statement is true.
HL
Proof by contradiction
A method where the opposite of the desired statement is assumed and then logical consequences are derived until an impossibility or inconsistency is reached, forcing the original statement to be true.
HL
Proof by mathematical induction
A method for proving a statement for all relevant positive integers by verifying an initial case and then showing that implies for some .
HL
universal
Describing a claim that applies to every element in a set, typically signalled by words such as “all”, “every”, “always”, or “no”.
Next Up
You have completed the topic 1 definitions for IB Maths AA - continue with related resources below or explore the full IB Maths AA course from the IBO.
Other topic 1 resources