World Library  
Flag as Inappropriate
Email this Article
 

Squaring the circle

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).

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. 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 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 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 π.

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.

Contents

  • History 1
  • Impossibility 2
  • Modern approximative constructions 3
  • Squaring or quadrature as integration 4
  • Claims of circle squaring 5
    • Connection with the longitude problem 5.1
    • Other modern claims 5.2
  • In literature 6
  • See also 7
  • References 8
  • External links 9

History

Methods to approximate the area of a given circle with a square were known already to Babylonian mathematicians. The Egyptian Rhind papyrus of 1800 BC gives the area of a circle as (64/81) d 2, where 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). Indian mathematicians also found an approximate method, though less accurate, documented in the Sulba Sutras.[2] Archimedes showed that the value of pi lay between 3 + 1/7 (approximately 3.1429) and 3 + 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 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.[3] The problem was even mentioned in Aristophanes's 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 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.

A partial history by Florian Cajori of attempts at the problem.[4]

The famous Victorian-age mathematician, logician and author, Charles Lutwidge Dodgson (better known under the pseudonym "Lewis Carroll") also expressed interest in debunking illogical circle-squaring theories. In one of his diary entries for 1855, Dodgson listed books he hoped to write including one called "Plain Facts for Circle-Squarers". In the introduction to "A New Theory of Parallels", Dodgson recounted an attempt to demonstrate logical errors to a couple of circle-squarers, stating:[5]

The first of these two misguided visionaries filled me with a great ambition to do a feat I have never heard of as accomplished by man, namely to convince a circle squarer of his error! The value my friend selected for Pi was 3.2: the enormous error tempted me with the idea that it could be easily demonstrated to BE an error. More than a score of letters were interchanged before I became sadly convinced that I had no chance.

Perhaps the most famous and effective ridiculing of circle squaring appears in

  • 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 pi
  • "Squaring the Circle" at "Convergence"
  • The Quadrature of the Circle and Hippocrates' Lunes at Convergence
  • How to Unroll a Circle Pi accurate to eight decimal places, using straightedge and compass.
  • Squaring the Circle and Other Impossibilities, lecture by Robin Wilson, at Gresham College, 16 January 2008 (available for download as text, audio or video file).
  • Grime, James. "Squaring the Circle". Numberphile.  

