# Squaring the circle

Squaring the circle is a problem proposed by ancient geometers. It is the challenge of constructing a square with the same area as a given circle by using only a finite number of steps with 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.

Squaring the circle: the areas of this square and this circle are both equal to π. In 1882, it was proven that this figure cannot be constructed in a finite number of steps with an idealized compass and straightedge.
Some apparent partial solutions gave false hope for a long time. In this figure, the shaded figure is the Lune of Hippocrates. Its area is equal to the area of the triangle ABC (found by Hippocrates of Chios).

In 1882, the task was proven to be impossible, as a consequence of the Lindemann–Weierstrass theorem which proves that pi (π) is a transcendental, rather than an algebraic irrational number; that is, it is not the root of any polynomial with rational coefficients. It had been known for decades that the construction would be impossible if π were transcendental, but π was not proven transcendental until 1882. Approximate squaring to any given non-perfect accuracy, in contrast, is possible in a finite number of steps, since there are rational numbers arbitrarily close to π.

The expression "squaring the circle" is sometimes used as a metaphor for trying to do the impossible.[1]

The term quadrature of the circle is sometimes used to mean the same thing as squaring the circle, but it may also refer to approximate or numerical methods for finding the area of a circle.