Doubling the Cube

Legend says that when a plague struck Athens, the citizens consulted the oracle at Delos. The god's instruction was precise and infuriating: double the size of the cubic altar dedicated to Apollo. The Athenians built a new altar with edges twice as long — and the plague raged on, because that altar held eight times the volume, not two.

The real task is deceptively simple to state. Given a cube, construct — using only an unmarked straightedge and a compass, the sacred tools of Greek geometry — a second cube with exactly double the volume. If the first edge has length 1, the new edge must be the cube root of 2, about 1.2599.

For more than two thousand years, the sharpest minds in mathematics tried and failed. The reason for every failure turned out to be the same, and it is not a lack of cleverness. It is a wall — a precise, provable limit on what these two tools can ever build.

A compass and straightedge can only ever produce lengths you reach by adding, subtracting, multiplying, dividing, and taking square roots — starting from 1. Every such number lives in a tower of "degree-2" steps. The target, ∛2, needs a cube root, and no stack of square roots can ever land on it.

<p class="hint">{{hint}}</p>
<div class="readout">
  <div class="big">{{value_label}} <span id="val">1.000000000000</span></div>
  <div class="gap">{{gap_label}} <span id="gap">0.259921049895</span></div>
</div>
<div class="bar"><div class="tick target" title="{{target_title}}"></div><div class="dot" id="dot"></div></div>
<div class="btns">
  <button data-op="sqrt" type="button">√x</button>
  <button data-op="mul2" type="button">× 2</button>
  <button data-op="div2" type="button">÷ 2</button>
  <button data-op="add" type="button">+ 0.1</button>
  <button data-op="sub" type="button">− 0.1</button>
  <button data-op="cbrt" type="button" class="forbidden">{{cbrt_btn}}</button>
  <button id="reset" type="button" class="ghost">{{reset_btn}}</button>
</div>
<div class="status" id="status">{{status_default}}</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .7rem; line-height: 1.45; }
.readout { margin: .3rem 0 .6rem; }
.big { font: 700 20px ui-monospace, monospace; color: #1d3557; }
.gap { font: 600 14px ui-monospace, monospace; color: #555; margin-top: .2rem; }
.bar { position: relative; height: 14px; background: #e8eef3; border: 1px solid #cdd9e3;
       border-radius: 7px; margin: .6rem 0 .9rem; }
.tick { position: absolute; top: -4px; width: 2px; height: 22px; background: #0a7d33; }
.tick.target { left: 79.37%; }
.dot { position: absolute; top: 1px; width: 10px; height: 10px; border-radius: 50%;
       background: #e63946; transform: translateX(-50%); transition: left .15s; left: 50%; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .8rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }
button.forbidden { background: #fff; color: #c92f3c; border-color: #c92f3c; }
.status { font-size: .95rem; font-weight: 600; margin: .6rem 0 0; min-height: 1.4em; color: #444; }
.status.ok { color: #0a7d33; }
.status.bad { color: #c92f3c; }

// Code not found

Start from 1 and apply the buttons. You can chase √2, then √(√2), then nudge with arithmetic — and the value will drift agonizingly close to ∛2 ≈ 1.2599 without ever hitting it exactly. Checking whether a length is constructible is the easy part; the deep result is that ∛2 is forever out of reach. The same wall stops trisecting an angle and squaring the circle.

This is not an open problem and it is not merely hard. It is proven impossible — and the proof is one of the great victories of algebra over geometry.

• The status: impossible, settled. In 1837, the French mathematician Pierre Wantzel proved that doubling the cube with compass and straightedge can never be done. The same paper also killed angle trisection.
• Why it works. Each compass-and-straightedge step either draws a line or a circle. Intersecting them solves at worst a quadratic equation, so every new length lives in a field extension of degree 2 over the old one. Stacking steps multiplies these degrees, so every constructible number has degree a power of 2 (1, 2, 4, 8, …) over the rationals.
• The collision. The number ∛2 is a root of the irreducible polynomial $x^{3}$ − 2, so it has degree 3 over the rationals. And 3 is not a power of 2. No tower of square roots can ever contain it.
• So the answer is "no", forever. Not "we haven't found it yet," but "it provably does not exist." This is the same flavor of impossibility as the halting problem: a hard ceiling, proven from the inside.

The punchline reframes two thousand years of failure. Every clever Greek and Renaissance attempt was doomed before it began — not because the geometers were not brilliant, but because the tools simply cannot reach a degree-3 number.

A clean impossibility proof is worth more than a thousand failed attempts. The ideas born here run through modern mathematics:

• Galois theory: the field-degree argument is a seed of the theory that decides exactly which equations are solvable by radicals — among the deepest in algebra.
• Constructible polygons: the same machinery tells you precisely which regular polygons you can draw. A 17-gon? Yes (Gauss). A regular 7-gon or 9-gon? Provably impossible.
• Knowing when to stop: engineers and scientists save enormous effort by recognizing a task is impossible in a model, then changing the model — a marked ruler or a folded paper can double the cube.
• A template for "no": showing a goal lives outside a system's reach — by an invariant it can never change — is the same strategy behind impossibility results across computer science.

Understand why the cube cannot be doubled and you have met the first great impossibility proof — the ancestor of results like the halting problem and the unsolvability of the quintic.

Doubling the cube is the rare problem whose final answer is a clean, certain no. The oracle at Delos asked for ∛2, a number of degree 3, while compass and straightedge can only ever reach lengths of degree a power of 2. The two can never meet — Wantzel proved it in 1837, and no future cleverness will overturn it.

There is something liberating in that. The point was never to find the trick; the point was to understand the tools so deeply that you could prove the trick cannot exist. The next time a problem resists every attack, ask the sharper question the Greeks could not: is it possible at all? Sometimes, as with the cube, the most powerful answer in all of mathematics is a proof that the door is locked.