Chapter 3.1 — Introduction to Euclid's Geometry

From Solid to Point — Losing One Dimension at a Time

Picture a cuboid: it has length, breadth, and height, all three at once. Strip away the height and what's left is a flat rectangle — length and breadth only. Strip away the breadth too, and only a line segment remains, with length but nothing else. Strip away that last dimension, and all that's left is a point, with no size in any direction at all. Run the same reduction on a coin instead of a box and the same four stages appear in the same order — a solid disc, then its flat circular face, then the edge as a curved line, then any single point on that edge — which is really the point of the exercise: the count of dimensions, not the specific shape, is what's being tracked at each stage.

Undefined Terms, and Euclid's 23 Definitions Anyway

Point, line, and plane are called undefined terms — any attempt to define them formally would need even more basic words, which themselves would need defining, with no natural place to stop. Euclid, working in Alexandria around 325–265 B.C., tried anyway. His 13-book work "Elements" opens with 23 descriptive definitions in Book 1; a handful of the most load-bearing ones are below.

Read as a set, these seven definitions describe by degree rather than by strict logic — each one builds on the previous, the way lines are bounded by points and surfaces are bounded by lines. By modern standards, none of these count as a rigorous definition — "breadthless length" describes a line rather than pinning it down the way a formal system would require — but they were never meant to survive that level of scrutiny. Their job was to give a working picture solid enough to build hundreds of later proofs on top of, which is exactly what they did for over two thousand years.

Axioms and Postulates — Starting Points That Need No Proof

A logical system has to start somewhere. An axiom is a statement self-evident enough to need no proof — "the whole is always greater than the parts" is Euclid's own example. A postulate is likewise accepted without proof, but Euclid reserved the word specifically for assumptions about geometry, keeping "axiom" for statements he considered true across all of mathematics. In practice the two lists overlap in spirit far more than the naming suggests — both are simply starting points a proof is allowed to lean on without first justifying them.

Some of Euclid's axioms:

• Things which are equal to the same thing are equal to one another.
• If equals are added to equals, the wholes are also equal.
• If equals are subtracted from equals, the remainders are also equal.
• Things which coincide with one another are equal to one another.
• Things which are double of the same things are equal to one another.
• Things which are halves of the same things are equal to one another.

Euclid's Five Postulates

The fifth postulate — the Parallel Postulate — is noticeably more complicated than the other four, and it's the one that historically caused the most debate. It's also the direct explanation for why parallel lines never meet: they're precisely the case where this condition fails on both sides at once — if the interior angles on neither side ever sum to less than two right angles, the postulate never triggers, and the two lines stay the same distance apart forever.

Restating the Fifth Postulate: Four Alternatives

Because the fifth postulate is harder to state and verify than the others, several later mathematicians proposed logically equivalent alternatives, each easier to picture directly in terms of parallel lines.

Playfair's version — "exactly one parallel through a point not on the line" — is the form most commonly used in school geometry today, precisely because it avoids the fifth postulate's awkward talk of interior angles summing to less than two right angles — one point, one parallel line, nothing further to calculate.

Theorems and Conjectures

Once axioms and postulates are accepted, new statements get derived from them through logical reasoning. A statement that has actually been proved this way is a theorem (or proposition) — "every even number greater than 4 can be written as the sum of two primes" is one example. A statement that's neither been proved nor disproved, but appears true in every case checked so far, is a conjecture — the Goldbach Conjecture (every even number greater than 2 is a sum of two primes) is the standard example, verified for enormous numbers yet still unproved after centuries. The distinction matters because a theorem can be relied on with total certainty in any later proof, while a conjecture — no matter how many examples support it — technically cannot be, until someone eventually finds the missing general argument.

Carrying These Assumptions Forward

Every one of these tools — axioms for comparing quantities, postulates for lines and circles, the theorem/conjecture distinction — gets put to direct use in Exercise 3.1. The angle-sum idea behind Legendre's postulate resurfaces properly in the Triangles chapter, and the habit of reasoning from accepted assumptions to proven conclusions carries directly into Co-ordinate Geometry.