*** Welcome to piglix ***

Lune of Hippocrates


In geometry, the lune of Hippocrates, named after Hippocrates of Chios, is a lune bounded by arcs of two circles, the smaller of which has as its diameter a chord spanning a right angle on the larger circle. Equivalently, it is a non-convex plane region bounded by one 180-degree circular arc and one 90-degree circular arc. It is the first curved figure to have its exact area calculated mathematically.

Hippocrates wanted to solve the classic problem of squaring the circle, i.e. constructing a square by means of straightedge and compass, having the same area as a given circle. He proved that the lune bounded by the arcs labeled E and F in the figure has the same area as triangle ABO. This afforded some hope of solving the circle-squaring problem, since the lune is bounded only by arcs of circles. Heath concludes that, in proving his result, Hippocrates was also the first to prove that the area of a disk is proportional to the square of its diameter.

Hippocrates' book on geometry in which this result appears, Elements, has been lost, but may have formed the model for Euclid's Elements. Hippocrates' proof was preserved through the History of Geometry compiled by Eudemus of Rhodes, which has also not survived, but which was excerpted by Simplicius of Cilicia in his commentary on Aristotle's Physics.

Not until 1882, with Ferdinand von Lindemann's proof of the transcendence of π, was squaring the circle proved to be impossible.


...
Wikipedia

...