- Home
- /
- Math
- /
- Sets & Logic
- /
- Proof by Contradiction
Proof by contradiction assumes the negation of the target claim and derives an impossibility. Proof by contradiction is essential when direct proof is difficult โ it is used to prove irrationality of \sqrt{2}, infinitude of primes, and countless other results.
Definition
Proof by contradiction assumes the negation of the target claim and derives an impossibility.
๐ก Intuition
Assume the opposite of what you want to prove, then follow the logic to a statement that is impossibly false โ proving your assumption must have been wrong.
๐ฏ Core Idea
A contradiction in assumptions validates the original statement.
Example
Notation
eg P, derive contradiction, conclude P$.
๐ Why It Matters
Proof by contradiction is essential when direct proof is difficult โ it is used to prove irrationality of \sqrt{2}, infinitude of primes, and countless other results.
๐ญ Hint When Stuck
State the negated assumption clearly and identify what counts as impossible before starting.
Formal View
Related Concepts
๐ง Common Stuck Point
Students derive a surprising result, but not an actual contradiction.
โ ๏ธ Common Mistakes
- Negating the statement incorrectly
- Ending without explicitly identifying the contradiction
Frequently Asked Questions
What is Proof by Contradiction in Math?
Proof by contradiction assumes the negation of the target claim and derives an impossibility.
Why is Proof by Contradiction important?
Proof by contradiction is essential when direct proof is difficult โ it is used to prove irrationality of \sqrt{2}, infinitude of primes, and countless other results.
What do students usually get wrong about Proof by Contradiction?
Students derive a surprising result, but not an actual contradiction.
What should I learn before Proof by Contradiction?
Before studying Proof by Contradiction, you should understand: contradiction, logical statement, direct proof.
Prerequisites
Cross-Subject Connections
How Proof by Contradiction Connects to Other Ideas
To understand proof by contradiction, you should first be comfortable with contradiction, logical statement and direct proof.