Platonic Solids, or, the power of...

65
Platonic Solids, or, the power of counting Keith Jones Pi Mu Epsilon Induction SUNY Oneonta April 2017

Transcript of Platonic Solids, or, the power of...

Page 1: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Platonic Solids,or, the power of counting

Keith Jones

Pi Mu Epsilon InductionSUNY Oneonta April 2017

Page 2: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato

, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,I all faces are regular polygons – straight, equal-length edges,I the same number of faces meet at each vertex, andI the solid is convex (no indentations).

Page 3: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato

, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,I all faces are regular polygons – straight, equal-length edges,I the same number of faces meet at each vertex, andI the solid is convex (no indentations).

Page 4: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,

I all faces are regular polygons – straight, equal-length edges,I the same number of faces meet at each vertex, andI the solid is convex (no indentations).

Page 5: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,I all faces are regular polygons – straight, equal-length edges,

I the same number of faces meet at each vertex, andI the solid is convex (no indentations).

Page 6: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,I all faces are regular polygons – straight, equal-length edges,I the same number of faces meet at each vertex, and

I the solid is convex (no indentations).

Page 7: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

What is a Platonic Solid?Named after, Plato, Platonic solids are polyhedrons (3-dimensionalobjects with flat faces and straight edges) satisfying:

I all faces are congruent – same size and shape,I all faces are regular polygons – straight, equal-length edges,I the same number of faces meet at each vertex, andI the solid is convex (no indentations).

Page 8: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Platonic Solids

1. The tetrahedron has 4 triangular faces, 6 edges, and 4 vertices:

Creative Commons: PCC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=38708

Page 9: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Platonic Solids

2. The cube or hexahedron has 6 square faces, 12 edges, and 8vertices:

Creative Commons: Kjell AndrÃľ, CC BY-SA 3.0,

https://commons.wikimedia.org/w/index.php?curid=38684

Page 10: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Platonic Solids

3. The octahedron has 8 triangular faces, 12 edges, and 6 vertices:

Creative Commons: Cyp, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=38705

Page 11: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Platonic Solids

4. The dodecahedron has 12 pentagonal faces, 30 edges, and 20vertices:

Creative Commons: CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=38656

Page 12: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Platonic Solids

5. The icosahedron has 20 triangular faces, 30 edges, and 12vertices:

Creative Commons: CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=38697

Page 13: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water)

(universe)

Page 14: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water)

(universe)

Page 15: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water)

(universe)

Page 16: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water)

(universe)

Page 17: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water)

(universe)

Page 18: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit of History...Plato linked the solids to the four elements in his text Timaeus(360 BC), which speculates on the nature of the physical world.

In 1509, Luca Pacioli wrote De Divina Proportione, which includeda discussion of the platonic solids, with sketches by his friendLeonardo De Vinci.

(fire) (earth) (air) (water) (universe)

Page 19: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Bit More History...

Johannes Kepler, in his MysteriumCosmographicum (1596),described a heliocentric model ofthe solar system, in which the fivePlatonic solids separated the sixknown planets (Mercury, Venus,Earth, Mars, Jupiter, and Saturn).

Page 20: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Why aren’t there other Platonic solids?

Is it just that these are the only ones we’ve found? Could it bethere are others out there waiting to be discovered?

If there really are only these five, how can we show that? How canwe prove that there can be no others?

Page 21: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Why aren’t there other Platonic solids?

Is it just that these are the only ones we’ve found? Could it bethere are others out there waiting to be discovered?

If there really are only these five, how can we show that? How canwe prove that there can be no others?

Page 22: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Euler Characteristic

Leonhard Euler (born April 15, 1707;Happy Birthday!) developed a way ofassigning a number χ to eachpolyhedron which captures some of itsgeometric properties.

This number χ is called the EulerCharacteristic in his honor.

Page 23: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Euler Characteristic

The Euler Characteristic χ for the surface a polyhedron with Ffaces, E edges, and V vertices is:

