Skip to content
Elite Mathematics
IAL · WMA12 · Topic

Proof: past paper questions & worked solutions

Every Proof question from the WMA12 papers in our bank, 2021–2026, sorted from easiest to hardest. Try each one first, then open the worked solution.

18questions
99marks in total
84%of papers (16 of 19) include it
14/3/1easy / medium / hard

Questions, easiest first

Level is estimated from marks: 1–6 easy, 7–8 medium, 9+ hard.

1. WMA12/01 October 2023 · Q1

Easy3 marks
WMA12/01 October 2023 Question 1 (3 marks): Proof
Show worked solution
  1. Use the conditions

    Since $c=3a+1$ and $a+b+c=15$, substitute for $c$ to get $a+b+3a+1=15$.

  2. Write b in terms of a

    This gives $b=14-4a$.

  3. List possible a values

    The integers $a,b,c$ are positive. Since $b=14-4a>0$, we need $a<3.5$. Therefore $a=1,2,3$.

  4. Check each case

    If $a=1$, then $b=10$ and $c=4$, so $abc=40$. If $a=2$, then $b=6$ and $c=7$, so $abc=84$. If $a=3$, then $b=2$ and $c=10$, so $abc=60$.

  5. Conclude the exhaustion

    The products $40$, $84$ and $60$ are all multiples of $4$. All possible cases have been checked, so $abc$ is always a multiple of $4$.

Final answer

The only possible triples are $(1,10,4)$, $(2,6,7)$ and $(3,2,10)$, giving products $40$, $84$ and $60$. Each is a multiple of $4$, so $abc$ is always a multiple of $4$.

2. WMA12/01 October 2022 · Q1

Easy3 marks
WMA12/01 October 2022 Question 1 (3 marks): Proof
Show worked solution
  1. Use the two conditions

    Since $c=b+2$ and $a+b+c=10$, substitute for $c$: $a+b+(b+2)=10$.

  2. Write a in terms of b

    This gives $a+2b+2=10$, so $a=8-2b$.

  3. List the possible b values

    The integers $a,b,c$ are all positive. Since $b>0$ and $a=8-2b>0$, the only possible values are $b=1,2,3$.

  4. Exhaust the cases

    If $b=1$, then $a=6$ and $c=3$, so $abc=18$. If $b=2$, then $a=4$ and $c=4$, so $abc=32$. If $b=3$, then $a=2$ and $c=5$, so $abc=30$.

  5. Conclude the proof

    The list contains every possible case, and in every case the product is even. Therefore $abc$ is always even.

Final answer

The possible triples are $(6,1,3)$, $(4,2,4)$ and $(2,3,5)$, giving products $18$, $32$ and $30$. Each product is even, so $abc$ is always even.

3. WMA12/01 May/June 2025 · Q10

Easy4 marks
WMA12/01 May/June 2025 Question 10 (4 marks): Proof
Show worked solution
  1. List the possible cases

    A positive integer that is not a multiple of $3$ must have the form $m=3q+1$ or $m=3q+2$.

  2. Case one

    If $m=3q+1$, then $m^2+3m+2=(3q+1)^2+3(3q+1)+2=9q^2+15q+6=3(3q^2+5q+2)$.

  3. Case two

    If $m=3q+2$, then $m^2+3m+2=(3q+2)^2+3(3q+2)+2=9q^2+21q+12=3(3q^2+7q+4)$.

  4. Conclude by exhaustion

    Both possible cases give a factor of $3$, so $m^2+3m+2$ is always a multiple of $3$.

Final answer

Proven.

4. WMA12/01 January 2023 · Q10

