Number Systems • Topic 3 of 4

Revisiting Irrational Numbers

What are irrational numbers? An irrational number is a real number that cannot be written as a fraction $\frac{p}{q}$ where $p$ and $q$ are integers and $q \ne 0$. Its decimal expansion is non-terminating and non-repeating.

Examples: $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\pi$, $e$. In contrast, $\frac{1}{2} = 0.5$ (terminating) and $\frac{2}{3} = 0.\overline{6}$ (repeating) are rational.

A key supporting result. If a prime $p$ divides $a^{2}$, then $p$ divides $a$. This follows from the Fundamental Theorem of Arithmetic: the prime $p$ must appear in the prime factorisation of $a^{2}$, and since the primes of $a^{2}$ are exactly the primes of $a$ (with doubled powers), $p$ must already be a factor of $a$. This lemma is the heart of every irrationality proof below.

Proof that $\sqrt{2}$ is irrational (by contradiction).

  • Assume the opposite: $\sqrt{2} = \frac{p}{q}$ in lowest terms (so $p$ and $q$ have no common factor).
  • Square both sides: $2 = \frac{p^{2}}{q^{2}}$, hence $p^{2} = 2q^{2}$.
  • So $2 \mid p^{2}$, which means $2 \mid p$. Write $p = 2k$.
  • Then $(2k)^{2} = 2q^{2} \Rightarrow 4k^{2} = 2q^{2} \Rightarrow q^{2} = 2k^{2}$, so $2 \mid q^{2}$ and $2 \mid q$.
  • Now 2 divides both $p$ and $q$, contradicting "lowest terms". The assumption is false, so $\sqrt{2}$ is irrational.

The same argument with the prime 3 proves $\sqrt{3}$ irrational, and with the prime 5 proves $\sqrt{5}$ irrational.

Combinations with rationals. A few standard results follow easily, each by assuming the result is rational and rearranging to make a known irrational equal to a rational — a contradiction:

  • The sum or difference of a rational and an irrational (e.g. $5 + \sqrt{3}$, $5 - \sqrt{3}$) is irrational.
  • The product or quotient of a non-zero rational and an irrational (e.g. $3\sqrt{2}$, $\frac{1}{\sqrt{2}}$) is irrational.
  • Hence numbers like $3 + 2\sqrt{5}$ and $6 + \sqrt{2}$ are irrational.

A useful caution about combining two irrationals. The sum, difference, product, or quotient of two irrationals need not be irrational. For instance $\sqrt{2} \times \sqrt{2} = 2$ (rational) and $\sqrt{2} \div \sqrt{2} = 1$ (rational). So always reason carefully rather than assuming the result is irrational.

Common mistakes to avoid:

  • Calling $\sqrt{9}$ or $\sqrt{16}$ irrational — perfect-square roots like $\sqrt{9}=3$ are rational.
  • Forgetting the "lowest terms" or "non-zero rational" condition, which is exactly what creates the contradiction.
  • Assuming any expression containing a root is irrational (e.g. $2\sqrt{3} \div 3\sqrt{3} = \frac{2}{3}$ is rational because the roots cancel).
  • Trying to prove irrationality without contradiction — the standard Class 10 method is always "assume rational, derive a contradiction".
Map of real numbers split into rational and irrational with examplesReal numbers = Rational ∪ IrrationalREAL NUMBERS (R)Rational (p/q)Irrationalterminating orrepeating decimals1/2, −3, 0.6, 0.̅37, 22/7, √9 = 3non-terminating,non-repeating decimals√2, √3, √5π, e, 5 + √3Locating root 2 on the number line using a unit right triangleLocating √2 on the number line01211√2√2 ≈ 1.414Hypotenuse = √(1^2 + 1^2) = √2; swing it onto the axis to mark √2.
1
Worked Example
Classify $0.101001000100001\ldots$ (one extra zero each time) as rational or irrational.
Solution
  1. Step 1: Look at the pattern: the blocks of zeros keep growing, so no fixed block of digits repeats.
  2. Step 2: Terminating or repeating decimals are rational; this decimal is neither.
  3. Step 3: It is non-terminating and non-repeating.

