Over 2300 years ago, a Greek mathematician named Euclid took all the scattered facts about points, lines and shapes and built them into one logical tower — starting from a few obvious truths and proving everything else step by step. That tower is the geometry you still study today!
Axiom / Postulate
An assumption accepted as true without proof.
Theorem
A statement proved using axioms and logic.
Undefined terms
Point, line and plane — described, not defined.
Deductive method
Building new truths from accepted truths.
1. Where geometry came from
The word geometry comes from the Greek words geo (earth) and metron (measurement) — literally “earth measurement”. Geometry began as a very practical subject. In ancient Egypt, the river Nile flooded every year and washed away the boundaries of farmers’ fields. To re-mark the land fairly and to collect the correct tax, people had to measure areas and re-draw straight boundaries. Similar practical geometry grew up in the Indus Valley civilisation (look at the perfectly straight roads and brick sizes of Harappa and Mohenjo-daro), in Babylonia, and in ancient India for building fire-altars described in the Sulbasutras. So early geometry was a big collection of useful results, but it was a pile of separate facts with no single logical thread tying them together.
2. Euclid — the man who organised geometry
Euclid (around 300 BCE) taught in Alexandria, Egypt. His great achievement was not discovering brand-new shapes but organising all known geometry into a single logical system in a set of 13 books called The Elements. He started from a tiny number of simple, obviously-true statements and then proved every other result from them, step by step. The Elements was used as the world’s main geometry textbook for more than 2000 years — one of the most influential books ever written.
3. Defined and undefined terms
To define a word you must use other, simpler words. But those words also need defining, and so on forever. Euclid tried to define everything (he wrote “a point is that which has no part” and “a line is breadthless length”), but these definitions secretly use undefined ideas like “part” and “length”. Modern mathematicians solved this by simply accepting a few undefined terms — point, line and plane — whose meaning we understand intuitively, and then building everything else on top of them. A point has position but no size; a line extends endlessly in both directions and has no thickness; a plane is a flat surface extending endlessly.
4. Axioms and postulates
Both axioms and postulates are statements assumed true without proof. In Euclid’s usage, postulates were the assumptions special to geometry, while axioms (also called common notions) were general truths used across all of mathematics. Today we often use the two words interchangeably, but you should know the historical difference for exams.
5. Euclid’s seven axioms (common notions)
(1) Things which are equal to the same thing are equal to one another. (2) If equals are added to equals, the wholes are equal. (3) If equals are 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. (6) Things which are double of the same things are equal to one another. (7) Things which are halves of the same things are equal to one another. These look almost too obvious to state, but that is exactly the point — a logical system must spell out even the “obvious” so that every later proof has a firm foundation.
6. Euclid’s five postulates
Postulate 1: A straight line may be drawn from any one point to any other point. (Modern form: given two distinct points, there is a unique line passing through them.) Postulate 2: A terminated line (a line segment) can be produced (extended) indefinitely in both directions. Postulate 3: A circle can be drawn with any centre and any radius. Postulate 4: All right angles are equal to one another. Postulate 5 (the famous one): If a straight line falling on two straight lines makes the interior angles on the same side together less than two right angles (less than 180°), then those two lines, if produced far enough, will meet on that side. In simple words: the two lines on the side where the angles are “too small” eventually meet.
7. The fifth postulate and its equivalents
The fifth postulate is much longer and less obvious than the other four, so for 2000 years mathematicians tried to prove it from the other postulates — and all failed. A simpler equivalent statement is Playfair’s Axiom: “For every line l and every point P not on l, there is exactly one line through P that is parallel to l.” The struggle over the fifth postulate eventually led mathematicians to invent entirely new non-Euclidean geometries, where this postulate is dropped — geometries that describe curved surfaces and even the shape of space in Einstein’s physics.
8. Theorems and the deductive method
A theorem is a statement that has been proved true using axioms, postulates, definitions and previously proved theorems, joined together by pure logic. This way of reasoning — from accepted truths to new conclusions — is the deductive method, and it is the heart of all mathematics. For example, from the postulates Euclid proves the simple theorem: two distinct lines cannot have more than one point in common. If they had two common points, then two different lines would pass through the same two points, which contradicts Postulate 1 (only one line through two points). That contradiction proves the theorem.
- Axiom / Postulate: assumed true, never proved.
- Theorem: proved from axioms & postulates.
- Through two distinct points there is exactly one line.
- Two distinct lines meet in at most one point.
- Two right angles = a straight angle = 180°.
- Playfair’s Axiom = unique parallel through an external point.
If a point C lies between two points A and B such that AC = BC, prove that AC = ½ AB.
- Since C lies between A and B, the parts add up to the whole: AC + CB = AB.
- We are given AC = BC, so replace CB by AC: AC + AC = AB.
- This gives 2 × AC = AB.
- Dividing both sides by 2 (axiom: halves of equals are equal): AC = ½ AB.
Prove that every line segment has one and only one midpoint.
- Let AB be a line segment. Suppose, for contradiction, that it has two midpoints C and D.
- Since C is a midpoint: AC = ½ AB. Since D is a midpoint: AD = ½ AB.
- Things equal to the same thing are equal to one another (Axiom 1), so AC = AD.
- But AC = AD with both measured from A along the same segment means C and D are the very same point.
- This contradicts our assumption that C and D were different. So the two midpoints cannot be different.
Remember “P comes before T”: a Postulate is Presumed (assumed) true; a Theorem is Tested (proved). And for the five postulates think “Line, Extend, Circle, Right, Parallel” (1 line through 2 points, 2 extend a segment, 3 draw a circle, 4 right angles equal, 5 the parallel/fifth postulate).
Do not mix up axiom and theorem — an axiom is assumed (never proved) while a theorem is proved. Also, when writing a proof always quote the exact axiom or postulate you use at each step (e.g. “by Axiom 1”); a proof with missing reasons loses marks even if the answer is right.
Q1. State Euclid’s fifth postulate. Give one equivalent version of it.
Answer: Euclid’s fifth postulate states that if a straight line falling on two straight lines makes the interior angles on the same side together less than two right angles (less than 180°), then the two lines, if produced indefinitely, will meet on that side. An equivalent version is Playfair’s Axiom: through a point not on a given line, exactly one line can be drawn parallel to the given line.
Q2. Prove that two distinct lines cannot have more than one point in common.
Answer: Suppose two distinct lines p and q have two common points, say A and B. Then both p and q pass through A and B. But by Euclid’s Postulate 1, through two distinct points there is exactly one line. So p and q would have to be the same line, contradicting the fact that they are distinct. Hence two distinct lines can have at most one point in common.
Q3. If A, B and C are three points on a line and B lies between A and C, prove that AB + BC = AC using Euclid’s axioms.
Answer: Since B lies between A and C, the segment AC is made up of the two parts AB and BC placed end to end. Euclid’s axiom states that “the whole is greater than the part” and, more usefully, that the whole equals the sum of its parts. The whole is AC and its two parts are AB and BC, therefore AB + BC = AC.
Q4. Explain the difference between an axiom (postulate) and a theorem. Give one example of each from this chapter.
Answer: An axiom / postulate is a statement accepted as true without proof; it is the starting point of reasoning. Example: “A straight line may be drawn from any one point to any other point” (Postulate 1). A theorem is a statement that is proved to be true using axioms, postulates and logic. Example: “Two distinct lines cannot have more than one point in common.” In short, axioms are assumed while theorems are derived.
- ✅ Geometry began as practical “earth measurement”; Euclid turned it into a logical system in The Elements.
- ✅ Point, line and plane are undefined terms we accept intuitively.
- ✅ Axioms/postulates are assumed true; theorems are proved by the deductive method.
- ✅ Euclid gave 7 axioms and 5 postulates; the 5th led to non-Euclidean geometry.
- ✅ Always quote the axiom or postulate used at each step of a proof.
Book a free demo class