Misplaced Pages

Revision as of 23:20, 3 September 2007

Squaring the circle is a problem proposed by ancient geometers. It is the challenge to construct a square with the same area as a given circle by using only a finite number of steps with compass and straightedge. More abstractly and more precisely, it may be taken to ask whether specified axioms 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 fact that pi (π) is a transcendental, rather than algebraic irrational number; that is, it is not the root of any polynomial with rational coefficients. It had been known for some decades before then that if π were transcendental then the construction would be impossible, but that π is transcendental was not proven until 1882. Approximate squaring to any given non-perfect accuracy, on the other hand, is possible in a finite number of steps, as a consequence of the fact that there are rational numbers arbitrarily close to π.

The term quadrature of the circle is sometimes used synonymously, or may 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 mathematicians. The Egyptian Rhind papyrus of 1800BC gives the area of a circle as ${\displaystyle 64/81d^{2}}$, where ${\displaystyle d}$ is the diameter of the circle. Indian mathematicians also found an approximate method, though less accurate, documented in the Sulba Sutras.

• 17. Somers Clarke and R. EnglebachTemplate:Section:Book reference after author

A text found at Saquara dating to c 3000 BC or 5000 years BP has a picture of a curve and under the curve the dimensions given in fingers to the right of the circle as reconstructed to the right. It was presumed the horizontal spacing was based on a royal cubit but the results if based on an ordinary cubit are different. It appears the value for PI being used is 3 '8 '64 '1024. which at 3.141601563 is slightly better than the Rhind value.

The circumference of the circle is 1200 fingers and the diameter of the circle is 191 x 2 = 382

3 '8 '64 '1024 x 382 ~= 1200.0

The side of the square is 12 royal cubits and its area is 434 square feet The area of the circle is 191^2 x 3.141601563 The algorythem suggests working with coordinates and numerical analysis to define a curve

1

1 1

1 2 1

1 3 3 1

1 4 6 4 1

1 5 10 10 5 1

3

3 + 1/2y^3 is 3 '8, = 3.125

3 + 1/2y^3 + 1/2y^6 is 3 '8 '64,= 3.140625

3 + 1/2y^3 + 1/2y^6 + 1/2y^10 is 3 '8 '64 '1024 = 3.141601563

