Lecture 2: The Foundations of Greek Geometry

Lecture 2: The Foundations of Greek Geometry

Review and Introduction

In the last lecture, we explored the long history of the Pythagorean theorem and how it revealed the deep connection between number and form. We also discussed how the discovery of irrational numbers like $\sqrt{2}$ dealt a major blow to the Pythagorean belief that “all is number” (where “number” meant rational number), leading to a separation of “number” and “form” in ancient Greek mathematics.

This “mathematical crisis,” in a way, pushed Greek mathematicians to rely more heavily on geometry. Geometric figures could intuitively represent quantities that could not be precisely described by simple integer ratios, and geometric proofs seemed to offer a more universal and solid foundation. Against this backdrop, Greek geometry achieved glorious success, and its rigorous logical system and profound geometric insights shaped the bedrock of Western scientific thought. Today, we will step into the hall of Greek geometry to explore its core concepts and enduring legacy.

Euclid’s Elements: Axiomatic Method and Deductive Logic

When speaking of Greek geometry, it is impossible not to mention Euclid (c. 325 BCE – c. 265 BCE) and his immortal masterpiece, the Elements.

Core Value of the Elements: The greatness of this work lies not just in its collection and organization of existing geometric knowledge, but more importantly, in its establishment of an unprecedented, rigorous axiomatic deductive system.

Basic Components:

• Definitions: Clear descriptions of basic terms (e.g., point, line, plane, circle).
• Postulates: Self-evident basic geometric propositions. The famous fifth postulate (the parallel postulate) is particularly noteworthy and sparked over two thousand years of research and debate.
• Common Notions: Universally applicable, self-evident logical truths. For example, “Things which are equal to the same thing are also equal to one another.”
• Propositions (Theorems): Geometric conclusions derived from postulates, common notions, and previously proven propositions.

The Power of Deduction: The Elements starts from a few basic assumptions and builds a magnificent system of geometric theory through impeccable step-by-step logical reasoning. This axiomatic method represents a major advancement in mathematics and scientific thought as a whole.

Regular Polyhedra: From Platonic Philosophy to Kepler’s Astronomical Model

In Greek geometry, regular polyhedra, also known as Platonic solids, hold a special place.

The Five Platonic Solids: Through geometric constraints, it can be proven that only five regular polyhedra exist: the tetrahedron, cube, octahedron, dodecahedron, and icosahedron.

Plato’s Cosmology: The philosopher Plato, in his work Timaeus, associated these five perfect geometric solids with the four basic elements of the universe (fire, earth, air, water) and the cosmos itself, imbuing them with deep philosophical meaning.

Influence on Later Astronomy — Kepler’s Model: In the 16th century, astronomer Johannes Kepler proposed a famous cosmological model attempting to use these five regular polyhedra to explain the distance relationships between the six known planetary orbits. He envisioned a “Russian doll” structure for the universe, with the five solids nested in a specific order, inscribed and circumscribed by the six spheres representing the planetary orbits.

Compass and Straightedge Constructions: Art, Limits, and the Final Answers

“Compass and straightedge construction” was a core component of ancient Greek geometric research.

The Three Classical Construction Problems:

• Squaring the circle: Construct a square with the same area as a given circle.
• Trisecting an arbitrary angle: Divide any given angle into three equal parts.
• Doubling the cube: Construct a cube with twice the volume of a given cube (i.e., construct a side of length $\sqrt[3]{2}$).

A Millennia-Long Challenge and Its Resolution: It was not until the 19th century, with the development of algebraic theory, that these problems were finally proven to be impossible to solve under the strict limitations of compass and straightedge construction.

• Wantzel’s proof (1837): Proved the impossibility of “doubling the cube” and “trisecting an angle.”
• Lindemann’s proof (1882): Proved the impossibility of “squaring the circle” by proving that $\pi$ is a transcendental number (i.e., not a root of any polynomial equation with integer coefficients).

Conic Sections: From Pure Geometry to Newton’s Planetary Orbits

The ancient Greeks defined conic sections as the curves obtained by intersecting a cone with a plane, resulting in the ellipse, parabola, and hyperbola.

Brilliant Application in Astronomy:

• Kepler’s Discovery (1609): Planets move not in perfect circles, but in elliptical orbits with the Sun at one focus.
• Newton’s Explanation (1687): In a gravitational field following an inverse-square law, the orbit of a celestial body must be a type of conic section (ellipse, parabola, or hyperbola).

Exploration of Higher-Order Curves

Despite lacking systematic algebraic tools, ancient Greek mathematicians still studied many curves more complex than conic sections.

• The Cissoid of Diocles (c. 100 BCE): A cubic curve constructed to solve the “doubling the cube” problem.
• The Spiric Sections of Perseus (c. 150 BCE): Quartic curves obtained by cutting a torus with a plane.
• The Epicycles of Ptolemy: A complex “wheel-on-wheel” curve construction method used to explain the apparent motion of planets.

Questions for Exploration

1. In Euclid’s Elements, what are the respective roles of definitions, postulates, common notions, and propositions? Why is this axiomatic, deductive system so significant in the history of mathematics and science?

2. Geometrically explain why there are only five regular polyhedra. Choose one of them (e.g., the dodecahedron or icosahedron), describe its key mathematical properties (e.g., how many faces, edges, and vertices does it have?), and discuss its significance in Greek philosophy (like in Plato’s Timaeus) or later mathematical thought (like in Kepler’s model).

3. Define the basic rules of “compass and straightedge construction” in the ancient Greek tradition. Then, choose one of the three famous classical problems (squaring the circle, trisecting an angle, or doubling the cube), and explain its content and historical importance. Finally, demonstrate and explain the steps for a non-trivial but achievable construction (e.g., constructing a regular pentagon).

4. After Newton, we know that planetary orbits are ellipses. A deeper question is: why? Please watch the video about “Feynman’s Lost Lecture” and try to understand, using geometric methods (rather than calculus), why an inverse-square law leads to an elliptical orbit.

5. On what kind of observational data did ancient astronomers, particularly Ptolemy, develop their complex epicycle-deferent models? How did they use these models to predict planetary positions?