Comprehensive theory, key formulas, diagrams, and memory aids for Euclid's Geometry.
The word "geometry" comes from the Greek words "geo" (meaning earth) and "metrein" (meaning to measure). Geometry appears to have originated from the need for measuring land in ancient civilizations like Egypt, Babylonia, China, and India. However, it was a Greek mathematician named Euclid who, around 300 BC, collected all known geometric work and arranged it into his famous treatise called "Elements".
In this chapter, we will explore Euclid's approach to geometry, understanding his definitions, axioms, and postulates which form the foundation of logical mathematical deduction.
Euclid began his exposition by listing 23 definitions in Book 1 of the "Elements." Some of the fundamental definitions are:
While these definitions provided a starting point, modern mathematics leaves fundamental terms like point, line, and plane undefined. This is because defining them requires other terms, which in turn require definition, leading to an endless chain. However, we have an intuitive understanding of what these terms mean.
Euclid assumed certain properties which were not to be proved. These assumptions are actually "obvious universal truths." He divided them into two types: axioms and postulates.
Some of Euclid’s axioms (not in his exact order) are: 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. (This means that if two geometric figures can be placed exactly on top of each other, they are identical). 5. The whole is greater than the part. (Since a whole is made up of its parts, it must be larger than any individual part). 6. Things which are double of the same things are equal to one another. 7. Things which are halves of the same things are equal to one another.
These are the foundational geometric rules:
Euclid’s fifth postulate is quite complex. Over the centuries, mathematicians tried to prove it using the first four postulates but failed, eventually leading to the discovery of non-Euclidean geometries.
An easier, equivalent version of the fifth postulate was given by Scottish mathematician John Playfair in 1795:
Playfair's Axiom: "For every line $l$ and for every point $P$ not lying on $l$, there exists a unique line $m$ passing through $P$ and parallel to $l$."
Another way to state it: "Two distinct intersecting lines cannot be parallel to the same line."
While axioms and postulates are assumptions considered as obvious truths, theorems are statements that need to be proved. A proof is a logical deduction established using definitions, axioms, postulates, and previously proved theorems.
Example Theorem: Two distinct lines cannot have more than one point in common.
Proof Concept: Suppose we have two lines, $l$ and $m$. Let us assume they intersect in two distinct points, $P$ and $Q$. This means that there are two distinct lines passing through two distinct points $P$ and $Q$. However, this contradicts Postulate 1, which states that only one unique line can pass through two distinct points. Because our assumption leads to a contradiction, our assumption must be false. Therefore, two distinct lines can only intersect at a maximum of one point.
Euclid's geometry works perfectly on flat surfaces (plane geometry). But what happens if we draw on a curved surface, like a sphere? On a sphere, "straight lines" are great circles (like the equator). If you draw a triangle on a sphere using great circles, the sum of its angles is greater than $180^\circ$. In this spherical space, Euclid's fifth postulate fails because there are no parallel lines (all great circles intersect).
The discovery that consistent geometric systems could exist where the fifth postulate is false led to the creation of Non-Euclidean Geometries, fundamentally changing mathematics and physics (e.g., Einstein's theory of general relativity).
Euclid's monumental contribution was not just discovering geometric facts, but organizing them into a logical system where complex truths (theorems) are deduced from simple, self-evident assumptions (axioms and postulates). This deductive method remains the gold standard in mathematics today.