View source for Squaring the circle

'''Squaring the circle''' is a problem proposed by [[classical antiquity|ancient]] [[geometers]]. It is the challenge of constructing a [[square (geometry)|square]] with the same area as a given [[circle]] by using only a finite number of steps with [[compass and straightedge]].

(TO DO: fix math, fix templates, expand, organize, cross-reference, illustrate.)

== Description ==

More abstractly and more precisely, it may be taken to ask whether specified [[axiom]]s of [[Euclidean geometry]] concerning the existence of lines and circles entail 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]] ({{pi}}) is a [[Transcendental number|transcendental]], rather than an algebraic irrational number; that is, it is not the [[root of a function|root]] of any [[polynomial]] with rational coefficients. It had been known for some decades before then that the construction would be impossible if pi were transcendental, but pi 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 {{pi}}.

The expression "squaring the circle" is sometimes used as a metaphor for trying to do the impossible.<ref>{{cite web|last=Ammer|first=Christine|title=Square the Circle. Dictionary.com. The American Heritage® Dictionary of Idioms|url=http://dictionary.reference.com/browse/square%20the%20circle|publisher=Houghton Mifflin Company|accessdate=16 April 2012}}</ref>

The term ''[[numerical integration|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.

==History==
Methods to approximate the area of a given circle with a square were known already to [[Babylonian mathematics|Babylonian mathematicians]]. The Egyptian [[Rhind papyrus]] of 1800 BC gives the area of a circle as (64/81)&nbsp;{{math|''d''}}<sup>&nbsp;2</sup>, where {{math|''d''}} is the diameter of the circle, and pi approximated to 256/81, a number that appears in the older [[Moscow Mathematical Papyrus]] and used for volume approximations (i.e. [[hekat (volume unit)|hekat]]). [[Indian mathematics|Indian mathematicians]] also found an approximate method, though less accurate, documented in the ''[[Sulba Sutras]]''.<ref>{{Cite web|author=O'Connor, John J. and Robertson, Edmund F. |year=2000|url=http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Indian_sulbasutras.html|title=The Indian Sulbasutras|work=MacTutor History of Mathematics archive|publisher=St Andrews University}}</ref> [[Archimedes]] showed that the value of pi lay between 3&nbsp;+&nbsp;1/7 (approximately 3.1429) and 3&nbsp;+&nbsp;10/71 (approximately 3.1408). See [[Numerical approximations of π]] for more on the history.

The first known Greek to be associated with the problem was [[Anaxagoras]], who worked on it while in prison. [[Hippocrates of Chios]] squared certain [[Lune (mathematics)|lunes]], in the hope that it would lead to a solution — see [[Lune of Hippocrates]]. [[Antiphon the Sophist]] believed that inscribing regular polygons within a circle and doubling the number of sides will eventually fill up the area of the circle, and since a polygon can be squared, it means the circle can be squared. Even then there were skeptics—[[Eudemus]] argued that magnitudes cannot be divided up without limit, so the area of the circle will never be used up.<ref>{{Cite book| last = Heath | first = Thomas | year = 1981 | title = History of Greek Mathematics | publisher = Courier Dover Publications| isbn = 0-486-24074-6}}</ref> The problem was even mentioned in [[Aristophanes]]'s play ''[[The Birds (play)|The Birds]]''.

It is believed that [[Oenopides]] was the first Greek who required a plane solution (that is, using only a compass and straightedge). [[James Gregory (astronomer and mathematician)|James Gregory]] attempted a proof of its impossibility in ''Vera Circuli et Hyperbolae Quadratura'' (The True Squaring of the Circle and of the Hyperbola) in 1667. Although his proof was faulty, it was the first paper to attempt to solve the problem using algebraic properties of pi. It was not until 1882 that [[Ferdinand von Lindemann]] rigorously proved its impossibility.

== See also ==

* [[Mathematics]]

== External links == 

* [https://en.wikipedia.org/wiki/Squaring_the_circle Squaring the circle] @ Wikipedia