For purposes of comparison(3 '7 = 3.142857143)

The first person to be associated with the problem in Greece was Anaxagoras, who worked on it while in prison. Hippocrates of Chios squared certain lunes, in the hope that it would lead to a solution. 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. The problem was even mentioned in Aristophanes's play Birds.

It is believed that Oenopides was the first person who required a plane solution (that is, using only a compass and straightedge). 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 incorrect, it was the first paper to attempt to solve the problem using algebraic properties of π. It was not until 1882 that Ferdinand von Lindemann rigorously proved its impossibility.

Impossibility

A solution of the problem of squaring the circle by compass and straightedge demands construction of the number ${\displaystyle \scriptstyle {\sqrt {\pi }}}$, and the impossibility of this undertaking follows from the fact that π is a transcendental number—that is, it is non-algebraic and therefore a non-constructible number. If one solves the problem of the quadrature of the circle using only compass and straightedge, then one has also found an algebraic value of π, which is impossible. Johann Heinrich Lambert conjectured that π was transcendental in 1768 in the same paper he proved its irrationality, even before the existence of transcendental numbers was proved. It wasn't until 1882 that Ferdinand von Lindemann proved its transcendence.

It is possible to construct a square with an area arbitrarily close to that of a given circle. If a rational number is used as an approximation of π, then squaring the circle becomes possible, depending on the values chosen. However, this is only an approximation and does not meet the constraints of the ancient rules for solving the problem. Several mathematicians have demonstrated workable procedures based on a variety of approximations.

Bending the rules by allowing an infinite number of compass-and-straightedge operations or by performing the operations on certain non-Euclidean spaces also makes squaring the circle possible. For example, although the circle cannot be squared in Euclidean space, it can in Gauss-Bolyai-Lobachevsky space (hyperbolic geometric space).

Note that the transcendence of π implies the impossibility of exactly "circling" the square, as well as of squaring the circle.

Modern approximative constructions

Though squaring the circle is an impossible problem using only compass and straightedge, approximations to squaring the circle can be given by constructing lengths close to π. It takes only minimal knowledge of elementary geometry to convert any given rational approximation of π into a corresponding compass-and-straightedge construction, but constructions made in this way tend to be very long-winded in comparison to the accuracy they achieve. After the exact problem was proved unsolvable, some mathematicians have applied their ingenuity to finding elegant approximations to squaring the circle, defined roughly (and informally) as constructions that are particularly simple among other imaginable constructions that give similar precision.

Among the modern approximate constructions was one by E. W. Hobson in 1913. This was a fairly accurate construction which was based on constructing the approximate value of 3.14164079..., which is accurate to 4 decimals.

Indian mathematician Srinivasa Ramanujan in 1913, C. D. Olds in 1963, Martin Gardner in 1966, and Benjamin Bold in 1982 all gave geometric constructions for

${\displaystyle {\frac {355}{113}}=3.1415929203539823008\dots }$

which is accurate to 6 decimal places of π.

Srinivasa Ramanujan in 1914 gave a ruler and compass construction which was equivalent to taking the approximate value for π to be

${\displaystyle \left(9^{2}+{\frac {19^{2}}{22}}\right)^{1/4}={\sqrt{\frac {2143}{22}}}=3.1415926525826461253\dots }$

giving a remarkable 8 decimal places of π.

In 1991, Robert Dixon gave constructions for

${\displaystyle {\frac {6}{5}}(1+\varphi )}$ and ${\displaystyle {\sqrt {{40 \over 3}-2{\sqrt {3}}\ }}}$

(Kochanski's approximation), though these were only accurate to 4 decimal places of π.

Squaring or quadrature as integration

The problem of finding the area under a curve, known as integration in calculus, or quadrature in numerical analysis, was known as squaring before the invention of calculus. Since the techniques of calculus were unknown, it was generally presumed that a squaring should be done via geometric constructions, that is, by compass and straightedge. For example Newton wrote to Oldenberg in 1676 "I believe M. Leibnitz will not dislike ye Theorem towards ye beginning of my letter of pag. 4 for squaring Curve lines Geometrically." After Newton and Leibniz invented calculus, they still referred to this integration problem as squaring a curve.

"Squaring the circle" as a metaphor

The futility of undertaking exercises aimed at finding the quadrature of the circle has brought this term into use in totally unrelated contexts, where it is simply used to mean a hopeless, meaningless, or vain undertaking. For example, in Spanish, the expression "descubriste la cuadratura del círculo" ("you discovered the quadrature of the circle") is often used to derisively dismiss claims that someone has found a simple solution to a particularly hard or intractable problem.

Aleister Crowley used the metaphor in a different sense, to represent the goal of magick and mysticism. He implicitly associated his system of Thelema with π. For more information, see Abrahadabra.

Claims of circle squaring, and the longitude problem

The mathematical proof that the quadrature of the circle is impossible using only compass and straightedge has not proved to be a hindrance to the many people who have invested years in this problem anyway. Having squared the circle is a famous crank assertion. (See also pseudomathematics.) For example, in his old age, the English philosopher Thomas Hobbes convinced himself that he had succeeded in squaring the circle.

During the 18th and 19th century, the notion that the problem of squaring the circle was somehow related to the longitude problem seems to have become prevalent among would-be circle squarers. Using "cyclometer" for circle-squarer, Augustus de Morgan wrote in 1872:

Montucla says, speaking of France, that he finds three notions prevalent among cyclometers: 1. That there is a large reward offered for success; 2. That the longitude problem depends on that success; 3. That the solution is the great end and object of geometry. The same three notions are equally prevalent among the same class in England. No reward has ever been offered by the government of either country.

Exactly why this connection was made is not clear. De Morgan goes on to say that "he longitude problem in no way depends upon perfect solution; existing approximations are sufficient to a point of accuracy far beyond what can be wanted." In his book, de Morgan also mentions receiving many threatening letters from would-be circle squarers, accusing him of trying to "cheat them out their prize."

See also

• The two other classical problems of antiquity were doubling the cube and "trisecting the angle", described in the compass and straightedge article. Unlike squaring the circle, these two problems can be solved by the slightly more powerful construction method of origami, as described at mathematics of paper folding.
• For a more modern related problem, see Tarski's circle-squaring problem.
• Vitruvian man by Leonardo da Vinci and its connection with squaring the circle.
• The Indiana Pi Bill, an 1897 attempt by the Indiana state legislature to dictate a solution to the problem by legislative fiat.

References

1. O'Connor, John J. and Robertson, Edmund F. (2000). The Indian Sulbasutras, MacTutor History of Mathematics archive, St Andrews University.
2. Florian Cajori, A History of Mathematics, second edition, p.143, New York: The Macmillan Company, 1919.
3. Heath, Thomas (1981). History of Greek Mathematics. Courier Dover Publications.
4. Augustus de Morgan (1872) A Budget of Paradoxes, pp. 96.

External links

• Squaring the circle at the MacTutor History of Mathematics archive
• Squaring the Circle at cut-the-knot
• Circle Squaring at MathWorld, includes information on procedures based on various approximations of π
• Squaring the Circle at Convergence
• The Quadrature of the Circle and Hippocrates' Lunes at Convergence

• Pi
• Euclidean plane geometry