A History of Pi Page 4
Anaxagoras of Clazomenae (500-428 B.C.) found in Athens a bold new spirit of free enquiry and enthusiastically joined in with a truly scientific spirit, not shying away from experiment nor from popularizing science (both in diametrical opposition to the snobbism of the later Greek philosophers). He taught that the annual swelling of the Nile was due to the melting of mountain snows near the upper part of the river; that the Moon received its light solely from the Sun; that eclipses of the Moon or the Sun were caused by the interposition of the Earth or the Moon; that the Sun was a red-hot stone bigger than the entire Peloponnese; and other (less successful) theories. But in his theory of the Sun, which denied that the Sun was a deity, he had gone too far, and for some time he was imprisoned in Athens for impiety.
While in jail, he attempted to “square the circle,” a problem intimately connected with π, which requires the construction of a square equal in area to a given circle, but which we shall examine in more detail in the next chapter. It is apparently the first mention (by Plutarch) of this famous problem that fascinated men until 1882, when the proof that it could not be solved (by Greek geometry) was finally furnished; and even now it continues to fascinate amateur circle squarers who cannot be dissuaded by mathematical proof.
Another Greek of this period (late 5th century B.C.) associated with squaring the circle is the Sophist philosopher Antiphon, who enunciated the “principle of exhaustion,” which was to have a profound influence on mathematicians in their quest for the value of π until the invention of the calculus in the late 17th century. The exhaustion principle states the following: If a square is inscribed in a circle, and further regular polygons are inscribed with double the number of sides at each step (octagon, 16-sided polygon, etc.), until the circle is exhausted, then eventually a polygon will be reached whose sides are so short that it will coincide with the circle. This led Antiphon to believe that the circle could be squared by Greek geometry; for any polygon can be squared, and since the “eventual” polygon is equivalent to a circle, Antiphon judged that a circle could be squared also.
Antiphon’s principle is almost correct; it becomes completely correct in Euclid’s more cautious formulation, according to which the difference between the remaining area and that of the circle can be made smaller than any preassigned value, no matter how small (but not zero).
Hippocrates lune. The lower case letters stand for areas.
Another man associated with the area of circles during this period was Hippocrates of Chios, who should not be confused with his better known contemporary, the physician Hippocrates of Cos. Hippocrates of Chios was a merchant who came to Athens in 430 B.C. According to some, he lost his money through fraud in Byzantium, according to others he was robbed by pirates; in any case, he thereafter turned to the study of geometry, which is in itself remarkable, for in later years the road between business and science was more often traveled in the opposite direction.
Hippocrates was evidently the first to find the exact area of a figure bounded by curves, in this case circular arcs, and thus became the first man to make a precise statement on curvilinear mensuration. The area that Hippocrates squared (or triangled, but to square a triangle is trivial) was that of a lune (see figure above) bounded by the semicircular arc ABC circumscribed about the right-angled, isosceles triangle ABC, and the circular arc ADC such that the segment ADEC is similar to the segment AB. (That is, the radius of ADC is to AC as the radius EA is to AB.)
Hippocrates found that the area of this lune is exactly equal to the triangle ABC.
Proof: Since the segments above the three sides are similar, their areas are to each other as the squares of their bases; since by Pythagoras’ Thorem AB2 + BC2 = AC2, the areas of the corresponding segments are related by
The area of the lune is
Examples of figures that are exactly squarable by Euclidean geometry. The shaded areas are reducable to Hippocrates lunes, and hence are squarable.
or on substituting (1),
i.e., it is equal to the area of the triangle.
This is probably not the proof given by Hippocrates, whose book on geometry has been lost. The proof of this theorem given by Eudoxos and taken over by Euclid more than a century later is a reductio ad absurdum (reduction to the absurd), a proof by contradiction or indirect proof. It is possible that Hippocrates was the first to use this method of proof, whose essence is this: If we want to prove that a statement is true, we first assume that it is not true and use this assumption to achieve an absurd result (or a result that contradicts the assumption); since the result is absurd, the premise must have been false; if a statement is either true or false (tertium non datur, there is no third possibility), the statement must be true.
For example, the fact that the number of primes (numbers divisible only by themselves or one) is infinite is proved as follows. Assume that the number of primes is finite. Then there must exist the largest prime, call it p. Now the number
is divisible by all integers up to and including p. Hence the number p! + 1 is divisible by none of them and is therefore a prime. But the prime p! + 1 is obviously greater than p, which contradicts the assumption that p is the largest prime. The assumption is therefore false, and the number of primes is infinite.
Hippocrates’ discovery can easily be generalized to many other curvilinear figures, two of which are shown above. The one on the right, in particular, must have raised high hopes of squaring the circle (or the semicircle, which is just as good). The snag, as we know today, is that some, but not all, lunes can be squared. In the top right figure, for example, the sum of the lune and the semicircle can be squared, but they cannot be squared individually — at least not by the Greek rules of the game (which will be discussed in the next chapter).
Very many other figures composed entirely or partly of Hippocrates lunes can be constructed. Leonardo da Vinci (1452-1519) was particularly fascinated by Hippocrates lunes, and he constructed 176 such figures on a single page of his manuscripts, and more elsewhere.19
It is ironic that the work of Antiphon and Hippocrates should have been brought to our attention by one whose teachings held up the progress of science for close to 2,000 years, the Greek philosopher Aristotle (384-322 B.C.). He judges both Antiphon’s principle of exhaustion and Hippocrates’ quadratures to be false, considering the refutation of Antiphon’s principle beneath the notice of geometers, and never, of course, achieving a disproof of Hippocrates’ quadrature of the lune, either. Aristotle, we are invaribly told, was “antiquity’s most brilliant intellect,” and the explanation of this weird assertion, I believe, is best summarized in Anatole France’s words: The books that everybody admires are the books that nobody reads. But on taking the trouble to delve in Aristotle’s writings, a somewhat different picture emerges (see also Chapter 6). His ignorance of mathematics and physics, compared to the Greeks of his time, far surpasses the ignorance exhibited by this tireless and tiresome writer in the many subjects that he felt himself called upon to discuss.
* * *
THE fourth man of interest in this early Greek period is Hippias of Elis, who came to Athens in the second half of the 5th century B.C., and who was the first man on record to define a curve beyond the straight line and circle. It is perhaps ironic that the next curve on the list should be a transcendental one, skipping infinitely many algebraic curves, but the Greeks did not yet know about degrees of a curve, and so they ate fruit from all orchards. The curve that Hippias discovered was called a trisectrix, because it could be used to trisect an angle (the second problem that fascinated antiquity, the third being the doubling of the volume of a cube), or a quadratrix, because it could be used to square the circle, and with the mere use of compasses and straightedge, too. There has to be a snag, of course, and the snag was that the construction violated another rule of the Greek game, but this point is deferred to the next chapter.
Hippias’ quadratrix
Hippias’ quadratrix was defined as follows. Let the straight segment AB move u
niformly from the indicated position until it coincides with CD, and let the segment AO rotate uniformly clockwise about the point O from the indicated position through OP until it coincides with OD, in the same time as AB moves to CD. The curve traced by the intersection (L) of the two segments during this motion is Hippias’ quadratrix.
Using only compasses and straightedge, and discarding the concepts of motion and time, we can also construct this curve by dividing the angle AOP into 2n parts, and the segment AO into the same number of parts, where n is arbitrarily large. Any intersection of two corresponding segments is then a point on the quadratrix.
We do not know whether Hippias realized that by means of his curve the circle could be squared; perhaps he realized it, but could not prove it. The proof was later given by Pappus (late 3rd century A.D.), who evidently had it from Dinostratus (born about 350 B.C., brother of Menaechmus, who is quoted at the beginning of this chapter). His proof by elementary geometry is a reductio ad absurdum, but the modern road is shorter:
Let OL = ρ and OA = r; from the definition of the quadratrix, and expressing the angle of rotation in radian measure, we have
and since AL′ = r – ρ sin θ, we obtain
For θ → 0, we have (sin θ)/θ → 1, ρ → OQ ; also 2r = AD, so that (1) yields
and we have a geometrical construction for the circle ratio π.
To rectify the circle, we need a segment of length
or
so that u can be found by an easy construction of proportional quantites (similar triangles).
A rectangle with sides u/2 and r then has area
i.e., the same area as a circle with radius r, and since a rectangle is easily squared by an elementary construction, the circle is squared by the use of compasses and straightedge alone. Nevertheless, as we shall see, this construction failed to qualify under the implicit rules of Greek geometry.
* * *
HIPPIAS and Dinostratus only scratched the surface of this curve, for analytical geometry was still some 2,000 years away. But we might as well finish the job for them.
Let us regard (1) as the equation of the quadratrix in polar coordinates through
Hippias’ quadratrix derived by analytical geometry. Hippias knew only the part in the interval – a < x < a, i.e., the one shown in the preceding figure.
After some manipulation, we have
and the figure above shows how the quadratrix has bloomed. Hippias and Dinostratus only saw the tip of the iceberg for – r < x < r.
The circle can also be squared by the use of the Archimedean spiral, as we shall see.
The essence of Hippias’ trick was the fact that the limit of (sin θ)/θ for θ → 0 is unity. But there are other curves exploiting this limit, and these can also be used as quadratrices. Three more appeared in the 17th century after Descartes’ discovery of analytical geometry:
Tschirnhausen’s quadratrix,
Ozam’s quadratrix
and the cochleoid, which in polar coordinates is given by
But the problem has lost its fascination, and these curves have, for most people, faded into oblivion. However, when viewed as functions rather than curves, they are still making a living in electromagnetics, spectral analysis and information theory, occasionally moonlighting in statistics.
4
EUCLID
King Edward’s new policy of peace was very successful and culminated in the Great War to End War. [It was followed by] the Peace to End Peace.
W.C. Sellar and R.J. Yeatman,
1066 and All That20
SOMETHING in the vein of the quotation above might also be said of Alexander the Great. He certainly had no policy of peace, but he, too, demonstrated the French saying that “the more this changes, the more it is the same thing.” At age 32 he had conquered the world, at least the world known to antiquity, everything there was to conquer between Greece and India, and some more into the bargain. At age 33 he was dead, and so was his great empire: it broke up into a heap of little empires, each of which wanted to be the Great Empire and therefore fought all the other little empires.
During his expedition to Egypt in 332-331 B.C., Alexander had founded the city of Alexandria. After his death in 323 B.C., his generals fought each other over who was to get his hands on what, but by 306 B.C. control over Egypt had firmly been established by one of them, Ptolemy I; he was succeeded by his son Ptolemy II, who in 276 B.C. married his own sister Arsinoe. To marry one’s own sister was a Pharaonic practice (though the Ptolemies were Greeks); but Ptolemy did something much more significant. He founded the Museum and Library of Alexandria.21
For the Library, Ptolemy acquired the most valuable manuscripts, had translations made of them, had purchasing agents scour the Mediterranean for valued books, and even compelled travelers arriving in Egypt to give up any books in their possession; they were copied by scribes in the Library, the original was retained, and the copy given to its owner. His son Ptolemy III (the one who decreed leap years, see here) was even more avid: He borrowed the original copies of the works of famous Greek playwrights from the Athenians, had them copied, sent back the copies and cheerfully forfeited the deposit he had paid as bond for the return of the originals.22 Before the arrival of Caesar’s thugs, the Library had close to three quarters of a million books (that is, rolls; a standard roll was 15 to 20 feet in length and contained the equivalent of ten to twenty thousand words of modern English text22).
Even more impressive was the Museum. This was a school or institute — in effect, a university. Ptolemy engaged the most celebrated scholars of his time to teach at this university, and soon it became the scientific capital of the world. Few were the learned men of later antiquity who had not studied at Alexandria; they were taught by the finest scientists that the contemporary world could muster.
Mathematics flourished at Alexandria. Erastosthenes (273-192 B.C.), chief librarian, calculated the circumference of the earth to within 5% of the correct value by observing the difference in zenith distance of the sun at two places separated by a known distance (Alexandria and Syene, on approximately the same meridian); in posession of ever more accurate trigonometrical tables (obtained by working down from 90° by use of the half-angle formulas and then filling in the gaps by the addition theorems), he calculated the distance to the moon and to the sun. The method was correct, and although his imperfect measuring instruments yielded a large error for the moon, the ditance to the sun, as near as we can ascertain the length of his unit, the stadium, agrees with what we know today, including measurements by radar. And this was done at a time when the philosopher Epicurus in Athens taught that the sun was two feet in diameter!
The academic community at Alexandria was cosmopolitan, mainly Greek, Egyptian and Jewish. So was the city surrounding it. It was referred to as “Alexandria near Egypt,” for it was not considered a part of Egypt proper. Indeed, it was not part of anything, evolving a culture of its own. Its citizens had a reputation of being lively, quick-witted, irreverent, and worthless as soldiers. The first three Ptolemies were unusually enlightened, but later decadence set in, and the line ended with the Quisling Queen Cleopatra. At times the Alexandrians would riot against a king they disliked and some of the later kings would order a massacre. That, they must have laughed, would cure them. They are still laughing.
From a Latin edition of Euclid’s Elements (1482).82
* * *
AMONG the scholars whom Ptolemy brought to Alexandria was Euclid, a man whose place and date of birth are unknown, so today he is simply called “Euclid of Alexandria.” Euclid was, among other things, a publisher’s dream. His Elements (of geometry) are the all-time bestseller of all textbooks ever written. More than a thousand editions have been published only since the invention of the letterpress in the 15th century, and the textbook, now in (roughly) its 2,250th year, is still going strong (especially considering that practically all school geometries are merely rehashes of Euclid’s text).
The major part of the Elements
was probably known before Euclid. But the importance of Euclid’s work is not in what the theorems, as such, say. The great significance of the Elements lies in their method. The Elements are the first grandiose building of mathematical architecture. There are five foundation stones, or postulates, which (Euclid believed) are so simple and obvious that everyone can accept them. Onto these foundation stones Euclid lays brick after brick with iron logic, making sure that each new brick rests firmly supported by one previously laid, with not the tiniest gap a microbe can walk through, until the whole cathedral stands as firmly anchored as its foundations.
Euclid is not the father of geometry; he is the father of mathematical rigor.
The Elements consist of twelve books, and the elementary geometry taught in the world’s high schools corresponds, in one form or another, to the first four. Alas, the reason why it should be taught is very often grossly misunderstood. Except for a few elementary theorems, Euclidean geometry is of little use for modern science and engineering: One can usually go much further and faster by trigonometry and analytical geometry. The real signifiance of Euclidean geometry lies in the superb training it gives for logical thinking. A proof must not contain anything that is ultimately based on what we want to prove, or the proof is circular and invalid. From “Every angle in a semicircle is a right angle” it does not follow that “The apex of a right angle subtended by the diameter lies on the circumference;” it so happens that the second statement is true, but it has to be proved. Euclidean geometry teaches the difference between if and if and only if, and the difference between one and one and only one. If somebody teaches you how to bisect an angle by the use of compasses without insisting on the proof that the construction is correct, he has thrown out the golden kernel and handed you the dead garbage. Who needs to bisect an angle, anyway? The few who do find a protractor faster and more accurate than using compasses three times over. But this is not the point; what matters is that the constructed line is the bisector and the only bisector.