Easy4 marks
WMA12/01 January 2023 Question 10 (4 marks): Proof
Show worked solution
  1. Use the three possible forms

    Every integer is exactly one of the forms $3k$, $3k+1$ or $3k+2$, where $k$ is an integer.

  2. First case already given

    For $n=3k$, the expression becomes $3(6k^2+k)+1$, so it leaves remainder $1$ when divided by $3$.

  3. Try n equals 3k plus 1

    If $n=3k+1$, then $2n^2+n+1=2(3k+1)^2+(3k+1)+1$.

  4. Simplify the second case

    $2(9k^2+6k+1)+3k+2=18k^2+15k+4=3(6k^2+5k+1)+1$, which is not divisible by $3$.

  5. Try n equals 3k plus 2

    If $n=3k+2$, then $2n^2+n+1=2(3k+2)^2+(3k+2)+1$.

  6. Simplify the third case

    $2(9k^2+12k+4)+3k+3=18k^2+27k+11=3(6k^2+9k+3)+2$, which is not divisible by $3$.

  7. Complete the exhaustion

    All possible integer forms have been checked, and none gives a multiple of $3$. Therefore $2n^2+n+1$ is not divisible by $3$.

Final answer

For $n=3k$, $n=3k+1$ and $n=3k+2$, the expression has remainders $1$, $1$ and $2$ respectively when divided by $3$. Therefore $2n^2+n+1$ is never divisible by $3$.

5. WMA12/01 October 2021 · Q9

Easy4 marks
WMA12/01 October 2021 Question 9 (4 marks): Proof
Show worked solution
  1. Start with a square

    For positive $x$ and $y$, both $\sqrt{x}$ and $\sqrt{y}$ are real, so $(\sqrt{x}-\sqrt{y})^2\geq0$.

  2. Expand

    $(\sqrt{x}-\sqrt{y})^2=x-2\sqrt{xy}+y\geq0$.

  3. Rearrange

    Thus $x+y\geq2\sqrt{xy}$, and dividing by $2$ gives $\dfrac{x+y}{2}\geq\sqrt{xy}$.

  4. Give a negative counterexample

    Take $x=-1$ and $y=-1$. Then $\dfrac{x+y}{2}=-1$, while $\sqrt{xy}=\sqrt1=1$.

  5. Conclude

    Since $-1\geq1$ is false, the inequality does not hold for all negative $x$ and $y$.

Final answer

$(a)$ Proven. $\quad (b)$ For example, $x=y=-1$ gives $-1\not\geq1$.

6. WMA12/01 January 2021 · Q5

Easy4 marks
WMA12/01 January 2021 Question 5 (4 marks): Proof
Show worked solution
  1. Start from a square

    For $x\geq0$, $\sqrt{3x}$ is real and $(\sqrt{3x}-1)^2\geq0$.

  2. Expand the square

    $(\sqrt{3x}-1)^2=3x-2\sqrt{3x}+1\geq0$.

  3. Rearrange the inequality

    Therefore $3x+1\geq2\sqrt{3x}$, as required.

  4. Give a counterexample

    The consecutive prime numbers $5$, $7$, and $11$ have sum $5+7+11=23$.

  5. Complete the disproof

    $23$ is not a multiple of $5$, so the statement is not true.

Final answer

$(i)$ Proven. $\quad (ii)$ For example, $5+7+11=23$, which is not a multiple of $5$.

7. WMA12/01 January 2025 · Q8

Easy5 marks
WMA12/01 January 2025 Question 8 (5 marks): Proof
Show worked solution
  1. Give a counterexample

    Let $x=\sqrt2$ and $y=\dfrac1{\sqrt2}$. Both are irrational and $x\ne y$, but $xy=1$, which is rational.

  2. Represent an odd integer

    Let $n=2q+1$, where $q$ is an integer.

  3. Substitute into the expression

    $n^3+3n+2=(2q+1)^3+3(2q+1)+2$.

  4. Expand and factor

    $n^3+3n+2=8q^3+12q^2+12q+6=2(4q^3+6q^2+6q+3)$.

  5. Show it is even

    The expression has a factor of $2$, so it is even.

  6. Show it is not a multiple of four

    The bracket $4q^3+6q^2+6q+3$ is odd, because the first three terms are even and $3$ is odd. Therefore the expression is $2$ times an odd integer, so it is not divisible by $4$.

