Real Numbers: Irrational Numbers and Decimal Expansions

Proving a number is irrational

The standard technique is proof by contradiction: assume the number is rational (equal to some fraction ab\frac{a}{b} of integers), then show that assumption forces something impossible.

Prove that 3+253 + 2\sqrt{5} is irrational.

Solution: Suppose 3+253+2\sqrt{5} were rational, equal to ab\frac{a}{b} for integers a,ba,b (with b≠0b \ne 0). Then:

ab−3=25  ⇒  5=a−3b2b\dfrac{a}{b} - 3 = 2\sqrt{5} \;\Rightarrow\; \sqrt{5} = \dfrac{a-3b}{2b}

The right side is a ratio of integers, so it's rational, but 5\sqrt{5} is known to be irrational. That contradiction means the original assumption was false, so 3+253+2\sqrt{5} is irrational.

Spotting a terminating decimal

A fraction in lowest terms has a terminatingdecimal expansion exactly when its denominator's prime factorization contains only 2s and 5s. Otherwise the decimal is non-terminating and repeating.

Without doing the division, decide whether 151600\dfrac{15}{1600} and 29343\dfrac{29}{343} terminate.

Solution: 1600=26×521600 = 2^6 \times 5^2, only 2s and 5s, so 151600\dfrac{15}{1600} terminates (it equals 0.0093750.009375). But 343=73343 = 7^3, which has a prime factor other than 2 or 5, so 29343\dfrac{29}{343} is non-terminating and repeating.

Continue learning

Proving irrationality and simplifying surd arithmetic both come from the same set of properties of square roots.