Proving √2 is Irrational

Discrete Math · Axiom Academy

EXAMPLE Proving √2 is Irrational A classic proof by contradiction demonstrating the power of logical reasoning Excellent work! You've completed a classic proof by contradiction. Here's what makes this proof technique so powerful: Proof by Contradiction Structure: (1) Assume the opposite of what you want to prove, (2) Follow logical steps until you reach an impossibility, (3) Conclude the original statement must be true The Power of Contradiction: When an assumption leads to a logical impossibility (like "a/b has no common factors" AND "both a and b are even"), the assumption must be false Working in Lowest Terms: Assuming a/b is in lowest terms was crucial—without this, finding a common factor wouldn't be contradictory Even/Odd Properties: Mathematical properties (like "if a² is even, then a is even") are essential logical building blocks in proofs Applicability: This same technique can prove that √3, √5, √6, and many other roots are irrational! Proof by contradiction is one of the most elegant tools in mathematics. By showing that the opposite of our claim is impossible, we establish truth without directly constructing what we're proving. You'll see this technique throughout discrete mathematics and beyond!

This is the written version of the interactive lesson above. See the full Discrete Math course.