For the sake of some readers we shall first define a lune: A lune is a concave closed region bounded by two circular arcs respectively with radii and
and distance between their centers as
, where
. This region looks like a digit of the moon (hence lune or what Hindus call the indukalā) or the illuminated fraction of a star or planetary body eclipsed by another. The formula for the area of the lune is complicated but has a nice symmetry to it:
One notices from the formula that the first two terms with inverse cosine functions can give rise to transcendental numbers, like fractions of . Due to the subtraction at certain angles these can potentially cancel each other out leaving the 3rd term which is in principle geometrically constructable. This suggests that the quadrature of at least some lunes should be possible in principle.
At some point during our school years, shortly after acquiring some elementary geometrical insights, we learned of this problem of the squaring of lunes – we quickly performed for ourselves the construction of the lunes specified by a rectangle and th square lune and proved their quadrature (simple problems). A few years later we successfully conquered the trapezium lune and proved its quadrature for ourselves as part of a study of some Hindu mathematics. The third squareable lune is conceptually similar but its conventional compass and straight-edge construction needs one to construct a segment of length
. While relatively easy, this was practically cumbersome given the usual paper-size we used those days for our physical compass/ruler constructions. It was then that we read of Proclus mentioning yavana-s using a “cheat” for this purpose. But a comparable “cheat” is rather natural to Hindus due their geometry being dependent on the raśmi; hence we use here.
The remaining two squareable lunes were apparently first proved to be so by Euler (though it is also attributed to some others). To construct them exactly with a compass and straight-edge would need one to construct lengths which are expressed as ratios of grisly multiple nested radicals and we have never attempted to do so nor figured out a way using other curves. Likewise, the deep reasons for the very existence of only these five and no more squareable lunes remained beyond us. Baffled by all this any fancies we might have had of pursuing mathematics as a mode of living came to an end. It showed us that there are kinds of insight and understanding pertaining to mathematical expression that are not easy or even possible for a human with a limited mental capacity to acquire as a part of his regular course of existence. Aristotle informs us regarding the yavana Hippocrates, who achieved the initial lune quadratures, that he was so immersed in his geometry that he was pretty much lost in his regular life: a stark reminder of the blurring of the boundaries between mathematical virtuosity and dysfunctionality. This was something we could appreciate despite lacking that virtuosity.
Yet, what we did learn regarding the lunes was rather fascinating and reminded us of experiments with other curves whose area becomes independent of , like a type of lemniscate we described earlier. The construction of the classic
th square lune is part of some yantra-s such as the bhūtavijaya and the Hindu re-appropriation of Mañjughoṣa. We have also seen an intriguing figure termed the śṛṣṭi-yantra contemplated upon by sādhaka-s in the school of the kaula practitioner Haṃsamiṭṭhu from Gujarat, which includes the first two and possibly the third squareable lune. We have not seen any textual precedence for this. We place here the construction of the first three squareable lunes.
The four lunes specified by a rectangle and the th square lune
Figure 1
1) Draw a rectangle ABCD inside a circle (Figure 1). Every rectangle by definition is a cyclic quadrilateral; hence it will be circumscribed in a circle.
2) Draw semicircles on each side of the rectangle. Four lunes are defined by the region between the circumcircle of ABCD and the four semicircles on its sides (Figure 1).
3) The sum of the area of the 4 lunes is equal to that of the rectangle ABCD used to define them.
4) While we could use the above area formula to prove this, it is visually much easier to use the construction: let ;
; let radius of the circumcircle of the rectangle ABCD be
.
5) The area a given lune () in the construction can be visualized as the difference of the area of the semicircle with diameter as one of the sides of the rectangle ABCD (
) and the area of the circular segment or cap (
) of the circumcircle of rectangle ABCD delimited by the cord which is one of the sides of the said rectangle. Thus
.
6) For the 4 lunes we get two pairs of semicircles, each pair corresponding to one of the pairs of congruent sides of the rectangle. Thus, the total area () bounded by the four semicircles forming the 4 lunes is the sum of the areas of the circles having the two adjacent sides of the rectangle as their diameters:
.
7) Now a right angle inscribed in a circle defines a semicircle. Therefore the diagonals of the rectangle are diameters of its circumcircle; . By the bhujā-koṭi-karṇa-nyāya
8)
9) The total area of the four caps of the circumcircle () defined by the rectangle ABCD can be seen from the construction as being:
.
10) Thus we can get the total area of the four lunes () to complete the proof:
Figure 2
From the above construction (Figure 1) it is also clear that for any right triangle inscribed in a circle the two lunes formed by the circumcircle and semicircles on the two orthogonal sides of the triangle have a total area equal to that of the right triangle. A special case of the above construction leads to the first squareable single lune (Figure 2): If the two adjacent sides of the rectangle ABCD were equal then it becomes a square (Figure 2). Then the 4 lunes will have equal area and the area of each of these lunes will that of square (from Figure 2):
As can be seen from Figure 2 this lune can be easily constructed by the intersection of the circumcircle of square ABCD and semicircle erected on the hypotenuse of the quarter square .
The squareable trapezium lune
Figure 3
1) Take point A at origin (Figure 3). Draw a point at distance 1 unit above it along the y-axis. Draw point
at distance 3 units below it along the y-axis.
2) Obtain the midpoint of and
(the arithmetic mean operation), namely
. Draw a semicircle with
as diameter and
as center. Draw a perpendicular to
at point A to cut the semicircle at point B. By geometric mean theorem
3) Bisect to obtain point P. With P as center and radius .5 cut arcs on either side on
to obtain points Q and R. draw perpendiculars to
at points Q and R.
4) With points A and B as centers and radius 1 cut the above perpendiculars drawn at points Q and R to obtain points C and D. Join points A, B, C, D to obtain isoceles trapezium ABCD with sides .
5) By definition every isoceles trapezium is a cyclic quadrilateral. Obtain its circumcenter by drawing perpendicular bisectors any two sides and finding their point of concurrency, point E. With point E as center draw the circumcircle of ABCD. This will be the smaller circle bounding the desired lune.
6) Draw a line perpendicular to at point B. With radius
, i.e. same as circumcircle of ABCD, and center as B cut the the above perpendicular line to obtain point F (thus this perpendicular line with henceforth be
);
. Join points C and F to obtain
. Thus,
is a right triangle. Extend
as
. With B as center and radius
cut
to get point H. Through point H draw a line parallel to
to cut
at point I.
7) Using as the base and radius
construct isoceles
. With point J as center draw a circle passing through points A and B. This will be the larger circle of the lune; thus we now have the second squareable lune (Figure 3).
Here again rather than use the area formula we can use the construction and some simpler formulae to establish its quadrature. From the construction (Figure 3) we can establish the following:
1) Area of isoceles trapezium ABCD is .
2) The area of cap of the bigger circle on side AB is ()
3) The three caps () of the smaller circle on sides BC, CD and DA are equal because by construction they subtend congruent angles.
4) The area of the lune is:
5) The area of a cap of a circle with radius , where the cord defining the cap subtends an angle
at the center is
.
6) From our construction . Thus
. We call this angle
. Likewise, given that
we have
7)
Thus, the area of our lune is the same as the isoceles trapezium used in its construction.
Now what is the area of this trapezium. Since it is a cyclic quadrilateral, we can use Brahmagupta’s theorem to find its area:
Interestingly, the third term in the area of the lune formula provided in the beginning of the article has resemblance to the Brahmagupta formula. As the two ‘curved’ terms in the area formula cancel out the third term essentially becomes equal to the area of of the trapezium.
Now we can get the radius of the smaller circle of the lune because it is the circumcircle of trapezium ABCD using Parameśvara’s theorem:
Now the angle subtended by a cord of length at the center of a circle with radius
is:
Taking cord and radius
which has been calculated above we get:
From the construction this is the inner angle of the lune. Thus, the outer angle of the lune
The squareable trapezium-triangle difference lune
Figure 4
1) Take a point A and draw point 1 unit above it along the y-axis (Figure 4). Draw point
2 units below it along the y-axis. Find their midpoint
(arithmetic mean operation) and draw a semicircle with
as its diameter. Draw a perpendicular at point A to
which cuts the semicircle at point B. Thus by the geometric mean theorem
.
2) Draw the perpendicular bisector of , which we will call
. Here is where the special trick comes in which we shall describe in terms of using a rajju and śaṅku. Mark off a length of
from a śaṅku tied on the rajju. This length can be easily constructed as described above using the geometric mean theorem. Move that śaṅku along
keeping the opposite end of the rajju to one on which the
has been marked taut. When it passes through point A, peg the rajju to point A and also to
. This point on
is D.
3) Using the marked end of the rajju draw a circle of radius with point D as center. With point B as center and radius
draw an arc to cut this circle. Thus we get point C.
4) Reflect point C about to get point E. Thus we get an isoceles trapezium ABCE. Draw the perpendicular bisectors of two of the sides of ABCE and obtain their point of concurrency J, the circumcenter of ABCE. With J as center draw the circumcircle of ABCE which will be the outer arc of the desired lune.
5) Similarly, find point K the circumcenter of and draw its circumcircle. This gives us the inner arc thereby completing the construction of the desired lune.
From the construction (Figure 4) we can reconstitute the area of the lune thus:
Now from the construction (Figure 4) we can see that:
and
If the length of the cord defining the cap is a and the angle subtended by it is then we get the area of the cap to be:
Now from the construction it clear that: , which is the area of the concave pentagon ABCDE.
To find the actual area of this polygon and lune we need to do some more geometry. From the construction it is apparent that:
Let
Thus
Again from the construction we get:
Now that we have every side of the trapezium ABCE and we can calculate its area using Brahmagupta’s theorem:
Similarly for CDE we can use Brahmagupta’s theorem thus:
The difference of the above areas is the area of the concave pentagon ABCDE, which is the same as that of the lune, and shows the lune to be squareable. Thus:
One can also do the tedious calculation of the circumcircles using Parameśvara’s theorem to get the outer angle of the lune as: and the inner angle as
. These lunes briefly teased the ancients with the hope of squaring the circle but it was merely a mirage.