Elements of Euclid's
Elements dated to . Found at
Oxyrhynchus, the diagram accompanies Book II, Proposition 5. Euclid is best known for his thirteen-book treatise, the
Elements (; ), 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" ( 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.
Contents 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". , foundational components of
solid geometry which feature in Books 11–13 From Book 7 onwards, the mathematician 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).
Other works In addition to the
Elements, at least five works of Euclid have survived to the present day. They follow the same logical structure as
Elements, with definitions and proved propositions. •
Catoptrics concerns the mathematical theory of mirrors, particularly the images formed in plane and spherical concave mirrors, though the attribution is sometimes questioned. • The
Data (), is a somewhat short text which deals with the nature and implications of "given" information in geometrical problems. •
On Divisions () survives only partially in
Arabic translation, and concerns the division of geometrical figures into two or more equal parts or into parts in given
ratios. It includes thirty-six propositions and is similar to Apollonius'
Conics. • The
Optics () is the earliest surviving Greek treatise on perspective. It includes an introductory discussion of
geometrical optics and basic rules of
perspective. • The
Phaenomena () is a treatise on
spherical astronomy, survives in Greek; it is similar to
On the Moving Sphere by
Autolycus of Pitane, who flourished around 310 BC.
Lost works Four other works are credibly attributed to Euclid, but have been lost. • The
Conics () was a four-book survey on
conic sections, which was later superseded by Apollonius' more comprehensive treatment of the same name. The work's existence is known primarily from Pappus, who asserts that the first four books of Apollonius'
Conics are largely based on Euclid's earlier work. Doubt has been cast on this assertion by the historian , owing to sparse evidence and no other corroboration of Pappus' account. • The
Pseudaria (; ), was—according to Proclus in (70.1–18)—a text in geometrical
reasoning, written to advise beginners in avoiding common fallacies. Very little is known of its specific contents aside from its scope and a few extant lines. • The
Porisms (; ) was, based on accounts from Pappus and Proclus, probably a three-book treatise with approximately 200 propositions. The term '
porism' in this context does not refer to a
corollary, but to "a third type of proposition—an intermediate between a theorem and a problem—the aim of which is to discover a feature of an existing geometrical entity, for example, to find the centre of a circle". The mathematician
Michel Chasles speculated that these now-lost propositions included content related to the modern theories of
transversals and
projective geometry. • The
Surface Loci () is of virtually unknown contents, aside from speculation based on the work's title. Conjecture based on later accounts has suggested it discussed cones and cylinders, among other subjects. ==Legacy==