Question 2
Let be a rational number and be an irrational number. Use proof by contradiction to show that is an irrational number.
- In a proof by contradiction, we assume the opposite of what we want to prove and show that this leads to a logical impossibility (a contradiction).
- To prove that is irrational (where is rational and is irrational), we assume that is rational.
- We then express both and as ratios of integers and isolate to see if it leads to a contradiction with the given fact that is irrational.
Step 1 · Assume is Rational and Isolate
Assume on the contrary that is a rational number.
Then, there exist integers and () such that:
Since is given to be a rational number, let , where and are integers and .
Substitute into the equation:
Isolating :
Step 2 · Analyze and Reach a Contradiction
Since are integers and :
- is an integer (integers are closed under multiplication and subtraction).
- is a non-zero integer.
Therefore, is a rational number, which implies:
This contradicts the given statement that is an irrational number.
Hence, our assumption that is rational is false.
Therefore, is an irrational number.
- Forgetting Non-zero Denominator Condition: When defining rational numbers and , forgetting to specify that and , which ensures .
- Direct Assumption Error: Trying to assume is rational instead of assuming the sum is rational to set up the contradiction.
- Closure Property Justification: Not stating that the product and difference of integers remain integers, which is essential to conclude that is rational.
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.