Grab a piece of paper, draw a triangle, and measure its three angles. They add up to . Every time, no matter how you draw it.
Now imagine a much bigger triangle: one vertex at the North Pole, and the other two on the equator, a quarter of the way around the planet apart. Each angle at the equator is . Add the pole's angle on top and you're already past before you've even measured it.
Same shape. Same rules of logic. Different answer. So what changed?
Not the triangle. Not the math. What changed is the surface the triangle is sitting on. And once you notice that, an entire branch of geometry opens up: the study of what happens to shapes, distances, and straight lines when the space they live in isn't flat.
Straight lines aren't the problem. What counts as straight is.
Picture a bug that can never leave the surface it's standing on. No stepping back, no view from above, just the surface, forever. Put that bug on a flat sheet of paper, and its idea of a "straight line" matches yours exactly: the shortest path between two points, a ruler-line.
Now put the same bug on a basketball. It still walks in what feels like a straight line, never turning left or right. But from outside, that path traces a great circle, the largest possible ring you can draw around a sphere. The bug can't tell the difference. Its "straight" is our "curved."
We call the bug's straightest-possible path a geodesic. On flat paper, a geodesic is a normal straight line. On a sphere, it's a great circle. Every geometry, flat or otherwise, is built entirely out of geodesics and the shapes you can make by connecting them. Euclidean geometry is just the special case where the surface happens to be flat, so geodesics happen to look like the straight lines you learned in school.
Triangles don't have to add up to 180 degrees.
Here's the cleanest way to catch a curved surface in the act, without ever leaving it: draw a triangle out of geodesics, and add up its angles.
On a sphere, the sides bulge outward compared to a flat triangle of the same size, and the angle sum climbs past . On a saddle-shaped surface, like the middle of a Pringle chip, the sides pinch inward instead, and the angle sum drops below . The amount it drifts by isn't random either. It's proportional to how curved the surface is and how much area the triangle covers:
where is the surface's curvature. Positive means a sphere, negative means a saddle, and gives you back plain old Euclidean geometry, angle sum locked at exactly .
Slide the curvature. Watch the triangle bow, and its angle sum drift away from 180°.
Slide from negative to positive and watch the triangle's edges bow the opposite way each time, with the angle sum tracking it exactly. A flat triangle is really just the one boring case sitting in the middle of a much bigger spectrum.
Euclid's fifth postulate was the odd one out for two thousand years.
Euclid built all of geometry from five basic rules. Four of them are almost embarrassingly obvious: you can draw a line between any two points, extend it forever, draw a circle of any radius, and all right angles are equal.
The fifth one reads differently. Paraphrased, it says: given a line and a point not on it, there's exactly one line through that point that never meets the first one. Mathematicians spent two thousand years trying to prove this followed automatically from the other four. It doesn't. It's a separate assumption, and you're allowed to swap it out.
How many of these lines through P can you slide without ever touching L?
Watch what happens to the count. At , exactly one of the five lines through never touches : flat, Euclidean, textbook-normal. Push positive, toward a sphere, and every single line eventually curves back to meet . Zero parallels. Push negative, toward a saddle, and the opposite happens: a whole widening cone of lines through miss forever. Not one parallel line. Infinitely many.
That's the entire split, in one sentence: Euclidean geometry says there's exactly one parallel, spherical geometry says there are none, and hyperbolic geometry says there are infinitely many. Everything else, the triangles, the circles, the distances, follows from that single choice.
Why does a flight path bow toward the pole for no reason?
Here's where this stops being abstract. Look at a flat map and draw the "obviously straight" line between two cities at the same latitude: a horizontal line, due east. Now look at the flight path a real transatlantic plane actually takes. It curves up toward the pole, and comes back down. It looks like a detour.
It isn't. It's shorter.
Widen the gap between two cities at 50°N and watch the "straight" line fall behind.
The horizontal line on the map is a rhumb line, a path of constant compass heading. It looks straight because the map is flat, but the map is lying to you: the Earth underneath it is a sphere, and the shortest path between two points on a sphere is a great circle, which bulges toward the pole when you flatten it onto paper. Drag the separation wider and watch the gap between the two distances grow. The "obviously straight" line is never the shortest one, except right on the equator.
That's positive curvature paying rent in the real world, every single day, on every flight that crosses an ocean.
Saddles, chips, and the geometry that never runs out of room.
Positive curvature is the easy half to picture, because you've touched a ball before. Negative curvature is stranger, and the Pringle chip is still the best physical model for it: at the center of the chip, the surface curves up in one direction and down in the other at the same time.
That shape has a wild consequence. On a flat sheet, a circle's circumference grows in direct proportion to its radius: double the radius, double the circumference, always . On a sphere, circumference grows slower than that, because the surface curves back in on itself. On a saddle, it's the reverse: circumference grows faster than flat, and the gap accelerates the bigger the circle gets.
Grow the circle's radius and watch its circumference race ahead, fall behind, or keep pace.
Slide the radius out and watch the three curves peel apart. The spherical one even turns around and heads back down eventually, because a "circle" on a sphere shrinks back to a point once its radius wraps past the far side. The hyperbolic one just keeps accelerating, with more and more room packed into every additional ring. A hyperbolic surface has more space in it than a flat one does, and you can measure exactly how much more, just by walking a circle and counting its circumference.
So which geometry is the real one?
None of them, and also all of them, depending on where you're standing. That's the actual takeaway: "flat," "spherical," and "hyperbolic" aren't competing theories where one has to be wrong. They're three answers to the same question, curvature, and the universe uses all three depending on what you're measuring.
Einstein's general relativity treats spacetime itself as a surface with curvature that changes from place to place, positive near a massive star, closer to flat out in empty space between galaxies. GPS satellites have to correct for that curvature or they'd drift off by kilometers a day. On the negative side, hyperbolic geometry turns out to be the natural shape for anything that branches: computer scientists now embed huge tree-like networks, like the internet's link structure, into hyperbolic space specifically because it has room to spare that flat space simply doesn't have.
Euclid described the one geometry you happen to notice standing still. The other two were always there, waiting for a big enough triangle.
The short version
Euclidean geometry assumes exactly one line through a point stays parallel to another line forever, and everything you learned in school, triangles summing to , circles growing in direct proportion to their radius, follows from that one assumption. Change it, and you get an entirely different but equally consistent geometry: zero parallels and angle sums over on a sphere, infinitely many parallels and angle sums under on a saddle. None of this is a trick or an approximation. It's what a bug stuck on the surface would actually measure, with a ruler and a protractor and nothing else.
Next time a flight path looks like it's taking the scenic route, you'll know it isn't. The map is the one lying to you.
All visualizations are interactive React components running entirely in your browser, using SVG. No libraries beyond React.