χ = F − E + V

or χ = F + V − E

Page 24: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The Euler Characteristic

The Euler Characteristic χ for the surface a polyhedron with Ffaces, E edges, and V vertices is:

χ = F − E + V or χ = F + V − E

Page 25: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

How to count edges and vertices

Suppose a solid has F faces, each face is an p-sided polygon, and qedges meet at each vertex.

Since there are p edges per face, but each edge connects 2 faces,there must be:

E =pF

2edges,

and since each edge connects 2 vertices, and there are q edges pervertex, there must be:

V =2Eq

vertices.

This is nicely summed up with pF = 2E = qV .

Page 26: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

How to count edges and vertices

Suppose a solid has F faces, each face is an p-sided polygon, and qedges meet at each vertex.

Since there are p edges per face, but each edge connects 2 faces,there must be:

E =pF

2edges,

and since each edge connects 2 vertices, and there are q edges pervertex, there must be:

V =2Eq

vertices.

This is nicely summed up with pF = 2E = qV .

Page 27: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

How to count edges and vertices

Suppose a solid has F faces, each face is an p-sided polygon, and qedges meet at each vertex.

Since there are p edges per face, but each edge connects 2 faces,there must be:

E =pF

2edges,

and since each edge connects 2 vertices, and there are q edges pervertex, there must be:

V =2Eq

vertices.

This is nicely summed up with pF = 2E = qV .

Page 28: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

How to count edges and vertices

Suppose a solid has F faces, each face is an p-sided polygon, and qedges meet at each vertex.

Since there are p edges per face, but each edge connects 2 faces,there must be:

E =pF

2edges,

and since each edge connects 2 vertices, and there are q edges pervertex, there must be:

V =2Eq

vertices.

This is nicely summed up with pF = 2E = qV .

Page 29: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 30: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 31: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2

I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 32: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron:

F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 33: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2

I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 34: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron:

F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 35: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2

I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 36: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron:

F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 37: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2

I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 38: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron:

F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 39: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 40: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Euler Characteristic (F + V − E ) of Platonic Solids

The Dodecahedron has 12 pentagonal faces (sop = 5 edges on each face), and q = 3 edges oneach vertex.

5 · 122

= 30 edges,2 · 303

= 20 vertices.

I dodecahedron: F = 12, E = 30, V = 20. χ = 2I tetrahedron: F = 4, E = 6, V = 4. χ = 2I hexahedron: F = 6, E = 12, V = 8. χ = 2I octahedron: F = 8, E = 12, V = 6. So χ = 2I icosahedron: F = 20, E = 30, V = 12. So χ = 2

In all cases, χ = 2! Why?

Page 41: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Theorem for the Euler Characteristic

For the surface of any convex polyhedron having F faces, E edges,and V vertices, χ = F + V − E = 2.

(“Convex” means any line segment joining two points on thepolyhedron lies completely inside it.)

This is known as Euler’s Polyhedron Formula.

Page 42: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Theorem for the Euler Characteristic

For the surface of any convex polyhedron having F faces, E edges,and V vertices, χ = F + V − E = 2.

(“Convex” means any line segment joining two points on thepolyhedron lies completely inside it.)

This is known as Euler’s Polyhedron Formula.

Page 43: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

A Theorem for the Euler Characteristic

For the surface of any convex polyhedron having F faces, E edges,and V vertices, χ = F + V − E = 2.

(“Convex” means any line segment joining two points on thepolyhedron lies completely inside it.)

This is known as Euler’s Polyhedron Formula.

Page 44: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Proving Euler’s Polyhedron Formula with Charges

I Position the polyhedron so that noedge is horizontal.

I There is one top vertex T , andone bottom vertex B .

I Place a “+” on each vertex orface, and a “− ” on each edge.

I If a charge has a face immediatelycounterclockwise (viewed from thetop), push it onto that face.(Charges in front go left; chargesin back go right.)

