Euclid's Geometry — Class 9 IMO

Definitions, Axioms and Postulates

What are Definitions?

Definitions explain the precise meaning of geometric terms. Euclid started his "Elements" with 23 definitions.

Common Definitions by Euclid:

A point is that which has no part
A line is breadthless length
The ends of a line are points
A straight line lies evenly with points on itself
A circle is a plane figure bounded by one line such that all lines from a point inside (center) to the boundary are equal

What are Axioms?

Axioms (or "common notions") are general statements accepted as true without proof. They are not specific to geometry — they apply to all of mathematics.

Euclid's Axioms (Common Notions):

#	Axiom	Meaning
2	If equals are added to equals, the wholes are equal	Addition property
3	If equals are subtracted from equals, the remainders are equal	Subtraction property
4	Things which coincide with one another are equal to one another	Superposition
5	The whole is greater than the part	Part-whole relationship

What are Postulates?

Postulates are assumptions specific to geometry that are accepted without proof.

Euclid's Five Postulates:

A straight line may be drawn from any point to any other point
A finite straight line can be extended continuously in a straight line
A circle may be described with any center and any radius
All right angles are equal to one another
If a straight line falling on two straight lines makes interior angles on the same side less than two right angles, the two straight lines, if extended indefinitely, meet on that side

Example 1: Axiom or postulate: "The whole is greater than the part"?

It is an axiom (a common notion used throughout mathematics).

Example 2: Is "a line can be extended indefinitely" an axiom?

No — it is one of Euclid's postulates, specific to geometry.

Quick recap

Axioms = general assumptions; postulates = geometric assumptions.
Both are accepted without proof and underpin theorems.

✓ Quick check

Thales, a famous Greek philosopher, is credited with giving the first known proof in geometry. What was this proof about?

Thales is famous for providing the first geometric proof, which showed that a circle is bisected (cut into two equal halves) by its diameter.

How many chapters did Euclid compile into his work 'The Elements'?

Euclid compiled all known geometric knowledge of his time into 13 books or chapters called 'The Elements'.

The Five Postulates

Who was Euclid?

Euclid was a Greek mathematician who lived around 300 BCE in Alexandria, Egypt. He is often called the "Father of Geometry" because he wrote a famous book called "The Elements" — one of the most influential works in the history of mathematics.

What is Euclid's Approach?

Euclid's approach to geometry was deductive — starting from a few basic statements (assumed to be true) and using logical reasoning to prove other statements (theorems). This systematic method has been the model for mathematics for over 2000 years.

Key Features of Euclid's Approach:

Feature	Description
Proof-Based	Every statement must be proved using previously established facts
Universal Truth	Geometrical truths apply everywhere, not just in specific cases
No Experimentation	Uses reasoning, not measurement or experiment

Why is Euclid's Approach Important?

Established geometry as a logical science
Created a model for all mathematical thinking
Influenced science, philosophy, and law
Still used today in teaching geometry

Example 1: What does the third postulate allow?

Drawing a circle with any given centre and any radius.

Example 2: Which postulate concerns parallel lines?

The fifth (parallel) postulate.

Quick recap

Postulates 1–4 are basic constructions and equal right angles.
The fifth postulate is the parallel postulate.

✓ Quick check

In ancient India, altars with combinations of shapes like rectangles, triangles, and trapeziums were required for:

In the Vedic period, square and circular altars were used for household rituals, while altars made of combinations of rectangles, triangles, and trapeziums were required for public worship and grand sacrifices.

Euclid belonged to which ancient country and town?

Euclid was a Greek mathematician who lived and taught mathematics at Alexandria in Egypt.

Axioms, Postulates and Theorems

What is the Fifth Postulate?

Euclid's fifth postulate is the most famous and controversial of his postulates. It states:

"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 extended indefinitely, meet on that side."

Why is it Controversial?

Unlike other postulates, it is not "self-evident"
Many mathematicians tried to prove it from other postulates (and failed)
This led to the discovery of non-Euclidean geometries

Equivalent Statements (Playfair's Axiom):

The most famous equivalent version is Playfair's Axiom (1795):

"Through a point not on a given line, exactly one line can be drawn parallel to the given line."

Other Equivalent Statements:

The sum of angles in a triangle is 180°
There exists a pair of similar triangles that are not congruent
The ratio of circumference to diameter (π) is constant
Pythagoras' theorem holds

What Happens if Fifth Postulate is Changed?

Geometry Type	Fifth Postulate Version	Example
Hyperbolic	Infinitely many parallel lines	Saddle-shaped surface
Elliptical	No parallel lines (all lines intersect)	Sphere surface

Example 1: How does a theorem differ from a postulate?

A postulate is assumed; a theorem is proved from postulates and axioms.

Example 2: State Playfair's version of the fifth postulate.

Through a point not on a line, exactly one parallel to that line can be drawn.

Quick recap

Theorems are proved; axioms and postulates are assumed.
Playfair's axiom is an equivalent form of the fifth postulate.

✓ Quick check

In a geometry puzzle, you are given that area of Triangle 1 = area of Rectangle 1, and area of Triangle 2 = area of Rectangle 1. Which Euclidean axiom directly leads to the deduction that area of Triangle 1 = area of Triangle 2?

Both Triangle 1 and Triangle 2 have areas equal to the same thing (Rectangle 1). By Axiom 1, they are equal to each other.

The book 'Elements' was divided by Euclid into how many chapters (known as books)?

Euclid divided his famous treatise 'The Elements' into 13 chapters, each called a 'book'.