Proof by Contradiction
When proving a claim directly is too difficult, you act like a detective: assume the opposite is true, show that it leads to complete absurdity, and reveal the truth.
Definition Proof by contradiction (a mathematical and logical method that assumes the opposite of a statement to derive a contradiction, thereby proving the original statement true) is a way of confirming the right path by showing that the wrong one leads directly into a dead end.
The Detective's Lie Detector Game
Imagine a friend claims an alibi: "I was studying at the library yesterday at 7:00 PM." How do you prove they are lying? You start by pretending to believe them.
"Alright, let's say you were at the library at 7:00 PM. Then why did you sign a receipt at a convenience store across town at 7:05 PM? You can't teleport across the city in five minutes!" This points out the clear contradiction born from their assumption.
Because the idea that "they were at the library" leads to an impossible conclusion, the original claim must be false, which means "they were not at the library" is true. It is a powerful tool of logic that we use all the time in daily life.
Why Do Mathematicians Love This Detour?
In mathematics, proving that a property "continues forever" or "never exists" is notoriously difficult. You cannot endlessly inspect every single number one by one.
This is where proof by contradiction shines. The ancient Greek mathematician Euclid used this technique to prove that prime numbers (numbers divisible only by 1 and themselves) are infinite. He started with the reverse assumption: "Let's imagine there are only finitely many primes, say just 100." Then, by multiplying all of them together and adding 1, he showed that a brand-new prime number must always appear.
Because the assumption "primes are finite" produced an impossible contradiction, prime numbers must be infinite. Without traveling to the end of numbers, Euclid unlocked the secret of infinity.
A Closer Look: The Magic of the Law of Excluded Middle
For proof by contradiction to work seamlessly, it relies on one crucial rule in logic: the Law of Excluded Middle (the principle that any statement is either true or false, with no middle ground).
Only in a world where "if it's not A, it must be B" does disproving "not A" guarantee that B is true. If there were a fuzzy gray area between black and whiteโa third state that is neither true nor falseโproof by contradiction alone would not be enough.
Because almost all modern mathematics is built on this foundation, proof by contradiction is celebrated as one of the most elegant tools in reasoning. The famous proof that the square root of 2 (โ2) is an irrational number that cannot be written as a fraction was completed using this exact method.
๐ค Common misconceptions
Proof by contradiction is just a rhetorical trick to nitpick someone's argument when you disagree.
It is not mere nitpicking, but a rigorous deductive method that demonstrates an undeniable logical or mathematical contradiction when an opposite assumption is followed strictly to its conclusion.
๐งบ Where you meet it
A logical method that assumes the opposite of a claim is true, exposes the resulting absurdity, and thereby proves the original claim beyond doubt.