the many facets of polyhedra - university of kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. ·...
TRANSCRIPT
![Page 1: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/1.jpg)
The Many Facets of Polyhedra
Carl LeeUniversity of Kentucky
Ohio Section of the MAA — March 2015
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 1 / 58
![Page 2: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/2.jpg)
Let’s Build!
Using a construction set like Polydron, construct some physicalclosed “solids”.
What did you make?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 2 / 58
![Page 3: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/3.jpg)
Let’s Build!
Using a construction set like Polydron, construct some physicalclosed “solids”.
What did you make?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 2 / 58
![Page 4: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/4.jpg)
Inspiration
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 3 / 58
![Page 5: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/5.jpg)
Inspiration
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 4 / 58
![Page 6: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/6.jpg)
Inspiration
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 5 / 58
![Page 7: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/7.jpg)
Construction
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 6 / 58
![Page 8: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/8.jpg)
PolyhedraA convex polytope P is the convex hull of (smallest convex setcontaining) a finite set of points in Rd .
Example: Cube
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 7 / 58
![Page 9: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/9.jpg)
Nets
We commonly make non-overlapping nets for three-dimensionalpolytopes (cutting along the edges) but it has not been proven thatthis is possible for every polytope.
However, if we allow cutting across faces, then it is always possible tomake a non-overlapping net.
Wonderful video by Eric Demaine to show the complexity of such a“simple” idea:http://erikdemaine.org/metamorphosis
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 8 / 58
![Page 10: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/10.jpg)
Virtual Constructions
SketchUp exampleshttp://www.sketchup.com (Free!)
Cube
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 9 / 58
![Page 11: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/11.jpg)
Virtual ConstructionsSketchUp examples
PyramidCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 10 / 58
![Page 12: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/12.jpg)
Virtual ConstructionsSketchUp examples
Polyhedral PuzzleCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 11 / 58
![Page 13: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/13.jpg)
Virtual ConstructionsSketchUp examples
Polyhedral PuzzleCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 12 / 58
![Page 14: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/14.jpg)
Virtual ConstructionsSketchUp examples
Polyhedral PuzzleCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 13 / 58
![Page 15: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/15.jpg)
Virtual ConstructionsSketchUp examples
Polyhedral PuzzleCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 14 / 58
![Page 16: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/16.jpg)
Virtual ConstructionsSketchUp examples
Polyhedral PuzzleCarl Lee (UK) The Many Facets of Polyhedra Ohio MAA 15 / 58
![Page 17: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/17.jpg)
3D Printed ConstructionsNow just send the files to the 3D printer!For example, export to Makerbot Desktop,http://www.makerbot.com/desktop (Also free!)
Polyhedral Puzzle
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 16 / 58
![Page 18: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/18.jpg)
Other Virtual and 3D Printing Construction
Software
Tinkercad, https://www.tinkercad.com
123D Catch, http://www.123dapp.com/catch
123D Design, http://www.123dapp.com/design
OpenSCAD, http://www.openscad.org
Blender, http://www.blender.org
POV-Ray, http://www.povray.org
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 17 / 58
![Page 19: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/19.jpg)
Properties
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 18 / 58
![Page 20: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/20.jpg)
Back to Polytopes!
Two ways to describe polytopes:
By their vertices
By their defining inequalities
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 19 / 58
![Page 21: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/21.jpg)
Two Descriptions
The cube is the convex hull of its vertices
(0, 0, 0)(0, 0, 1)(0, 1, 0)(0, 1, 1)(1, 0, 0)(1, 0, 1)(1, 1, 0)(1, 1, 1)
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 20 / 58
![Page 22: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/22.jpg)
Two Descriptions
The cube is defined by the inequalities
x ≥ 0x ≤ 1y ≥ 0y ≤ 1z ≥ 0z ≤ 1
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 21 / 58
![Page 23: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/23.jpg)
Hypercubes—A Peek into the Fourth Dimension
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 22 / 58
![Page 24: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/24.jpg)
HypercubesThe hypercube (4-dimensional cube) is the convex hull of its vertices
(0, 0, 0, 0)(0, 0, 0, 1)(0, 0, 1, 0)(0, 0, 1, 1)(0, 1, 0, 0)(0, 1, 0, 1)(0, 1, 1, 0)(0, 1, 1, 1)(1, 0, 0, 0)(1, 0, 0, 1)(1, 1, 1, 0)(1, 0, 1, 1)(1, 1, 0, 0)(1, 1, 0, 1)(1, 1, 1, 0)(1, 1, 1, 1)
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 23 / 58
![Page 25: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/25.jpg)
Hypercubes
The hypercube is defined by the inequalities
x1 ≥ 0x1 ≤ 1x2 ≥ 0x2 ≤ 1x3 ≥ 0x3 ≤ 1x4 ≥ 0x4 ≤ 1
(The algebra may seem prosaic but the object is neverthelessentrancing.)
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 24 / 58
![Page 26: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/26.jpg)
Hypercubes
The hypercube is defined by the inequalities
x1 ≥ 0x1 ≤ 1x2 ≥ 0x2 ≤ 1x3 ≥ 0x3 ≤ 1x4 ≥ 0x4 ≤ 1
(The algebra may seem prosaic but the object is neverthelessentrancing.)
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 24 / 58
![Page 27: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/27.jpg)
Two DescriptionsThis result lends itself to practical considerations when constructingpolytopes.For example, POV-Ray can use either description. Seehttp://www.ms.uky.edu/~lee/visual05/povray/pyramid1.pov
andhttp://www.ms.uky.edu/~lee/visual05/povray/pyramid2.pov
each of which constructs this image:
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 25 / 58
![Page 28: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/28.jpg)
Two Descriptions
But this suggests an important computational question: How can youconvert from one description to the other?This is an example of a question in computational geometry.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 26 / 58
![Page 29: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/29.jpg)
Possibilities
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 27 / 58
![Page 30: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/30.jpg)
What Three-Dimensional Polytopes Can We Make?
Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 31: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/31.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 32: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/32.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.
The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 33: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/33.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.
Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 34: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/34.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)
But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 35: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/35.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.
If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 36: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/36.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 37: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/37.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.
The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 38: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/38.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.
Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 39: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/39.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.
SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 40: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/40.jpg)
What Three-Dimensional Polytopes Can We Make?Let’s agree to avoid coplanar faces.
Convex polytopes made out of equilateral triangles.The deltahedra.Possible numbers of triangles: 4, 6, 8, 10, 12, 14, 16, 18, 20.(Why even?—Let’s shake hands on it.)But 18 is missing — a geometric limitation, not a combinatoriallimitation.If we are allowed to use any triangles, then we can achieve anyeven integer greater than or equal to 4.
Convex polytopes with congruent regular polygons as faces, andthe same number meeting at each vertex.The Platonic solids.Argue by angles that only five are possible; then prove that thesefive exist.SketchUp can help here!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 28 / 58
![Page 41: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/41.jpg)
What Three-Dimensional Polytopes Can We Make?
Convex polytopes with regular polygons as faces, with at leasttwo different types, but the same circular sequence of facesmeeting at each vertex.
The semiregular solids (well, almost. . . )These are the Archimedean solids, prisms, and antiprisms.
Convex polytopes made out of regular polygons, apart from thePlatonic and semiregular solids.The Johnson solids.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 29 / 58
![Page 42: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/42.jpg)
What Three-Dimensional Polytopes Can We Make?
Convex polytopes with regular polygons as faces, with at leasttwo different types, but the same circular sequence of facesmeeting at each vertex.The semiregular solids (well, almost. . . )These are the Archimedean solids, prisms, and antiprisms.
Convex polytopes made out of regular polygons, apart from thePlatonic and semiregular solids.The Johnson solids.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 29 / 58
![Page 43: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/43.jpg)
What Three-Dimensional Polytopes Can We Make?
Convex polytopes with regular polygons as faces, with at leasttwo different types, but the same circular sequence of facesmeeting at each vertex.The semiregular solids (well, almost. . . )These are the Archimedean solids, prisms, and antiprisms.
Convex polytopes made out of regular polygons, apart from thePlatonic and semiregular solids.
The Johnson solids.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 29 / 58
![Page 44: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/44.jpg)
What Three-Dimensional Polytopes Can We Make?
Convex polytopes with regular polygons as faces, with at leasttwo different types, but the same circular sequence of facesmeeting at each vertex.The semiregular solids (well, almost. . . )These are the Archimedean solids, prisms, and antiprisms.
Convex polytopes made out of regular polygons, apart from thePlatonic and semiregular solids.The Johnson solids.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 29 / 58
![Page 45: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/45.jpg)
What Three-Dimensional Polytopes Can We Make?Platonic (Regular) Convex Polyhedra
Semiregular Convex Polyhedra
(Images from Wikipedia)
Tetrahedron {3, 3} Cube {4, 3} Octahedron {3, 4} Dodecahedron {5, 3} Icosahedron {3, 5}
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 30 / 58
![Page 46: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/46.jpg)
Limitations
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 31 / 58
![Page 47: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/47.jpg)
Counting Vertices, Edges, and Faces
Where geometry meets discrete math.
Let’s count the number of vertices, V , edges, E , and faces, F , of athree-dimensional polytope, and write as a list (V ,E ,F ), called theface-vector.
We can extend this idea to counting the elements of higherdimensional polytopes as well.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 32 / 58
![Page 48: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/48.jpg)
Counting Vertices, Edges, and Faces
Where geometry meets discrete math.
Let’s count the number of vertices, V , edges, E , and faces, F , of athree-dimensional polytope, and write as a list (V ,E ,F ), called theface-vector.
We can extend this idea to counting the elements of higherdimensional polytopes as well.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 32 / 58
![Page 49: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/49.jpg)
Counting Vertices, Edges, and FacesExample:
Cube. (8, 12, 6).
Hypercube. (16, 32, 24, 8).
Question: What are the possible face-vectors of polytopes?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 33 / 58
![Page 50: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/50.jpg)
Counting Vertices, Edges, and FacesExample:
Cube. (8, 12, 6).
Hypercube. (16, 32, 24, 8).
Question: What are the possible face-vectors of polytopes?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 33 / 58
![Page 51: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/51.jpg)
Counting Vertices, Edges, and FacesExample:
Cube. (8, 12, 6).
Hypercube. (16, 32, 24, 8).
Question: What are the possible face-vectors of polytopes?Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 33 / 58
![Page 52: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/52.jpg)
Three-Dimensional Polytopes
Theorem (Euler’s Relation)
V − E + F = 2 for convex 3-polytopes.
Example: Cube. 8 − 12 + 6 = 2.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 34 / 58
![Page 53: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/53.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 54: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/54.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 55: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/55.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 56: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/56.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 57: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/57.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 58: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/58.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 59: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/59.jpg)
Three-Dimensional Polytopes
Sketch of proof: Sweep the polytope with a plane in generaldirection. (Think of immersing in water.) Count vertices, edges, andpolygons only when fully swept (under water). Watch howχ = V − E + F changes when the plane hits each vertex.
Initially χ = 0.
Bottom vertex. χ changes by 1 − 0 + 0 = 1.
Intermediate vertex with k incident lower edges. There are k − 1faces between these k edges. χ changes by 1 − k + (k − 1) = 0.
Top vertex. If its degree is k , there are k faces between these kedges. So χ changes by 1 − k + k = 1.
Total change in χ is therefore 2.
Note: This proof technique generalizes to higher dimensions.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 35 / 58
![Page 60: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/60.jpg)
Three-Dimensional Polytopes
Other necessary conditions:
V ,E ,F are positive integers.
What else?
Theorem (Steinitz)
A positive integer vector (V ,E ,F ) is the face-vector of a 3-polytopeif and only if the following conditions hold.
V − E + F = 2,
V ≤ 2F − 4, and
F ≤ 2V − 4.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 36 / 58
![Page 61: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/61.jpg)
Three-Dimensional Polytopes
Other necessary conditions:
V ,E ,F are positive integers.
What else?
Theorem (Steinitz)
A positive integer vector (V ,E ,F ) is the face-vector of a 3-polytopeif and only if the following conditions hold.
V − E + F = 2,
V ≤ 2F − 4, and
F ≤ 2V − 4.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 36 / 58
![Page 62: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/62.jpg)
Three-Dimensional Polytopes
Other necessary conditions:
V ,E ,F are positive integers.
What else?
Theorem (Steinitz)
A positive integer vector (V ,E ,F ) is the face-vector of a 3-polytopeif and only if the following conditions hold.
V − E + F = 2,
V ≤ 2F − 4, and
F ≤ 2V − 4.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 36 / 58
![Page 63: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/63.jpg)
Three-Dimensional Polytopes
Other necessary conditions:
V ,E ,F are positive integers.
What else?
Theorem (Steinitz)
A positive integer vector (V ,E ,F ) is the face-vector of a 3-polytopeif and only if the following conditions hold.
V − E + F = 2,
V ≤ 2F − 4, and
F ≤ 2V − 4.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 36 / 58
![Page 64: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/64.jpg)
The World of Three-Dimensional Polytopes(Here, V is labeled f0 and F is labeled f2.) Think about how toconstruct representatives of each face-vector!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 37 / 58
![Page 65: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/65.jpg)
Four-Dimensional Polytopes
What is the characterization of face-vectors of 4-polytopes?
We don’t know!—It’s an area of active researchBut there are some partial results.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 38 / 58
![Page 66: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/66.jpg)
Four-Dimensional Polytopes
What is the characterization of face-vectors of 4-polytopes?
We don’t know!—It’s an area of active research
But there are some partial results.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 38 / 58
![Page 67: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/67.jpg)
Four-Dimensional Polytopes
What is the characterization of face-vectors of 4-polytopes?
We don’t know!—It’s an area of active researchBut there are some partial results.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 38 / 58
![Page 68: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/68.jpg)
The Amazing Power of Euler
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 39 / 58
![Page 69: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/69.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 70: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/70.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!
≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 71: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/71.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·
= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 72: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/72.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 73: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/73.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·
≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 74: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/74.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·
= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 75: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/75.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 76: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/76.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F
2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 77: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/77.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 78: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/78.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V
2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 79: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/79.jpg)
Steinitz’s InequalitiesLet’s do a little more math.Let Fi be the number of faces with i edges.Let Vi be the number of vertices incident to i edges.
2E = 3F3 + 4F4 + 5F5 + · · · Take it apart!≥ 3F3 + 3F4 + 3F5 + · · ·= 3F
2E = 3V3 + 4V4 + 5V5 + · · ·≥ 3V3 + 3V4 + 3V5 + · · ·= 3V
2V + 2F − 4 = 2E ≥ 3F2V − 4 ≥ F
2V + 2F − 4 = 2E ≥ 3V2F − 4 ≥ V
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 40 / 58
![Page 80: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/80.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 81: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/81.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E
6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 82: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/82.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 83: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/83.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E
= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 84: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/84.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 85: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/85.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 86: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/86.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 87: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/87.jpg)
But Wait! There’s More!6 = 3V − 3E + 3F
≤ 3V − 3E + 2E6 ≤ 3V − E
12 ≤ 6F − 2E= 6(F3 + F4 + F5 + · · · ) − (3F3 + 4F4 + 5F5 + · · · )
12 ≤ 3F3 + 2F4 + F5 + 0F6 − F7 − 2F8 − · · ·
TheoremEvery polytope must have at least one triangle, quadrilateral, orpentagon as a face.
In a similar way
TheoremEvery polytope must have at least one vertex of degree 3, 4, or 5.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 41 / 58
![Page 88: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/88.jpg)
Fullerenes
Carbon compounds forming spheres of pentagons and hexagons withevery vertex of degree 3.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 42 / 58
![Page 89: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/89.jpg)
Fullerenes
3V = 2E = 5F5 + 6F6 = 6F − F5
6V − 6E + 6F = 12
4E − 6E + 2E + F5 = 12
F5 = 12
TheoremEvery fullerene must have exactly 12 pentagons.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 43 / 58
![Page 90: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/90.jpg)
Fullerenes
3V = 2E = 5F5 + 6F6 = 6F − F5
6V − 6E + 6F = 12
4E − 6E + 2E + F5 = 12
F5 = 12
TheoremEvery fullerene must have exactly 12 pentagons.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 43 / 58
![Page 91: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/91.jpg)
Fullerenes
3V = 2E = 5F5 + 6F6 = 6F − F5
6V − 6E + 6F = 12
4E − 6E + 2E + F5 = 12
F5 = 12
TheoremEvery fullerene must have exactly 12 pentagons.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 43 / 58
![Page 92: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/92.jpg)
Fullerenes
3V = 2E = 5F5 + 6F6 = 6F − F5
6V − 6E + 6F = 12
4E − 6E + 2E + F5 = 12
F5 = 12
TheoremEvery fullerene must have exactly 12 pentagons.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 43 / 58
![Page 93: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/93.jpg)
Fullerenes
3V = 2E = 5F5 + 6F6 = 6F − F5
6V − 6E + 6F = 12
4E − 6E + 2E + F5 = 12
F5 = 12
TheoremEvery fullerene must have exactly 12 pentagons.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 43 / 58
![Page 94: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/94.jpg)
Symmetry
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 44 / 58
![Page 95: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/95.jpg)
Regular PolygonsWhat about its symmetries makes a polygon regular?
Choose any two vertex-edge pairs (v , e) and (v ′, e ′) such that v is anendpoint of e and v ′ is an endpoint of e ′.Then there is a symmetry of the polygon that maps (v , e) to (v ′, e ′).That is to say, the symmetry group of a regular polygon isflag-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 45 / 58
![Page 96: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/96.jpg)
Regular PolygonsWhat about its symmetries makes a polygon regular?
Choose any two vertex-edge pairs (v , e) and (v ′, e ′) such that v is anendpoint of e and v ′ is an endpoint of e ′.Then there is a symmetry of the polygon that maps (v , e) to (v ′, e ′).That is to say, the symmetry group of a regular polygon isflag-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 45 / 58
![Page 97: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/97.jpg)
Regular Polygons
Can you think of some polygons whose symmetry groups are
Vertex transitive but not edge transitive?
Edge transitive but not vertex transitive?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 46 / 58
![Page 98: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/98.jpg)
Platonic Solids
What about its symmetries characterizes a Platonic solid?
Choose any two vertex-edge-face triples (v , e, f ) and (v ′, e ′, f ′) suchthat v is an endpoint of e and e is an edge of f , and also v ′ is anendpoint of e ′ and e ′ is an edge of f ′.Then there is a symmetry of the polytope that maps (v , e, f ) to(v ′, e ′, f ′).That is to say, the symmetry group of a Platonic solid isflag-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 47 / 58
![Page 99: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/99.jpg)
Platonic Solids
What about its symmetries characterizes a Platonic solid?
Choose any two vertex-edge-face triples (v , e, f ) and (v ′, e ′, f ′) suchthat v is an endpoint of e and e is an edge of f , and also v ′ is anendpoint of e ′ and e ′ is an edge of f ′.Then there is a symmetry of the polytope that maps (v , e, f ) to(v ′, e ′, f ′).That is to say, the symmetry group of a Platonic solid isflag-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 47 / 58
![Page 100: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/100.jpg)
Regular Polytopes in Higher Dimensions
This notion of regularity extends naturally into higher dimensions.
In four dimensions there are 6 regular polytopes.
In five and higher dimensions there are only 3.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 48 / 58
![Page 101: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/101.jpg)
Regular Polytopes
Can you think of some three-dimensional polytopes whose symmetrygroups are
Vertex transitive only?
Edge transitive only?
Face transitive only?
Vertex-edge transitive?
Edge-face transitive?
Vertex-face transitive?
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 49 / 58
![Page 102: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/102.jpg)
Semiregular SolidsWhat about its symmetries characterizes a semiregular solid?
Every face is a regular polygon, and
The symmetry group of the semiregular solid is vertex-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 50 / 58
![Page 103: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/103.jpg)
Semiregular SolidsWhat about its symmetries characterizes a semiregular solid?
Every face is a regular polygon, and
The symmetry group of the semiregular solid is vertex-transitive.
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 50 / 58
![Page 104: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/104.jpg)
Shadows of the Fourth Dimension
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 51 / 58
![Page 105: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/105.jpg)
Projection of a Cube
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 52 / 58
![Page 106: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/106.jpg)
Projection of a Hypercube
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 53 / 58
![Page 107: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/107.jpg)
Projection of a Hypercube
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 54 / 58
![Page 108: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/108.jpg)
Projection of Many Hypercubes
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 55 / 58
![Page 109: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/109.jpg)
Delete Half the Edges
Diamond crystal!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 56 / 58
![Page 110: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/110.jpg)
Delete Half the Edges
Diamond crystal!
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 56 / 58
![Page 111: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/111.jpg)
Ubiquity and Beauty
See accompanying powerpoint
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 57 / 58
![Page 112: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/112.jpg)
Ubiquity and BeautySee accompanying powerpoint
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 57 / 58
![Page 113: The Many Facets of Polyhedra - University of Kentuckylee/ohio15/polytopes.pdf · 2015. 3. 25. · The Many Facets of Polyhedra Carl Lee University of Kentucky Ohio Section of the](https://reader036.vdocuments.us/reader036/viewer/2022071510/612eaecd1ecc51586942f7d1/html5/thumbnails/113.jpg)
Image Sources
Cundy and Rollett: http://www.amazon.com/
Mathmatical-Models-Second-Martyn-Cundy/dp/B00KK5GFQ8/
ref=sr_1_12?ie=UTF8&qid=1427234942&sr=8-12&keywords=
cundy+rollett
Holden: http://www.amazon.com/
Shapes-Space-Symmetry-Dover-Mathematics/dp/0486268519
Fullerenes: http://www.miqel.com/images_1/random_image/
odd/fullerines_mixed.jpg
Dodecahedron: http://upload.wikimedia.org/wikipedia/
commons/e/e0/Dodecahedron.jpg
Soccer ball: http://stuffyoudontwant.com/wp-content/
uploads/2011/10/soccer-ball.jpg
Carl Lee (UK) The Many Facets of Polyhedra Ohio MAA 58 / 58