I T and V have no face, all othersdo. On each face, the sum is 0.

T

B

+

+

Page 45: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Proving Euler’s Polyhedron Formula with Charges

I Position the polyhedron so that noedge is horizontal.

I There is one top vertex T , andone bottom vertex B .

I Place a “+” on each vertex orface, and a “− ” on each edge.

I If a charge has a face immediatelycounterclockwise (viewed from thetop), push it onto that face.(Charges in front go left; chargesin back go right.)

I T and V have no face, all othersdo. On each face, the sum is 0.

T

B

+

+

+

+

++

+ +

+ +

−−

Page 46: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Proving Euler’s Polyhedron Formula with Charges

I Position the polyhedron so that noedge is horizontal.

I There is one top vertex T , andone bottom vertex B .

I Place a “+” on each vertex orface, and a “− ” on each edge.

I If a charge has a face immediatelycounterclockwise (viewed from thetop), push it onto that face.(Charges in front go left; chargesin back go right.)

I T and V have no face, all othersdo. On each face, the sum is 0.

T

B

+

+

+

+

++

+ +

+ +

−−

Page 47: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Proving Euler’s Polyhedron Formula with Charges

I Position the polyhedron so that noedge is horizontal.

I There is one top vertex T , andone bottom vertex B .

I Place a “+” on each vertex orface, and a “− ” on each edge.

I If a charge has a face immediatelycounterclockwise (viewed from thetop), push it onto that face.(Charges in front go left; chargesin back go right.)

I T and V have no face, all othersdo. On each face, the sum is 0.

T

B

+

+

++

+ +

+ +

−−

Page 48: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Proving Euler’s Polyhedron Formula with Charges

I Position the polyhedron so that noedge is horizontal.

I There is one top vertex T , andone bottom vertex B .

I Place a “+” on each vertex orface, and a “− ” on each edge.

I If a charge has a face immediatelycounterclockwise (viewed from thetop), push it onto that face.(Charges in front go left; chargesin back go right.)

I T and V have no face, all othersdo. On each face, the sum is 0.

T

B

+

+

++

+ +

+ +

−−

Page 49: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

There Can Be Only Five!

How do we know these are the only five platonic solids?

From Euler’s Characteristic Formula, we know thatF + V − E = 2 > 0.

If each face meets p edges, and each vertex meets q edges, we canwrite

F =2Ep

and V =2Eq.

So we have2Ep

+2Eq

− E = 2 > 0.

Page 50: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

There Can Be Only Five!

How do we know these are the only five platonic solids?

From Euler’s Characteristic Formula, we know thatF + V − E = 2 > 0.

If each face meets p edges, and each vertex meets q edges, we canwrite

F =2Ep

and V =2Eq.

So we have2Ep

+2Eq

− E = 2 > 0.

Page 51: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

There Can Be Only Five!

How do we know these are the only five platonic solids?

From Euler’s Characteristic Formula, we know thatF + V − E = 2 > 0.

If each face meets p edges, and each vertex meets q edges, we canwrite

F =2Ep

and V =2Eq.

So we have2Ep

+2Eq

− E = 2 > 0.

Page 52: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

There Can Be Only Five!

How do we know these are the only five platonic solids?

From Euler’s Characteristic Formula, we know thatF + V − E = 2 > 0.

If each face meets p edges, and each vertex meets q edges, we canwrite

F =2Ep

and V =2Eq.

So we have2Ep

+2Eq

− E = 2 > 0.

Page 53: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Continuing the calculation...

2Ep

+2Eq

− E > 0

1p+

1q− 1

2> 0

1p+

1q

>12

Now, p and q must both be larger than 2.

Page 54: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Continuing the calculation...

2Ep

+2Eq

− E > 0

1p+

1q− 1

2> 0

1p+

1q

>12

Now, p and q must both be larger than 2.

Page 55: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Continuing the calculation...

2Ep

+2Eq

− E > 0

1p+

1q− 1

2> 0

1p+

