Non-Euclidean Geometry: When Parallel Lines Changed Mathematics

For more than 2,000 years, Euclid's geometry was considered the one true description of space. Then, in the early 19th century, a handful of mathematicians dared to ask what would happen if one of Euclid's assumptions were simply false, and they discovered entirely new, perfectly consistent geometries that later turned out to describe our universe.

Euclid and the Troublesome Fifth Postulate

Around 300 BCE in Alexandria, Euclid wrote the Elements, a 13-book work that built geometry from a small set of definitions, common notions and five postulates. The first four are short and obvious, for example "a straight line can be drawn between any two points" and "all right angles are equal."

The fifth is different. In Euclid's words, roughly: if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, then the two lines, if extended indefinitely, meet on that side.

In 1795 the Scottish mathematician John Playfair popularised an equivalent version that students learn today:

Through a point not on a given line, exactly one line can be drawn parallel to the given line.

The postulate is long, it talks about what happens infinitely far away, and Euclid himself avoided using it in his first 28 propositions. Many mathematicians suspected it was not a true axiom at all but a theorem that could be proved from the other four.

Twenty Centuries of Attempted Proofs

The attempts form a remarkable international chain.

• Proclus in 5th-century Athens criticised the postulate and offered a flawed proof.
• Ibn al-Haytham (Alhazen), working in Cairo around 1000 CE, tried to prove it using a quadrilateral with three right angles.
• Omar Khayyam, the Persian poet-mathematician, around 1077, studied a quadrilateral with two equal sides perpendicular to a base, and considered whether its top angles could be acute, right or obtuse.
• Nasir al-Din al-Tusi in 13th-century Maragha, Persia, continued this work, and his ideas reached Europe.
• Giovanni Girolamo Saccheri, an Italian Jesuit, published Euclid Freed of Every Flaw in 1733. He studied the same quadrilateral and tried to show that "acute" top angles lead to a contradiction. Instead he derived many strange but consistent theorems, then declared the result "repugnant to the nature of the straight line." Without realising it, he had proved large parts of non-Euclidean geometry.
• Johann Heinrich Lambert in the 1760s went further and noticed that in the "acute" case, the area of a triangle is proportional to how much its angle sum falls short of \(180^\circ\).

Every apparent proof secretly assumed something equivalent to the fifth postulate, such as "the angles of a triangle add up to \(180^\circ\)" or "similar triangles of different sizes exist."

The Breakthrough: Gauss, Bolyai and Lobachevsky

In the early 1800s three people independently took the bold step of accepting the alternative: through a point not on a line there are many lines that never meet the given line.

• Carl Friedrich Gauss worked on this privately from around 1813 but never published, fearing controversy.
• Nikolai Lobachevsky, at the University of Kazan in Russia, published the first account in 1829 in the Kazan Messenger. It received little attention, and he spent decades developing it with almost no recognition.
• János Bolyai, a young Hungarian army officer, wrote his work around 1823 and published it in 1832 as a 26-page appendix to a textbook by his father, Farkas Bolyai. He wrote to his father, "Out of nothing I have created a strange new universe." When Gauss read it, he replied that praising it would be praising himself, since he had reached the same ideas years earlier, a response that deeply hurt János.

The new geometry, now called hyperbolic geometry, has striking properties:

• the angles of every triangle add up to less than \(180^\circ\);
• triangles with the same angles must be the same size, so there are no similar triangles of different sizes;
• the larger the triangle, the smaller its angle sum.

Riemann and Curved Space

In 1854 Bernhard Riemann, Gauss's student, gave a famous lecture at Göttingen, On the Hypotheses Which Lie at the Foundations of Geometry. He described geometry in any number of dimensions, where curvature can vary from point to point. His work also gave a clear setting for elliptic or spherical geometry, where there are no parallel lines at all and triangle angle sums exceed \(180^\circ\).

Was hyperbolic geometry truly consistent? In 1868 Eugenio Beltrami built models of it inside ordinary Euclidean geometry, and later Felix Klein and Henri Poincaré gave the famous disk models. This showed that if Euclidean geometry is free of contradictions, so is hyperbolic geometry. The parallel postulate cannot be proved from the other four; it is a genuine choice.

