Introduction to Euclid's Geometry

www.akankshaclasses.com
आ
CLASS IX Mathematics ~3 marks/year Ch 5 of 12
Introduction to Euclid's Geometry

Class 9 · Mathematics · NCERT chapter notes · Akanksha Classes

Snapshot
  • Around 300 BCE, the Greek mathematician Euclid wrote Elements — a 13-volume masterpiece that organised all of geometry from just a handful of starting assumptions.
  • His starting kit: 23 definitions, 5 axioms (general truths), and 5 postulates (geometry-specific rules) — everything else in the book is a theorem proved from these.
  • The 5th postulate (the "parallel postulate") is the most famous: it resisted proof for 2000 years, and mathematicians who tried to replace it accidentally invented non-Euclidean geometry.
  • Key theorem in NCERT: Two distinct lines cannot have more than one point in common.
  • Board weightage: ~3 marks/year — typically one short-answer or MCQ on axioms/postulates plus one theorem.
Detailed notes

1. Euclid and his Elements

Euclid lived in Alexandria, Egypt, around 300 BCE. Before him, mathematicians knew many geometric facts — areas of triangles, properties of circles — but these were disconnected results, often accepted because they "looked right". Euclid's great contribution was to organise all of geometry into a logical chain:

  • Start with a tiny set of self-evident truths (axioms and postulates).
  • Use pure logic to prove everything else step by step.
  • Never assume anything you have not already established.

The result was Elements, 13 books covering plane geometry, solid geometry, number theory and the theory of proportions. It was used as the primary textbook of mathematics for more than 2000 years — one of the longest-running textbooks in history. The axiomatic approach Euclid pioneered is still the foundation of modern mathematics.

Geometry flourished independently in India too — the Vedic Sulbasutras (800–500 BCE) contain rules for constructing fire altars with precise geometric shapes. Aryabhata and Brahmagupta later made important contributions. But the specific axiomatic framework studied in Chapter 5 is Euclid's.

2. Euclid's 23 Definitions

Euclid began Elements with 23 definitions — attempts to describe the basic objects of geometry in everyday language. Key ones from NCERT:

Term Euclid's definition Plain meaning
Point"A point is that which has no part."A location with zero size — no length, width, or depth.
Line"A line is breadthless length."Has length (one dimension) but no width or thickness.
Ends of a line"The ends of a line are points."Points mark where a line segment begins and ends.
Straight line"A straight line is a line which lies evenly with the points on itself."It does not curve — the shortest path between two points.
Surface"A surface is that which has length and breadth only."Two dimensions (length + width) but no depth or thickness.
Edges of a surface"The edges of a surface are lines."A surface is bounded by lines at its edges.
Plane surface"A plane surface is a surface which lies evenly with the straight lines on itself."A perfectly flat surface — like an infinite table top with no bumps.

The "undefined terms" problem: Each definition uses other words ("length", "breadth", "evenly") that are not defined. This is unavoidable — every definition must use some prior words, and somewhere you have to stop. The terms point, line and plane are today called undefined terms or primitive terms: we understand them intuitively and build everything else on top of them. Euclid's "definitions" are really intuitive descriptions, not formal definitions in the modern sense.

3. Euclid's Axioms (Common Notions)

Axioms (Euclid called them "common notions") are truths so obvious that they apply to any subject, not just geometry. Euclid listed seven:

  1. Things which are equal to the same thing are equal to one another.
    If $a = c$ and $b = c$, then $a = b$. This is the transitive property of equality. Example: if AB = PQ and CD = PQ, then AB = CD.
  2. If equals are added to equals, the wholes are equal.
    If $a = b$ and $c = d$, then $a + c = b + d$. Example: if AC = PR and CB = RQ, then AC + CB = PR + RQ, i.e. AB = PQ.
  3. If equals are subtracted from equals, the remainders are equal.
    If $a = b$ and $c = d$, then $a - c = b - d$. Used in many geometric proofs — e.g. removing equal parts from equal segments.
  4. Things which coincide with one another are equal to one another.
    If two figures fit exactly on top of each other (superimposition/coincide), they are congruent — equal in all measurements. This axiom underpins all congruence proofs.
  5. The whole is greater than the part.
    If B lies between A and C on a line, then AC > AB and AC > BC. This extends to areas and angles too.
  6. Things which are double of the same things are equal to one another.
    If $a = 2c$ and $b = 2c$, then $a = b$. Halving both sides of $a = b$ still gives equality.
  7. Things which are halves of the same things are equal to one another.
    If $a = c/2$ and $b = c/2$, then $a = b$. Used when midpoints are involved.

