  ### Squaring the Circle

July 15, 2011

When I was an elementary school student studying the "new math," I was inspired to try my hand at a classical geometry problem. This was the trisection of angles; that is, dividing an angle into three equal angles using only the tools of geometry, a straightedge and compass. Except for special cases, such as dividing a right angle into thirty-degree angles, it's not possible. In 1837, Pierre Wantzel showed that this problem reduces to the solution of a certain cubic equation that does not translate to a straightedge and compass rendition.

As all parents and teachers know, the one way to get a child to do something is to tell him not to do it. So, armed with a straightedge and compass, I spent many hours in my bedroom trying procedures on random acute angles. When one of these showed promise, I would repeat it on a random obtuse angle. Well, Wantzel was right, but I got a lot of practice with geometry tools. Trisection of angles is possible using other methods.

Another unsolvable problem in geometry is squaring the circle. The problem is to construct a square having the same area as a given circle, again using only the tools of geometry, a straightedge and compass. You might think that it's somewhat easier to see why this task might be impossible, since the area of a circle involves pi, an irrational number. However, the hypotenuse of a right triangle with unit sides is the square-root of two, which is also irrational, so we can construct at least one irrational line segment.

The thing that makes squaring a circle impossible is not merely pi's irrationality. Pi is a transcendental number, which was proved in 1882 in the Lindemann–Weierstrass theorem. The transcendental nature of pi means that we can't construct a line segment that's the square-root of pi. This is required to generate a square of area equal to that of a unit circle. Squaring a circle would mean that we can find an algebraic representation of pi.

Unlike the angle trisection problem, finding the area of a circle has many applications, even when not followed by an actual construction of the equivalent square, so it's gotten much more attention. Of course, an approximate value of pi is needed to calculate the approximate area of a circle.

The Egyptians were very concerned with area, since the annual flooding of the Nile made surveying of land an important occupation (How could I not mention the Cappadocian hydrological engineers). The Rhind papyrus (1800 BC) gives the area of a circle as (64/81)d2, where d is the circle diameter. In this case, pi is approximated by 256/81, or about 3.16.

One common approximation for pi is (355/113), which is easily remembered by writing the first three odd numbers twice. This faction evaluates to 3.14159292..., which is quite close to the actual value of pi, 3.14159265... Srinivasa Ramanujan gave a geometrical construction of this fraction in 1913 and he was able to square the circle to about 0.00001%, or ten parts per million. As Ramanujan wrote,
"If the area of the circle be 140,000 square miles, then [the length of a side of the square] is greater than the true length by about an inch."

This, as my building contractor father would say when surveying for the foundation of a new house, is "close enough for digging." There are more extreme examples that bring this to a better than ppm level.

Hippocrates (of Chios) thought he was close to squaring the circle when he examined the properties of his lune, which is shown in the figure. He showed that the area between the arcs "E" and "F" in the figure was the same as the area of triangle ABO. Lune of Hippocrates.

Drawing by Michael Hardy, via Wikimedia Commons)

In a paper posted recently on the arXiv preprint server, Henryk Fukś of the Fields Institute and the University of Guelph, presents the Latin original and a side-by-side English translation of a 1685 paper by the Jesuit, Adam Adamandy Kochański.

Kochański, who was court mathematician and librarian for the King of Poland, presents some rational approximations for pi, and a geometrical construction for a line segment approximately equal to π2. As Kochański confesses in his paper,
"For my part, I do not deny that I too was once affected by the same weakness, and, to omit other things, I put not a small effort into squaring of a circle and in examination of works of others attempting it."

Would that modern scientific papers, or at least blogs, were written in the same style!
"I must confess that it was not just for a short period that my brain troubled over such a thing as Kochański's construction. Then, Lo! The darkness was lifted from my eyes, and I saw clearly the logic that flowed from his able pen."

Kochański gives a construction, shown in the figure, that generates an approximation of π2. In this figure, the angles, ∠IAC and ∠KAC, on a unit circle are sixty degrees, and the line segment HL = BD. Knowing this allows the conclusion that IL2 = IK2 + KL2 = 9.869231718195572759955..., the square root of which is 3.141533339... Kochański geometrical construction to approximate pi. The angles ∠IAC and ∠KAC are 60°, HL=BD, and IL is close to π2 for a unit circle.

(Via arXiv Preprint Server)) ### References:

1. Trisection of Angles page on Wikipedia.
2. Srinivasa Ramanujan, "Squaring the circle," Journal of the Indian Mathematical Society, 1913, p. 132.
3. Henryk Fukś, "Observationes Cyclometricae by Adam Adamandy Kochański - Latin text with annotated English translation," arXiv Preprint Server, June 9, 2011.
4. Haud equidem diffiteor, me quoque olim eodem morbo laborasse, et ut alia praeteream, Circulo quidem quadrando, vel examinandis aliorum in eo conatibus, operae non nihil collocasse.
5. Fateor non modo paulisper mea turbaris cerebro quid tale quod Kochańskii elit. Ecce! Tenebrae lumina pectore cessit, et vidi clare quod logica perito stylo fluebant.

Linked Keywords: Elementary school; new math; geometry; trisection of angles; straightedge; compass; Pierre Wantzel; cubic equation; squaring the circle; square; circle; irrational number; hypotenuse; right triangle; square-root of two; transcendental number; Lindemann–Weierstrass theorem; Egyptians; annual flooding of the Nile; surveying; Cappadocian hydrological engineers; Rhind papyrus; Srinivasa Ramanujan; building contractor; ppm; Hippocrates of Chios; lune; Wikimedia Commons; arXiv preprint server; Fields Institute; University of Guelph; Latin; Jesuit; Adam Adamandy Kochański; mathematician; librarian; King of Poland; rational number; blog.