Squaring the Circle

Take a circle. Now, using only a compass and an unmarked straightedge, draw a square with exactly the same area. No ruler markings, no protractor, no calculator — just the two tools the ancient Greeks allowed themselves.

This is squaring the circle, and people chased it for more than two thousand years. It appears in Egyptian papyri, obsessed Greek geometers, and filled the margins of medieval manuscripts. "Squaring the circle" even entered everyday language as a phrase for an impossible task.

Here is the catch hiding in plain sight. A circle of radius 1 has area $\pi$. To match it, your square needs a side of length $\sqrt{\pi}$. So the whole question quietly becomes: can you construct the number $\sqrt{\pi}$ with compass and straightedge alone? That single number is where two thousand years of effort would finally break.

Below is a circle of area $\pi$ next to a square you can resize. Drag the slider, or click a famous historical approximation, and watch how close the square's area gets to the circle's.

<p class="hint">{{hint}}</p>
<div class="stage">
  <svg id="art" viewBox="0 0 240 200" aria-label="{{aria_art}}"></svg>
</div>
<div class="row">
  <label for="side">{{square_side}}</label>
  <input id="side" type="range" min="1.5" max="2.0" step="0.0001" value="1.77245">
  <span id="sideval" class="mono">1.77245</span>
</div>
<div class="readout">
  <div>{{circle_area}} <span class="mono">3.141593</span></div>
  <div>{{square_area}} <span id="sqarea" class="mono">3.141593</span></div>
  <div>{{error_label}} <span id="err" class="mono err">0.000000</span></div>
</div>
<div class="btns">
  <button type="button" data-side="1.772453851">{{btn_exact}}</button>
  <button type="button" data-side="1.772877">{{btn_kochanski}}</button>
  <button type="button" data-side="1.7724">{{btn_22_7}}</button>
  <button type="button" data-side="1.875">{{btn_crude}}</button>
</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 .6rem; line-height: 1.45; }
.stage { display: flex; justify-content: center; }
svg { width: 100%; max-width: 300px; height: auto; }
.circ { fill: rgba(29,53,87,.12); stroke: #1d3557; stroke-width: 1.4; }
.sq { fill: rgba(230,57,70,.14); stroke: #e63946; stroke-width: 1.4; }
.row { display: flex; align-items: center; gap: .6rem; margin: .7rem 0 .3rem; flex-wrap: wrap; }
.row label { font-size: .9rem; font-weight: 600; }
input[type=range] { flex: 1; min-width: 140px; }
.mono { font: 600 14px ui-monospace, monospace; }
.readout { font-size: .92rem; line-height: 1.6; margin: .3rem 0 .6rem; }
.err { color: #c92f3c; }
.err.ok { color: #0a7d33; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 13px system-ui, sans-serif; padding: .4rem .75rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button:hover { background: #16263f; }

// Code not found

Notice what happens. You can get the areas to agree to two, three, even four decimal places — Kochański's 1685 construction is good to about four. But the error never reaches zero. Each approximation is a constructible number; the true target, $\sqrt{\pi}$, is not. You are forever circling a value you cannot land on.

This is not an open problem and not merely unsolved — it is proven impossible. The verdict came in two steps.

• Constructible means algebraic. Whatever a compass and straightedge can draw, starting from a unit length, is a number you can reach by adding, subtracting, multiplying, dividing, and taking square roots. Every such number is a root of a polynomial with integer coefficients — that is, algebraic — and its degree must be a power of two.
• $\pi$ is transcendental. In 1882, Ferdinand von Lindemann proved that $\pi$ is not the root of any polynomial with integer coefficients at all. It is transcendental, escaping the algebraic numbers entirely. (See π for the number itself.)
• The collision. If $\sqrt{\pi}$ were constructible it would be algebraic, so $\pi = (\sqrt{\pi})^2$ would be algebraic too. But Lindemann says $\pi$ is transcendental. Contradiction. Therefore $\sqrt{\pi}$ is not constructible, and the circle cannot be squared.

The result is final and exact — there is no clever trick, no better diagram, no approximation that ever becomes equality. It joins trisecting the angle and doubling the cube (both settled by Pierre Wantzel in 1837) as a construction that is impossible by the very nature of the tools. Like the halting problem, the answer is not "we don't know yet" but "we can prove it can never be done."

A puzzle about drawing might sound like a curiosity, but its resolution reshaped mathematics:

• Transcendental number theory: Lindemann's proof, building on Hermite's earlier work on e, founded a whole field that classifies which numbers are algebraic and which escape. The same machinery underlies modern results about $\pi$, e, and beyond.
• The power of impossibility proofs: this was a triumph of showing a task can never be done — the same mindset behind undecidability and computational lower bounds. Proving "no method exists" is often deeper than finding a method.
• Knowing when to stop: countless amateurs still send "solutions" to journals. Recognizing a proven-impossible problem saves effort — a practical lesson in any field where people chase perpetual motion of one kind or another.
• Constructibility and algebra: the link between geometry and field theory (which lengths are constructible) is a gateway into Galois theory and the algebraic structure behind classical geometry.

Squaring the circle is the rare problem with a definitive obituary. For two millennia it looked like a hard drawing exercise; in 1882 Lindemann showed it was impossible from the start, because $\pi$ is transcendental and so $\sqrt{\pi}$ can never be built with compass and straightedge.

The lesson outlives the puzzle. Some limits are not about cleverness or computing power — they are baked into the tools you are using. The approximations in the demo will keep getting closer forever, and forever fall short. Knowing why the gap can never close is more powerful than any drawing that almost does. For another problem that is impossible by proof rather than by difficulty, see the halting problem.