Final answer

$(i)$ For example, $x=\sqrt2$ and $y=\dfrac1{\sqrt2}$ give $xy=1$. $\quad (ii)$ Proven.

8. WMA12/01 May/June 2023 · Q8

Easy5 marks
WMA12/01 May/June 2023 Question 8 (5 marks): Proof
Show worked solution
  1. Choose consecutive primes

    $7$ and $11$ are consecutive prime numbers.

  2. Check the statement

    $7^2+11^2=49+121=170$, which is a multiple of $10$.

  3. Conclude the counterexample

    This single counterexample proves the student's statement is not true.

  4. List the possible even values

    The even integers greater than $0$ and less than $6$ are $2$ and $4$. Therefore the possible ordered pairs are $(2,2),(2,4),(4,2),(4,4)$.

  5. Check x equals two

    If $(x,y)=(2,2)$, then $x^2-\dfrac{xy}{4}=4-1=3$. If $(x,y)=(2,4)$, then $x^2-\dfrac{xy}{4}=4-2=2$.

  6. Check x equals four

    If $(x,y)=(4,2)$, then $x^2-\dfrac{xy}{4}=16-2=14$. If $(x,y)=(4,4)$, then $x^2-\dfrac{xy}{4}=16-4=12$.

  7. Complete the exhaustion

    The possible values are $3,2,14,12$, and each lies strictly between $1$ and $15$. Hence $1<x^2-\dfrac{xy}{4}<15$ in every possible case.

Final answer

$(i)$ A counterexample is $a=7,b=11$, since $7^2+11^2=170$. $\quad (ii)$ Exhaustion proves the inequality for $(x,y)=(2,2),(2,4),(4,2),(4,4)$.

9. WMA12/01 January 2022 · Q10

Easy5 marks
WMA12/01 January 2022 Question 10 (5 marks): Proof
Show worked solution
  1. Give a counterexample

    Take $p=7$, which is prime.

  2. Show the statement fails

    $2p+1=2(7)+1=15$, and $15$ is not prime. So the statement is false.

  3. Case one: n even

    If $n$ is even, let $n=2k$. Then $5n^2+n+12=5(2k)^2+2k+12=20k^2+2k+12=2(10k^2+k+6)$, which is even.

  4. Case two: n odd

    If $n$ is odd, let $n=2k+1$. Then $5n^2+n+12=5(2k+1)^2+(2k+1)+12$.

  5. Simplify the odd case

    $5(2k+1)^2+(2k+1)+12=20k^2+22k+18=2(10k^2+11k+9)$, which is even.

  6. Conclude by exhaustion

    Every integer is either even or odd, and both cases give an even result. Therefore $5n^2+n+12$ is always even.

Final answer

$(i)$ For $p=7$, $2p+1=15$, not prime. $\quad (ii)$ Proven.

10. WMA12/01 May/June 2021 · Q3

Easy5 marks
WMA12/01 May/June 2021 Question 3 (5 marks): Proof
Show worked solution
  1. List the cases

    The single digit prime numbers are $2$, $3$, $5$, and $7$.

  2. Check each prime

    $2^3+2=10$, $3^3+3=30$, $5^3+5=130$, and $7^3+7=350$.

  3. Conclude part one

    Each result is a multiple of $10$, so $p^3+p$ is a multiple of $10$ for all single digit primes.

  4. Expand the difference of cubes

    $(n+1)^3-n^3=(n^3+3n^2+3n+1)-n^3=3n^2+3n+1$.

  5. Factor the multiple of three

    $3n^2+3n+1=3n(n+1)+1$.

  6. Use the remainder

    $3n(n+1)$ is a multiple of $3$, so $3n(n+1)+1$ is one more than a multiple of $3$. Therefore it is not a multiple of $3$.

Final answer

$(i)$ Proven by checking $p=2,3,5,7$. $\quad (ii)$ Proven: $(n+1)^3-n^3$ leaves remainder $1$ on division by $3$.

