Question 3
Use proof by contradiction to prove that if for an integer , is even, then so is .
[Hint : Assume is not even, that is, it is of the form , for some integer , and then proceed.]
We will use proof by contradiction.
Step 1 — Assume the opposite
Let's assume the opposite of what we want to prove. We want to prove that is even. So, let's assume is not even. This means must be an odd integer. We can write an odd integer as . So, let for some integer .
Step 2 — Calculate
Now, let's find using our assumption. We will substitute . Let . Since is an integer, is an integer. Also, is an integer. So, is an integer.
Step 3 — Find the contradiction
We found that is odd. But the problem states that is even. An integer cannot be both odd and even. This is a contradiction. Our initial assumption must be wrong. Therefore, cannot be odd. If is not odd, then must be even.
Answer
(i) We assumed is odd. (ii) We showed that is odd. (iii) This contradicts the given information that is even.
More questions in A1.6
Suppose , and . Use proof by contradiction to show .
Let be a rational number and be an irrational number. Use proof by contradiction to show that is an irrational number.
Use proof by contradiction to prove that if for an integer , is even, then so is .
[Hint : Assume is not even, that is, it is of the form , for some integer , and then proceed.]
Use proof by contradiction to prove that if for an integer , is divisible by 3, then is divisible by 3.
Use proof by contradiction to show that there is no value of for which ends with the digit zero.
Prove by contradiction that two distinct lines in a plane cannot intersect in more than one point.