Axioms 1–3 are algebraic properties of equality. Axiom 4 (coincidence implies equality) is the basis of all congruence arguments. Axiom 5 (whole > part) is used when comparing lengths and angles. Axioms 6–7 cover doubling and halving.

4. Euclid's Five Postulates

Postulates are assumptions specific to geometry. Euclid's five postulates are foundational rules about points, lines and circles:

Postulate 1: "A straight line may be drawn from any one point to any other point."
Through any two distinct points, exactly one straight line can be drawn. (Uniqueness is implied — Euclid assumes it in Theorem 1.)
Postulate 2: "A terminated line can be produced indefinitely."
"Terminated line" = line segment (it has two endpoints). This postulate says any segment can be extended in either direction to form a full infinite line. Lines have no endpoints — they extend forever in both directions.
Postulate 3: "A circle can be drawn with any centre and any radius."
Given any point O (centre) and any positive length r (radius), a unique circle exists. This is what a compass does.
Postulate 4: "All right angles are equal to one another."
Wherever and however you draw a right angle, it always measures exactly 90 degrees. This guarantees "right angle" is a universal standard — space looks the same everywhere (it is homogeneous).
Postulate 5 (The Parallel Postulate):
"If a straight line falling on two straight lines makes 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 the angles are less than the two right angles."
In plain English: Let a transversal $n$ cross two lines $l$ and $m$. Look at the two interior angles it forms on one side. If their sum is less than 180 degrees, lines $l$ and $m$ will eventually meet on that side. If the angles sum to exactly 180 degrees, the lines never meet — they are parallel.

Postulate 5 is far more complex than the first four. It concerns what happens "at infinity" — describing behaviour that cannot be directly observed. Euclid himself seemed uneasy: he avoided using it in his proofs as long as possible. Over the next 2000 years, hundreds of mathematicians tried to prove it from the other four, but every attempt failed. In the 1800s, Gauss, Bolyai and Lobachevsky proved independently that Postulate 5 is genuinely independent — consistent geometries exist where it is false.

5. Theorems vs. Axioms vs. Postulates

These three terms must be clearly distinguished in board answers:

Term What it is Requires proof? Scope NCERT Example
Axiom A self-evident general truth, accepted without proof No All subjects "The whole is greater than its part."
Postulate A geometry-specific assumption, accepted without proof No Geometry only "All right angles are equal to one another."
Theorem A statement rigorously proved from axioms, postulates and prior theorems Yes — must be proved Geometry (and other subjects) "Two distinct lines cannot have more than one point in common."

