Introduction to Euclid's Geometry

The two lines will never meet — they are parallel

Step 1: Euclid's 5th Postulate says the two lines meet on the side where the sum of interior angles is less than 180°. Step 2: If the sum of interior angles on the left side = 180°, then the sum on the right side = 360° - 180° = 180° as well (since angles on both sides of a transversal sum to 360°... actually for a transversal cutting two lines, co-interior angles sum to 180° each side only in the parallel case). Step 3: When neither side has a sum less than 180°, Postulate 5's condition for meeting is never satisfied on either side. Step 4: This is the limiting case — when the transversal mak

Axiom 2 — If equals are added to equals, the wholes are equal

Step 1: Given A, B, C, D in order on a line, and AB = CD. We need to prove AC = BD. Step 2: Notice that AC = AB + BC (B lies between A and C) and BD = BC + CD (C lies between B and D). This uses the coincidence axiom. Step 3: We are given AB = CD. We also know that BC = BC (same segment, equals itself). Step 4: Adding BC to both sides: AB + BC = CD + BC. By Euclid's Axiom 2 — 'If equals are added to equals, the wholes are equal' — since AB = CD and BC = BC, we get AB + BC = BC + CD. Final Step: Therefore AC = BD. The KEY axiom is Axiom 2 (addition of equals). Common mistake: Students use Axiom

Things which are equal to the same thing are equal to one another

Step 1: We need to distinguish between Euclid's Postulates (geometry-specific) and Euclid's Common Notions/Axioms (universal mathematical truths). Step 2: Euclid's 5 Postulates are: (1) Line through any two points, (2) Terminated line can be extended, (3) Circle with any centre and radius, (4) All right angles are equal, (5) The parallel postulate about interior angles. Step 3: 'Things which are equal to the same thing are equal to one another' is Euclid's FIRST COMMON NOTION (Axiom 1), not a postulate. Step 4: The key difference is that postulates are assumptions specific to GEOMETRY, while c

AC = AB/2; Axiom — Things which are halves of the same things are equal to one another

Step 1: C lies between A and B, and AC = CB. This means C is the midpoint of AB. We need to find AC in terms of AB. Step 2: Since C is between A and B, by the coincidence axiom: AC + CB = AB. Step 3: We are given AC = CB (C is the midpoint). Substituting: AC + AC = AB, so 2·AC = AB. Step 4: Therefore AC = AB/2. This means AC is HALF of AB. The applicable Euclid's axiom is Axiom 7 — 'Things which are halves of the same things are equal to one another.' This axiom confirms that if two quantities are each half of AB, they are equal to each other. Final Step: AC = AB/2. The axiom about halves vali