Worked Example 1: A Triangle with Three Right Angles

On a sphere, the "straight lines" are great circles, such as the equator and lines of longitude.

Problem. Start at the North Pole, travel straight down the line of longitude \(0^\circ\) to the equator, turn and travel along the equator to longitude \(90^\circ\)E, then turn and travel back up to the North Pole. Find the angle sum and the area of the triangle on Earth, taking radius \(R = 6371\) km.

Step 1: Find each angle. Lines of longitude meet the equator at right angles, so the two angles on the equator are each \(90^\circ\). At the pole, the two meridians are \(90^\circ\) apart, so that angle is also \(90^\circ\).

$$ 90^\circ + 90^\circ + 90^\circ = 270^\circ $$

Step 2: Use the spherical excess formula. On a sphere of radius \(R\), with angles in radians,

$$ \text{Area} = R^2(\alpha + \beta + \gamma - \pi) $$

Here \(\alpha + \beta + \gamma = \tfrac{3\pi}{2}\), so the excess is \(\tfrac{3\pi}{2} - \pi = \tfrac{\pi}{2}\).

Step 3: Calculate.

$$ \text{Area} = 6371^2 \times \frac{\pi}{2} = 40{,}589{,}641 \times 1.5708 \approx 6.38 \times 10^{7}\ \text{km}^2 $$

Check: this triangle covers one eighth of the sphere (a quarter of the northern hemisphere). The whole Earth's surface is \(4\pi R^2 \approx 5.10 \times 10^8\ \text{km}^2\), and one eighth of that is about \(6.38 \times 10^7\ \text{km}^2\). The results agree.

Worked Example 2: Lambert's Area Rule in Hyperbolic Geometry

In hyperbolic geometry with curvature \(-1\), Lambert's discovery becomes

$$ \text{Area} = \pi - (\alpha + \beta + \gamma) $$

Problem. A hyperbolic triangle has angles \(60^\circ\), \(45^\circ\) and \(30^\circ\). Find its area.

Step 1: Add the angles. \(60^\circ + 45^\circ + 30^\circ = 135^\circ\).

Step 2: Find the defect. \(180^\circ - 135^\circ = 45^\circ\).

Step 3: Convert to radians.

$$ 45^\circ \times \frac{\pi}{180^\circ} = \frac{\pi}{4} \approx 0.785 $$

So the area is \(\tfrac{\pi}{4}\) square units. Notice that no hyperbolic triangle can have area greater than \(\pi\), since the angle sum cannot be negative.

From Abstract Idea to the Shape of the Universe

For decades non-Euclidean geometry seemed a curiosity. Then in 1915 Albert Einstein used Riemann's geometry in his general theory of relativity: mass and energy curve spacetime, and objects follow the "straightest possible" paths in that curved geometry. Today GPS satellites must correct for these effects, and cosmologists measure the large-scale curvature of the universe, which observations find to be very close to flat.

Did You Know?

• Airline routes look curved on flat maps because the shortest path on a sphere is a great-circle arc.
• The Dutch artist M. C. Escher created his Circle Limit woodcuts using Poincaré's disk model of hyperbolic geometry.
• Crocheted coral-like shapes, popularised by mathematician Daina Taimiņa in 1997, are physical models of hyperbolic surfaces.

Key Takeaways

• Euclid's fifth postulate, equivalent to "exactly one parallel through a point," resisted proof for over 2,000 years.
• Lobachevsky (1829) and Bolyai (1832), with Gauss privately, created hyperbolic geometry, where triangle angles sum to less than \(180^\circ\).
• Riemann (1854) generalised geometry to curved spaces; on a sphere, triangle angles sum to more than \(180^\circ\).
• The angle excess or defect gives a triangle's area exactly, and Riemann's ideas became the language of general relativity.

If you need step-by-step help with geometry, trigonometry or any maths assignment, Amathify's subject experts and PhD scholars are available through WhatsApp or the Ask a Question form.