2.1 Irrational Numbers, Radical Estimation & Scientific Notation

2.1 Irrational Numbers, Radical Estimation & Scientific Notation

Real Number Hierarchy: Rational vs. Irrational Numbers

The real number continuum, denoted by $\mathbb{R}$, partitions into two mutually exclusive and exhaustive subsets: the rational numbers ($\mathbb{Q}$) and the irrational numbers ($\mathbb{R} \setminus \mathbb{Q}$ or $\mathbb{I}$). Formally, a number $x$ is rational if and only if it can be represented as a ratio of two integers:

$$x \in \mathbb{Q} \iff x = \frac{a}{b}, \quad \text{where } a, b \in \mathbb{Z} \text{ and } b \neq 0$$

Every rational number produces a decimal expansion that either terminates or enters an indefinitely repeating cycle of digits. This behavior is a direct consequence of the division algorithm: when an integer $a$ is divided by an integer $b$, the process generates remainders strictly from the finite set $\{0, 1, 2, \dots, |b| - 1\}$. If a remainder of zero appears, the division halts, yielding a terminating decimal. A fraction $a/b$ in irreducible form terminates if and only if the prime factorization of the denominator $b$ contains no prime factors other than 2 and 5 (the prime factors of the base-10 radix). If a remainder of zero never appears, the pigeonhole principle guarantees that one of the remaining non-zero remainders must recur within at most $|b| - 1$ division steps, producing a repeating decimal with period $k \le |b| - 1$.

Conversely, an irrational number cannot be expressed as a quotient of integers. Its decimal expansion is strictly non-terminating and non-repeating. Notable irrational numbers include algebraic irrationals—such as $\sqrt{2}$, $\sqrt{3}$, and $\sqrt[3]{5}$, which arise as roots of non-zero polynomial equations with integer coefficients—and transcendental numbers—such as $\pi \approx 3.14159265\dots$ and $e \approx 2.71828182\dots$, which cannot satisfy any non-zero polynomial equation with rational coefficients.

The algebraic interaction between rational and irrational numbers follows strict closure principles:

• The rational numbers $\mathbb{Q}$ form a field, closed under addition, subtraction, multiplication, and division by non-zero elements.
• The irrational numbers $\mathbb{I}$ are not closed under any of these arithmetic operations. For instance, $\sqrt{5} + (-\sqrt{5}) = 0 \in \mathbb{Q}$, and $\sqrt{8} \times \sqrt{2} = \sqrt{16} = 4 \in \mathbb{Q}$.
• The sum or difference of a rational number $q$ and an irrational number $x$ is always irrational. If $q + x = r$ where $r \in \mathbb{Q}$, then $x = r - q$. Because $\mathbb{Q}$ is closed under subtraction, $r - q$ must be rational, contradicting that $x$ is irrational.
• The product or quotient of a non-zero rational number $q$ and an irrational number $x$ is always irrational. If $q \cdot x = r$ where $r \in \mathbb{Q}$ and $q \neq 0$, then $x = r/q$, which would force $x$ to be rational, a contradiction.

---

Classical Proof of the Irrationality of $\sqrt{2}$

The proof that $\sqrt{2}$ is irrational is a cornerstone of mathematical logic and a recurring concept on the FTCE Mathematics 6-12 examination. It employs a proof by contradiction (reductio ad absurdum).

Step-by-Step Formal Derivation

