Mathwords logoReference LibraryMathwords

Non-Euclidean Geometry

Non-Euclidean Geometry

Any system of geometry in which the parallel postulate does not hold. Two commonly studied non-Euclidean geometries are hyperbolic geometry and elliptic geometry. Elliptic geometry is also known as Riemannian geometry.

 

 

See also

Euclidean geometry, plane geometry, solid geometry, analytic geometry

Example

Problem: In Euclidean geometry, the angles of any triangle sum to 180°. A triangle is drawn on the surface of a sphere (elliptic geometry) with vertices at the North Pole, at the point (0°N, 0°E) on the equator, and at the point (0°N, 90°E) on the equator. What is the sum of the triangle's interior angles?
Step 1: Identify the three sides. Side 1 runs along the prime meridian from the North Pole down to (0°N, 0°E). Side 2 runs along the 90°E meridian from the North Pole down to (0°N, 90°E). Side 3 runs along the equator from (0°N, 0°E) to (0°N, 90°E). Each side is an arc of a great circle, which is a 'straight line' on a sphere.
Step 2: Find the angle at the North Pole. The two meridians (0° and 90°E) meet at the pole and differ by 90° in longitude, so the angle there is 90°.
∠pole=90°\angle_{\text{pole}} = 90°
Step 3: Find the angle at (0°N, 0°E). The equator heads east and the prime meridian heads north. These two great circles meet at a right angle.
∠(0°N,0°E)=90°\angle_{\text{(0°N,0°E)}} = 90°
Step 4: Find the angle at (0°N, 90°E). The equator arrives heading east and the 90°E meridian goes north. Again, these meet at a right angle.
∠(0°N,90°E)=90°\angle_{\text{(0°N,90°E)}} = 90°
Step 5: Sum the three angles.
90°+90°+90°=270°90° + 90° + 90° = 270°
Answer: The triangle's angle sum is 270°, which is 90° more than the Euclidean value of 180°. This excess is a hallmark of elliptic (spherical) geometry.

Frequently Asked Questions

Why was non-Euclidean geometry invented?
For over two thousand years, mathematicians tried to prove Euclid's parallel postulate from his other four postulates. In the early 1800s, Gauss, Bolyai, and Lobachevsky independently realized it could not be proved — you could replace it with a different assumption and still get a consistent geometry. This discovery showed that Euclidean geometry is not the only logically valid geometry.
Is the universe Euclidean or non-Euclidean?
Einstein's general theory of relativity models gravity as curvature of spacetime, making the geometry of the universe non-Euclidean. On a small, everyday scale the curvature is negligible, so Euclidean geometry works perfectly well. On cosmic scales, measurements suggest the universe is very close to flat (Euclidean), but slight curvature is not ruled out.

Euclidean Geometry vs. Non-Euclidean Geometry

Euclidean geometry assumes the parallel postulate: through a point not on a given line, exactly one parallel line can be drawn. In hyperbolic geometry (a non-Euclidean type), infinitely many lines through that point never meet the given line. In elliptic geometry (the other main type), every pair of lines eventually intersects, so no parallel lines exist. Euclidean geometry has triangle angle sums of exactly 180°. Hyperbolic triangles sum to less than 180°, and elliptic triangles sum to more than 180°.

Why It Matters

Non-Euclidean geometry is the mathematical foundation of Einstein's general relativity, which describes how mass and energy curve spacetime. It is also essential in cartography and navigation: Earth's surface is a sphere, so the geometry of airline routes and satellite orbits is inherently non-Euclidean. Understanding it also deepened mathematics itself by showing that changing a single axiom can produce an entirely new, self-consistent system.

Common Mistakes

Mistake: Thinking non-Euclidean geometry is 'wrong' or contradicts Euclidean geometry.
Correction: Both systems are internally consistent. They simply start from different assumptions about parallel lines. Which one applies depends on the surface or space you are working in.
Mistake: Assuming there is only one type of non-Euclidean geometry.
Correction: There are at least two major types: hyperbolic (negative curvature, angle sum < 180°) and elliptic (positive curvature, angle sum > 180°). They differ in how many parallels exist through a given external point — infinitely many in hyperbolic, none in elliptic.

Related Terms