Introduction to Euclid's Geometry
About 8 min · Mathematical Reasoning · English
Time worked out from the lesson's 670 words at 150 words a minute, plus a minute for each question.
Euclid's geometry forms the logical foundation of all plane geometry studied in school mathematics. Written around 300 BCE in his book Elements, Euclid systematized geometry using definitions, axioms (self-evident truths) and postulates (geometric assumptions) from which all other results are proved. For SOF IMO, this topic tests your understanding of the axiomatic method, the difference between axioms and postulates, and your ability to write simple two-column proofs using these foundational statements.
Key ideas
- Axiom vs Postulate: Euclid distinguished axioms (universal truths applying to all sciences, like "things equal to the same thing are equal to each other") from postulates (geometric-specific assumptions, like "a straight line may be drawn between any two points"). Modern usage often treats them interchangeably as "axioms."
- Undefined Terms: Point, line and plane are now taken as undefined (Euclid did define them, but mathematicians do not accept his definitions); they are accepted intuitively. A point has no dimension, a line is breadthless length extending infinitely in both directions, and a plane is a flat surface extending infinitely in all directions.
- Definitions vs Axioms: A definition assigns meaning to a term (e.g., "a circle is the locus of points equidistant from a center"), while an axiom is an assumed truth used to prove other statements. Definitions are not proved; axioms are not defined.
- Deductive Proof Structure: Euclidean geometry proceeds by logical deduction: start with axioms/postulates, apply definitions, and use previously proved theorems to establish new results. Each statement in a proof must be justified.
- Equivalence Relations: Several axioms establish transitive, symmetric and reflexive properties of equality, which underpin substitution and algebraic manipulation in geometry.
Watch out for
- Confusing axioms with theorems: Axioms are assumed without proof; theorems are proved using axioms. Students often try to "prove" an axiom, which is circular reasoning. Remember, axioms are your starting points.
- Misapplying Postulate 5: The parallel postulate is subtle. Students think it only says "two lines meet if interior angles sum to less than 180°," forgetting the converse (if the sum equals 180°, the lines are parallel). Always state the condition carefully.
- Ignoring the role of undefined terms: Students attempt to define a point as "a dot" or a line as "a thin mark." In geometry today (Euclid himself did define them), these are undefined primitives. Accept them intuitively and move on; they gain meaning through the axioms and postulates.
Quick reference
- Axioms are universal truths (equality properties); postulates are geometric-specific assumptions (drawing lines, circles).
- Postulate 1: A straight line may be drawn from any one point to any other point (that this line is unique is a separate axiom).
- Postulate 5 (Parallel Postulate): If interior angles on one side of a transversal sum to less than 180°, the lines meet on that side.
- Axiom 1 (Transitivity): If A = B and B = C, then A = C.
- Undefined terms: Point, line, plane — accept them intuitively; they are not defined but used to define everything else.
Check yourself: 3 questions
1. Euclid stated that 'Things which are equal to the same thing are equal to one another'. This statement is known as:
2. In Euclidean geometry, if two lines are drawn which intersect a third line in such a way that the sum of the inner angles on one side is less than two right angles, then according to Euclid's fifth postulate, the two lines will eventually meet on:
3. Consider the following statements based on Euclid's axioms and postulates: Statement P: If AB = CD and CD = EF, then AB = EF. Statement Q: A circle can be drawn with any centre and any radius. Statement R: All right angles are equal to one another. Which of the following correctly classifies these statements?
This lesson is cut from the topic's note, not rewritten. Fact-checked on 21 Oct 2026: an AI-assisted check of this note against cited sources; the errors it found were corrected that day. Some errors may remain. The questions are from Shishya's validated question bank.
Read the full noteFlashcards for this topic
Saves this lesson and its 3 questions in this browser on this phone. No sign-in; nothing about you is saved or sent. A saved copy is not updated until you save it again. Parts that load from the server when you use them (the AI tutor, adaptive practice, sign-in) still need a connection.