Math 409/409G History of Mathematics

1. Math 409/409GHistory of Mathematics Squaring Lunes and Circles

2. What’s squaring? The squaring (or quadrature) of a plane figure is the construction – using only straightedge and compass – of a square having area equal to that of the original plane figure. In a previous lesson you saw how to square a polygon.

3. What’s a lune? A lune is a plane figure bounded by two circular arcs. The smaller yellow region in the figure at the right is an example of a lune.

4. How Hippocrates squared a lune Begin with a semicircle having center O and radius • Construct OC perpendicular to AB with C on the semicircle. • Construct segments AC and BC.

5. Since OC is a radius of the semicircle, By the Pythagorean theorem,

6. Construct the midpoint D of AC. Since • Construct the semicircle centered at D and having radius AD, as pictured.

7. Our goal is to show that the yellow lune AECF is squarable. The area of the small semicircle AEC is And the area of the large semicircle ACB is

8. So, it terms of areas,

9. In terms of the first octant of our shaded figure, this says that: small semicircle = 1/2 large semicircle.

10. Subtracting the common area shows that the area of the lune is equal to the area of a triangle. Since a triangle is squarable, as shown in the last lesson, so is Hippocrates’ lune.

11. Attempt to square a circle History reports that Hippocrates also claimed to have squared a circle. There is no record of his proof. However, mathematicians speculate that his proof may have been something like what I am about to show you.

12. Begin with an arbitrary circle having diameter d. • Construct a circle having radius d.

13. Inscribe a regular hexagon in that circle. Note: each side of the hexagon will measure d.

14. Construct a semicircle on each side of the inscribed hexagon. Note that each semicircle has half the area of the given circle. given circle semicircle

15. The area of our construction can be viewed in two ways: Hexagon plus six semicircles. Large circle plus six lunes.

16. In terms of areas, this gives us: hexagon + 3 original circles = large circle + 6 lunes.

17. But the original circle has diameter d, and thus radius d/2, and the large circle has radius d. So Area (large circle) = πd 2 = 4 (πd 2)/4 = 4 Area (original circle).

18. Since Area (large circle) = 4 Area (original circle), in terms of areas, hexagon + 3 original circles = 4 original circles + 6 lunes.

19. Simplifying hexagon + 3 original circles = 4 original circles + 6 lunes results in: Area (original circle) = Area (hexagon) – 6 Area (lune).

20. Area (original circle) = Area (hexagon) – 6 Area (lune). In the last lesson we showed that you can square a polygon (and thus a hexagon), and that you can square the difference of two squares. At the beginning of this lesson we showed how Hippocrates squared a lune.

21. So, as it is speculated, Hippocrates concluded that Area (original circle) = Area (hexagon) – 6 Area (lune) resulted in a construction of the quadrature of a circle.

22. Right? Area (original circle) = Area (hexagon) – 6 Area (lune) Hippocrates says you can square a hexagon, you can square a lune, and you can square the difference of two squares. So you can square a circle. Right?

23. WRONG! Hippocrates showed that you can square a lune, but he didn’t show that you could square every lune.

24. The lune he squared was a lune constructed on the side of a square inscribed in a circle. The lune in this bogus squaring of a circle was constructed on the side of a hexagon.

25. So, can you or can’t you square a circle? The answer is NO, or at least you can’t square every circle. This was proved in 1882 by Ferdinand Lindemann. His proof is algebraic, not geometric.

26. Side Note The Hippocrates in this lesson is not the same Hippocrates of the famous physicians’ Hippocratic oath. However, the two were born around the same time (5th century B.C.) and lived relatively near each other.

27. This ends the lesson on Squaring Lunes and Circles