11. WMA12/01 October 2024 · Q11

Easy6 marks
WMA12/01 October 2024 Question 11 (6 marks): Proof
Show worked solution
  1. Choose a prime value

    Take $n=5$, which is prime.

  2. Evaluate the expression

    $3^5+2=243+2=245=5\times49$, so it is not prime. This disproves the statement.

  3. List the possible forms of m

    If integer $m$ is not divisible by $3$, then $m$ has remainder $1$ or $2$ on division by $3$.

  4. Case one

    If $m=3q+1$, then $m^2-1=(3q+1)^2-1=9q^2+6q=3(3q^2+2q)$, which is divisible by $3$.

  5. Case two

    If $m=3q+2$, then $m^2-1=(3q+2)^2-1=9q^2+12q+3=3(3q^2+4q+1)$, which is divisible by $3$.

  6. Conclude by exhaustion

    Both possible cases for an integer not divisible by $3$ have been checked, so $m^2-1$ is divisible by $3$.

Final answer

$(i)$ Counterexample: $n=5$ gives $3^5+2=245$, not prime. $\quad (ii)$ Proven.

12. WMA12/01 May/June 2024 · Q5

Easy6 marks
WMA12/01 May/June 2024 Question 5 (6 marks): Proof
Show worked solution
  1. Start from the inequality

    $(x-y)^3>x^3-y^3$.

  2. Expand the left side

    $x^3-3x^2y+3xy^2-y^3>x^3-y^3$.

  3. Cancel common terms

    Subtract $x^3-y^3$ from both sides to get $-3x^2y+3xy^2>0$.

  4. Factor

    $3xy(y-x)>0$.

  5. Use positivity

    Since $x$ and $y$ are positive, $3xy>0$. Therefore $y-x>0$, so $y>x$.

  6. Give a real-number counterexample

    Take $x=1$ and $y=-1$. Then $(x-y)^3=2^3=8$ and $x^3-y^3=1-(-1)=2$, so the given inequality is true.

  7. Show the conclusion fails

    But $y>x$ would mean $-1>1$, which is false. Therefore the result is not true for all real numbers.

Final answer

$(a)$ Proven. $\quad (b)$ For example, $x=1,y=-1$ satisfies the inequality but not $y>x$.

13. WMA12/01 May/June 2024 · Q7

Easy6 marks · main topic: Circles
WMA12/01 May/June 2024 Question 7 (6 marks): Proof
Show worked solution
  1. Complete the square

    $x^2+y^2+8x-10y=29$ becomes $(x+4)^2-16+(y-5)^2-25=29$.

  2. Write circle C1 in standard form

    $(x+4)^2+(y-5)^2=70$.

  3. Read centre and radius

    The centre of $C_1$ is $(-4,5)$ and its radius is $\sqrt{70}$.

  4. Read C2

    $C_2$ has equation $(x-5)^2+(y+8)^2=52$, so its centre is $(5,-8)$ and its radius is $\sqrt{52}=2\sqrt{13}$.

  5. Find distance between centres

    The distance between $(-4,5)$ and $(5,-8)$ is $\sqrt{9^2+(-13)^2}=\sqrt{250}=5\sqrt{10}$.

  6. Compare with radii

    $\sqrt{70}+2\sqrt{13}=15.58\ldots$, while $5\sqrt{10}=15.81\ldots$.

  7. Conclude

    The distance between centres is greater than the sum of the radii, so the circles are separate. Therefore they neither touch nor intersect.

Final answer

$(a)(i)$ $(-4,5)$. $\quad (a)(ii)$ $\sqrt{70}$. $\quad (b)$ The circles neither touch nor intersect.

14. WMA12/01 January 2024 · Q8

