JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
Back to the library
Mathematics c. 300 BCE

Elements

Euclid of Alexandria

From a few definitions and five postulates, Euclid deduced almost all of geometry — and taught the world what it means to prove.

Choose your version
In depth · the introduction

For two thousand years, learning geometry meant reading one book — and learning from it what it really means to prove something.

The big idea

Euclid's Elements is a geometry textbook written around 300 BCE, but its real subject is reasoning. Euclid begins by writing down a tiny handful of starting assumptions — a few plain definitions, five 'postulates' (things you're allowed to do, like draw a straight line between any two points), and five 'common notions' (obvious truths, like 'the whole is greater than the part'). Then, using nothing but logic, he builds outward.

From that small base he proves 465 results, each one leaning only on the assumptions and on results already proved before it. Nothing is taken on faith; nothing is justified by 'it looks true.' This chain — from a few agreed starting points up to a tower of certain conclusions — is the method that still defines mathematics, and Euclid was the first to lay it out in full.

How it came about

Euclid taught in Alexandria, the great Greek city in Egypt, around 300 BCE — in the library and museum that were then the centre of the Mediterranean world. We know almost nothing about him personally: not when he was born or died, not even for certain that he was a single person. One legend has him telling King Ptolemy, who wanted an easier path through the book, that 'there is no royal road to geometry.'

He did not discover most of what is in the Elements. The theorems came from earlier Greek mathematicians — the followers of Pythagoras, Eudoxus, Theaetetus. Euclid's genius was organization: he took scattered knowledge and arranged it into a single, gap-free order in which every step is earned. That is why the book outlived almost everything around it.

Why it mattered

The Elements taught the world how to argue. Its 'state your assumptions, then prove everything else step by step' format became the model for rigorous thinking far beyond mathematics — Newton wrote his physics in it, philosophers borrowed it, and it is still how every proof works today. For more than 2,000 years it was the standard geometry textbook in schools, printed more often than any book except the Bible.

A way to picture it

Think of building with LEGO, but under one strict rule: you may add a new piece only if it clicks onto a piece already placed. The five postulates and common notions are the first few bricks pressed onto the baseplate. Every theorem after that must snap onto bricks already there — never floating in mid-air. By the end you have a vast, intricate structure, and you can trace any part of it all the way back down to the baseplate. That traceability is exactly what makes it trustworthy.

An interactive right triangle with a square drawn on each of its three sides; drag two sliders to change the legs and see the area numbers inside the squares update so the square on the long slanted side always equals the two smaller squares added together.

Where it sits

Euclid stands near the start of the whole story this Library tells. Almost every later work here assumes the deductive style he made standard: Newton's Principia (1687) is written as a chain of Euclidean propositions, and the question of whether mathematics could be made completely airtight runs straight from Euclid to Gödel's incompleteness theorems (1931), which proved there are limits to how much any such system can ever prove. The non-Euclidean geometries born from doubting his fifth postulate became the mathematics Einstein needed for gravity.

The original document
Original source text

Book I — Definitions

Euclid · Elements · Book I · Definitions (trans. T. L. Heath, 1908)
1. A point is that which has no part.
2. A line is breadthless length.
[ … ]
4. A straight line is a line which lies evenly with the points on itself.
[ … ]
23. Parallel straight lines are straight lines which, being in the same plane and being produced indefinitely in both directions, do not meet one another in either direction.

The five Postulates

Book I · Postulates
Let the following be postulated:
1. To draw a straight line from any point to any point.
2. To produce a finite straight line continuously in a straight line.
3. To describe a circle with any centre and distance.
4. That all right angles are equal to one another.
5. That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles.

The Common Notions

Book I · Common Notions
1. Things which are equal to the same thing are also equal to one another.
2. If equals be added to equals, the wholes are equal.
3. If equals be subtracted from equals, the remainders are equal.
4. Things which coincide with one another are equal to one another.
5. The whole is greater than the part.

Proposition I.1 — an equilateral triangle

Book I · Proposition 1
On a given finite straight line to construct an equilateral triangle.
[ … ]
With centre A and distance AB let the circle BCD be described; again, with centre B and distance BA let the circle ACE be described; and from the point C, in which the circles cut one another, to the points A, B let the straight lines CA, CB be joined.
[ … ]

Proposition I.47 — the Pythagorean theorem

Book I · Proposition 47
In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle.
Let ABC be a right-angled triangle having the angle BAC right; I say that the square on BC is equal to the squares on BA, AC.
[ … ]