Why √2 Is Irrational
The contradiction between even and odd whole numbers reveals why √2 cannot equal any fraction.
A complete interactive classroom, not just a preview.
Start when you are ready to enter this Stage's 10 scenes and explore, respond, and learn as you go.
What would have to be true if √2 could be written exactly as a fraction?
- rational-numbers
- A rational number can be represented as a ratio of integers.
- simplified-fraction
- Every rational number has a representation a/b with integers a and b and b nonzero.
- parity
- An integer is even when divisible by 2 and odd otherwise; parity constraints propagate through multiplication.
- square-parity
- The square of an even integer is even, while the square of an odd integer is odd.
- contradiction
- Assuming the opposite of a claim can expose an impossible consequence.
- sqrt-two-irrational
- No reduced fraction can square to 2, so √2 is irrational.
Since √2 has many decimal digits, its irrationality must be proven by computing decimals.
Distinguish an infinite nonrepeating decimal description from the decisive finite parity argument.
A fraction such as 1.41421356 proves that √2 is irrational.
Show that every finite decimal is rational and therefore cannot prove irrationality.
If √2 were rational, its numerator and denominator could both be odd.
Use the requirement that a representing fraction may be reduced to lowest terms, then analyze the resulting numerator and denominator.
- multiply and square integers
- reduce fractions to lowest terms
- identify even and odd integers
- real-number foundations
- irrationality proofs for other roots
- decimal approximations as proof
- abstract algebra
- Learner explains why √2 cannot be expressed as a ratio of integers.
- Learner identifies the contradiction in a shortened proof.
- Learner distinguishes approximation from proof.
- Apply the same contradiction structure to a new claim that a number cannot be rational.
Learners comfortable with basic arithmetic and fractions but new to proof by contradiction.
- 01The Question Behind √2slideOrientation
Introduce the distinction between rational and irrational numbers through the side length and diagonal of a unit square.
- Rational means ratio of integers
- Irrational means no such ratio exists
- Decimals may be approximations
- 02Fraction Search LabinteractivePredictionPredict
Learners move a rational-number marker and predict whether nearby fractions can equal √2 exactly.
- Approach √2 from below and above
- Fractions stay rational
- Close does not mean exact
- 03Assume √2 Is RationalslideModel building
Set up the standard proof by contradiction using a reduced fraction a/b.
- Assume √2 = a/b
- a and b are integers
- b ≠ 0
- a and b cannot both be even
- 04Square the EquationinteractiveModel buildingConstruct
Manipulate the assumed equality step by step and watch the equation transform without changing its meaning.
- Square both sides
- Obtain 2 = a²/b²
- Cross-multiply to a² = 2b²
- 05Parity DetectorinteractiveMisconception repairChoose
Classify integers and their squares to expose the even-versus-odd contradiction.
- even² is even
- odd² is odd
- 2b² is always even
- a² therefore has two parities
- 06Contradiction Repair BenchinteractiveMisconception repairConstruct
Learners repair a deliberately incomplete proof by placing the correct integer facts into the reasoning chain.
- b may be even or odd
- 2b² is even
- a² is therefore even
- a must be even
- contradiction with lowest terms
- 07The Impossibility LoopslidePrediction
Compress the repair into the classic proof and ask where rationality fails.
- Assume √2 = a/b in lowest terms
- Then a² = 2b²
- Parity forces a and b even
- The assumption is impossible
- 08Approximation ≠ ProofinteractiveMisconception repairApply
Explore how accurate rational decimal approximations can become while remaining incapable of equal √2.
- Every terminating decimal is rational
- Increasing precision improves approximation
- No finite check settles irrationality
- 09Proof Forge ChallengeinteractiveApplicationApply
Players use parity and lowest terms to identify whether a new integer is square or irrational, then construct a compact explanation.
- Check whether the radical simplifies
- Try a rational representation in lowest terms
- Generate a contradiction from parity
- Separate exact proof from numeric guessing
- 10Why √2 Must Be IrrationalslideSynthesis
Synthesize the proof into one memorable idea: a lowest-terms fraction cannot escape the parity contradiction.
- Rational means a/b with integers
- Squaring preserves equal values
- Parity makes a² both even and odd
- Impossible assumption proves irrationality
Discussion threads for a Stage aren't available yet.