1q

>12

Now, p and q must both be larger than 2.

Page 56: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Continuing the calculation...

2Ep

+2Eq

− E > 0

1p+

1q− 1

2> 0

1p+

1q

>12

Now, p and q must both be larger than 2.

Page 57: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The only possible (p, q) pairs:

I p = 3, q = 3 — 13 + 1

3 — Tetrahedron —

I p = 4, q = 3 — 14 + 1

3 — Hexahedron —

I p = 3, q = 4 — 13 + 1

4 — Octahedron —

I p = 5, q = 3 — 15 + 1

3 — Dodecahedron —

I p = 3, q = 5 — 13 + 1

5 — Icosahedron —

Page 58: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The only possible (p, q) pairs:

I p = 3, q = 3 — 13 + 1

3 — Tetrahedron —

I p = 4, q = 3 — 14 + 1

3 — Hexahedron —

I p = 3, q = 4 — 13 + 1

4 — Octahedron —

I p = 5, q = 3 — 15 + 1

3 — Dodecahedron —

I p = 3, q = 5 — 13 + 1

5 — Icosahedron —

Page 59: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The only possible (p, q) pairs:

I p = 3, q = 3 — 13 + 1

3 — Tetrahedron —

I p = 4, q = 3 — 14 + 1

3 — Hexahedron —

I p = 3, q = 4 — 13 + 1

4 — Octahedron —

I p = 5, q = 3 — 15 + 1

3 — Dodecahedron —

I p = 3, q = 5 — 13 + 1

5 — Icosahedron —

Page 60: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The only possible (p, q) pairs:

I p = 3, q = 3 — 13 + 1

3 — Tetrahedron —

I p = 4, q = 3 — 14 + 1

3 — Hexahedron —

I p = 3, q = 4 — 13 + 1

4 — Octahedron —

I p = 5, q = 3 — 15 + 1

3 — Dodecahedron —

I p = 3, q = 5 — 13 + 1

5 — Icosahedron —

Page 61: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

The only possible (p, q) pairs:

I p = 3, q = 3 — 13 + 1

3 — Tetrahedron —

I p = 4, q = 3 — 14 + 1

3 — Hexahedron —

I p = 3, q = 4 — 13 + 1

4 — Octahedron —

I p = 5, q = 3 — 15 + 1

3 — Dodecahedron —

I p = 3, q = 5 — 13 + 1

5 — Icosahedron —

Page 62: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

My Favorite Modern Application of Platonic SolidsBecause they make great dice, many modern board games useregular polyhedra for dice. So if you want your own set of platonicsolids, you have options in many materials, colors, and designs.

Page 63: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Can you spot the non-platonic solid?

Page 64: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

Print, Cut, and Fold Your Own Platonic Solids!

Visit http://www.learner.org/interactives/geometry/platonic.html For Print and Fold instructions to

make your own Platonic Solids!

Page 65: Platonic Solids, or, the power of countingemployees.oneonta.edu/joneskm/files/pimuepsilon2017.pdfProving Euler’s Polyhedron Formula with Charges. I. Positionthepolyhedronsothatno

References

I Frank J. Swetz (The Pennsylvania State University), “Leonardo da Vinci’s Geometric Sketches,”Convergence (June 2010), DOI:10.4169/loci002559

I John Baez. “Who Discovered the Icosahedron?," Retrieved from:http://math.ucr.edu/home/baez/icosahedron/1.html

I George W. Hart. “Johannes Kepler’s Polyhedra,” Retrieved from:http://www.georgehart.com/virtual-polyhedra/kepler.html

I Twenty Proofs of Euler’s Formula. https://www.ics.uci.edu/~eppstein/junkyard/euler/

I A ton of great information can be found on WikipediA at:I https://en.wikipedia.org/wiki/Platonic_solidI https://en.wikipedia.org/wiki/Mysterium_CosmographicumI https://en.wikipedia.org/wiki/Euler_characteristic

Thank you!