1.01d Proof by contradiction

66 questions

Sort by: Default | Easiest first | Hardest first
AQA Paper 2 2024 June Q11
6 marks Moderate -0.8
  1. A student states that 3 is the smallest value of \(k\) in the interval \(3 < k < 4\) Explain the error in the student's statement. [1 mark]
  2. The student's teacher says there is no smallest value of \(k\) in the interval \(3 < k < 4\) The teacher gives the following correct proof: Step 1: Assume there is a smallest number in the interval \(3 < k < 4\) and let this smallest number be \(x\) Step 2: let \(y = \frac{3 + x}{2}\) Step 3: \(3 < y < x\) which is a contradiction. Step 4: Therefore, there is no smallest number in interval \(3 < k < 4\)
    1. Explain the contradiction stated in Step 3 [1 mark]
    2. Prove that there is no largest value of \(k\) in the interval \(3 < k < 4\) [4 marks]
AQA Paper 3 2018 June Q10
10 marks Standard +0.8
Prove by contradiction that \(\sqrt[3]{2}\) is an irrational number. [7 marks]
AQA Paper 3 2019 June Q6
4 marks Standard +0.8
The three sides of a right-angled triangle have lengths \(a\), \(b\) and \(c\), where \(a, b, c \in \mathbb{Z}\) \includegraphics{figure_6}
  1. State an example where \(a\), \(b\) and \(c\) are all even. [1 mark]
  2. Prove that it is not possible for all of \(a\), \(b\) and \(c\) to be odd. [3 marks]
AQA Paper 3 2022 June Q9
6 marks Standard +0.8
Assume that \(a\) and \(b\) are integers such that $$a^2 - 4b - 2 = 0$$
  1. Prove that \(a\) is even. [2 marks]
  2. Hence, prove that \(2b + 1\) is even and explain why this is a contradiction. [3 marks]
  3. Explain what can be deduced about the solutions of the equation $$a^2 - 4b - 2 = 0$$ [1 mark]
OCR MEI Paper 2 Specimen Q11
4 marks Moderate -0.5
Suppose \(x\) is an irrational number, and \(y\) is a rational number, so that \(y = \frac{m}{n}\), where \(m\) and \(n\) are integers and \(n \neq 0\). Prove by contradiction that \(x + y\) is not rational. [4]
WJEC Unit 3 2018 June Q11
4 marks Standard +0.8
Prove by contradiction that, for every real number \(x\) such that \(0 \leqslant x \leqslant \frac{\pi}{2}\), $$\sin x + \cos x \geqslant 1.$$ [4]
WJEC Unit 3 2024 June Q5
4 marks Standard +0.3
Prove by contradiction the following proposition: When \(x\) is real and positive, \(x + \frac{81}{x} \geq 18\). [4]
WJEC Unit 3 Specimen Q15
3 marks Moderate -0.5
Prove by contradiction the following proposition. When \(x\) is real and positive, $$4x + \frac{9}{x} \geq 12.$$ The first line of the proof is given below. Assume that there is a positive and a real value of \(x\) such that $$4x + \frac{9}{x} < 12.$$ [3]
SPS SPS SM 2020 June Q8
4 marks Challenging +1.2
Prove by contradiction that there are no positive integers \(a\) and \(b\) with \(a\) odd such that $$a + 2b = \sqrt{8ab}$$ [4]
SPS SPS FM 2019 Q6
3 marks Standard +0.8
If \(a\) and \(b\) are odd integers such that 4 is a factor of \((a - b)\), prove by contradiction that 4 cannot be a factor of \((a + b)\). [3]
SPS SPS FM 2020 October Q6
5 marks Moderate -0.3
Prove by contradiction that \(\sqrt{7}\) is irrational. [5]
SPS SPS SM Pure 2021 May Q6
4 marks Challenging +1.2
Shona makes the following claim. "\(n\) is an even positive integer greater than \(2 \Rightarrow 2^n - 1\) is not prime" Prove that Shona's claim is true. [4]
SPS SPS SM Pure 2022 June Q15
6 marks Standard +0.8
  1. Prove that $$n - 1 \text{ is divisible by } 3 \Rightarrow n^3 - 1 \text{ is divisible by } 9$$ [3 marks]
  2. Show that if \(\log_2 3 = \frac{p}{q}\), then $$2^p = 3^q.$$ Use proof by contradiction to prove that \(\log_2 3\) is irrational. [3 marks]
SPS SPS SM Pure 2023 June Q14
6 marks Standard +0.3
  1. Prove that the sum of the squares of 2 consecutive odd integers is always 2 more than a multiple of 8 [3]
  2. Use proof by contradiction to show that \(\log_2 5\) is irrational. [3]
OCR H240/01 2017 Specimen Q6
3 marks Moderate -0.5
Prove by contradiction that there is no greatest even positive integer. [3]
OCR AS Pure 2017 Specimen Q6
5 marks Standard +0.3
  1. A student suggests that, for any prime number between 20 and 40, when its digits are squared and then added, the sum is an odd number. For example, 23 has digits 2 and 3 which gives \(2^2 + 3^2 = 13\), which is odd. Show by counter example that this suggestion is false. [2]
  2. Prove that the sum of the squares of any three consecutive positive integers cannot be divided by 3. [3]