Foundations — Irrational numbers — √2, π, e — proof that √2 is irrational

Before you can read the √2 proof, you must own every symbol it throws at you. Below, each idea is built from nothing, anchored to a picture, and justified ("why does the proof need this?"). Read top to bottom — each block uses only what came before it.

1. Whole numbers and integers — $\mathbb{Z}$

The picture: evenly-spaced ticks on a line, stretching forever both ways. No gaps between the ticks are integers — only the ticks themselves.

Why the topic needs it: the entire claim "√2 is irrational" is the claim "√2 is NOT $\frac{p}{q}$ for any integers $p,q$." So we must first pin down exactly what an integer is — a tick on that line — before we can say √2 lives between the ticks and cannot be built from them. See Rational Numbers and Real Number Line.

2. The fraction bar $\frac{p}{q}$ — division as a ratio

The letters $p$ and $q$ are just name-tags for "some integer, we don't yet know which". Using letters instead of numbers lets us prove something about all fractions at once.

The picture: take a bar of length $p$, cut it into $q$ equal pieces — the fraction is the length of one piece scaled up, i.e. where $p$ ticks land when you stretch by $\frac{1}{q}$.

Why the topic needs it: the proof starts by daring to write $\sqrt{2}=\frac{p}{q}$. If we didn't know what a fraction is, we couldn't even state the assumption we intend to destroy.

3. "$\in$" and "$\ne$" — membership and "not equal"

The picture: $\in$ is an arrow pointing into a bag labelled $\mathbb{Z}$ — the object $x$ drops inside. $\ne$ is an $=$ sign that got crossed out.

Why the topic needs it: the proof's first line is "$p,q\in \mathbb{Z}$, $q\ne 0$." That single line is just shorthand for "$p$ and $q$ are integers and the bottom isn't zero." Now you can read it.

4. Lowest terms and GCD — the "already simplified" rule

The picture: $\frac{6}{8}$ — both share a factor of $2$, so they both shrink to $\frac{3}{4}$. Now $\gcd (3,4)=1$: no shared tick spacing remains.

Why the topic needs it: without the lowest-terms assumption there is no contradiction and no proof. It is the tripwire the argument walks into.

5. Even and odd — divisibility by 2

The picture: try to pair up dots. Even numbers pair perfectly (nothing left over); odd numbers always leave one lonely dot.

Why the topic needs it: the entire engine of the proof is "$p^2$ even $\Rightarrow p$ even." That arrow is only valid because of the parity rule above. This is where Prime Factorization hides: $2$ is prime, so it cannot sneak into a square an odd number of times.

6. Squaring and the square root ​ — inverse moves

Why this tool and not another? The number √2 is defined by the equation $x^2=2$. Squaring is the one operation that undoes the root and turns an ugly irrational-looking statement into a clean integer equation $p^2=2q^2$. We reach for squaring precisely because it deletes the ​ symbol and lets the even/odd machinery bite.

The picture: $\sqrt{2}$ is the length of the diagonal of a $1\times 1$ square. Squaring that length gives the area of the tilted square built on it — exactly $2$.

Why the topic needs it: it links geometry to arithmetic. The Pythagorean Theorem ($a^2+b^2=c^2$) says the unit-square diagonal $c$ obeys $c^2=1^2+1^2=2$, so $c=\sqrt{2}$. That is why √2 shows up at all.

7. Proof by contradiction — the shape of the whole argument

The picture: two doors, "√2 rational" and "√2 irrational". You walk through the "rational" door, and it leads straight off a cliff (both $p,q$ even, violating lowest terms). Since that door is impossible, the other door must be the truth.

Why the topic needs it: you cannot directly list every fraction and check none equals √2 (there are infinitely many). Contradiction sidesteps this: assume one does exist, show any such fraction self-destructs. See Proof by Contradiction.

8. The "forever" property — decimals & transcendence (context)

Rationals are exactly the terminating-or-repeating decimals; irrationals are exactly the never-repeating ones. See Decimal Expansions. A finer split — is the number a root of a whole-number polynomial? — separates algebraic (√2 solves $x^2-2=0$) from transcendental (π, e): see Algebraic vs Transcendental Numbers.

Why the topic needs it: it gives the feel of irrationality (endless, patternless) even though the actual √2 proof uses fractions, not decimals.

How the foundations feed the topic

Equipment checklist