Irrational Numbers & Rational Approximation
Some numbers refuse to settle into a repeating pattern of digits — but you can still corner them between two fractions as tightly as you like.
What every fraction's decimal looks like
Take any fraction — a ratio of two integers, like ½ or ⅓ — and turn it into a decimal by long division. Something predictable always happens: either the division ends cleanly (½ = 0.5) or it falls into a block of digits that repeats forever (⅓ = 0.333…). There is no third option for a fraction. A number whose decimal does one of these two things is called rational — literally, expressible as a ratio of integers.
Where √2 comes from — and why it can't be a fraction
You've already met √2: it's the length of the hypotenuse of a right triangle with both legs equal to 1, by the Pythagorean theorem (1² + 1² = 2, so the hypotenuse is √2). It is a perfectly real, measurable length — you could draw it. Yet it cannot be written as any fraction a/b in lowest terms. Informally: if a/b squared equalled 2, then a² = 2b², which forces a to be even; but writing a as 2k and simplifying forces b to be even too — so a/b was never actually in lowest terms after all, a contradiction. No fraction, however carefully chosen, hits exactly 2 when squared.
Cornering √2 between two integers
Even without a calculator, you can pin down √2's location on the number line by squaring guesses and comparing to 2. This method — bracketing by squaring — never gives up on precision; it just keeps narrowing the net.
- Start from 1 < √2 < 2. Test tenths between them: try 1.4 and 1.5.
- Square each: 1.4² = 1.96, which is less than 2; 1.5² = 2.25, which is more than 2.
- So 1.96 < 2 < 2.25 puts √2 strictly between 1.4 and 1.5.
- Test hundredths inside that interval: try 1.41 and 1.42.
- Square each: 1.41² = 1.9881, which is less than 2; 1.42² = 2.0164, which is more than 2.
- So 1.9881 < 2 < 2.0164 places √2 strictly between 1.41 and 1.42, and the process could continue forever without √2's decimal ever settling into a repeating pattern.
π: irrational for a different reason
π, the ratio of a circle's circumference to its diameter, is irrational for reasons far harder to prove than √2's — but the consequence is identical: 3.14 and 22/7 are both useful rational approximations, and neither is exactly π. The same bracketing idea applies: 3 < π < 4, then 3.1 < π < 3.2, then 3.14 < π < 3.15, and so on, closing in without ever arriving.
Check your understanding
- A rational number's decimal always terminates or repeats; an irrational number's decimal does neither, no matter how far you compute.
- √2 (the hypotenuse from the Pythagorean theorem with legs 1 and 1) and π are the canonical irrational numbers.
- √2 cannot equal any fraction a/b: assuming it does forces a contradiction about a/b being in lowest terms.
- Nested intervals bracket an irrational number by squaring guesses — 1 < √2 < 2, then 1.4 < √2 < 1.5, then 1.41 < √2 < 1.42 — narrowing forever without ever landing exactly.
- A calculator's decimal display, like 1.414213562 for √2, is always a rounded approximation, never the exact irrational value.