You are currently browsing the tag archive for the ‘euler’s formula’ tag.

A polyhedron is a solid which has a surface that consists of a number of polygonal faces. A polygon is a planar figure that is bounded by a closed path consisting of a finite sequence of straight line segments. For example, a cube or a tetrahedron is a polyhedron, while a triangle or a rectangle is a polygon.

Now, the *Euler characteristic* for polyhedra is a function (more technically, a topological invariant) defined by

,

where and are the number of vertices, edges and faces, respectively, in a given polyhedron.

It turns out that for a simply connected polyhedron, . Therefore,

is *Euler’s formula* for a simply connected polyhedron. Prof David Eppstein has a webpage that lists no less than nineteen proofs of the above formula.

Okay, so what has Euler’s formula for polyhedra got to do with the Platonic solids? Well, *using* this formula we can show/prove that there are exactly **five** Platonic solids.

The proof below will essentially employ the common technique (in combinatorics) of counting some objects in two different ways and equating the answers in order to obtain some useful information.

So, suppose a regular polyhedron has vertices, edges and faces, each of which is an -sided regular polygon. Also, suppose edges meet at each vertex.

Let the “degree of each face” be equal to the the number of edges that belong to it. Also, let the “degree of each vertex” be equal to the number of edges meeting it.

Now, since each face has edges surrounding it, the sum of the degrees of all the faces is . But, since each edge belongs to exactly two faces, each edge is counted *twice *in the expression . Therefore, we have

Again, since each vertex has edges meeting it, the sum of the degrees of all the vertices is . But, since each edge meets exactly two vertices, each edge is ,again, counted *twice* in the expression . Therefore, we have

Now, using and in Euler’s formula, we eliminate and to obtain

,

which yields

Further, we note that a polygon must have *at least* three sides (else it’s not really a polygon!); therefore, In addition, it is easy to picture that *at least* three edges must meet a vertex (else a polyhedral angle at each vertex wouldn’t exist!); therefore, . But, note that and *both* cannot be greater than 3, for otherwise, the left hand side of equation cannot exceed whereas the right hand side of the equation exceeds .

So, finally, we have two cases to consider.

. Plugging this value of into equation , we find that the possible values of are or . This yields or , which correspond to the tetrahedron, cube and dodecahedron, respectively.

. Plugging this value of into equation , we find that the possible values of are again or . This yields or , which correspond to the tetrahedron, octahedron and icosahedron, respectively.

Hence, there exist no more than **five** platonic solids, *viz.* tetrahedron, cube, octahedron, dodecahedron and icosahedron. For each of those solids, the corresponding “(vertices, edges, faces)” triples are and , respectively.

I stole the picture below from here.

And this concludes our proof.

## Recent Comments