Photo AI

15. (i) Use proof by exhaustion to show that for $n \in \mathbb{N}, n < 4 \newline (n + 1)^{3} > 3^{n} \newline \newline (ii) Given that m^{3} + 5$ is odd, use proof by contradiction to show, using algebra, that $m$ is even. - Edexcel - A-Level Maths Pure - Question 3 - 2021 - Paper 1

Question icon

Question 3

15.-(i)-Use-proof-by-exhaustion-to-show-that-for-$n-\in-\mathbb{N},-n-<-4-\newline-(n-+-1)^{3}->-3^{n}-\newline-\newline-(ii)-Given-that-m^{3}-+-5$-is-odd,-use-proof-by-contradiction-to-show,-using-algebra,-that-$m$-is-even.-Edexcel-A-Level Maths Pure-Question 3-2021-Paper 1.png

15. (i) Use proof by exhaustion to show that for $n \in \mathbb{N}, n < 4 \newline (n + 1)^{3} > 3^{n} \newline \newline (ii) Given that m^{3} + 5$ is odd, use proof... show full transcript

Worked Solution & Example Answer:15. (i) Use proof by exhaustion to show that for $n \in \mathbb{N}, n < 4 \newline (n + 1)^{3} > 3^{n} \newline \newline (ii) Given that m^{3} + 5$ is odd, use proof by contradiction to show, using algebra, that $m$ is even. - Edexcel - A-Level Maths Pure - Question 3 - 2021 - Paper 1

Step 1

Use proof by exhaustion to show that for $n \in \mathbb{N}, n < 4$

96%

114 rated

Answer

To use proof by exhaustion, we will evaluate the inequality for each natural number n<4n < 4, specifically for n=1,2,3n = 1, 2, 3:

  1. For n=1n = 1: [(n + 1)^{3} = (1 + 1)^{3} = 2^{3} = 8 \quad \text{and} \quad 3^{1} = 3 \quad \Rightarrow \quad 8 > 3 \text{ (True)}]

  2. For n=2n = 2: [(n + 1)^{3} = (2 + 1)^{3} = 3^{3} = 27 \quad \text{and} \quad 3^{2} = 9 \quad \Rightarrow \quad 27 > 9 \text{ (True)}]

  3. For n=3n = 3: [(n + 1)^{3} = (3 + 1)^{3} = 4^{3} = 64 \quad \text{and} \quad 3^{3} = 27 \quad \Rightarrow \quad 64 > 27 \text{ (True)}]

Since we have shown that the inequality holds for all values of n=1,2,3n = 1, 2, 3, we conclude that for nN,n<4n \in \mathbb{N}, n < 4, it is true that (n+1)3>3n(n + 1)^{3} > 3^{n}.

Step 2

Given that $m^{3} + 5$ is odd, use proof by contradiction to show, using algebra, that $m$ is even.

99%

104 rated

Answer

To use proof by contradiction, we start by negating the statement we want to prove:

Assume that mm is odd. Then we can express mm as: m=2k+1m = 2k + 1 for some integer kk.

Now, let's compute m3+5m^{3} + 5: m3=(2k+1)3=8k3+12k2+6k+1m^{3} = (2k + 1)^{3} = 8k^{3} + 12k^{2} + 6k + 1 Thus, m3+5=(8k3+12k2+6k+1)+5=8k3+12k2+6k+6m^{3} + 5 = (8k^{3} + 12k^{2} + 6k + 1) + 5 = 8k^{3} + 12k^{2} + 6k + 6

Notice that 8k38k^{3}, 12k212k^{2}, and 66 are all even, so: m3+5=exteven+exteven+exteven+extodd =extoddm^{3} + 5 = ext{even} + ext{even} + ext{even} + ext{odd} \ = ext{odd} This contradicts our original premise that m3+5m^{3} + 5 is odd. Thus, our assumption that mm is odd must be false, implying that: m must be even.m \text{ must be even.}

Join the A-Level students using SimpleStudy...

97% of Students

Report Improved Results

98% of Students

Recommend to friends

100,000+

Students Supported

1 Million+

Questions answered

;