The Parallel Postulate: How Euclid's Fifth Axiom Revealed Hidden Universes

[00:00:00](dramatic music) - [Derek] A single sentence in one of the oldest math books held the key to understanding our universe.

[00:00:06]Euclid's "Elements" has been published in more editions than any other book except the Bible.

[00:00:12]It was the go to math text for over 2,000 years.

[00:00:16]But for all that time, mathematicians were skeptical of a single line which seemed like a mistake.

[00:00:24]Ultimately, some of the greatest math minds realized that Euclid wasn't wrong after all, but there was more to the story.

[00:00:32]Slight tweaks to this line opened up strange new universes out of nothing.

[00:00:39]Surprisingly, 80 years later, we found out those strange new universes are core to understanding our own universe.

[00:00:51](contemplative music) Around 300 BC, the Greek mathematician, Euclid, takes on a massive project to summarize all mathematics known at the time, to essentially create the one book that contains everything that everyone knows about mathematics.

[00:01:07]But that's no easy task.

[00:01:09]See, before Euclid, there was a bit of a problem with math.

[00:01:13]- People would prove things, but they would just be going around in circles.

[00:01:16]"Why does a triangle have 180 degrees?"

[00:01:18]"'Cause if you take two parallel lines -" "Yeah, but why do parallel lines exist?"

[00:01:21]"Oh, that's because you can make a square.

[00:01:22]"Why does a square exist?"

[00:01:23]You have this infinite recursion of what the fundamental reason why something is true is.

[00:01:29]- [Derek] It's kind of like in the dictionary, every word is defined in terms of other words, so how do you get to ground truth?

[00:01:36]Euclid used a solution that was pioneered by the Greeks.

[00:01:40]Let's just accept a few of the most simple, basic things as being true, these are our postulates.

[00:01:48]Then, based upon these postulates, we can prove theorems one at a time, building up our math using logic, so that as long as those first statements are true, then everything else that follows from them must definitely be true.

[00:02:02]He had perfected the gold standard for rigorous mathematical proof that all modern math relies on.

[00:02:10]Euclid used this method when he published his 13 book series called, "The Elements," in which he proved 465 theorems, covering almost all of mathematics known at the time, including geometry and number theory.

[00:02:23]And all these theorems depended on were some definitions, a few common notions, and five postulates.

[00:02:33]- We go right to book one, and book one starts with definitions, you gotta start somewhere.

[00:02:37]And the definition is, "A point is that which has no part.

[00:02:40]A line is a breadthless length."

[00:02:42]And, "The ends of lines are points."

[00:02:45]By line, he really means a curve, and then it has some ends.

[00:02:48]"A straight line is a line that lies evenly within the points on itself."

[00:02:53]And then so on, and so forth.

[00:02:55]He's got 23 definitions, then he's got the five postulates.

[00:02:58](energetic music) - [Derek] The first four are simple.

[00:03:02]One, if you have two points, you can draw a straight line between them.

[00:03:06]Two, if you have a straight line, you can extend it indefinitely.

[00:03:11]Three, given a center and a radius, you can draw a circle.

[00:03:15]And the fourth is that all right angles are equal to each other.

[00:03:19]- [Alex] But postulate five gets the big guns.

[00:03:21]- [Derek] Which is that, if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side, on which are the angles less than the two right angles.

[00:03:38]- What the hell is he talking about?

[00:03:40]That's a postulate?

[00:03:40]Like all of these are, you know, half of a sentence, and they're all blatantly obvious.

[00:03:44]And then comes five, out of left field, and it's like an entire paragraph.

[00:03:49]What is he doing?

[00:03:50](contemplative music) - [Derek] This made mathematicians suspicious; it seemed like Euclid made a mistake.

[00:03:56]Greek philosopher Proclus thought Postulate 5 ought even to be struck outta the postulates altogether, for it is a theorem.

[00:04:04]But if it's a theorem, we should be able to prove it from the first four postulates, so that's what many people tried.

[00:04:10]Some, including Ptolemy and Proclus, believed they had succeeded, but they hadn't.

[00:04:16]In fact, all they'd managed to do was just restate Postulate 5 in different words.

