Page:A History of Mathematics (1893).djvu/46

 polygon whose sides coincide with the circumference. Since there can be found squares equal in area to any polygon, there also can be found a square equal to the last polygon inscribed, and therefore equal to the circle itself. Bryson of Heraclea, a contemporary of Antiphon, advanced the problem of the quadrature considerably by circumscribing polygons at the same time that he inscribed polygons. He erred, however, in assuming that the area of a circle was the arithmetical mean between circumscribed and inscribed polygons. Unlike Bryson and the rest of Greek geometers, Antiphon seems to have believed it possible, by continually doubling the sides of an inscribed polygon, to obtain a polygon coinciding with the circle. This question gave rise to lively disputes in Athens. If a polygon can coincide with the circle, then, says Simplicius, we must put aside the notion that magnitudes are divisible ad infinitum. Aristotle always supported the theory of the infinite divisibility, while Zeno, the Stoic, attempted to show its absurdity by proving that if magnitudes are infinitely divisible, motion is impossible. Zeno argues that Achilles could not overtake a tortoise; for while he hastened to the place where the tortoise had been when he started, the tortoise crept some distance ahead, and while Achilles reached that second spot, the tortoise again moved forward a little, and so on. Thus the tortoise was always in advance of Achilles. Such arguments greatly confounded Greek geometers. No wonder they were deterred by such paradoxes from introducing the idea of infinity into their geometry. It did not suit the rigour of their proofs.

The process of Antiphon and Bryson gave rise to the cumbrous but perfectly rigorous "method of exhaustion." In determining the ratio of the areas between two curvilinear plane figures, say two circles, geometers first inscribed or circumscribed similar polygons, and then by increasing