15.3 Comparing Euclidean and non-Euclidean geometries

Euclidean and Non-Euclidean Geometries

Geometry isn't limited to flat shapes on paper. Euclidean geometry describes flat surfaces, but non-Euclidean geometries describe curved spaces like spheres and saddle shapes. Each type follows its own set of rules for how lines, angles, and shapes behave.

Navigation on Earth's surface, the shape of the universe, and Einstein's general relativity all depend on non-Euclidean ideas. Comparing these geometries side by side is the best way to see what makes each one tick.

more resources to help you study

practice questions

Euclidean vs. Non-Euclidean Geometries

Euclidean geometry is the familiar system you've used since middle school. It works on flat (planar) surfaces, where parallel lines never meet and the angles of a triangle always sum to exactly $180°$.

Spherical geometry operates on the surface of a sphere. "Lines" in this system are great circles: circles whose center is the center of the sphere (think of the equator, or any line of longitude). Because every pair of great circles intersects at two antipodal points, there are no parallel lines at all. A triangle drawn on a sphere has angles that sum to more than $180°$. The amount by which the sum exceeds $180°$ is called the spherical excess, and it's directly proportional to the triangle's area. A larger triangle on a sphere has a greater excess.

Hyperbolic geometry takes place on a saddle-shaped surface (a surface of constant negative curvature, called a hyperbolic plane). Through a point not on a given line, you can draw infinitely many lines that never intersect the given line. A triangle's angles sum to less than $180°$, and the shortfall is called the angular defect. Like spherical excess, angular defect is proportional to area: bigger hyperbolic triangles have angles that sum to even less than $180°$. Regular polygons with all right angles (like Euclidean squares) cannot exist in hyperbolic space, because four right angles would require an angle sum of $360°$, which hyperbolic quadrilaterals can never reach.

Postulates of Non-Euclidean Geometries

Everything hinges on Euclid's fifth postulate, the parallel postulate. The first four of Euclid's postulates (you can draw a line segment between two points, extend a segment indefinitely, draw a circle with any center and radius, and all right angles are equal) hold across all three geometries. It's only the fifth that changes.

• Euclidean: For a line and a point not on that line, there is exactly one line through the point parallel to the given line. This is equivalent to the classic parallel postulate (sometimes called Playfair's axiom).
• Spherical (elliptic): The parallel postulate fails entirely. No parallel lines exist because all great circles on a sphere intersect.
• Hyperbolic: The parallel postulate is replaced by the hyperbolic parallel postulate: for a line and a point not on that line, there are at least two (in fact, infinitely many) distinct lines through the point that never intersect the given line.

Note that spherical geometry also modifies Euclid's second postulate in a subtle way: lines (great circles) are finite in length and loop back on themselves, so they can't be "extended indefinitely" the way Euclid intended. Strictly speaking, the version of spherical geometry that keeps the other postulates intact is called elliptic geometry, where antipodal points on the sphere are treated as the same point. For this course, the terms are often used interchangeably.

For over 2,000 years, mathematicians tried to prove the fifth postulate from the other four. The discovery that you could replace it and still get a consistent geometry was one of the biggest breakthroughs in the history of math. Gauss, Bolyai, and Lobachevsky independently arrived at hyperbolic geometry in the early 1800s, and Riemann later developed the framework for spherical and elliptic geometry.

Historical Impact of Non-Euclidean Geometries

• Shattered the long-held belief that Euclidean geometry was the only logically consistent geometric system.
• Proved that the parallel postulate is independent of Euclid's other four postulates. You can't derive it from them, and you can't disprove its alternatives.
• Opened entirely new branches of mathematics, including topology and differential geometry (the study of curved spaces using calculus).
• Contributed to the development of abstract algebra and the study of mathematical structures.
• Directly influenced Einstein's general relativity, which models gravity as the curvature of spacetime. Massive objects warp the geometry of space around them, and that warped geometry is described using non-Euclidean math. Without Riemannian geometry, that theory wouldn't have had the mathematical language it needed.

Applications of Geometric Principles

Choosing the right geometry depends on the curvature of the surface you're working with.

Euclidean geometry applies to flat or nearly flat surfaces:

1. Use the Pythagorean theorem and distance formulas for lengths.
2. Calculate angle measures and areas for triangles, quadrilaterals, and circles using standard formulas.
3. Typical contexts: architectural design, land surveying over small regions, engineering blueprints.

Spherical geometry applies to spherical surfaces:

1. Calculate great circle distances for navigation and geodesy. The shortest path between two cities on Earth follows a great circle, not the straight line you'd draw on a flat map. For example, flights from New York to Tokyo curve north over the Arctic rather than heading straight west across the Pacific.
2. Apply spherical triangle properties, using spherical excess to find area: $A = R^2 \cdot E$, where $R$ is the sphere's radius and $E$ is the spherical excess in radians.
3. Typical contexts: airline flight paths, satellite orbits, celestial navigation, GPS calculations.

Hyperbolic geometry applies to negatively curved surfaces:

1. Use hyperbolic distance formulas, often visualized through models like the Poincaré disk model (where the entire hyperbolic plane is mapped inside a circle, with distances growing as you approach the boundary) or the Klein model.
2. Apply hyperbolic triangle properties, using angular defect to find area.
3. Typical contexts: models in cosmology (some models of the universe have negative curvature), certain problems in relativity, network theory, and even physical models like hyperbolic crochet.

The key skill is recognizing which geometry fits the problem. If the surface is flat (zero curvature), use Euclidean. If it has positive curvature like a sphere, use spherical. If it has negative curvature like a saddle, use hyperbolic.