[00:04:23]Here's one formulation.

[00:04:24]If you have a line, and a point that is not on that line, then there is a single unique line which will be parallel to the first line.

[00:04:34]For this reason, the fifth postulate is often called the Parallel postulate.

[00:04:38](contemplative music) When the method of direct proof failed, other mathematicians, including al-Haytham and Omar Khayyam, tried a different approach, proof by contradiction.

[00:04:49]The idea is simple, you keep the first four postulates the same, but assume that the fifth postulate is false.

[00:04:55]Then you use those new postulates to prove theorems, and if that leads to a contradiction, for example, true equals false, well, then it means your new fifth postulate must be wrong.

[00:05:05]And, therefore, the only remaining option would be that Euclid's version of the fifth postulate is correct, and you would've proven the fifth postulate.

[00:05:13]So, what would it look like if the fifth postulate were false?

[00:05:16]Well, according to Euclid, through a point not on a line, there could only be one line that is parallel to the first.

[00:05:23]One alternative is that there are no parallel lines that you could draw through that point.

[00:05:28]- Well, people tried that, and they realized that thin lines had to be finite in length.

[00:05:32]And they're like, "Well, that can't be."

[00:05:35]- [Derek] So this option was ruled out, it contradicted the second postulate, which states that lines can be extended indefinitely.

[00:05:42]The other alternative is that you can draw more than one parallel line through a point not on the first line.

[00:05:48]- So that's what they would do, they would assume the postulate five fails, and they're like, "This has gotta be wrong. Where's the contradiction?"

[00:05:53]They couldn't find the contradiction.

[00:05:55](intense acoustic music) - [Derek] So proof by contradiction also failed.

[00:05:58]In total, mathematicians spent more than 2,000 years trying to prove the fifth postulate, but everyone who tried failed.

[00:06:07](contemplative music) Then, around 1820, János Bolyai, a 17 year old student, started spending his days and nights working on the mystery.

[00:06:17]His father became worried, and he wrote to his son, "You must not attempt this approach to parallels.

[00:06:24]I know this way to the very end, I have traversed this bottomless night, which extinguished all light and joy in my life.

[00:06:31]I intrigue you, leave the science of parallels alone.

[00:06:36]Learn from my example."

[00:06:39]But the young Bolyai didn't listen to his father, he could not leave the science of parallels alone.

[00:06:46]After years of work, he realized that maybe the fifth postulate can't be proven from the other four, it could be completely independent.

[00:06:56](soft music) See, according to Euclid, you could have only one parallel line through a point.

[00:07:01]But Bolyai imagined a world where there could be more than one parallel line through that point.

[00:07:06]But how?

[00:07:07]Well, who said you needed to have a flat surface?

[00:07:10]On a surface that is curved like this, you can draw more than one line that is parallel to the original line.

[00:07:17]But wait a second, those lines don't look straight.

[00:07:20]Well, what makes straight lines special is that they're the shortest paths between two points.

[00:07:25]On this surface, those shortest paths just look bent, because the surface is curved.

[00:07:31]Here's a more familiar example.

[00:07:33]Airplanes always try to fly the shortest path between two cities, they're basically flying in a straight line, but that line doesn't look straight on a map because the surface is curved.

[00:07:43]These shortest paths on curved surfaces are called geodesics.

[00:07:48]So, all these lines are straight, they just don't look it, because the world Bolyai had imagined turned out to be curved.

[00:07:55]We now know this as hyperbolic geometry.

[00:08:00]- You know, when I used to think of the hyperbolic plane, I would just imagine it as one giant saddle.

[00:08:06]But that's not really what it is, the hyperbolic plane is much more like this piece of crocheting.

[00:08:12]So, it starts out pretty flat and even in the middle, but as you move outwards, more and more fabric is created, and that would push parallel lines apart.

[00:08:24]And the further and further out you go, the amount of fabric grows exponentially, and that ends up causing this crumpling effect.

[00:08:32]So if you really wanna think about the hyperbolic plane, I think you've gotta think about saddles, on saddles, on saddles, like it's a infinite crumpling mess.

