Proof by Contradiction Math Example 3
Follow the full solution, then compare it with the other examples linked below.
Example 3
hardProve by contradiction: There is no largest integer.
Solution
- 1 Assume for contradiction that there exists a largest integer .
- 2 Consider . Since is an integer, is also an integer, and .
- 3 This contradicts the assumption that is the largest integer. Therefore, no largest integer exists.
Answer
The proof shows that for any proposed largest integer, we can always construct a larger one, making the assumption impossible.
About Proof by Contradiction
Proof by contradiction (reductio ad absurdum) assumes the negation of what you want to prove, then derives a logical contradiction, thereby establishing that the original statement must be true.
Learn more about Proof by Contradiction ā