Fourth century BCE – Alexandria, Egypt
A straight line can be drawn between any two points
A straight line can be extended indefinitely in either direction
A circle can be drawn with any given centre and radius
All right angles are equal
If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines will eventually meet (or, parallel lines never meet)
These five postulates form the basis of Euclidean geometry. Many mathematicians do not consider the fifth postulate (or parallel postulate) as a true postulate, but rather as a theorem that can be derived from the first four postulates. This ‘parallel’ axiom means that if a point lies outside a straight line, then only one straight line can be drawn through the point that never meets the other line in that plane.
The ideas of earlier Greek mathematicians, such as EUDOXUS, THEAETETUS and PYTHAGORAS are all evident, though much of the systematic proof of theories, as well as other original contributions, was Euclid’s.
The first six of his thirteen volumes were concerned with plane geometry; for example laying out the basic principles of triangles, squares, rectangles and circles; as well as outlining other mathematical cornerstones, including Eudoxus’ theory of proportion. The next four books looked at number theory, including the proof that there is an infinite number of prime numbers. The final three works focused on solid geometry.
Virtually nothing is known about Euclid’s life. He studied in Athens and then worked in Alexandria during the reign of Ptolemy I
Euclid’s approach to his writings was systematic, laying out a set of axioms (truths) at the beginning and constructing each proof of theorem that followed on the basis of proven truths that had gone before.
Elements begins with 23 definitions (such as point, line, circle and right angle), the five postulates and five ‘common notions’. From these foundations Euclid proved 465 theorems.
A postulate (or axiom) claims something is true or is the basis for an argument. A theorem is a proven position, which is a statement with logical constraints.
Euclid’s common notions are not about geometry; they are elegant assertions of logic:
Two things that are both equal to a third thing are also equal to each other
If equals are added to equals, the wholes are equal
If equals are subtracted from equals, the remainders are equal
Things that coincide with one and other are equal to one and other
The whole is greater than the part
One of the dilemmas that he presented was how to deal with a cone. It was known that the volume of a cone was one-third of the volume of a cylinder that had the same height and base diameter. He asked if you cut through a cone parallel to its base, would the circle formed on the top section be the same size as that on the bottom of the new, smaller cone?
If it were, then the cone would in fact be a cylinder and clearly that was not true. If they were not equal, then the surface of a cone must consist of a series of steps or indentations.
The essential weakness in Euclidean mathematics lay in its treatment of two- and three- dimensional figures. This was examined in the nineteenth century by the Romanian mathematician Janus Bolyai. He attempted to prove Euclid’s parallel postulate, only to discover that it is in fact unprovable. The postulate means that only one line can be drawn parallel to another through a given point, but if space is curved and multidimensional, many other parallel lines can be drawn. Similarly the angles of a triangle drawn on the surface of a ball add up to more than 180 degrees.
CARL FRIEDRICH GAUSS was perhaps the first to ‘doubt the truth of geometry’ and began to develop a new geometry for curved and multidimensional space. The final and conclusive push came from BERNHARD RIEMANN, who developed Gauss’s ideas on the intrinsic curvature of surfaces.
Riemann argued that we should ignore Euclidean geometry and treat each surface by itself. This had a profound effect on mathematics, removing a priori reasoning and ensuring that any future investigation of the geometric nature of the universe would have to be at least in part, empirical. This provides a mechanism for examinations of multidimensional space using an adaptation of the calculus.
However, the discoveries of the last two hundred years that have shown time and space to be other than Euclidean under certain circumstances should not be seen to undermine Euclid’s achievements.
Moreover, Euclid’s method of establishing basic truths by logic, deductive reasoning, evidence and proof is so powerful that it is regarded as common sense.