[00:08:41](soft music) - [Derek] But that little piece of crochet isn't the full hyperbolic plane.

[00:08:45]To show that, we need to make a map, one that fits the entire plane into a disc.

[00:08:52]To show how this works, we're gonna fill the entire plane with these triangles.

[00:08:56]Starting in the middle, just as with the crochet, things look pretty normal, but as you go farther out from the center, you get all this extra space, so you can fit more and more triangles.

[00:09:06]So they appear smaller, but they are actually the same size.

[00:09:11]Now, since the hyperbolic plane is infinite, you can keep adding triangles forever, and they all need to fit on the disk.

[00:09:18]So as you get closer to the edge, the triangles will appear smaller, and smaller, and smaller, infinitely smaller, never ending, and you can never quite reach the edge.

[00:09:29]This is known as the Poincare Disk Model.

[00:09:32]Here, straight lines are arcs of circles that intersect the disc at 90 degrees, and just like on our original shape, a straight line down the middle appears straight, while straight lines next to it appear to curve away.

[00:09:46]What's remarkable is that Bolyai didn't have a model of hyperbolic geometry yet, he was just drawing Euclidean triangles with the assumption that Euclid's fifth postulate didn't hold.

[00:09:56]And while Bolyai found that the behavior in hyperbolic geometry is very different than Euclid's, mathematically, it seemed just as consistent.

[00:10:06](soft music) In 1823, the 20-year-old János wrote to his dad, "I have discovered such wonderful things that I was amazed.

[00:10:16]Out of nothing, I have created a strange new universe."

[00:10:23](contemplative music) But Bolyai had been doing more than just tackling ancient math mysteries.

[00:10:28]In his twenties, he joined the army, where he continued developing two of his other passions, playing the violin and dueling.

[00:10:36]He had mastered both, but with a sword in particular, he was unmatched.

[00:10:41]Perhaps because of his many talents, Bolyai grew arrogant, and found it difficult to accept authority from his superiors.

[00:10:47]That made him hard to get along with.

[00:10:50]This reached a peak when, during one of his deployments, 13 cavalry officers from his garrison challenged him to a duel.

[00:10:58]Bolyai accepted their challenge, on the condition that after every two duels, he could play for a little while on his violin.

[00:11:05]Bolyai fought each of them in succession, winning all 13 duels, and leaving behind all his adversaries on the square.

[00:11:15]While Bolyai loved dueling, his first love was still mathematics.

[00:11:19]In 1832, 9 years after he discovered his strange new universe, he published his findings as a 24 page appendix to his father's textbook.

[00:11:29]Extremely proud and excited about his son's work, Farkas Bolyai sent it to perhaps the greatest mathematician of all time, Carl Friedrich Gauss.

[00:11:39]After careful examination, Gauss replied a few months later, "To praise it would amount to praising myself for the entire content of the work coincides almost exactly with my own meditations, which have occupied my mind for the past 30 or 35 years."

[00:11:55](soft music) Years earlier, Gauss had wandered a similar path.

[00:12:00]In 1824, he wrote a private letter to one of his friends, in which he describes discovering a curious geometry, one with paradoxical, and to the uninitiated, absurd theorems.

[00:12:12]For example, Gauss writes, "The three angles of a triangle become as small as one wishes, if only the sides are taken large enough.

[00:12:21]Yet the area of the triangle can never exceed a definite limit."

[00:12:26]In other words, you can have a triangle that's infinitely long, but the area is finite.

[00:12:33]You can see why by using the Poincare disk model.

[00:12:36]A small triangle looks pretty ordinary, but as you make it bigger, the angles start to become smaller and smaller.

[00:12:44]Eventually, all those angles go to zero, because all these lines intersect the disk at 90 degrees.

[00:12:51]Now, these lines are infinitely long, but because of the geometry, the area is finite.

[00:12:59]In the same private letter, Gauss wrote, "All my efforts to discover a contradiction and inconsistency in this non-Euclidean geometry have been without success."

[00:13:10]Just like Bolyai, Gauss had found that this geometry seemed thoroughly consistent.

[00:13:15]He named it non-Euclidean geometry, a name that stuck.