Answer: It is irrational

2
Worked Example
Prove that $\sqrt{2}$ is irrational.
Solution
  1. Step 1: Assume $\sqrt{2} = \frac{p}{q}$ in lowest terms, $q \ne 0$.
  2. Step 2: Square: $2 = \frac{p^{2}}{q^{2}}$, so $p^{2} = 2q^{2}$, giving $2 \mid p$. Write $p = 2k$.
  3. Step 3: Then $4k^{2} = 2q^{2} \Rightarrow q^{2} = 2k^{2}$, so $2 \mid q$.
  4. Step 4: 2 divides both $p$ and $q$, contradicting lowest terms.

Answer: $\sqrt{2}$ is irrational

3
Worked Example
Prove that $\sqrt{5}$ is irrational.
Solution
  1. Step 1: Assume $\sqrt{5} = \frac{p}{q}$ in lowest terms.
  2. Step 2: Square: $p^{2} = 5q^{2}$, so $5 \mid p^{2}$, hence $5 \mid p$. Write $p = 5k$.
  3. Step 3: Then $25k^{2} = 5q^{2} \Rightarrow q^{2} = 5k^{2}$, so $5 \mid q$.
  4. Step 4: 5 divides both $p$ and $q$ — contradiction.

Answer: $\sqrt{5}$ is irrational

4
Worked Example
Prove that $5 + \sqrt{3}$ is irrational, given that $\sqrt{3}$ is irrational.
Solution
  1. Step 1: Assume $5 + \sqrt{3} = \frac{p}{q}$ is rational, $q \ne 0$.
  2. Step 2: Then $\sqrt{3} = \frac{p}{q} - 5 = \frac{p - 5q}{q}$.
  3. Step 3: The right side is a ratio of integers, hence rational.
  4. Step 4: But $\sqrt{3}$ is irrational — contradiction.

Answer: $5 + \sqrt{3}$ is irrational

5
Worked Example
Show that $3\sqrt{2}$ is irrational, given that $\sqrt{2}$ is irrational.
Solution
  1. Step 1: Assume $3\sqrt{2} = \frac{p}{q}$ is rational, $q \ne 0$.
  2. Step 2: Then $\sqrt{2} = \frac{p}{3q}$, a ratio of integers, hence rational.
  3. Step 3: This contradicts the irrationality of $\sqrt{2}$.

Answer: $3\sqrt{2}$ is irrational

6
Worked Example
Prove that $3 + 2\sqrt{5}$ is irrational, given that $\sqrt{5}$ is irrational.
Solution
  1. Step 1: Assume $3 + 2\sqrt{5} = \frac{p}{q}$ is rational, $q \ne 0$.
  2. Step 2: Rearrange: $2\sqrt{5} = \frac{p}{q} - 3 = \frac{p - 3q}{q}$.
  3. Step 3: So $\sqrt{5} = \frac{p - 3q}{2q}$, a ratio of integers, hence rational.
  4. Step 4: This contradicts $\sqrt{5}$ being irrational.

Answer: $3 + 2\sqrt{5}$ is irrational

7
Worked Example
Show that $\frac{1}{\sqrt{2}}$ is irrational.
Solution
  1. Step 1: Rationalise: $\frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}$.
  2. Step 2: Assume $\frac{\sqrt{2}}{2} = \frac{p}{q}$ is rational; then $\sqrt{2} = \frac{2p}{q}$, which is rational.
  3. Step 3: This contradicts the irrationality of $\sqrt{2}$.

Answer: $\frac{1}{\sqrt{2}}$ is irrational

