Standard Bearer Academy

Introduction: The Discovery of Irrational Numbers

The ancient Pythagoreans believed that all numbers could be expressed as ratios of whole numbers — that is, as fractions. This belief was shattered when one of their members (tradition says Hippasus) proved that √2 is irrational — it cannot be expressed as any fraction. According to legend, this discovery so disturbed the Pythagoreans that they drowned Hippasus at sea.

The existence of irrational numbers reveals that mathematical reality is richer than simple fractions can capture. The square root of 2 equals approximately 1.41421356..., with digits continuing forever without repeating. Yet this 'messy' number arises from the simple question: what number multiplied by itself equals 2? Radical expressions give us the tools to work with these fascinating numbers.

Square Roots and nth Roots

The square root of a number a, written √a, is the non-negative number that when multiplied by itself gives a. So √9 = 3 because 3 × 3 = 9. The cube root ³√a is the number that cubed equals a: ³√8 = 2 because 2³ = 8. In general, the nth root ⁿ√a is the number that raised to the nth power gives a.

Perfect squares (1, 4, 9, 16, 25, ...) have whole-number square roots. Non-perfect squares have irrational square roots. To simplify radicals, factor out perfect squares: √50 = √(25 × 2) = 5√2. Similarly, √72 = √(36 × 2) = 6√2.

The domain of even-index root functions (square root, fourth root, etc.) is restricted to non-negative radicands because even roots of negative numbers are not real. Odd-index root functions (cube root, fifth root, etc.) accept all real numbers because negative numbers can have odd roots: ³√(-8) = -2.

Operations with Radicals

Radicals can be added and subtracted only if they have the same index and the same radicand (like terms). For example: 3√5 + 7√5 = 10√5, but 3√5 + 7√3 cannot be simplified further. Sometimes simplifying first reveals like terms: √12 + √27 = 2√3 + 3√3 = 5√3.

Multiplication uses the property √a × √b = √(ab): √3 × √6 = √18 = 3√2. Division uses √a / √b = √(a/b). When a radical appears in a denominator, we rationalize it by multiplying numerator and denominator by the appropriate radical: 1/√3 = √3/3.

For binomial denominators containing radicals, multiply by the conjugate. To rationalize 1/(√5 + 2), multiply by (√5 - 2)/(√5 - 2): the denominator becomes (√5)² - 2² = 5 - 4 = 1, giving the result √5 - 2.

Rational Exponents

Radicals can be expressed using rational (fractional) exponents: ⁿ√a = a^(1/n). This means √x = x^(1/2), ³√x = x^(1/3), and so on. More generally, a^(m/n) = ⁿ√(aᵐ) = (ⁿ√a)ᵐ.

Rational exponents follow the same rules as integer exponents: x^(1/2) × x^(1/3) = x^(5/6), (x^(2/3))³ = x², and x^(-1/2) = 1/x^(1/2) = 1/√x.

The connection between radicals and exponents is one of the beautiful unifying principles in algebra. What appears as two different notations turns out to be two expressions of the same mathematical relationship — a harmony that reflects the underlying unity of mathematical truth.

Solving Radical Equations

A radical equation contains a variable under a radical sign. To solve, isolate the radical, then raise both sides to the appropriate power to eliminate it. For example: √(x + 3) = 5 → x + 3 = 25 → x = 22. For cube roots: ³√(2x - 1) = 3 → 2x - 1 = 27 → x = 14.

When squaring both sides, extraneous solutions may be introduced. Always check your answers in the original equation. For example, solving √(x) = x - 6: squaring gives x = x² - 12x + 36, or x² - 13x + 36 = 0, giving x = 9 or x = 4. Checking: √9 = 3 = 9 - 6 ✓, but √4 = 2 ≠ 4 - 6 = -2 ✗. Only x = 9 is valid.

Radical functions like f(x) = √x model many natural relationships. The period of a pendulum is proportional to the square root of its length. The speed of a wave is related to the square root of the tension in the medium. These relationships reveal the mathematical principles God embedded in the physical world.