[00:13:18]It describes geometries where Euclid's first four postulates hold, but the fifth doesn't.

[00:13:24]But Gauss decided not to publish his findings for fear of ridicule.

[00:13:29]This aversion to a different kind of geometry should at least be a little surprising, because there is one other geometry that we should be very familiar with, spherical geometry, since we all live on a sphere.

[00:13:41](soft music) On a sphere, straight lines are parts of great circles, these are the circles with the largest possible circumference.

[00:13:49]On Earth, the equator, and circles of longitude, are examples of great circles, and we can use this to see how straight lines behave.

[00:13:58]These lines seem to go in the same direction, but as you keep extending them, you find that they intersect once, and then again on the other side of the earth.

[00:14:08]And this will always happen for any two great circles, because they must each have the largest possible circumference, so, on a sphere, there are no parallel lines.

[00:14:20]Gauss had long been fascinated by spherical geometry.

[00:14:24]He was also a geodesist, and frequently took measurements of the Earth.

[00:14:27]In the 1820s, he was tasked with surveying the Kingdom of Hanover to help make a map.

[00:14:33]As part of this survey, he climbed the mountains near Gottingen.

[00:14:36]With the help of people situated on other landmarks, they were able to carefully measure the angles of several triangles, which would then be used to determine the position of one place relative to another.

[00:14:47]As a reference for the survey, and to help determine the roundness of the Earth, they also precisely measured the angles of a large triangle formed by three mountains.

[00:14:58]But for all of Gauss' romantic notions of taking measurements on top of mountains, (contemplative music) he was not the kindest correspondent.

[00:15:06]When Bolyai received his hero's response, he was devastated, believing that Gauss was trying to undermine him and steal his ideas.

[00:15:14]He was so embittered by Gauss' response that he never published again.

[00:15:20]In 1848, Bolyai had to endure another hardship when he found out that Russian mathematician, Nikolai Lobachevsky, had independently discovered non-Euclidean geometry, several years before Bolyai had published his 24 page long appendix.

[00:15:36]When Bolyai died in 1860, he left behind 20,000 pages of unpublished mathematical manuscripts.

[00:15:43]He would not know that Gauss did independently discover non-Euclidean geometry, nor would he know, that upon receiving the appendix, Gauss had written to a friend, "I regard this young geometer, Bolyai, as a genius of the first order."

[00:15:58](soft music) While Bolyai was embittered, non-Euclidean geometries continued to develop.

[00:16:06]Until 1854, spherical geometry wasn't actually considered a non-Euclidean geometry.

[00:16:13]That's because, on a sphere, lines can't be extended indefinitely.

[00:16:17]This is what earlier mathematicians had stumbled upon, and therefore dismissed this geometry, since Euclid's second postulate wouldn't hold.

[00:16:25]But in 1854, Riemann changed the second postulate from an infinite extension to something that is, quote, "unbounded," so that the second postulate still holds on a sphere.

[00:16:38]With this change, spherical geometry became another valid non-Euclidean geometry.

[00:16:43]By using the generalized four postulates, and taking the fifth as there being no parallel lines, you could now derive spherical or elliptic geometry.

[00:16:53]Would you consider the fifth postulate a mistake?

[00:16:57]Would it have been better if he just never wrote that down?

[00:17:00]- If he never wrote that down, he would've stunted his geometry, 'cause he wouldn't be able to prove a lot of things that he claimed to have.

[00:17:06]It's beautiful that he wrote this.

[00:17:09]It's beautiful that people spent 2,000 years trying to refute him, only to discover that, in fact, he was right in writing this in the first place.

[00:17:18]- [Derek] So, while Euclid was right to write down the fifth postulate, he did make a different mistake.

[00:17:24]- So here's the problem with what Euclid was doing.

[00:17:26]Definition 1, "A point is that which has no part."

[00:17:30]What does it mean to have a part?

[00:17:31]What is a part?

[00:17:33]What does it mean not to have a part?

[00:17:34]"A line is a breadthless length."

[00:17:37]What does it mean to have breadth?

[00:17:38]Lying evenly within itself, within the points on itself?

