1A Brief History of Radicals
The idea of taking a root — asking "what number, multiplied by itself, gives me N?" — is one of the oldest questions in mathematics. Long before anyone wrote a √ symbol, people were computing square roots on clay tablets.
The clay tablet YBC 7289 (now at Yale) shows a square with its diagonal labeled as a sexagesimal (base-60) approximation of √2 that works out to 1.41421 296 … — accurate to six decimal places. The Babylonians almost certainly used an iterative averaging method to compute it, but they left no derivation. They weren't philosophizing about irrationality; they just needed the answer for engineering and land measurement.
The Pythagoreans had assumed that any two lengths could be expressed as a ratio of whole numbers. Then Hippasus (a student of Pythagoras) proved that √2 cannot be written as a fraction — it is irrational. Legend says this discovery so horrified the Pythagoreans that Hippasus was thrown into the sea to keep the secret. Whether or not the legend is true, the idea shook the mathematical world: not all numbers are "rational."
Elements Book X dedicates more than 100 propositions to irrational ("incommensurable") magnitudes — the most extensive treatment of any topic in the entire work. Euclid called quantities like √2 alogos (Greek for "speechless" or "without reason"), because they could not be expressed (spoken) as a ratio. The Latin translation became surdus ("deaf/mute"), which is why we still say surd to mean an irrational radical.
French mathematician Nicolas Chuquet wrote a stylized R (from Latin radix = root) with a small superscript to indicate the root index. For example,
R²12 meant what we'd write √12.
This was a huge step: for the first time, roots were being written as
symbols rather than described in words. (Mathematicians in that era
wrote everything as long sentences — imagine writing
"the square root of twelve" every time!)
German mathematician Christoph Rudolff, in his algebra textbook Die Coss (the first German-language algebra text), introduced the √ symbol as we know it today. It is believed to be a stylized lowercase r (for radix), its pointed foot becoming the checkmark-like base of the modern symbol. Rudolff also used a dot above the symbol to indicate a cube root, but that convention didn't survive.
In La Géométrie, René Descartes extended the horizontal bar — the vinculum (Latin: "chain" or "bond") — all the way over the radicand so that √a+b clearly meant "the square root of the whole expression a+b," not just a. Before this, grouping was ambiguous. The vinculum made the scope of the radical unambiguous, and it has been standard ever since.
2Anatomy of a Radical Expression
The full form of a radical expression is:
| coefficient | root index | radical sign | radicand |
coeff |
rootNdx |
√ | radicand |
| Part | Name | In the Radical class | What it means |
|---|---|---|---|
| 3 | Coefficient | coeff |
Multiplies the entire radical. Can be any integer (including negative). |
| 4 | Root index | rootNdx |
Tells you which root: 2 = square root, 3 = cube root, 4 = fourth root, etc. When omitted (printed as just √), it is always 2. |
| √ | Radical sign | (the symbol itself) | The √ is a stylized "r" for radix (root). The horizontal bar on top is the vinculum. |
| 5 | Radicand | radicand |
The number under the radical sign. The vinculum shows exactly how much of an expression is under the root. |
value = coeff × (radicand)1 / rootNdx
// Example: 3 · ⁴√5
value = 3 × (5)1/4
= 3 × 1.4953… ≈ 4.4859
3Simple Radical Form
A radical expression is in simple radical form (also called simplified form or simplest radical form) when three conditions are all true:
- No perfect nth-power factors under the radical. (For square roots: no perfect-square factors; for cube roots: no perfect-cube factors; and so on.)
- No fractions under the radical. e.g., √½ should be written as 1⁄2√2.
- No radicals in the denominator (rationalize the denominator). e.g., 1⁄√3 should be √3⁄3.
Radical class
handles Rule 1: factoring perfect nth-power factors out from
under the radical and into the coefficient. Rules 2 and 3 involve fractions
and rationalization — those are future topics.
How to Simplify (the Algorithm)
The key insight is prime factorization. Once you know the prime factors of the radicand, you can systematically pull out any perfect powers:
1. Factor radicand into primes: radicand = p₁^e₁ × p₂^e₂ × …
2. For each prime pᵢ:
outside = ⌊eᵢ / n⌋ // full groups of n come out
inside = eᵢ mod n // remainder stays under radical
3. new coeff = coeff × (p₁^outside₁ × p₂^outside₂ × …)
4. new radicand = p₁^inside₁ × p₂^inside₂ × …
Worked Examples
| Original | Prime factorization | Pull out perfect squares | Simple form |
|---|---|---|---|
| √12 | 12 = 2² × 3 | 2² → pulls out as 2; 3 stays | 2√3 |
| √72 | 72 = 2³ × 3² | 2² → 2 out, 2¹ stays; 3² → 3 out | 6√2 |
| 3√50 | 50 = 2 × 5² | 5² → 5 out; 2 stays | 15√2 |
| 3√24 | 24 = 2³ × 3 | 2³ → 2 out completely; 3 stays | 23√3 |
| 3√128 | 128 = 27 | 26 → 2²=4 out; 2¹ stays | 43√2 |
| √2 | 2 = 2 | exponent 1 < 2, stays as-is | √2 (already simple!) |
4Why Does It Still Matter in the Calculator Age?
You might be thinking: "My calculator gives me 1.41421356 instantly — why bother writing √2?" The answer has several parts, and each one is genuinely useful.
💯 1. Exact vs. Approximate
√2 is exact. The decimal 1.41421356… is a truncated approximation — it never ends and never repeats. When you use the decimal in a calculation, rounding errors accumulate. When you use √2, there is no rounding until the very last step.
In proofs, an exact answer is required. Saying "the hypotenuse is ≈ 1.41421" doesn't prove a theorem; saying it is exactly √2 does.
🔢 2. Comparing and Ordering
Which is larger: 3√2 or 2√3?
With decimals: 3×1.414… = 4.243… vs 2×1.732… = 3.464…
— doable, but messy.
With radicals: square both sides →
(3√2)² = 9×2 = 18
vs
(2√3)² = 4×3 = 12
— immediately clear that
3√2 is larger.
Algebraic manipulation of radicals is often faster and cleaner than converting to decimals.
🧮 3. Algebraic Manipulation
Radical expressions combine with each other in predictable ways that decimals don't reveal:
- (√3)² = 3 (the radical cancels the square)
- (√2) × (√8) = √16 = 4
- (1+√5) (1−√5) = 1 − 5 = −4 (difference of squares)
△ 4. Special Triangles — Pattern Recognition
In a 45–45–90 triangle, the hypotenuse is always leg × √2.
In a 30–60–90 triangle, the long leg is always short leg × √3.
These patterns are invisible in decimal form. Once you see them in radical form, you recognize the same ratio everywhere — in tiling patterns, in regular hexagons, in the unit circle, in graphics pipelines.
🖥️ 5. Computer Graphics & Exact Geometry
Rendering engines, physics simulations, and vector graphics engines often work in exact rational or radical arithmetic internally before converting to floating-point for output. Using exact forms prevents accumulated drift in animations and simulations that run for millions of frames.
SketchWaveJS draws regular hexagons using √3 and draws equilateral-triangle grids using 1⁄2√3 — exact values, not decimals.
✨ 6. Mathematical Elegance
There is something beautiful and permanent about an exact answer. The diagonal of a unit square is exactly √2. That was true in ancient Babylon, it was true for Euclid, and it will be true long after every calculator on Earth has run out of battery. Approximations are useful tools; exact forms reveal deeper structure.
hyp: a√2
long leg: a√3
hyp: 2a
height: a⁄2√3
5Radical Explorer
Enter a coefficient, root index, radicand, and the number of decimal places. The explorer will show the expression, its simplified form, the step-by-step process, and the decimal approximation.
Radical.js
Radical Class
walks through every design decision — from constructor to display methods —
so you can apply the same process to your own support classes.