Euler's Polyhedron Formula
16 |Chrome / Android is recommended for viewing this page because it uses WebGL 2.
17 |This page uses continuous scrollytelling to present a variation of Legendre's proof for the following formula.
18 |V - E + F = 2
19 |For any convex polyhedron (or planar graph), the number of vertices minus the number of edges plus the number of faces is 2. Leonhard Euler discovered this in 1752 although Descartes discovered a variation over 100 years earlier.
20 |This equation makes it easy to prove that there only 5 Platonic solids, but perhaps its real beauty lies in how it connects disparate fields of mathematics. These connections are suggested by Legendre's proof, which is purely geometrical and leverages some interesting properties of geodesic triangles.
21 |Scroll down at your own pace, but try not to go too fast, otherwise you'll skip over the animation. The proof is divided into 5 steps:
22 |-
23 |
- Surface Area of Sphere 24 |
- Area of Double Lune 25 |
- Girard's Theorem 26 |
- Spherical Polygons 27 |
- The Conclusion 28 |
Part 1: Surface Area of Sphere
38 |The surface area of a sphere can be derived with freshman calculus, but it was discovered by Archimedes long before the invention of calculus.
Archimedes realized that the surface area of a sphere is equal to the area of its smallest enclosing cylinder, which is 4πr2. This is somewhat intuitive if you think about lat-long rectangles.
At the equator, lat-long rectangles are fat and short. Closer to the poles they are tall and thin. As they move closer to the poles, they become tall at the same rate at which they become thin, so their area remains constant.
Going forward, we'll keep things simple by focusing on a sphere whose radius is 1. The surface area of this sphere is 4π.
Part 2: Area of a Double Lune
46 |Great circles are lines on the surface of a sphere that divide the sphere in half. If you place your car anywhere on a sphere's surface, then continuously drive without turning the steering wheel, you'll always inscribe a great circle. Any portion of a great circle is called a geodesic path.
The region on a sphere between two great circles is called a "lune". Let's figure out the surface area of a lune bounded by θ radians.
If θ is π radians, the lune encompasses one hemisphere. Since the area of a hemisphere is 2π, the area of the lune is 2θ.
This is one reason why radians are more elegant than degrees!
The surface area of a lune plus its antipode is 4θ. Let's call this a double lune.
Part 3: Girard's Theorem
55 |Spherical triangles are inscribed by geodesic lines (i.e. portions of great circles). Unlike a planar triangle, the area of a spherical triangle can be determined solely from its angles. With planar triangles, the sum of the three angles is always π radians. Not so with spherical triangles!
For example, consider the triangle that encompasses one-eighth of the sphere surface, which has three 90° angles, or π/2 radians each. Clearly these do not add up to π.
Let's figure out the area of any geodesic triangle with angles a, b, and c.
Each corner in the triangle corresponds to a double lune on the surface. We can visualize each double lune with one of the additive primary colors.
The sum of the lune areas can be visualized by adding up their respective colors.
Notice that the total area of the lunes is equivalent to the surface of the entire sphere, except that the triangle and its antipode are each counted an additional 2x times.
Recall that:
61 |-
62 |
- The surface area of the unit sphere is 4π. 63 |
- The surface area of each double lune is 4θ. 64 |
Moreover, we now know that:
66 |-
67 |
- The surface area of the sphere is equal to the area of all the triangle's double lunes, minus 4x the area of the 68 | triangle. 69 |
Therefore, if the area of geodesic triangle abc is A, then:
71 |-
72 |
- 4π = 4a + 4b + 4c - 4A 73 |
Or, more simply stated:
75 |-
76 |
- A = a + b + c - π 77 |
This formula was independently discovered by Albert Girard (1595-1632) and Thomas Harriot (1560-1621).
79 |Part 4: Spherical Polygons
83 |Now that we know how to compute the area of a geodesic triangle, can we figure out how to compute the area of a geodesic polygon?
Yes, we can! Every n-gon can be decomposed into (n-2) triangles.
The sum of all the angles in a polygon is equal to the sum of all the angles in its constituent triangles. And, we now know that each of those (n-2) constituent triangles has an area of:
86 |<angle sum> - π
87 |Therefore, the area of the polygon must be:
88 |<angle sum> - (n-2) π
89 |Stated another way:
90 |A = (a + b + c + d + ...) - nπ + 2π.
91 |To portray this formula visually, we've inscribed the components of the sum onto the sphere.
92 |Note that each vertex and edge correspond to a component of the sum, as well as the face itself. This will be useful later in the proof.
93 |Part 5: The Conclusion
97 |Now that we have a few tools under our belt, let's consider a convex polyhedron.
What happens when we inflate the polyhedron to meet its enclosing sphere? The sum of the areas of all the resulting geodesic polygons should be equivalent to the surface area of the sphere!
Next, apply the visual method for computing the area sum across all polygons. Each vertex contributes a total of 2π radians, each edge contributes -2π (one for each side), and each face contributes 2π.
Putting it all together:
101 |-
102 |
- Surface area of unit sphere =
2πV - 2πE + 2πF
103 |
Or, simply stated:
105 |-
106 |
- 4π = 2πV - 2πE + 2πF 107 |
Therefore:
109 |-
110 |
- V - E + F = 2 111 |
Et Voilà!
113 |The polyhedron formula is also known as Euler's Characteristic Formula because the right-hand side of the equation is actually a "characteristic" of the sphere's topology. If we were to inscribe the graph on a torus instead of a sphere, the Euler characteristic would be 0 rather than 2.
114 |To learn more about this, I recommend David Richeson's excellent book Euler's Gem, which was the inspiration for this page.
115 |Also the inimitable 3blue1brown has a great video on the polyhedron formula, as well as a video about the surface area of a sphere.
116 |Thanks for reading the proof! Take a look at the code if you're interested in how this was made.
GitHub Projects:
-
118 |
- prideout/euler 119 |
- google/filament 120 |
- google/scrollytell 121 |
124 |