[00:17:41]What the hell is he talking about?

[00:17:43]We read this two minutes ago, and we were nodding along like, "Yeah, completely makes sense what he's saying."

[00:17:48]It's all nonsense.

[00:17:49]Don't give me a definition that's gonna have an infinite recursion.

[00:17:53]If you give me a definition in terms of other things, then you have to tell me what those things are.

[00:17:56]If you tell me what that is, you have to tell me what the thing before it is.

[00:17:59]- Are the definitions a bad idea?

[00:18:02]- You shouldn't have definitions, you should have undefined terms.

[00:18:07]I'm not gonna tell you what a point is, I'm not gonna tell you what a line is, I'm not gonna tell you what a plane is.

[00:18:11]All I'm gonna tell you is what the postulates are that they're assumed to satisfy.

[00:18:16]It's the relationships between the objects that's important, not the definitions of the objects themselves.

[00:18:21]And once you free your mind to that possibility, all of a sudden, you realize that there's a perfectly good geometric world in which, by line, you mean great circle, and by plane, you mean sphere, and by point, you mean a point on a sphere, and then four of those axioms are satisfied, just not the fifth.

[00:18:40]And similarly, there's another model, something called a disk model for hyperbolic space, which, the disk is the plane.

[00:18:48]What I mean by straight lines is arcs of circles that are orthogonal to the disk, and then points are points inside the disk.

[00:18:55]And the disk is the plane.

[00:18:58]- [Derek] See, you can think of geometry as a game.

[00:19:00](thoughtful music) The first four postulates are like the minimum rules required to play that game, and then the fifth postulate selects the world that you'll play in.

[00:19:09]If you pick that there are no parallel lines, you're playing in spherical geometry.

[00:19:13]If you choose one parallel line, you're playing in flat geometry.

[00:19:17]And if you go for more than one parallel line, then you're playing in hyperbolic geometry.

[00:19:23]But Riemann decided to take it one step further.

[00:19:26]Instead of selecting just one world to play in, why not combine them all into one?

[00:19:33]During his inaugural speech in 1854, he laid out the groundwork for a geometry where the curvature could differ from place to place.

[00:19:41]One part might be flat, another part might be slightly curved, and yet another part might have a very strong curvature.

[00:19:47]And this geometry wouldn't be limited to two-dimensional planes either, it could be extended to three or more dimensions.

[00:19:56](contemplative music) Another breakthrough came in 1868, when Eugenio Beltrami unequivocally proved that hyperbolic and spherical geometry were just as consistent as Euclid's flat geometry.

[00:20:08]That is, if there were any inconsistencies in hyperbolic or spherical geometry, then they must also be present in Euclid's flat geometry.

[00:20:17]The prospects for these new geometries were looking great.

[00:20:20]And it turns out, this was just the beginning.

[00:20:23](soft music) In 1905, Einstein proposed the special theory of relativity, which is based on just two postulates.

[00:20:30]One, "The laws of physics are the same in all inertial frames of reference."

[00:20:34]And two, "The speed of light in a vacuum is the same for all inertial observers."

[00:20:40]So, as a result, space and time must be relative.

[00:20:46]But that created a problem for Newtonian gravity, because, according to Newton, the force of gravity is inversely proportional to the distance between the two objects squared.

[00:20:56]But in Einstein's special relativity, that distance is no longer well-defined.

[00:21:01]In whose reference frame are we measuring?

[00:21:03]And so Einstein had to find a way to reconcile relativity and gravity.

[00:21:09]Two years later, in 1907, Einstein had the happiest thought of his life, he imagined a man falling off the roof of a house.

[00:21:17]And what made Einstein so joyful is that he realized that while the man is falling, he would feel absolutely weightless, and if he let go of an object, it would just remain in uniform motion relative to him.

[00:21:29]It would be just like being in space, not near any masses, floating around in a spaceship at constant velocity.

[00:21:36]And that is an inertial observer.

[00:21:39]Now, here's the big breakthrough, Einstein realized that they're not just similar, they are identical, because there is no experiment you could do to determine whether you're in free fall in a uniform gravitational field, or whether you are in deep space, not near any massive objects.

