Elements
Euclid is best known for his thirteen-book treatise, the Elements (Ancient Greek: Στοιχεῖα; Stoicheia), considered his magnum opus. Much of its content originates from earlier mathematicians, including Eudoxus, Hippocrates of Chios, Thales and Theaetetus, while other theorems are mentioned by Plato and Aristotle. It is difficult to differentiate the work of Euclid from that of his predecessors, especially because the Elements essentially superseded much earlier and now-lost Greek mathematics. The classicist Markus Asper concludes that "apparently Euclid's achievement consists of assembling accepted mathematical knowledge into a cogent order and adding new proofs to fill in the gaps" and the historian Serafina Cuomo described it as a "reservoir of results". Despite this, Sialaros furthers that "the remarkably tight structure of the Elements reveals authorial control beyond the limits of a mere editor".
The Elements does not exclusively discuss geometry as is sometimes believed. It is traditionally divided into three topics: plane geometry (books 1–6), basic number theory (books 7–10) and solid geometry (books 11–13)—though book 5 (on proportions) and 10 (on irrational lines) do not exactly fit this scheme. The heart of the text is the theorems scattered throughout. Using Aristotle's terminology, these may be generally separated into two categories: "first principles" and "second principles". The first group includes statements labeled as a "definition" (Ancient Greek: ὅρος or ὁρισμός), "postulate" (αἴτημα), or a "common notion" (κοινὴ ἔννοια); only the first book includes postulates—later known as axioms—and common notions. The second group consists of propositions, presented alongside mathematical proofs and diagrams. It is unknown if Euclid intended the Elements as a textbook, but its method of presentation makes it a natural fit. As a whole, the authorial voice remains general and impersonal.
Book 1 of the Elements is foundational for the entire text. It begins with a series of 20 definitions for basic geometric concepts such as lines, angles and various regular polygons. Euclid then presents 10 assumptions (see table, right), grouped into five postulates (axioms) and five common notions. These assumptions are intended to provide the logical basis for every subsequent theorem, i.e. serve as an axiomatic system. The common notions exclusively concern the comparison of magnitudes. While postulates 1 through 4 are relatively straightforward, the 5th is known as the parallel postulate and particularly famous. Book 1 also includes 48 propositions, which can be loosely divided into those concerning basic theorems and constructions of plane geometry and triangle congruence (1–26); parallel lines (27–34); the area of triangles and parallelograms (35–45); and the Pythagorean theorem (46–48). The last of these includes the earliest surviving proof of the Pythagorean theorem, described by Sialaros as "remarkably delicate".
Book 2 is traditionally understood as concerning "geometric algebra", though this interpretation has been heavily debated since the 1970s; critics describe the characterization as anachronistic, since the foundations of even nascent algebra occurred many centuries later. The second book has a more focused scope and mostly provides algebraic theorems to accompany various geometric shapes. It focuses on the area of rectangles and squares (see Quadrature), and leads up to a geometric precursor of the law of cosines. Book 3 focuses on circles, while the 4th discusses regular polygons, especially the pentagon. Book 5 is among the work's most important sections and presents what is usually termed as the "general theory of proportion". Book 6 utilizes the "theory of ratios" in the context of plane geometry. It is built almost entirely of its first proposition: "Triangles and parallelograms which are under the same height are to one another as their bases".
From Book 7 onwards, the mathematician Benno Artmann notes that "Euclid starts afresh. Nothing from the preceding books is used". Number theory is covered by books 7 to 10, the former beginning with a set of 22 definitions for parity, prime numbers and other arithmetic-related concepts. Book 7 includes the Euclidean algorithm, a method for finding the greatest common divisor of two numbers. The 8th book discusses geometric progressions, while book 9 includes the proposition, now called Euclid's theorem, that there are infinitely many prime numbers. Of the Elements, book 10 is by far the largest and most complex, dealing with irrational numbers in the context of magnitudes.
The final three books (11–13) primarily discuss solid geometry. By introducing a list of 37 definitions, Book 11 contextualizes the next two. Although its foundational character resembles Book 1, unlike the latter it features no axiomatic system or postulates. The three sections of Book 11 include content on solid geometry (1–19), solid angles (20–23) and parallelepipedal solids (24–37).