Chapter 5: Introduction to Euclid's Geometry
For two thousand years, the word "geometry" meant a single book: Euclid's Elements, written around 300 BCE in Alexandria. Euclid did something stunning. He took the collection of disconnected geometric truths known to the ancient world , about triangles, circles, parallel lines, areas , and organised them into a logical structure. He started with a handful of explicit definitions and assumptions, and then he proved everything else step by step. This is the model on which all modern mathematics is built.
This chapter is your first careful look at that structure. It is light on calculations and heavy on ideas. You will meet Euclid's basic terms (point, line, plane), the difference between an axiom (a self-evident assumption) and a postulate (a geometric assumption), and the five postulates that form the foundation of Euclidean geometry. You will also see the famous fifth postulate , the "parallel postulate" , which turns out to be far less innocent than the other four and which gave rise to entire non-Euclidean geometries when mathematicians questioned it.
The chapter also introduces deductive proof: the practice of deriving new geometric facts from old ones by pure logic. This is the rhythm of all later geometry (triangles, parallelograms, circles, areas). You will not yet write long proofs; rather you will see how a proof works , what counts as a justified step, what does not.
Why is this important for a 14-year-old today? Two reasons. First, all the geometry of the coming chapters rests on these foundations; the more comfortable you are with the framework, the easier the rest of the year. Second, the very style of mathematical thinking , start from clear assumptions, prove conclusions by valid steps , is what makes mathematics special among human pursuits. Euclid is where that style was perfected.
A useful warning: the chapter contains very few formulae. The reward is conceptual. Read slowly, ask "why" of each statement, and learn to distinguish what is defined, what is assumed, and what is proved.
What's inside
- Euclid's definitions , point, line, plane and others. What we take as basic and undefined.
- Axioms and postulates , the difference, and Euclid's lists of each.
- The five postulates , the geometric foundation, including the famous fifth.
- Deductive proof , what counts as a valid step in geometric reasoning.
- Equivalent statements and the spirit of modern geometry , how mathematicians simplified and clarified Euclid's framework.
Key results / Formula card
| Concept | Statement |
|---|---|
| Axiom | A statement assumed to be true without proof, often "common notion" (e.g. "things equal to the same thing are equal to one another"). |
| Postulate | A geometric assumption, e.g. "a straight line may be drawn from any one point to any other point". |
| Theorem | A statement that has been proved using definitions, axioms, postulates, and previously proved theorems. |
| Postulate 1 | A straight line may be drawn from any point to any other point. |
| Postulate 2 | A terminated (finite) line can be extended indefinitely in a straight line. |
| Postulate 3 | A circle can be described with any centre and any radius. |
| Postulate 4 | All right angles are equal to one another. |
| Postulate 5 (parallel) | If a straight line falls on two straight lines such that the interior angles on the same side sum to less than two right angles, then the two lines, when produced, meet on that side. |
| Common notion 1 | Things equal to the same thing are equal to one another. |
| Common notion 2 | If equals are added to equals, the wholes are equal. |
| Common notion 3 | If equals are subtracted from equals, the remainders are equal. |
| Common notion 4 | Things which coincide with one another are equal. |
| Common notion 5 | The whole is greater than the part. |
These are not formulae to plug into; they are the rules of the game. Learn them by heart, and the rest of geometry has a foundation.