[00:21:56]And so the free-falling man too must be an inertial observer, meaning he is not accelerating, and he's not experiencing any force of gravity.

[00:22:05]But if gravity is not a force, then how do you explain things like the space station orbiting Earth?

[00:22:11]Shouldn't it just fly off in a straight line?

[00:22:14]Well, astronauts in the space station also feel weightless.

[00:22:18]And that's the key, it feels just as if they're traveling at constant velocity in a straight line.

[00:22:23]It feels like that because that's precisely what they're doing, they're traveling in a straight line.

[00:22:30]How, then, could that straight line appear curved to a distant observer?

[00:22:34]The answer is, because the space time that straight line is on is curved.

[00:22:40]See, massive objects curve spacetime, and objects moving through curved spacetime will follow the shortest path through that curved geometry, the geodesic.

[00:22:50]So, while astronauts in the space station are following a straight line, it appears curved to a distant observer because the Earth curves the spacetime around it.

[00:23:00]So, the behavior of straight lines in curved geometries is core to understanding the universe we live in.

[00:23:07]And in the more than a hundred years since it was published, the general theory of relativity has been remarkably successful.

[00:23:14](soft music) In 2014, astronomers briefly observed a supernova, a violent and extremely bright death of a star.

[00:23:22]In fact, they saw the exact same supernova in four different places.

[00:23:26]How?

[00:23:27]Well, in between the supernova and earth, there was a massive galaxy, which curved space time, so light from the supernova, which was spreading out in all directions, had several different paths to reach the earth, and four of those reached Earth at approximately the same time.

[00:23:42]The galaxy had functioned as a massive gravitational lens.

[00:23:47]The astronomers realized that other galaxies in the cluster might also lens the light from that supernova, but with different path lengths and gravitational potentials, so the light would reach earth at different times.

[00:24:00]After careful modeling, they predicted that they should see a replay of that supernova just a year later.

[00:24:07]And on the 11th of December, 2015, just as predicted, they saw the same supernova once more.

[00:24:15]In addition to being able to observe the effects of curved spacetime, we can now even measure the ripples of space time itself, gravitational waves formed by cosmic events, far, far away, like the merger of black holes.

[00:24:29]And according to a recent survey by NANOGrav, the fabric of spacetime seems to be buzzing with the remnants of grand cosmic events.

[00:24:38]In the hundred years since general relativity was published, countless findings have supported its predictions, and at its very core are the curved geometries of Bolyai and Riemann.

[00:24:49]But so far, all the effects we've looked at are local distortions of spacetime.

[00:24:55]What is the shape of the entire universe?

[00:24:58](stars whooshing) (contemplative music) Using the differences between the geometries, we can find that out too.

[00:25:04]In flat geometry, we expect all the angles of a triangle to add up to 180 degrees without fail.

[00:25:11]But in spherical geometry, the angles don't add up to 180 degrees, but to more.

[00:25:16]Similarly in hyperbolic geometry, the angles add up to less than 180 degrees.

[00:25:21]So, to determine the shape of the universe, you just need to measure the angles of a triangle.

[00:25:27]And measuring a triangle is precisely what Gauss was doing 200 years ago.

[00:25:31]In fact, this led some to speculate that he was actually trying to measure the curvature of space itself.

[00:25:37]The angle he found, 180 degrees, within observational error.

[00:25:43]But that shouldn't be very surprising.

[00:25:46]Take this balloon, for example, which approximates a sphere.

[00:25:49]If I draw a small triangle on it, well, the surface I'm drawing on is basically flat, so the angles inside the triangle will add up to essentially 180 degrees.

[00:25:59]Only if I make the triangle large enough will the effects of curvature come into play, and then the angles in the triangle will add up to more than 180 degrees.

[00:26:10]And this was the problem with Gauss' experiment, even if he was trying to measure the curvature of space itself, for which there is no solid evidence, the triangle he measured would've been far too small relative to the size of the universe.

[00:26:24](ball thudding) (soft music) So, in order to overcome the scale issue that Gauss encountered, we need to scale the triangles formed between mountains up to the largest triangles we can.

