Why Do We Need Irrational Numbers at All?

You've been told \sqrt{2} and \pi are irrational, and it feels like a technicality. In a lab, you measure lengths to a tenth of a millimetre — a rational number. In an engineering drawing, you round to three decimal places — a rational number. So why does the mathematical world need these infinite-decimal, never-repeating monsters? Why not just say "every number is rational if you truncate far enough"?

The short answer: because entire branches of mathematics, and a surprising amount of physics, simply stop working if irrationals don't exist. Not "become less precise" — actually stop working. Let us see where.

Problem 1: the Pythagorean theorem has no answer

Draw a right-angled triangle with both legs of length 1 metre. Its hypotenuse has length c where

So c = \sqrt{2}. If only rationals exist, then \sqrt{2} must be some fraction p/q. But there is a classical proof (by contradiction) that no fraction squares to 2:

Suppose \tfrac{p}{q} = \sqrt{2} with \gcd(p, q) = 1. Then p^2 = 2q^2, so p^2 is even, so p is even. Write p = 2k: then 4k^2 = 2q^2, i.e. q^2 = 2k^2, so q is also even. But p and q were supposed to share no common factor. Contradiction. So \sqrt{2} is not rational. Why: the proof forces both p and q to contain a factor of 2, which contradicts the lowest-terms assumption. This is Euclid's proof, from around 300 BCE, and it still works.

Now ask yourself: if the world only had rationals, what is the length of that hypotenuse? It can't be any fraction — we just proved that. And yet the triangle exists; you can draw it on graph paper with ruler and compass. The length is real. So the rationals are missing a point.

\sqrt{2} is not an annoying abstraction. It is the length of a physical diagonal. Banishing it means banishing the diagonal of the unit square.

Problem 2: the decimals lie on a line with holes

Imagine the number line with only rationals marked on it. Between any two rationals sits another rational (in fact, infinitely many), so this line looks complete. But look more carefully.

Consider the set of rationals whose square is less than 2: S = \{q \in \mathbb{Q} : q^2 < 2\}. This set is bounded above — every element is less than 1.5, for instance. What is its least upper bound?

If the rationals were complete, there would be a rational number L such that every element of S is at most L and no smaller rational works. But you can check: for every rational L with L^2 > 2, there is a smaller rational L' with L'^2 still greater than 2. And for every rational L with L^2 < 2, there is a larger rational still in S. There is no least upper bound in \mathbb{Q}.

The "missing" least upper bound is exactly \sqrt{2}. Without irrationals, the number line has holes at every irrational value — a bottomless sieve. Why this matters: calculus, limits, continuity, the intermediate value theorem — all of these need the number line to be complete (every bounded set has a least upper bound). Drop that, and the foundations of the subject collapse.

Problem 3: calculus stops working

Take a simple question: does the function f(x) = x^2 - 2 have a root between 1 and 2? It is negative at x = 1 (value -1) and positive at x = 2 (value +2), and it is continuous. So it must cross zero somewhere. That crossing value is \sqrt{2}.

In a rationals-only world, f is negative at 1, positive at 2, and never zero in between — because its zero is irrational and no such number exists. A continuous function jumping from negative to positive without ever being zero. This is the intermediate value theorem being false.

Every convergence theorem in calculus (Cauchy sequences, Taylor series, Newton's method, limits of infinite sums) depends on the real line having no holes. If you throw out irrationals, you throw out the whole apparatus.

Problem 4: physics has actual irrationals in it

Students sometimes hope that physics only uses "nice" numbers because we measure things in rounded units. But physical constants and geometric quantities are often irrational by nature.

• The ratio of circumference to diameter for a circle is \pi — irrational and transcendental.
• The natural exponential base e = 2.71828\dots — irrational; it governs radioactive decay, bacterial growth, capacitor discharge.
• The golden ratio \varphi = \tfrac{1 + \sqrt{5}}{2} — irrational; shows up in phyllotaxis (leaf arrangement) and Fibonacci dynamics.
• The period of a pendulum: T = 2\pi\sqrt{L/g} — contains \pi and a square root, generally irrational.
• Diffraction angles in crystallography involve \sqrt{2}, \sqrt{3}, \sqrt{6}.

When you use \pi \approx 3.14 in a school problem, you are approximating an irrational number. The physical quantity is genuinely irrational; the rounding is your choice.

So why not "just use enough decimals"?

This is the tempting escape. If you need \pi accurate to 20 decimal places, truncate. Then the number you are working with is rational (every terminating decimal is rational), and you never have to deal with irrationals.

The problem: which truncation? For every finite n, the truncated version \pi_n = 3.14159\dots (to n digits) is wrong — it differs from \pi by about 10^{-n}. You can make it better, but you can never make it exact. And mathematics that depends on exactness — proofs, identities, closed-form solutions — breaks.

Consider the identity \sin^2\theta + \cos^2\theta = 1. This is an exact statement. If \theta = \pi/4, the left side involves \sin(\pi/4) = \tfrac{1}{\sqrt{2}}, exactly. Replace \sqrt{2} with its 20-digit truncation, and the identity holds approximately, not exactly. Every mathematical statement that used to be sharp becomes fuzzy.

The right way to think about it

Rationals are what you get from counting and measuring with a ruler. Irrationals are what you get from continuous processes — geometric construction, the limit of a sequence, the length of an arc, the solution of an equation. Both kinds of numbers describe real things. The real number system \mathbb{R} = \mathbb{Q} \cup \text{(irrationals)} is the smallest universe where both kinds have a home, and where limits, continuity, and calculus all work.

So we don't add irrationals for prestige or aesthetic. We add them because without them, diagonals don't have lengths, circles don't have circumferences, and functions don't have roots. They are the stitches that close the holes in the rational line.

This satellite sits inside Number Systems.