External links

  1. ^ Ammer, Christine. "Square the Circle. Dictionary.com. The American Heritage® Dictionary of Idioms". Houghton Mifflin Company. Retrieved 16 April 2012. 
  2. ^ O'Connor, John J. and Robertson, Edmund F. (2000). "The Indian Sulbasutras". MacTutor History of Mathematics archive. St Andrews University. 
  3. ^ Heath, Thomas (1981). History of Greek Mathematics. Courier Dover Publications.  
  4. ^ Florian Cajori (1919). A History of Mathematics (2nd ed.). New York: The Macmillan Company. p. 143. 
  5. ^ Martin Gardner (1996). The Universe in a Handkerchief. Springer.  
  6. ^ Dudley, Underwood (1987). A Budget of Trisections. Springer-Verlag. pp. xi–xii.   Reprinted as The Trisectors.
  7. ^ Jagy, William C. (1995). "Squaring circles in the hyperbolic plane" ( 
  8. ^ Greenberg, Marvin Jay (2008). Euclidean and Non-Euclidean Geometries (Fourth ed.). W H Freeman. pp. 520–528.  
  9. ^ Hobson, Ernest William (1913). Squaring the Circle: A History of the Problem. Cambridge University Press.  Reprinted by Merchant Books in 2007.
  10. ^ Cotes, Roger (1850). Correspondence of Sir Isaac Newton and Professor Cotes: Including letters of other eminent men. 
  11. ^  
  12. ^ Amati, Matthew (2010). "Meton's star-city: Geometry and utopia in Aristophanes' Birds".  
  13. ^ Herzman, Ronald B.; Towsley, Gary B. (1994). "Squaring the circle: Paradiso 33 and the poetics of geometry". Traditio 49: 95–125.  
  14. ^ Schepler, Herman C. (1950). "The chronology of pi".  
  15. ^ Dolid, William A. (1980). "Vivie Warren and the Tripos". The Shaw Review 23 (2): 52–56.
  16. ^ Spanos, Margaret (1978). "The Sestina: An Exploration of the Dynamics of Poetic Structure". Speculum 53 (3): 545–557.  
  17. ^  
  18. ^ Pendrick, Gerard (1994). "Two notes on "Ulysses"".  

References

See also

In James Joyce's novel Ulysses, Leopold Bloom dreams of becoming wealthy by squaring the circle, unaware that the quadrature of the circle had been proved impossible 22 years earlier and that the British government had never offered a reward for its solution.[18]

The sestina, a poetic form first used in the 12th century by Arnaut Daniel, has been said to square the circle in its use of a square number of lines (six stanzas of six lines each) with a circular scheme of six repeated words. Spanos (1978) writes that this form invokes a symbolic meaning in which the circle stands for heaven and the square stands for the earth.[16] A similar metaphor was used in "Squaring The Circle", a 1908 short story by O. Henry, about a long-running family feud. In the title of this story, the circle represents the natural world, while the square represents the city, the world of man.[17]

Similarly, the Gilbert and Sullivan comic opera Princess Ida features a song which satirically lists the impossible goals of the women's university run by the title character, such as finding perpetual motion. One of these goals is "And the circle – they will square it/Some fine day."[15]

Mad Mathesis alone was unconfined,
Too mad for mere material chains to bind,
Now to pure space lifts her ecstatic stare,
Now, running round the circle, finds it square.

By 1742, when Alexander Pope published the fourth book of his Dunciad, attempts at circle-squaring had come to be seen as "wild and fruitless":[14]

For Dante, squaring the circle represents a task beyond human comprehension, which he compares to his own inability to comprehend Paradise.[13]

As the geometer his mind applies
To square the circle, nor for all his wit
Finds the right formula, howe'er he tries

Dante's Paradise canto XXXIII lines 133–135 contain the verses:

The problem of squaring the circle has been mentioned by poets such as Dante and Alexander Pope, with varied metaphorical meanings. Its literary use dates back at least to 414 BC, when the play The Birds by Aristophanes was first performed. In it, the character Meton of Athens mentions squaring the circle, possibly to indicate the paradoxical nature of his utopian city.[12]

In literature

Even after it had been proved impossible, in 1894, amateur mathematician Edwin J. Goodwin claimed that he had developed a method to square the circle. The technique he developed did not accurately square the circle, and provided an incorrect area of the circle which essentially redefined pi as equal to 3.2. Goodwin then proposed the Indiana Pi Bill in the Indiana state legislature allowing the state to use his method in education without paying royalties to him. The bill passed with no objections in the state house, but the bill was tabled and never voted on in the Senate, amid increasing ridicule from the press.

Other modern claims

Although from 1714 to 1828 the British government did indeed sponsor a £20,000 prize for finding a solution to the longitude problem, exactly why the connection was made to squaring the circle is not clear; especially since two non-geometric methods (the astronomical

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.[11]

During the 18th and 19th century, the notion that the problem of squaring the circle was somehow related to the Augustus de Morgan wrote in 1872:

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.) In his old age, the English philosopher Thomas Hobbes convinced himself that he had succeeded in squaring the circle.

Connection with the longitude problem

Claims of circle squaring

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 Oldenburg in 1676 "I believe M. Leibnitz will not dislike the Theorem towards the beginning of my letter pag. 4 for squaring Curve lines Geometrically" (emphasis added).[10] After Newton and Leibniz invented calculus, they still referred to this integration problem as squaring a curve.

Squaring or quadrature as integration

seven decimal places are equal to those of \sqrt{\pi} respectively equal to those of \pi.

1{.}77245384141934376\dots^2 = 3.141592619962188 \dots
\frac{6}{5} (1 + \varphi)\text{ and }\sqrt{36\left( 72 + \sqrt{143}\right)} \right)^2} = 1{.}77245384141934376 \dots

In 1991, Robert Dixon gave constructions for

giving a remarkable eight decimal places of pi.

\left(9^2 + \frac{19^2}{22}\right)^{1/4} = \sqrt[4]{\frac{2143}{22}} = 3.1415926525826461252\dots

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

Kochański's approximate construction

which is accurate to six decimal places of pi.

\tfrac{355}{113} = 3.1415929203539823008\dots

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

Among the modern approximate constructions was one by E. W. Hobson in 1913.[9] This was a fairly accurate construction which was based on constructing the approximate value of 3.14164079..., which is accurate to 4 decimals (i.e. it differs from pi by about 4.8×10−5).

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 pi. It takes only minimal knowledge of elementary geometry to convert any given rational approximation of pi 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 proven unsolvable, some mathematicians 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.

Modern approximative constructions

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 be in Gauss–Bolyai–Lobachevsky space. Indeed, even the preceding phrase is overoptimistic.[7][8] There are no squares as such in the hyperbolic plane, although there are regular quadrilaterals, meaning quadrilaterals with all sides congruent and all angles congruent (but these angles are strictly smaller than right angles). There exist, in the hyperbolic plane, (countably) infinitely many pairs of constructible circles and constructible regular quadrilaterals of equal area. However, there is no method for starting with a regular quadrilateral and constructing the circle of equal area, and there is no method for starting with a circle and constructing a regular quadrilateral of equal area (even when the circle has small enough radius such that a regular quadrilateral of equal area exists).

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 pi, 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.

The transcendence of pi implies the impossibility of exactly "circling" the square, as well as of squaring the circle.

The solution of the problem of squaring the circle by compass and straightedge demands construction of the number \scriptstyle \sqrt{\pi}, and the impossibility of this undertaking follows from the fact that pi is a transcendental (non-algebraic and therefore non-constructible) number. If the problem of the quadrature of the circle is solved using only compass and straightedge, then an algebraic value of pi would be found, which is impossible. Johann Heinrich Lambert conjectured that pi was transcendental in 1768 in the same paper in which he proved its irrationality, even before the existence of transcendental numbers was proven. It was not until 1882 that Ferdinand von Lindemann proved its transcendence.

Impossibility

[6]

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.