1. Initial Assumption: Assume, for the sake of contradiction, that $\sqrt{2}$ is a rational number.
2. Representation in Irreducible Form: By definition of rational numbers, there exist positive integers $a$ and $b$ such that: $$\sqrt{2} = \frac{a}{b}, \quad \text{with } \gcd(a, b) = 1$$ The condition $\gcd(a, b) = 1$ establishes that the fraction is in lowest terms, meaning $a$ and $b$ share no common positive integer factor other than 1.
3. Algebraic Manipulation: Squaring both sides eliminates the radical: $$2 = \frac{a^2}{b^2} \implies a^2 = 2b^2$$
4. Deduction of Parity for $a$: The equation $a^2 = 2b^2$ indicates that $a^2$ is an even integer because it is an integer multiple of 2. By Euclid's lemma (and the parity lemma: the square of an odd integer $(2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$ is always odd), if $a^2$ is even, then $a$ itself must be even.
5. Substitution: Since $a$ is even, there exists an integer $k$ such that $a = 2k$. Substituting this into the equation $a^2 = 2b^2$ yields: $$(2k)^2 = 2b^2 \implies 4k^2 = 2b^2 \implies b^2 = 2k^2$$
6. Deduction of Parity for $b$: The equation $b^2 = 2k^2$ implies that $b^2$ is an even integer. Consequently, $b$ must also be an even integer.
7. Logical Contradiction: Because both $a$ and $b$ are even, both are divisible by 2. This directly contradicts the foundational premise that $\gcd(a, b) = 1$.
8. Conclusion: The initial assumption that $\sqrt{2}$ is rational must be false. Therefore, $\sqrt{2}$ is irrational.

This proof generalizes to any square root $\sqrt{N}$ where $N$ is a positive integer that is not a perfect square. By the Fundamental Theorem of Arithmetic, every integer has a unique prime factorization. In $a^2 = N b^2$, the exponent of each prime factor on the left-hand side ($a^2$) must be even. If $N$ is not a perfect square, at least one prime factor in $N$ possesses an odd exponent, causing an irreconcilable parity imbalance between the two sides of the prime factorization.

---

Non-Calculator Radical Estimation and Bounding

On examinations where graphing calculators are restricted, candidates must employ rigorous mental and analytic estimation algorithms to bound and approximate square roots, cube roots, and expressions with transcendental constants.

1. Bounding by Perfect Squares

To estimate $\sqrt{N}$, identify consecutive integers $n$ and $n+1$ whose squares bound $N$:

$$n^2 < N < (n + 1)^2 \implies n < \sqrt{N} < n + 1$$

2. Linear Interpolation

Linear interpolation assumes that the radical function $f(x) = \sqrt{x}$ behaves approximately linearly across the narrow interval $[n^2, (n+1)^2]$. The fraction of the distance that $N$ travels from $n^2$ to $(n+1)^2$ approximates the fractional increase from $n$ to $n+1$:

$$\sqrt{N} \approx n + \frac{N - n^2}{(n + 1)^2 - n^2} = n + \frac{N - n^2}{2n + 1}$$

3. First-Order Differential Approximation (Taylor Series)

A more precise analytic approximation utilizes the first derivative of $f(x) = \sqrt{x}$. Given a convenient base point $a = n^2$ close to $N$:

$$f'(x) = \frac{1}{2\sqrt{x}} \implies f(N) \approx f(a) + f'(a)(N - a) = \sqrt{a} + \frac{N - a}{2\sqrt{a}} = n + \frac{N - n^2}{2n}$$

Worked Example: Estimating $\sqrt{53}$

Consider $\sqrt{53}$:

• Bounding: The nearest perfect squares are $7^2 = 49$ and $8^2 = 64$. Thus, $7 < \sqrt{53} < 8$.
• Linear Interpolation: $$\sqrt{53} \approx 7 + \frac{53 - 49}{64 - 49} = 7 + \frac{4}{15} \approx 7 + 0.267 = 7.267$$
• Differential Approximation: Base point $a = 49$, with $\Delta x = 53 - 49 = 4$: $$\sqrt{53} \approx 7 + \frac{4}{2(7)} = 7 + \frac{2}{7} \approx 7 + 0.2857 = 7.286$$
• Verification: The true value is $\sqrt{53} \approx 7.2801$. The differential approximation yields an error of only $+0.08\%$.

Cube Root Estimation

For higher-order roots such as $\sqrt[3]{N}$, identify bounding cubes $n^3 < N < (n+1)^3$. For $f(x) = x^{1/3}$, the derivative is $f'(x) = \frac{1}{3x^{2/3}}$. Choosing $a = n^3$:

$$\sqrt[3]{N} \approx n + \frac{N - n^3}{3n^2}$$

