Class 9 Mathematics — Chapter 5: Introduction to Euclid's Geometry
Latest NEP-2020 & Rationalised Syllabus Aligned
infoSyllabus Note: Under the rationalised syllabus, the equivalent versions of Euclid's Fifth Postulate (old Exercise 5.2) have been dropped. This lab focuses purely on the core concepts of definitions, the 5 Postulates, and the 7 Axioms.
exploreSelect a lab below to construct Euclid's Postulates, test the Parallel Postulate, or prove mathematical Axioms!
Axiomatic Construct Engine
Euclid's Core Construction Plane
Terminated Line segment joining points A and B
Postulate 1: Line Segment (Terminated Line) Postulate 2: Produced Indefinitely Postulate 3: Compass Circle
tune
Interactive Postulate Tools
0% Extended
Produce the terminated line segment indefinitely to form a straight line.
r = 240 px
Use point A as center and segment AB as radius. Try dragging points while active!
waves
Krishna River Realignment Story
Historically, geometry arose from redrawing paddy farm borders after river overflows. By marking two distinct stone markers (Points A and B), farmers could recreate an exact straight boundary using Postulate 1.
Euclidean Truths
Parallel Postulate Simulator
Euclid's Famous Fifth Postulate Sandbox
Interior Angle Sum = 180°
Intersection Point Line 1 Interior Angle (∠1) Line 2 Interior Angle (∠2)
transform
Tilt Controls
0.0°
Adjust tilt. Tilting down reduces the right-side interior angle.
0.0°
Adjust tilt. Tilting up reduces the right-side interior angle.
Postulate 5 Cases
Postulate 5 Summary
Axiom 5 Visual Demonstration
"The whole is greater than the part"
Imagine an agricultural field plot in Krishna District (Andhra Pradesh) representing the 'Whole'. We harvest a 'Part' of it.
Whole Paddy Field400 m²
Harvested Part140 m²
Inequality Statement
400 m² > 140 m²
Euclidean Verity: The remaining unharvested plot remains exactly 260 m². The total area is always equal to the sum of its distinct parts.
140 m² (35%)
Axiom 2 & 3 Visual Demonstration
"If equals are added/subtracted, wholes are equal"
Attach or remove identical segment lengths to/from two initially equal logs of timber.
Log 1 (Timber A)150 + 40 = 190 cm
Original: 150 cm
+ 40 cm
Log 2 (Timber B)150 + 40 = 190 cm
Original: 150 cm
+ 40 cm
40 cm
Operation Mode
bookmark
Euclidean Axioms List
Axiom 1: Universal Equality
Things which are equal to the same thing are equal to one another.
Axiom 2: Adding Equals
If equals are added to equals, the wholes are equal.
Axiom 3: Subtracting Equals
If equals are subtracted from equals, the remainders are equal.
Axiom 4: Coinciding Equality
Things which coincide with one another are equal to one another.
Axiom 5: Wholes & Parts
The whole is greater than the part.
Axiom 6: Double of Same
Things which are double of the same things are equal to one another.
Axiom 7: Halves of Same
Things which are halves of the same things are equal to one another.