Exam-style IB Maths AA SL proof questions with worked solutions. Start with the 3 fully worked examples below — each is solved step by step, showing the working that earns the marks — then try the practice questions and check your working against the mark scheme.
The question bank covers these proof question types (number of questions in brackets):
Number Properties Proofs (10)
Algebraic Identities (8)
Where students lose marks on proof
Examiner's noteProof: testing a few values instead of proving the general case
Where marks are lost: In a "show that … is a multiple of" question, a large number of candidates substituted several integers and stopped, which earned nothing. Similar: computing two specific terms and calling it a "show that".
Examiners flagged this in 2 exam series (November 2024, May 2025). Summarised in our own words from IB subject reports, IB Programme Resource Centre. Read the full note →
Proof worked examples
Worked example 1: Deductive proof of identities · easy
Prove the algebraic identity .
Solution
1. Expand the first binomial squared on the left-hand side (LHS): .
2. Expand the second binomial squared: .
3. Substitute these back into the LHS expression, using brackets to protect signs: .
4. Distribute the negative sign through the second bracket: .
5. Cancel the and terms.
6. Simplify to yield the final expression: , which equals the RHS.
6 steps
Examiner tip: When subtracting an expanded bracket, failing to wrap the entire expansion in parentheses before distributing the negative sign is the single most common cause of sign errors in deductive proofs.
Worked example 2: Proving multiples · medium
Prove that the sum of any three consecutive integers is always a multiple of .
Solution
1. Define three consecutive integers algebraically. Let the integers be , , and , where .
2. Set up the sum of these integers: .
3. Collect like terms together: .
4. Factorise the expression by factoring out the common divisor: .
5. State the logical conclusion: Since is an integer, is also an integer.
6. Conclude the proof: Because the sum is times an integer, it is always a multiple of 3.
6 steps
Examiner tip: A proof requires general algebraic terms. Showing that (which is ) is an example, not a proof, and will score zero marks.
Worked example 3: Proving properties of odd/even numbers · hard
Prove that the product of any two distinct odd integers is always an odd integer.
Solution
1. Define two distinct odd integers. Let them be and , where .
2. Set up the product of these two integers: .
3. Expand the brackets using FOIL: .
4. Factorise a out of the first three terms to isolate the even component: .
5. State that since and are integers, the expression must also evaluate to an integer. Let this be integer .
6. Conclude the proof: The product can be written in the form , which is the mathematical definition of an odd number.
6 steps
Examiner tip: You must use two different variables (e.g., and ) to represent "any two" odd integers. Using only proves that the *square* of an odd number is odd!
Try these IB Maths AA SL proof questions
Three questions from the bank, easiest first. Mark schemes and AI marking of your written working are in the practice area. One of them has its full worked solution here, open to everyone.
Factorise the denominator of the second fraction: . (M1)
The expression becomes: .
Multiply the numerator and denominator of the first fraction by to create a common denominator: (M1) . (A1)
Cancel the common factor of : . A1
Every question here has a full worked solution.See them all →
Question 3 · hard · 4 marks · Paper 2
The sum of the squares of two consecutive integers is . Find the two possible pairs of integers that satisfy this condition.
How many IB Maths AA SL proof questions are there?
There are 18 exam-style proof questions in the AA SL question bank (Paper 1: 15 · Paper 2: 3), graded 5 easy, 10 medium, 3 hard. Every question has a full IB-style mark scheme (M, A and R marks).
Is proof on Paper 1 or Paper 2?
Both. In the bank, Paper 1: 15 · Paper 2: 3. Paper 1 is non-calculator, so practise the exact-value algebra as well as the GDC methods.
Where can I get the mark schemes?
Open the AA SL Unit 1 practice page: every question has a step-by-step IB-style mark scheme, and you can photograph your working for instant AI marking. The worked examples on this page are free.