For example, to approximate $\sqrt[3]{70}$, note that $4^3 = 64$ and $5^3 = 125$. Taking $a = 64$ ($n = 4$):

$$\sqrt[3]{70} \approx 4 + \frac{70 - 64}{3(4^2)} = 4 + \frac{6}{48} = 4 + \frac{1}{8} = 4.125$$

The true value is approximately $4.1213$, representing an error of less than $0.1\%$.

---

Transcendental Constants and Number Line Placement

Estimating expressions involving $\pi \approx 3.14159$ and $e \approx 2.71828$ requires combining radical bounds with decimal approximations:

• $\pi^2$ Approximation: Since $3.14^2 = 9.8596$ and $3.15^2 = 9.9225$, $\pi^2 \approx 9.87$. A convenient benchmark is $\pi^2 \approx g \approx 9.8\text{ m/s}^2$ or $\pi^2 \approx 10$.
• $\sqrt{e}$ Approximation: Since $1.6^2 = 2.56$ and $1.7^2 = 2.89$, and $e \approx 2.718$, $\sqrt{e}$ lies roughly midway between $1.6$ and $1.7$, approximately $1.65$.

Number Line Density and Ordering

Between any two distinct real numbers $x < y$, there exist infinitely many rational numbers and infinitely many irrational numbers (both $\mathbb{Q}$ and $\mathbb{R} \setminus \mathbb{Q}$ are dense in $\mathbb{R}$). When arranging numbers on a coordinate line, establish decimal intervals:

$$-\sqrt{10} \approx -3.162 < -3 < \frac{7}{3} \approx 2.333 < e \approx 2.718 < \sqrt{8} \approx 2.828 < \pi \approx 3.142 < \sqrt{15} \approx 3.873$$

---

Operations in Scientific Notation and Significant Figures

Scientific notation expresses numbers in the canonical form:

$$a \times 10^b, \quad \text{where } 1 \le |a| < 10 \text{ and } b \in \mathbb{Z}$$

The significand (or mantissa) $a$ reflects measurement precision, while the integer exponent $b$ dictates order of magnitude.

Arithmetic Operations

1. Addition and Subtraction: Exponents must be aligned to match before significands can be added or subtracted: $$(a \times 10^m) + (c \times 10^k) = (a + c \cdot 10^{k - m}) \times 10^m, \quad \text{where } m \ge k$$ Example: $(4.50 \times 10^6) + (3.20 \times 10^5) = (4.50 \times 10^6) + (0.32 \times 10^6) = 4.82 \times 10^6$.
2. Multiplication and Division: Multiply or divide significands directly, then sum or subtract exponents using the laws of exponents: $$(a \times 10^m) \times (c \times 10^n) = (a \cdot c) \times 10^{m + n}$$ $$\frac{a \times 10^m}{c \times 10^n} = \left(\frac{a}{c}\right) \times 10^{m - n}$$ If the resulting significand falls outside $[1, 10)$, re-normalize by shifting the decimal point and incrementing or decrementing the exponent. Example: $(8.0 \times 10^7) \times (5.0 \times 10^{-3}) = 40.0 \times 10^4 = 4.0 \times 10^5$.

Significant Figures and Physical Scale Estimation

• In scientific notation, every digit in the significand $a$ is significant. For example, $3.200 \times 10^4$ has 4 significant figures, whereas writing 32,000 leaves ambiguity regarding trailing zeros.
• Product/Quotient Precision Rule: The final result carries the same number of significant figures as the factor with the fewest significant figures.
• Order-of-Magnitude Reasoning: On the astronomical scale, the mean Earth-Sun distance is $\approx 1.496 \times 10^{11}\text{ m}$. On the subatomic scale, the classical Bohr radius is $\approx 5.292 \times 10^{-11}\text{ m}$. Comparing these quantities involves subtracting exponents: $$\frac{1.496 \times 10^{11}\text{ m}}{5.292 \times 10^{-11}\text{ m}} \approx 0.2827 \times 10^{22} = 2.827 \times 10^{21}$$ This reveals a scale disparity spanning more than 21 orders of magnitude.

---

Radical Estimation and Scientific Notation Reference Table