# 7.5: Platonic Solids

- Page ID
- 9867

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Of course, we live in a three-dimensional world (at least!), so only studying flat geometry doesn’t make a lot of sense. Why not think about some three-dimensional objects as well?

A **polyhedron** is a solid (3-dimensional) figure bounded by polygons. A polyhedron has** faces **that are flat polygons, straight **edges **where the faces meet in pairs, and **vertices** where three or more edges meet.

The plural of polyhedron is **polyhedra.**

Look at the pictures of solids below, and decide which are polyhedra and which are not. You should be able to say why each figure does or does not fit the definition.

^{[1]}

^{[2] }

^{[3]}

^{[4]}

^{[5]}

^{[6]}

^{[7]}

^{[8]}

^{[9]}

Remember that a *regular polygon* has all sides the same length and all angles the same measure. There is a similar (if slightly more complicated) notion of *regular *for solid figures.

A r**egular polyhedron** has faces that are all *identical (congruent) regular polygons*. All vertices are also identical (the same number of faces meet at each vertex).

Regular polyhedra are also called **Platonic solids** (named for Plato).

If you fix the number of sides and their length, there is one and only one regular polygon with that number of sides. That is, every regular quadrilateral is a square, but there can be different sized squares. Every regular octagon looks like a stop sign, but it may be scaled up or down. Your job in this section is to figure out what we can say about regular polyhedra.

## On Your Own

Work on the following exercises on your own or with a partner. You will need to make lots of copies of the regular polygons below. Copy and cut out at least:

- 40 copies of the equilateral triangle,
- 15 copies of the square,
- 20 copies of the regular pentagon, and
- 10 copies each of the hexagon, heptagon, and octagon.

You will also need some tape.

- In any polyhedron, at least three polygons meet at each vertex. Start with the equilateral triangles: Put
**three**of them together meeting at a vertex and tape them together. Then close them up so they form a solid shape. Can you complete this shape into a platonic solid? Be sure to check that at every vertex you have**exactly three**triangles meeting. - Now repeat this process, but start with
**four**equilateral triangles around a single vertex. Then close them up so they form a solid shape. Can you complete this into a platonic solid? Be sure to check that at every vertex you have**exactly four**triangles meeting. - Repeat this process with
**five**equilateral triangles, then six, then seven, and so on. Keep going until you are convinced you understand what’s happening with Platonic solids that have triangular faces. - When you are done with triangular faces, move on to square faces. Work systematically: Try to build a Platonic solid with three squares at each vertex, then four, then five, etc. Keep going until you can make a definitive statement about Platonic solids with square faces.
- Repeat this process with the other regular polygons you cut out: pentagons, hexagons, heptagons, and octagons.

You must have noticed that the situation for Platonic solids is quite different from the situation for regular polygons. There are *infinitely **many *regular polygons (even if you don’t account for size). There is a regular polygon with *n* sides for every value of *n* bigger than 2. But for solids, we have the following (perhaps surprising) result.

There are exactly five Platonic solids.

The key fact is that for a three-dimensional solid to close up and form a polyhedron, there must be less than 360° around each vertex. Otherwise, it either lies flat (if there is exactly 360°) or folds over on itself (if there is more than 360°).

Based on your work in the exercises, you should be able to write a convincing justification of the Theorem above. Here’s a sketch, and you should fill in the explanations.

- If a Platonic solid has faces that are equilateral triangles, then fewer than 6 faces must meet at each vertex. Why?
- If a Platonic solid has square faces, then three faces can meet at each vertex, but not more than that. Why?
- If a Platonic solid has faces that are regular pentagons, then three faces can meet at each vertex, but not more than that. Why?
- Regular hexagons cannot be used as the faces for a Platonic solid. Why?
- Similarly, regular
*n*-gons for*n*bigger than 6 cannot be used as the faces for a Platonic solid. Why?

- Image by Tom Ruen [Public domain], via Wikimedia Commons
__↵__ - Image via pixababy.com, CC0 Creative Commons license.
__↵__ - Image by Aldoaldoz (Own work) [CC BY-SA 3.0, via Wikimedia Commons.
__↵__ - Image by By Thinkingarena (Own work) [
__CC BY-SA 4.0__], via Wikimedia Commons__↵__ - Image by Robert Webb's
__Stella software__:__http://www.software3d.com/Stella.php__, via Wikimedia Commons.__↵__ - Image DTR
__CC-BY-SA-3.0__], via Wikimedia Commons__↵__ - Imgae by Stephen.G.McAteer (Own work) [
__CC BY-SA 3.0__], via Wikimedia Commons.__↵__ - Imgae via Wikimedia Commons [Public domain].
__↵__ - Image by self [
__CC BY-SA 3.0__], via Wikimedia Commons.__↵__