Easy6 marks
WMA12/01 January 2024 Question 8 (6 marks): Proof
Show worked solution
  1. Choose a counterexample

    Take $n=6$.

  2. Evaluate the expression

    $n^2+3n+1=6^2+3(6)+1=36+18+1=55$.

  3. Conclude false

    $55$ is not prime, so the statement is false.

  4. Use residues modulo four

    Every natural number is one of $4k$, $4k+1$, $4k+2$ or $4k+3$.

  5. Check n equals 4k

    If $n=4k$, then $n^2-2=16k^2-2=4(4k^2-1)+2$, not a multiple of $4$.

  6. Check n equals 4k plus one

    If $n=4k+1$, then $n^2-2=16k^2+8k-1=4(4k^2+2k-1)+3$, not a multiple of $4$.

  7. Check n equals 4k plus two

    If $n=4k+2$, then $n^2-2=16k^2+16k+2=4(4k^2+4k)+2$, not a multiple of $4$.

  8. Check n equals 4k plus three

    If $n=4k+3$, then $n^2-2=16k^2+24k+7=4(4k^2+6k+1)+3$, not a multiple of $4$.

  9. Complete the proof

    All possible cases leave remainder $2$ or $3$ when divided by $4$, so $n^2-2$ is not a multiple of $4$.

Final answer

$(i)$ Counterexample: $n=6$ gives $55$, which is not prime. $\quad (ii)$ Proven by considering $n=4k,4k+1,4k+2,4k+3$.

15. WMA12/01 May/June 2022 · Q3

Medium7 marks
WMA12/01 May/June 2022 Question 3 (7 marks): Proof
Show worked solution
  1. Choose a counterexample

    Take $n=5$.

  2. Evaluate the expression

    $(5+1)^3-5^3=216-125=91$.

  3. Show it is not prime

    $91=7\times13$, so the statement is false.

  4. Find the gradient CA

    For $A(1,0)$ and $C(7,-6)$, the gradient of $CA$ is $\dfrac{0-(-6)}{1-7}=-1$.

  5. Find the gradient CB

    For $B(3,-10)$ and $C(7,-6)$, the gradient of $CB$ is $\dfrac{-10-(-6)}{3-7}=1$.

  6. Show the right angle

    The product of the gradients is $-1$, so $CA$ is perpendicular to $CB$ and $\angle ACB=90^\circ$.

  7. Conclude the diameter

    An angle of $90^\circ$ at the circumference subtends a diameter, so $AB$ is a diameter of the circle.

Final answer

$(i)$ Counterexample: $n=5$ gives $91$, not prime. $\quad (ii)$ Proven: $AB$ is a diameter.

16. WMA12/01 January 2026 · Q6

Medium8 marks
WMA12/01 January 2026 Question 6 (8 marks): Proof
Show worked solution
  1. Represent the consecutive odd numbers

    Let $q=2n-1$ and $p=2n+1$, where $n$ is a positive integer. Then $p>q>0$ and the numbers are consecutive odd numbers.

  2. Subtract the squares

    $p^2-q^2=(2n+1)^2-(2n-1)^2$.

  3. Simplify the expression

    $p^2-q^2=(4n^2+4n+1)-(4n^2-4n+1)=8n$.

  4. Conclude the proof

    Since $n$ is an integer, $8n$ is a multiple of $8$, so $p^2-q^2$ is a multiple of $8$.

  5. Differentiate the curve

    For $y=x^3+12x^2+49x+2$, $\dfrac{dy}{dx}=3x^2+24x+49$.

  6. Show the gradient is never zero

    $3x^2+24x+49=3(x+4)^2+1$. This is always positive for real $x$.

  7. State the conclusion

    Since $\dfrac{dy}{dx}$ is never $0$, the curve has no stationary points.

Final answer

$(i)$ Proven. $\quad (ii)$ $C$ has no stationary points.

17. WMA12/01 May/June 2023 · Q7