Other related terms:

  • Conjecture: A statement believed to be true but not yet proved (e.g. Goldbach's conjecture).
  • Corollary: A result that follows easily and directly from a theorem — a "bonus" consequence.
  • Lemma: A small helping theorem proved specifically to be used inside a larger proof.

In modern mathematics, "axiom" and "postulate" mean the same thing. But in NCERT Chapter 5, Euclid's original distinction (general vs. geometry-specific) is maintained for historical accuracy.

6. Playfair's Axiom — Equivalent version of the 5th Postulate

Because Postulate 5 is so wordy and hard to visualise, mathematicians sought simpler equivalent statements. The most famous is Playfair's Axiom (John Playfair, 1795):

Playfair's Axiom:
"For every line $l$ and for every point $P$ not lying on $l$, there exists a unique line through $P$ that is parallel to $l$."

This axiom contains two claims:

  • Existence: At least one parallel through $P$ exists.
  • Uniqueness: At most one parallel through $P$ exists.

Playfair's Axiom is logically equivalent to Euclid's Postulate 5 — each can be derived from the other (using the remaining four postulates). This is why modern school textbooks use Playfair's version instead of Postulate 5 — it is shorter, clearer, and easier to visualise.

Why does "unique" matter? The uniqueness is what distinguishes Euclidean from non-Euclidean geometry:

  • Allow more than one parallel — you get hyperbolic geometry.
  • Allow no parallel — you get elliptic (spherical) geometry.
NCERT Example — Does the 5th Postulate imply parallel lines exist?

Question: Does Euclid's fifth postulate imply the existence of parallel lines? Explain.

Answer: Yes. If a transversal falls on two lines and makes interior angles on the same side summing to exactly 180 degrees (= two right angles), then by the contrapositive of Postulate 5, the two lines do NOT meet on that side (or any side). Lines that do not meet are called parallel. So parallel lines do exist in Euclidean geometry — they arise when the transversal makes supplementary co-interior angles.

7. Non-Euclidean Geometries

For over 2000 years, mathematicians suspected Postulate 5 was not truly a "postulate" but could be derived as a theorem from the other four. The key attempts:

  • Saccheri (1733): Tried to prove Postulate 5 by assuming its negation and deriving a contradiction — but got no contradiction, only strange (but consistent) results.
  • Gauss, Bolyai, Lobachevsky (early 1800s): Each independently showed that replacing Postulate 5 with "more than one parallel" gives a fully consistent geometry — hyperbolic geometry.
  • Riemann (1854): Showed that "no parallels" gives elliptic/spherical geometry.
Geometry Parallels through external point Model Angle sum in triangle
EuclideanExactly 1Flat planeExactly 180 degrees
Hyperbolic (Lobachevsky)More than 1 (infinitely many)Saddle surfaceLess than 180 degrees
Elliptic (Riemann)Zero (none)Sphere surfaceMore than 180 degrees

Real-world relevance: Elliptic geometry describes navigation on Earth — the "straight lines" are great circles (like the equator or a longitude). Einstein's General Theory of Relativity uses Riemannian geometry (a curved, non-Euclidean geometry) to describe how gravity curves space-time. So the fifth postulate is not just an abstract curiosity — its modification led to the mathematics of the universe.

For board exams: You only need to state that non-Euclidean geometries exist and arise from modifying Postulate 5.

8. Key NCERT Theorem 5.1 — Two distinct lines have at most one common point

This is the main theorem of Chapter 5. It looks obvious, but NCERT demonstrates that even "obvious" facts must be proved rigorously — intuition alone is not enough in mathematics.

NCERT Theorem 5.1 — full proof

Theorem: Two distinct lines cannot have more than one point in common.

Proof (by contradiction):

Let $l$ and $m$ be two distinct lines.

Assume, to the contrary, that they have two common points — call them $P$ and $Q$.

Then line $l$ passes through both $P$ and $Q$, and line $m$ also passes through both $P$ and $Q$.

But by Postulate 1: there is exactly one straight line passing through two given distinct points $P$ and $Q$.

So $l$ and $m$ must be the same line — contradicting our assumption that $l$ and $m$ are distinct.

This contradiction shows our assumption was false. Therefore, two distinct lines can have at most one point in common. $\blacksquare$

Note: They may have zero common points (when parallel) or exactly one (when they intersect). They cannot have two or more.

9. NCERT Examples — Axioms in action

NCERT Example — Using Axiom 3: If AB = CD, prove AC = BD

Given: Points $A$, $C$, $B$, $D$ lie in that order on a line ($C$ is between $A$ and $B$; $B$ is between $C$ and $D$), and $AB = CD$.

To prove: $AC = BD$.

Proof:
$AB = AC + CB$ ... (i)   (whole = sum of its parts)
$CD = CB + BD$ ... (ii)   (whole = sum of its parts)
Given $AB = CD$, so from (i) and (ii):
$AC + CB = CB + BD$
Subtracting $CB$ from both sides (Axiom 3 — equals subtracted from equals):
$AC = BD.$ $\blacksquare$

NCERT Example — Using Axiom 7: Midpoints and halves

Given: $C$ is the midpoint of $AB$ and $D$ is the midpoint of $PQ$. If $AB = PQ$, prove that $AC = PD$.

Proof:
$C$ is midpoint of $AB$ so $AC = \frac{1}{2} AB$ ... (i)
$D$ is midpoint of $PQ$ so $PD = \frac{1}{2} PQ$ ... (ii)
Given $AB = PQ$, so $\frac{1}{2} AB = \frac{1}{2} PQ$ (Axiom 7 — halves of equals are equal).
From (i) and (ii): $AC = PD.$ $\blacksquare$

NCERT Example — If AC = BC, prove AB = 2 AC

Given: $C$ lies between $A$ and $B$, and $AC = BC$.

To prove: $AB = 2 \cdot AC$.

Proof:
$AB = AC + CB$ ... (whole = sum of parts, Axiom 5's logic)
Since $AC = BC$ (given), substitute $BC = AC$:
$AB = AC + AC = 2 \cdot AC.$ $\blacksquare$
Axiom used: Axiom 2 — equals added to equals give equals ($AC = BC$ so $AC + AC = BC + AC$, i.e. $2 \cdot AC = AB$).

NCERT Example — Postulate 1 in reasoning

Question: How many lines can pass through (a) one given point, (b) two given distinct points?

Answer:
(a) Infinitely many lines can pass through a single point — you can draw lines in every direction through that point.
(b) Exactly one — Postulate 1 guarantees a unique straight line through any two given points.

10. Quick revision and common mistakes

  • Euclid had 23 definitions + 7 axioms + 5 postulates — total 35 starting items. Everything else is a theorem.
  • Axiom vs. Postulate: Axioms are universal (all subjects); postulates are geometry-specific. Modern maths uses both words interchangeably but NCERT distinguishes them.
  • "Terminated line" = line segment — it has two endpoints. Do NOT say it means a line that ends.
  • Postulate 5 is NOT "parallel lines never meet" — that is a consequence. Postulate 5 talks about angles made by a transversal. Playfair's Axiom is the simpler equivalent form.
  • In proof by contradiction: State what you are assuming (opposite of what you want to prove), derive the contradiction, then state which axiom/postulate is violated.
  • Undefined terms: point, line, plane — these are described intuitively but not formally defined. Do not try to define them using other geometric words.
  • Non-Euclidean geometry arises only when Postulate 5 is modified. The other four postulates remain unchanged.
Practice MCQs
1. Euclid's Elements consists of how many books?
  1. 5
  2. 7
  3. 13
  4. 23
Answer: (C) 13 books — covering plane geometry, solid geometry, number theory and proportions.
2. In Euclid's geometry, a point is defined as:
  1. That which has length and breadth only
  2. A breadthless length
  3. That which has no part
  4. That which lies evenly with the lines on itself
Answer: (C) "A point is that which has no part" — Euclid's first definition. Option B is the definition of a line.
3. Which Euclid's axiom justifies: "If $AC = BC$ and $AC = PQ$, then $BC = PQ$"?
  1. Axiom 2
  2. Axiom 1
  3. Axiom 5
  4. Axiom 4
Answer: (B) Axiom 1 — "Things which are equal to the same thing are equal to one another." Here AC is the "same thing", and BC = AC = PQ, so BC = PQ.
4. Euclid's Postulate 1 states that a straight line can be drawn:
  1. From a point parallel to another line
  2. From any one point to any other point
  3. With any centre and any radius
  4. Indefinitely in both directions
Answer: (B) Postulate 1: "A straight line may be drawn from any one point to any other point." Option D describes Postulate 2; option C describes Postulate 3.
5. Playfair's Axiom is equivalent to which of Euclid's postulates?
  1. 1st Postulate
  2. 2nd Postulate
  3. 4th Postulate
  4. 5th Postulate
Answer: (D) Playfair's Axiom ("through an external point, exactly one parallel to a given line") is logically equivalent to Euclid's 5th (parallel) Postulate.
6. Two distinct lines can intersect in at most:
  1. 0 points
  2. 1 point
  3. 2 points
  4. Infinitely many points
Answer: (B) By Theorem 5.1 (NCERT), two distinct lines can have at most 1 common point. (If parallel, they share 0 points; if intersecting, exactly 1 point.)
7. In Euclidean geometry, the sum of interior angles of a triangle is:
  1. Less than 180 degrees
  2. More than 180 degrees
  3. Exactly 180 degrees
  4. Exactly 360 degrees
Answer: (C) Exactly 180 degrees — this follows from the 5th postulate. In hyperbolic geometry it is less; in elliptic geometry it is more.
8. The term "terminated line" in Euclid's Postulate 2 refers to:
  1. An infinite line
  2. A ray
  3. A line segment
  4. A broken line
Answer: (C) A line segment — it has two endpoints (it is "terminated"). Postulate 2 says such a segment can be extended indefinitely.
9. Which of the following is a theorem (requires proof), NOT an axiom or postulate?
  1. All right angles are equal to one another
  2. The whole is greater than the part
  3. Two distinct lines cannot have more than one point in common
  4. A circle can be drawn with any centre and any radius
Answer: (C) "Two distinct lines cannot have more than one point in common" is NCERT Theorem 5.1 — proved from Postulate 1. Options A and D are postulates; option B is an axiom.
10. In hyperbolic geometry, through a given external point and a given line, how many parallel lines can be drawn?
  1. Zero
  2. Exactly one
  3. Exactly two
  4. More than one (infinitely many)
Answer: (D) In hyperbolic (Lobachevskian) geometry, the 5th postulate is replaced by "more than one parallel exists" — in fact infinitely many. In elliptic geometry, the answer would be zero.
Assertion–Reason
Assertion (A): Euclid's 5th Postulate is equivalent to Playfair's Axiom.
Reason (R): Playfair's Axiom states that through a given external point, exactly one line parallel to a given line can be drawn.
Answer: Both A and R are true, and R is the correct explanation of A. Playfair (1795) showed his axiom and Euclid's Postulate 5 are logically equivalent given the other four postulates.
Assertion (A): In Euclid's system, "point" is an undefined primitive term.
Reason (R): Euclid's definition "a point is that which has no part" uses words ("part") that are themselves not defined in geometry, making the definition circular.
Answer: Both A and R are true, and R is the correct explanation of A. Because defining "point" requires undefined prior words, modern mathematics treats point, line and plane as primitive (undefined) terms accepted on intuition.
Previous-year questions
PYQ 1. State Euclid's 5th Postulate. Does it imply the existence of parallel lines? Justify. (CBSE 2 marks)
Postulate 5: "If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, will meet on that side."
Implication: Yes. If the transversal makes co-interior angles summing to exactly 180 degrees (two right angles), by the contrapositive of Postulate 5 the lines will NOT meet — they are parallel. Hence parallel lines exist in Euclidean geometry.
PYQ 2. Prove that two distinct lines cannot have more than one point in common. (CBSE 2–3 marks)
Proof by contradiction: Assume distinct lines $l$ and $m$ have two common points $P$ and $Q$. Then two distinct lines pass through $P$ and $Q$. But Postulate 1 says only one straight line passes through two given points — contradiction. Hence two distinct lines can have at most one common point. $\blacksquare$
PYQ 3. State Playfair's Axiom. How is it related to Euclid's Postulate 5? (CBSE 2 marks)
Playfair's Axiom: "For every line $l$ and every point $P$ not on $l$, there exists exactly one line through $P$ parallel to $l$."
Relation: It is logically equivalent to Euclid's 5th Postulate — each can be derived from the other (using the other four postulates). Playfair's version is simpler and more commonly used in modern textbooks.
PYQ 4. Write the difference between an axiom and a postulate. Give one example of each. (CBSE 2 marks)
Axiom: A general truth applicable to all subjects, not just geometry, accepted without proof. Example — "The whole is greater than its part."
Postulate: An assumption specific to geometry, accepted without proof. Example — "All right angles are equal to one another."
PYQ 5. In the figure, $C$ is the midpoint of $AB$ and $D$ is the midpoint of $AC$. If $AB = 8$ cm, find $AD$. Name the Euclid's axiom used. (CBSE 2 marks)
$C$ is midpoint of $AB$ so $AC = \frac{1}{2} \times 8 = 4$ cm.
$D$ is midpoint of $AC$ so $AD = \frac{1}{2} \times 4 = 2$ cm.
Axiom used: Axiom 7 — "Things which are halves of the same things are equal to one another." (Halving equal quantities gives equal results.)
Want personal coaching in Dwarka?
Book a free demo class
More Class 9 Mathematics chapters
Number Systems · Polynomials · Coordinate Geometry · Linear Equations in Two Variables · Lines and Angles · Triangles · Quadrilaterals · Circles