Ninth Grade Mathematics: Euclid's Axioms and Five Postulates
At the heart of Euclidean geometry lies a compact set of foundational assumptions that Euclid accepted without formal proof. Euclid distinguished between 'Axioms' (or Common Notions), which are self-evident truths applicable to all branches of mathematics, and 'Postulates', which are assumptions specific to the spatial realm of geometry.
Euclid's Common Notions (General Axioms)
In Book I of 'The Elements', Euclid articulated five primary Common Notions that govern how mathematical quantities behave under equality, addition, and subtraction:
Euclid's Common Notions:
1. Things which are equal to the same thing are equal to one another.
(If a = c and b = c, then a = b)
2. If equals are added to equals, the wholes are equal.
(If a = b, then a + c = b + c)
3. If equals are subtracted from equals, the remainders are equal.
(If a = b, then a - c = b - c)
4. Things which coincide with one another are equal to one another.
(Principle of Superposition: identical spatial shapes are congruent)
5. The whole is greater than the part.
(If a = b + c where c > 0, then a > b)
Common Notion 4 provides the geometric justification for congruence: if two figures can be superimposed onto one another so that their boundaries match completely, they are equal in every respect. Common Notion 5 defines the intuitive order of magnitude, establishing that taking a piece away from a quantity leaves something smaller than the original.
Euclid's Five Geometric Postulates
Unlike the Common Notions, Euclid's five postulates apply strictly to the construction and properties of points, lines, circles, and angles in the geometric plane:
Postulate 1: A straight line segment can be drawn from any given point to any other point.
(Two distinct points determine a unique straight line).
Postulate 2: A terminated line (line segment) can be produced indefinitely in a straight line.
(Any line segment can be extended infinitely in both directions).
Postulate 3: A circle can be described with any center and any radius.
(Given a center point and a distance, a unique circle is defined).
Postulate 4: All right angles are equal to one another.
(Right angles are invariant standards of 90 degrees).
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 two right angles.
Visualizing Postulate 5
Euclid's fifth postulate is significantly longer and more elaborate than the first four, describing the condition under which two straight lines will eventually intersect:
Line L1 Line L2
\ /
\ /
\ /
Transversal\ /
Line T \ /
-----+------\--/----+-----
\ a \/ b /
\ /\ /
\ / \ /
---------+-/----+----------
/
/
If the sum of interior angles on one side is less than two right angles (angle a + angle b < 180 degrees), then Line L1 and Line L2 are guaranteed to intersect if extended sufficiently far on that side.
The Modern Reformulation of Postulates 1 and 2
In modern mathematics, Euclid's first two postulates are typically restated with greater precision: Axiom: Given two distinct points A and B, there exists one and only one unique straight line that passes through both points. Axiom: Two distinct lines cannot have more than one point in common. If two lines intersect, they intersect at exactly one point.
Unique Line through Two Points:
Point A Point B
*---------------------------*
<------------------------->
Chapter Exercises
Exercise 1: Identify which of Euclid's Common Notions justifies each of the following statements: (a) If segment AB = CD and segment CD = EF, then segment AB = EF. (b) If angle 1 = angle 2, then angle 1 + angle 3 = angle 2 + angle 3. (c) A gallon of water has greater volume than a pint poured from it.
Exercise 2: State Euclid's first three postulates in your own words, and explain how they serve as the theoretical justification for the use of a compass and straightedge in geometric constructions.
Exercise 3: Line segment AB has length 12 cm. A point C lies on AB such that AC = 7 cm. Using Euclid's Common Notions, prove that CB = 5 cm and explain why point C must lie strictly between A and B.
Solutions and Explanations
Solution 1: Statement (a) is justified by Common Notion 1: 'Things which are equal to the same thing are equal to one another' (transitive property of equality). Statement (b) is justified by Common Notion 2: 'If equals are added to equals, the wholes are equal' (addition property of equality). Statement (c) is justified by Common Notion 5: 'The whole is greater than the part'.
Solution 2: Postulate 1 states that a straight line can connect any two points, which mathematically justifies drawing a straight line segment with a straightedge. Postulate 2 states that any line segment can be extended continuously in a straight line, justifying extending lines indefinitely using a straightedge. Postulate 3 states that a circle can be drawn with any center point and any radius, which justifies opening a compass to a given length and drawing a circular arc. Together, these three postulates establish the theoretical legitimacy of classical Euclidean compass-and-straightedge constructions.
Solution 3: By the definition of a point lying on a segment, the whole segment AB is composed of the parts AC and CB, so AB = AC + CB. By Common Notion 5 ('The whole is greater than the part'), since CB has positive length, AB > AC. We are given AB = 12 cm and AC = 7 cm, so 12 = 7 + CB. By Common Notion 3 ('If equals are subtracted from equals, the remainders are equal'), subtract 7 from both sides: 12 - 7 = (7 + CB) - 7, which gives CB = 5 cm. Because AC = 7 cm is strictly greater than 0 and strictly less than AB = 12 cm, point C must lie strictly between endpoints A and B along the segment.