Elements, Books I-VI

Summary

Euclid's Elements, composed in Alexandria around 300 BC, gathers the geometry and number theory of the Greek mathematicians before him into a single chain of reasoning. Its first six books are plane geometry: from a short list of definitions, postulates and axioms, Euclid proves, one proposition at a time, the properties of triangles, parallels, areas, circles, inscribed polygons and similar figures. Every later step rests explicitly on earlier ones, and nothing is assumed that has not been stated. For more than two thousand years these books were the standard way of teaching what a proof is. The edition attached here is John Casey's The First Six Books of the Elements of Euclid (third edition, Dublin, 1885), prepared for Irish colleges and schools. Casey prints Euclid's propositions in large type, using the older English 'right line' for straight line, and surrounds them with his own annotations, questions for examination, alternative proofs and more than eight hundred exercises. He also adds the first twenty-one propositions of Book XI and an appendix on solids. Readers should distinguish Euclid's text from Casey's commentary, and notice that in Book V Casey states Euclid's definitions but replaces his proofs with algebraic ones, remarking that Euclid's demonstrations there were no longer read. Book I builds from the construction of an equilateral triangle to the congruence theorems, the theory of parallels and the area of parallelograms, and closes with the Pythagorean theorem (I.47) and its converse. The parallel postulate, which Casey numbers as Axiom xii, is the one assumption that later mathematicians tried for centuries to prove from the others. Book II treats rectangles and squares in a geometric form of what we would now write as algebraic identities, including the division of a line so that the rectangle of the whole and one part equals the square on the other (II.11). Book III is the geometry of the circle: chords, tangents and the angle in a semicircle. Book IV inscribes and circumscribes figures, from triangles to the regular pentagon and fifteen-sided polygon. Book V gives the general theory of ratio and proportion traditionally credited to Eudoxus, and Book VI applies it to similar figures, ending with the extension of the Pythagorean theorem to any similar figures on the sides of a right triangle. In a classical Christian school the Elements serves both as mathematics and as training in logic and patience. Students learn to state exactly what is given, what is to be shown, and which earlier result justifies each step. Its beauty is the beauty of order: a few self-evident starting points, carefully kept, yield a whole world of necessary truths. The book also invites philosophical questions that Plato, Augustine and many later Christian thinkers raised: why the mind can grasp truths that no drawn figure perfectly shows, and what that suggests about the order of creation.

Top Lessons

• What counts as a proof

  Each proposition in the Elements states what is given, constructs what is needed, and demonstrates the result using only definitions, postulates, axioms and propositions already proved. Students learn that a convincing diagram is not a proof; the reasons must be named. Casey's habit of citing [I. iv.] or Axiom i. at each step makes the chain visible.

• The fifth postulate

  Casey's Axiom xii states that two lines meeting a third with interior angles less than two right angles will meet on that side. It is less self-evident than the others, and Euclid avoids using it until I.29. Attempts to prove it led, in the nineteenth century, to consistent non-Euclidean geometries. The lesson is that axioms are chosen starting points whose status deserves examination.

• Pythagoras by areas

  I.47 proves that the square on the hypotenuse equals the squares on the other two sides by showing that two rectangles inside the large square equal the two smaller squares. The result is ancient, but Euclid's demonstration uses only Book I. VI.31 later extends it to any similar figures, showing how the same truth reappears at a higher level.

• Ratio and the incommensurable

  The side and diagonal of a square have no common measure, a discovery that troubled Greek mathematics. Book V's definition of proportion lets Euclid reason about such magnitudes without whole numbers. Casey's notes explain incommensurables and replace Euclid's Book V proofs with algebra, which shows how methods change while results endure.

• Necessary truth and the mind

  No drawn line lacks breadth, as Casey notes on the postulates, yet the reasoning concerns perfect lines and circles. Plato used geometry to argue that the mind knows realities beyond the senses, and Christian thinkers such as Augustine saw in unchanging mathematical truth a sign of an ordered creation and a divine mind. Students can weigh these claims while doing the mathematics itself.

Verified Quotes