8
Worked Example
Prove that $6 + \sqrt{2}$ is irrational.
Solution
  1. Step 1: Assume $6 + \sqrt{2} = \frac{p}{q}$ is rational, $q \ne 0$.
  2. Step 2: Then $\sqrt{2} = \frac{p}{q} - 6 = \frac{p - 6q}{q}$, a rational number.
  3. Step 3: But $\sqrt{2}$ is irrational — contradiction.

Answer: $6 + \sqrt{2}$ is irrational

9
Worked Example
Determine whether $\frac{2\sqrt{3}}{3\sqrt{3}}$ is rational or irrational.
Solution
  1. Step 1: Cancel the common $\sqrt{3}$: $\frac{2\sqrt{3}}{3\sqrt{3}} = \frac{2}{3}$.
  2. Step 2: $\frac{2}{3}$ is a ratio of integers with non-zero denominator.
  3. Step 3: Its decimal $0.\overline{6}$ is repeating, so it is rational.

Answer: $\frac{2}{3}$ is rational

10
Worked Example
Show that $\sqrt{2} + \sqrt{3}$ is irrational.
Solution
  1. Step 1: Assume $\sqrt{2} + \sqrt{3} = r$ is rational.
  2. Step 2: Square: $2 + 2\sqrt{6} + 3 = r^{2}$, so $2\sqrt{6} = r^{2} - 5$.
  3. Step 3: Then $\sqrt{6} = \frac{r^{2} - 5}{2}$ would be rational.
  4. Step 4: But $\sqrt{6}$ is irrational (6 is not a perfect square) — contradiction.

Answer: $\sqrt{2} + \sqrt{3}$ is irrational

11
Worked Example
Classify each of $\sqrt{16}$, $\sqrt{9}$ and $\sqrt{7}$ as rational or irrational.
Solution
  1. Step 1: $\sqrt{16} = 4$ — a perfect square, so rational.
  2. Step 2: $\sqrt{9} = 3$ — a perfect square, so rational.
  3. Step 3: $7$ is not a perfect square, so $\sqrt{7}$ is irrational (same proof style as $\sqrt{2}$).

Answer: $\sqrt{16}, \sqrt{9}$ rational; $\sqrt{7}$ irrational

12
Worked Example
Prove that $7 - 3\sqrt{2}$ is irrational, given that $\sqrt{2}$ is irrational.
Solution
  1. Step 1: Assume $7 - 3\sqrt{2} = \frac{p}{q}$ is rational, $q \ne 0$.
  2. Step 2: Rearrange: $3\sqrt{2} = 7 - \frac{p}{q} = \frac{7q - p}{q}$.
  3. Step 3: So $\sqrt{2} = \frac{7q - p}{3q}$, a ratio of integers, hence rational.
  4. Step 4: This contradicts the irrationality of $\sqrt{2}$.

Answer: $7 - 3\sqrt{2}$ is irrational

Key Points

  • Irrational numbers cannot be written as $\frac{p}{q}$ with $q \ne 0$
  • Their decimal expansions are non-terminating and non-repeating
  • $\sqrt{2}, \sqrt{3}, \sqrt{5}, \pi, e$ are standard examples; $\sqrt{9}$ and $\sqrt{16}$ are rational
  • Key lemma: if a prime $p$ divides $a^{2}$ then $p$ divides $a$
  • Sum/difference of a rational and an irrational is irrational; product/quotient of a non-zero rational and an irrational is irrational
  • Two irrationals can combine to a rational (e.g. $\sqrt{2}\times\sqrt{2}=2$), so reason carefully
  • Standard method: assume the number is rational, then derive a contradiction
Tap an option to check your answer0 / 4
Q1.$\sqrt2$ is:
Explanation: $\sqrt2$ cannot be written as $p/q$.
Q2.The sum of a rational and an irrational number is:
Explanation: Always irrational.
Q3.$\sqrt9$ is:
Explanation: $\sqrt9=3$, a rational number.
Q4.A non-terminating, non-repeating decimal is:
Explanation: Such decimals are irrational.