Compass and straightedge in the context of "Compass equivalence theorem"

Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a given circle by using only a finite number of steps with a compass and straightedge. The difficulty of the problem raised the question of whether specified axioms of Euclidean geometry concerning the existence of lines and circles implied the existence of such a square.

In 1882, the task was proven to be impossible, as a consequence of the Lindemann–Weierstrass theorem, which proves that pi (${\displaystyle \pi }$) is a transcendental number.That is, ${\displaystyle \pi }$ is not the root of any polynomial with rational coefficients. It had been known for decades that the construction would be impossible if ${\displaystyle \pi }$ were transcendental, but that fact was not proven until 1882. Approximate constructions with any given non-perfect accuracy exist, and many such constructions have been found.

Doubling the cube, also known as the Delian problem, is an ancient geometric problem. Given the edge of a cube, the problem requires the construction of the edge of a second cube whose volume is double that of the first. As with the related problems of squaring the circle and trisecting the angle, doubling the cube is now known to be impossible to construct by using only a compass and straightedge, but even in ancient times solutions were known that employed other methods.

According to Eutocius, Archytas was the first to solve the problem of doubling the cube (the so-called Delian problem) with an ingenious geometric construction. The nonexistence of a compass-and-straightedge solution was finally proven by Pierre Wantzel in 1837.

Pierre Laurent Wantzel (5 June 1814 – 21 May 1848) was a French mathematician who proved that several ancient geometric problems were impossible to solve using only compass and straightedge.

In a paper from 1837, Wantzel proved that the problems of doubling the cube and trisecting the angle are impossible to solve if one uses only a compass and straightedge. In the same paper he also solved the problem of determining which regular polygons are constructible: a regular polygon is constructible if and only if the number of its sides is the product of a power of two and any number of distinct Fermat primes (i.e., the sufficient conditions given by Carl Friedrich Gauss are also necessary).