The Five Squarable Lunes 

A planar region whose boundaries are arcs of two circles is called a lune (presumably because it resembles a crescent moon). Of course, it's impossible to "square” a complete circle by Euclidean methods – meaning that we can’t construct a square with the same area using just straightedge and compass – but, somewhat surprisingly, it is possible to “square” certain lunes. Hippocrates of Chios was the first to demonstrate such quadratures of lunes around 440 BC. It turns out that only five particular lunes can be squared by Euclidean methods. Three of these were described by Hippocrates himself, and two more were discovered in the mid 1700's. These last two are often credited to Euler in 1771, but according to Heath all five squarable lunes were given in a dissertation by Martin Johan Wallenius in 1766. The proof that these five are the only lunes squarable by Euclidean methods was given by Tchebatorew and Dorodnow. 

It's not too difficult to discover these five squarable lunes, especially with the help of modern trigonometric methods. In general, consider the lune described by arc segments of two offset circles, one of radius r and the other of radius R, as shown below. 


Under what conditions can we solve for the area of the lune (the shaded region) by Euclidean methods? This is equivalent to asked for the conditions in which we can solve for the shaded area by means of nothing more complex than quadratic equations and square roots. The area of the lune can be expressed as the difference between the two partcircular regions to the right of the vertical line, i.e., we have 

_{} 

We can express the area of the region CFD as follows 

_{} 

Now, since the area of a complete circle of radius r is pr^{2}, the area of the circular sector BCFD is simply 

_{} 

Also, the area of the triangle BCD is 

_{} 

where we have used the trigonometric identity 2sin(x)cos(x) = sin(2x). Therefore, the area of the region CFD is 

_{} 

Similarly we have 
_{} 

Hippocrates saw that we could eliminate the transcendental terms br^{2} and aR^{2} from the expression for the area of the lune if we set those terms equal to each other. Thus, we restrict ourselves to only those cases where br^{2} = aR^{2}. In these cases the area of the lune is simply 

_{} 

Now, since we want to be able to construct this area from a unit length (such as taking r = 1) using only quadratic operations, the length of R must be constructible, so we will require it to be of the form R^{2} = ur^{2} so that R equals r times the square root of some rational number u. It follows from the relation br^{2} = aR^{2} that b = ua, so we can make these substitutions into the expression for the lune area to give 

_{} 

Of course, from the original diagram we can equate the vertical heights to give the relation r sin(b) = R sin(a), which implies 

_{} 

Recalling the identities sin(2x) = 2sin(x)cos(x) and cos(x)^{2} = 1  sin(x)^{2} we can rewrite the equation for the area of the lune entirely in terms of sin(a), which we will abbreviate as s. 

_{} 

Therefore, we can "square the lune" (with apologies to Debussey) by Euclidean methods if we can determine s = sin(a) by solving nothing more complicated than quadratics. Clearly equation (1) can be solved for sin(a) by means of quadratics and square roots only for certain values of the rational number u. To see this, recall the wellknown trigonometric identities for multiple angles 

_{} 

and so on. If we set u = 2 in equation (1), and again denote sin(a) as simply s, we have 

_{} 

and so s^{2} = 1/2 and _{}. Substituting this into (2), and setting r = 1, we get the area A = 1. This was the first case found by Hippocrates, and is shown below. 


Notice that the area of the lune equals the area of the major triangle to the left of the vertical line. 

Now consider what happens if we set u = 3. In this case equation (1) becomes 

_{} 

and so we have 

_{} 

Substituting into equation (2) gives the area of the lune 

_{} 

This lune is shown in the figure below. 


For the third squarable lune, consider what happens if we set u = 3/2. In this case we can define the halfangle w = a/2 so we have a=2w and ua = 3w. Equation (1) then becomes 

_{} 

We can now use the trig multiple angle formulas to expand this into an equation in terms of S = sin(w) as follows 

_{} 

Squaring both sides and simplifying gives a quadratic in S^{2} 

_{} 

which gives 
_{} 

(The other root leads to a complex result.) This is sin(w)^{2}, which equals sin(2a)^{2}, so we need to convert this to an expression for sin(a) using the halfangle formula, which gives 

_{} 

and so we have the angle a = 0.935929456... On this basis the area of the lune is 

_{} 

This lune is illustrated below. 


Apparently the above three cases were the only ones known in antiquity. The next case for which equation (1) reduces to a quadratic is with u = 5, which leads to 

_{} 

where s again denotes sin(a). Solving this for s^{2} gives 

_{} 

The root with the "+" sign leads to a complex angle, but with the "" sign we get a = 0.409090011..., which produces the squarable lune shown below. 


The only other value of u for which equation (1) reduces to a quadratic equation is u = 5/3. In this case we write the equation in terms of w = a/3, so letting S denote sin(w) we have 

_{} 

This is a quadratic in S^{2}, so we can solve it to give 

_{} 

Taking 3 times the inverse sine of the square root of these quantities gives the two possible values of the angle, of which only the first is relevant, so we have the angle 

_{} 

This last squarable lune is illustrated below. 