[00:26:34]And since looking further and further away is the same as looking further back in time, we need to look back as far as possible, to the very first light we can see, the Cosmic Microwave Background, or CMB, a picture from when the universe was just 380,000 years old.

[00:26:53]While the CMB is almost completely uniform, there are some spots that are slightly hotter or colder.

[00:27:00]Now, we know how far away the CMB is, so if we can figure out how large such a spot is, then we can draw a cosmic triangle.

[00:27:09]It's thought that the first density and temperature variations originated from quantum fluctuations in the very early universe, which were then blown up as the universe expanded.

[00:27:19]But due to this rapid expansion, not all regions were in causal contact with each other.

[00:27:25]So, using the information we have of how the early universe evolved, astronomers can predict how often spots of different sizes should appear in the CMB.

[00:27:35]This is what this power spectrum shows, essentially a histogram of how often each spot size should occur if the universe is flat.

[00:27:45]So now we have something to compare our measurement to.

[00:27:48]If the universe is flat, the angle we measure on the sky should be the same as we'd expect.

[00:27:53]But if the universe is curved like a sphere, the angles of the triangle should add up to more than 180 degrees, so the angle we'd measure would be larger than predicted, and this peak would shift to the left.

[00:28:05]Similarly, if the universe has hyperbolic geometry, then spots should appear smaller than predicted, and this peak would shift to the right.

[00:28:14]So, what do we measure?

[00:28:16]This is the data from the Plank mission, which is almost exactly what you'd expect if the universe were flat.

[00:28:22]This mission also gives us the current best estimate for the curvature of the universe, which is 0.0007, plus minus 0.0019.

[00:28:31]So that's basically zero within the margin of error.

[00:28:35]So we're fairly certain that the universe we live in is flat.

[00:28:42]But living in a flat universe seems to be remarkably serendipitous.

[00:28:45](contemplative music) Right now, the average mass energy density comes down to the equivalent of about six hydrogen atoms per cubic meter.

[00:28:52]If, on average, that was just one more hydrogen atom, the universe would've been more spherically curved.

[00:28:58]If there were just one less, the curvature would be hyperbolic geometry.

[00:29:03]And so far, we're not entirely sure why the universe has the mass energy density it has.

[00:29:09]What we do know is that general relativity is one of our best physical theories of reality, and at the very heart of it, are those paradoxical and seemingly absurd geometries, ones we found because mathematicians spent over 2,000 years thinking about a single sentence from the world's most famous math text.

[00:29:28](high-tech blooping) When it comes to human brilliance, it's not just what you know, it's also how you think, and a great way to improve how you think is by building your knowledge and problem solving skills.

[00:29:44]So if you're looking for a free and easy way to do just that, then check out this video's sponsor, brilliant.org.

[00:29:51]With Brilliant, you can master key concepts in everything from math and data science to programming and technology.

[00:29:57]All you have to do is set your goal, and Brilliant will design the perfect learning path for you, giving you all the tools you need to reach it.

[00:30:05]Want to follow in the footsteps of Euclid and Bolyai?

[00:30:09]Then Brilliant's latest course, Measurement, is the perfect addition to your problem solving toolkit.

[00:30:14]The course takes you on a tour through the essentials of geometry, getting you hands-on with concepts to help sharpen your spatial reasoning skills.

[00:30:24]A solid foundation in geometry can be a launchpad to hundreds of applications, everything from computer graphics and data clustering in AI algorithms to understanding Einstein's theory of general relativity.

[00:30:35]Beyond measurement, Brilliant has a huge library of things to learn.

[00:30:40]But what I love most about Brilliant is that they connect what you learn to real world examples.

[00:30:45]And because each lesson is hands-on, you'll build intuition, so you can put what you've learned to good use.

[00:30:51]To try everything Brilliant has to offer for free for a full 30 days, visit brilliant.org/veritasium, or click that link down in the description.

[00:31:00]For the first 200 of you, you'll get 20% off Brilliant's annual premium subscription.

[00:31:05]So, I wanna thank Brilliant for sponsoring this video, and I wanna thank you for watching.