Medium8 marks · main topic: Applications of Differentiation
WMA12/01 May/June 2023 Question 7 (8 marks): Proof
Show worked solution
  1. Rewrite H with powers

    $H=\dfrac{1}{20}t^{1/2}(20+6t-t^2)+17$.

  2. Expand before differentiating

    $H=\dfrac{1}{20}(20t^{1/2}+6t^{3/2}-t^{5/2})+17$.

  3. Differentiate

    $\dfrac{dH}{dt}=\dfrac{1}{20}\left(10t^{-1/2}+9t^{1/2}-\dfrac52t^{3/2}\right)$.

  4. Put over a common factor

    $\dfrac{dH}{dt}=\dfrac{-5t^2+18t+20}{40\sqrt{t}}$.

  5. Use the stationary condition

    At $t=\alpha$, $\dfrac{dH}{dt}=0$. Since $\alpha>0$, the denominator is not zero, so $-5\alpha^2+18\alpha+20=0$.

  6. Show the required equation

    Multiplying by $-1$ gives $5\alpha^2-18\alpha-20=0$.

  7. Find alpha

    $\alpha=\dfrac{18\pm\sqrt{18^2+4(5)(20)}}{10}=\dfrac{9\pm\sqrt{181}}{5}$.

  8. Use the time interval

    Only the positive value lies in $0\le t\le7$, so $\alpha=\dfrac{9+\sqrt{181}}{5}=4.491$ to 3 decimal places.

  9. Differentiate again

    $\dfrac{d^2H}{dt^2}=\dfrac{-15t^2+18t-20}{80t^{3/2}}$.

  10. Use the stationary equation

    At $t=\alpha$, $5\alpha^2=18\alpha+20$. Therefore the numerator of $\dfrac{d^2H}{dt^2}$ is $-15\alpha^2+18\alpha-20=-3(18\alpha+20)+18\alpha-20=-36\alpha-80$.

  11. Show it is negative

    Since $\alpha>0$, $-36\alpha-80<0$, and the denominator $80\alpha^{3/2}$ is positive. Thus $\dfrac{d^2H}{dt^2}<0$, so $H$ is a maximum.

Final answer

$(a)$ Proven. $\quad (b)$ $\alpha=4.491$. $\quad (c)$ $H$ is a maximum at this value.

18. WMA12/01 October 2025 · Q9

Hard10 marks · main topic: Laws of Logarithms
WMA12/01 October 2025 Question 9 (10 marks): Proof
Show worked solution
  1. State the domain

    The logarithms require $4x+5>0$ and $x+3>0$, so $x>-\dfrac54$.

  2. Combine the logarithms

    $2\log_3(4x+5)-\log_3(x+3)=\log_3\left(\dfrac{(4x+5)^2}{x+3}\right)$.

  3. Use two as a logarithm

    $2=\log_3 9$, so $\dfrac{(4x+5)^2}{x+3}=9$.

  4. Form the quadratic

    $(4x+5)^2=9(x+3)$, so $16x^2+40x+25=9x+27$. Hence $16x^2+31x-2=0$.

  5. Solve the quadratic

    $16x^2+31x-2=(16x-1)(x+2)=0$, so $x=\dfrac1{16}$ or $x=-2$.

  6. Check the domain

    $x=-2$ is outside the domain, so $x=\dfrac1{16}$.

  7. Use the logarithm equation

    $\log_{10}a+\log_{10}b=\log_{10}(a+b)$ gives $\log_{10}(ab)=\log_{10}(a+b)$.

  8. Equate the arguments

    Since the logarithm function is one-to-one, $ab=a+b$.

  9. Rearrange for a

    $ab-a=b$, so $a(b-1)=b$ and therefore $a=\dfrac{b}{b-1}$.

  10. Restrict b

    Given $a>0$ and $b>0$, the fraction $\dfrac{b}{b-1}$ must be positive. Since the numerator is positive, the denominator must also be positive, so $b>1$.

Final answer

$(i)$ $x=\dfrac1{16}$. $\quad (ii)(a)$ Proven. $\quad (ii)(b)$ $b>1$.

More IAL Pure 2 topics

Dr Eslam Ahmed
Dr Eslam Ahmed

Elite Mathematics · Questions classified by topic, solutions checked by Dr Eslam