TTMUA Lab
TMUA 2023 · Paper 2 · Question 4 of 20

TMUA 2023 Paper 2 Question 4

Proof and counterexample — Finding the error in a proof. Try it first; the answer and a full worked solution are below.

TMUA 2023 · Paper 2Proof and counterexampleFinding the error in a proof8 options
A student attempts to answer the following question.

What is the largest number of consecutive odd integers that are all prime?

The student's attempt is as follows:

I     There are two consecutive odd integers that are prime (for example: 17, 19).
II    Any three consecutive odd integers can be written in the form n2, n, n+2 for some n.
III   If n is one more than a multiple of 3, then n+2 is a multiple of 3.
IV   If n is two more than a multiple of 3, then n2 is a multiple of 3.
V    The only other possibility is that n is a multiple of 3.
VI   In each case, one of the integers is a multiple of 3, so not prime.
VII  Therefore the largest number of consecutive odd integers that are all prime is two.

Which of the following best describes this attempt?

  1. AIt is completely correct.
  2. BIt is incorrect, and the first error is on line I.
  3. CIt is incorrect, and the first error is on line II.
  4. DIt is incorrect, and the first error is on line III.
  5. EIt is incorrect, and the first error is on line IV.
  6. FIt is incorrect, and the first error is on line V.
  7. GIt is incorrect, and the first error is on line VI.
  8. HIt is incorrect, and the first error is on line VII.
Show the answer and worked solution
answer · G
  1. AIt is completely correct.
  2. BIt is incorrect, and the first error is on line I.
  3. CIt is incorrect, and the first error is on line II.
  4. DIt is incorrect, and the first error is on line III.
  5. EIt is incorrect, and the first error is on line IV.
  6. FIt is incorrect, and the first error is on line V.
  7. GIt is incorrect, and the first error is on line VI.
  8. HIt is incorrect, and the first error is on line VII.
Lines I to V are all correct: three consecutive odd numbers do take the form n2, n, n+2, and the case analysis on n modulo 3 is exhaustive and right. Line VI is where it fails — being a multiple of 3 does not stop a number being prime, because 3 itself is prime. The triple 3,  5,  7 is three consecutive odd integers that are all prime, which also makes the conclusion in line VII wrong.