Something mildly uncomfortable happens the first time you write \sqrt{2} \times \sqrt{3} = \sqrt{6}. You have just multiplied two numbers that have no exact decimal expansion — infinite, non-repeating digits on either side — and confidently declared the product equals a third number that is also infinite and non-repeating. How, exactly, did you multiply them? What is this operation, if the objects being multiplied cannot be written down?

The mental trick that dissolves the discomfort is this.

Every irrational number is a limit of rational numbers, and every operation you perform on irrationals is the limit of that operation performed on the rationals.

You never actually multiply two irrationals. You multiply their rational approximations and take the limit. That limit always exists, it always equals what you expect, and the calculation you wrote down is shorthand for a tower of rational arithmetic followed by a clean passage to infinity. Once you see calculation this way, the fear of "not being able to write \sqrt{2} down" evaporates — you do not need to write it down, you only need to write down a sequence that converges to it.

The model: \sqrt{2} is the ladder, not the rung

The digits of \sqrt{2} begin 1.41421356\ldots. Each successive truncation is a rational number:

a_1 = 1, \quad a_2 = 1.4, \quad a_3 = 1.41, \quad a_4 = 1.414, \quad a_5 = 1.4142, \quad \ldots

These are all rationals — \tfrac{14}{10}, \tfrac{141}{100}, \tfrac{1414}{1000}, and so on. None of them equals \sqrt{2}. None of them ever will. But the sequence climbs a ladder of better and better rational approximations, and the ladder itself is what we mean by \sqrt{2}. The irrational number is not any single rung — it is the destination the rungs are heading towards.

Zoom-in on √2 as the limit point of rational approximations 1, 1.4, 1.41, 1.414Three stacked number-line segments showing successive zoom-ins around √2. The top line spans 1 to 2 with dots at 1, 1.4, and a marked point for √2 near 1.414. The middle line zooms into 1.4 to 1.5 with dots at 1.41, 1.414, and √2. The bottom line zooms into 1.414 to 1.415 with a dot at 1.4142 and √2 very close to it, illustrating that at every zoom level √2 is bracketed more tightly by rationals. 1 2 1.4 √2 1.4 1.5 1.41 1.414 √2 1.414 1.415 1.4142 √2
Each zoom halves (or tenths) the window around $\sqrt{2}$. At every level, rationals are sitting to the left and right, hugging the irrational point more tightly. The sequence $1, 1.4, 1.41, 1.414, 1.4142, \ldots$ is the ladder. $\sqrt{2}$ is where the ladder is pointing.

This is not a metaphor. It is the actual construction. When mathematicians build \mathbb{R} from \mathbb{Q} using Cauchy sequences, they define a real number to be (an equivalence class of) a sequence of rationals that gets arbitrarily close to itself. \sqrt{2} is literally the sequence 1, 1.4, 1.41, 1.414, \ldots — or rather, the family of all rational sequences that converge to the same point. See Dedekind Cuts vs Cauchy Sequences — Two Constructions of ℝ, the Same ℝ for the formal story. For intuition, this page is enough.

Multiplication: \sqrt{2} \times \sqrt{3} = \sqrt{6} is a limit

Write down two rational ladders:

\sqrt{2}: \quad 1.4, \ 1.41, \ 1.414, \ 1.4142, \ 1.41421, \ldots
\sqrt{3}: \quad 1.7, \ 1.73, \ 1.732, \ 1.7320, \ 1.73205, \ldots

Now multiply them termwise — ordinary rational multiplication, no mystery:

1.4 \times 1.7 = 2.38
1.41 \times 1.73 = 2.4393
1.414 \times 1.732 = 2.449048
1.4142 \times 1.7320 = 2.4493944
1.41421 \times 1.73205 = 2.4494739\ldots

Each line is a product of two rationals, so each line is itself a rational. And the sequence of products is converging to 2.44948974\ldots = \sqrt{6}.

That is what \sqrt{2} \times \sqrt{3} = \sqrt{6} means. It is shorthand for: take any rational sequence for \sqrt{2}, any rational sequence for \sqrt{3}, multiply termwise, and the limit is \sqrt{6}. The fact that you can write a single tidy equation without mentioning sequences at all is a theorem — multiplication on \mathbb{R} is continuous, meaning it commutes with limits.

Addition: \pi + e is a limit

Same game, different constants:

\pi: \quad 3.14, \ 3.141, \ 3.1415, \ 3.14159, \ldots
e: \quad 2.71, \ 2.718, \ 2.7182, \ 2.71828, \ldots

Termwise sum:

3.14 + 2.71 = 5.85
3.141 + 2.718 = 5.859
3.1415 + 2.7182 = 5.8597
3.14159 + 2.71828 = 5.85987

The sequence of rational sums converges to \pi + e = 5.85987448\ldots — a number nobody has ever proved is irrational (it almost certainly is, but the proof is open), yet which is unambiguously defined as the limit of this rational procedure. You do not need to know what \pi + e "really looks like." You only need to know that the limit exists — and continuity of addition guarantees that.

Why this is the right mental model

Three reasons to lock this intuition in early.

It removes the fake mystery. Students sometimes fear that irrationals are "not real" — they have no finite form, no pattern, no closed expression. But every irrational you will ever meet in practice comes with at least one explicit rational ladder: decimal truncations, continued-fraction convergents, Newton-iteration steps, Taylor-series partial sums. You are never operating on irrationals in the abstract. You are always operating on the tail of a sequence of rationals and trusting the limit.

It explains your calculator. Your calculator does not know \sqrt{2}. It knows 1.41421356237 — a finite-precision rational. When it prints \sqrt{2} \times \sqrt{3} \approx 2.449489743, it has multiplied two rationals. Every floating-point calculation is a single rung on the ladder; the "exact" theorem guarantees climbing higher only refines the answer.

It unlocks all of calculus. Continuity, derivatives, integrals — every single one is defined as the limit of a computation on rationals (or approximations). "\int_0^1 f(x)\,dx" is a limit of Riemann sums with rational endpoints. "f'(a)" is a limit of rational difference quotients. Once you accept that irrational arithmetic is already limit arithmetic, the jump to calculus stops feeling like a new kind of operation. It is the same operation, applied longer.

The recognition reflex

When you next see an expression like \sqrt{7} \cdot \pi or e - \sqrt{2} or \log_2(3) + \sqrt{5}, and your instinct is to ask "but how do you do that?" — override it with the trick:

  1. Each irrational has a rational ladder (decimals, series, continued fractions — pick any).
  2. The operation applied termwise produces a rational ladder for the answer.
  3. The limit of that ladder is the real-number answer. Continuity does the rest.

You do not have to write any of this out. The mental gesture is enough. It converts "strange symbolic object" into "familiar rational computation, performed infinitely often, with guaranteed convergence" — and that is always a calculation you know how to do.