Editing Squaring the circle (section)

==Impossibility==
The solution of the problem of squaring the circle by compass and straightedge requires the construction of the number <math>\sqrt\pi</math>, the length of the side of a square whose area equals that of a unit circle. If <math>\sqrt\pi</math> were a [[constructible number]], it would follow from standard [[Straightedge and compass construction|compass and straightedge]] constructions that <math>\pi</math> would also be constructible. In 1837, [[Pierre Wantzel]] showed that lengths that could be constructed with compass and straightedge had to be solutions of certain polynomial equations with rational coefficients.{{r|wantzel|cajori-on-wantzel}} Thus, constructible lengths must be [[algebraic number]]s. If the circle could be squared using only compass and straightedge, then <math>\pi</math> would have to be an algebraic number. It was not until 1882 that [[Ferdinand von Lindemann]] proved the transcendence of <math>\pi</math> and so showed the impossibility of this construction. Lindemann's idea was to combine the proof of transcendence of [[e (mathematical constant)|Euler's number]] <math>e</math>, shown by [[Charles Hermite]] in 1873, with [[Euler's identity]]
<math display=block>e^{i\pi}=-1.</math>
This identity immediately shows that <math>\pi</math> is an [[irrational number]], because a rational power of a transcendental number remains transcendental. Lindemann was able to extend this argument, through the [[Lindemann–Weierstrass theorem]] on linear independence of algebraic powers of <math>e</math>, to show that <math>\pi</math> is transcendental and therefore that squaring the circle is impossible.{{r|lindemann|fritsch}}

Bending the rules by introducing a supplemental tool, allowing an infinite number of compass-and-straightedge operations or by performing the operations in certain [[non-Euclidean geometry|non-Euclidean geometries]] makes squaring the circle possible in some sense. For example, [[Dinostratus' theorem]] uses the [[quadratrix of Hippias]] to square the circle, meaning that if this curve is somehow already given, then a square and circle of equal areas can be constructed from it. The [[Archimedean spiral]] can be used for another similar construction.{{r|boymer}} Although the circle cannot be squared in [[Euclidean space]], it sometimes can be in [[hyperbolic geometry]] under suitable interpretations of the terms. The hyperbolic plane does not contain squares (quadrilaterals with four right angles and four equal sides), but instead it contains ''regular quadrilaterals'', shapes with four equal sides and four equal angles sharper than right angles. There exist in the hyperbolic plane ([[Countable set|countably]]) infinitely many pairs of constructible circles and constructible regular quadrilaterals of equal area, which, however, are constructed simultaneously. There is no method for starting with an arbitrary regular quadrilateral and constructing the circle of equal area. Symmetrically, there is no method for starting with an arbitrary circle and constructing a regular quadrilateral of equal area, and for sufficiently large circles no such quadrilateral exists.{{r|hyper1|hyper2}}