Difference between revisions of "Platonic solid"
(asys will finish later) |
m (temp save) |
||
| Line 1: | Line 1: | ||
A '''Platonic solid''' is a [[polyhedron]], or 3 dimensional figure, in which all [[face]]s are [[congruent (geometry)|congruent]] [[regular polygon]]s such that the same number of faces meet at each [[vertex]]. There are five such solids: the [[cube (geometry) | cube]] (regular [[hexahedron]]), the regular [[tetrahedron]], the regular [[octahedron]], the regular [[dodecahedron]], and the regular [[icosahedron]]. | A '''Platonic solid''' is a [[polyhedron]], or 3 dimensional figure, in which all [[face]]s are [[congruent (geometry)|congruent]] [[regular polygon]]s such that the same number of faces meet at each [[vertex]]. There are five such solids: the [[cube (geometry) | cube]] (regular [[hexahedron]]), the regular [[tetrahedron]], the regular [[octahedron]], the regular [[dodecahedron]], and the regular [[icosahedron]]. | ||
| + | |||
| + | The tetrahedron has four faces, all of which are [[triangle]]s. It also has four vertices and six edges. Three faces meet at each vertex. | ||
The cube has six faces, all of which are [[square (geometry) | square]]s. It also has eight vertices and twelve [[edge | edges]]. Three faces meet at each vertex. | The cube has six faces, all of which are [[square (geometry) | square]]s. It also has eight vertices and twelve [[edge | edges]]. Three faces meet at each vertex. | ||
| − | |||
| − | |||
The octahedron has eight faces, all of which are triangles. It also has six vertices and twelve edges. Four faces meet at each vertex. | The octahedron has eight faces, all of which are triangles. It also has six vertices and twelve edges. Four faces meet at each vertex. | ||
| Line 13: | Line 13: | ||
It is easy to verify that all five Platonic solids satisfy [[Euler's polyhedral formula]]. | It is easy to verify that all five Platonic solids satisfy [[Euler's polyhedral formula]]. | ||
| − | + | <center> | |
| + | <!-- labeling: for(int i = 0; i < P.length; ++i) label("" + ((string) i), P[i], N); --> | ||
<asy>import three; currentprojection = orthographic(-1.2,-1.5,1.4); | <asy>import three; currentprojection = orthographic(-1.2,-1.5,1.4); | ||
triple[] P = {(1,1,1),(-1,-1,1),(-1,1,-1),(1,-1,-1)}; | triple[] P = {(1,1,1),(-1,-1,1),(-1,1,-1),(1,-1,-1)}; | ||
| Line 23: | Line 24: | ||
draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | ||
| − | drawFrontFace(0,3,2);drawBackFace(0,1,3);drawBackFace(0,2,3);drawBackFace(1,2,3); </asy> | + | drawFrontFace(0,3,2);drawBackFace(0,1,3);drawBackFace(0,2,3);drawBackFace(1,2,3); |
| − | <asy>import three; currentprojection = orthographic(5,-6,4);draw( | + | </asy> <asy> |
| − | <asy> | + | import three; currentprojection = orthographic(5,-6,4); |
| + | triple[] P = {(0,0,0),(1,0,0),(1,1,0),(0,1,0),(0,0,1),(1,0,1),(1,1,1),(0,1,1)}; | ||
| + | |||
| + | void drawFrontFace(int w, int x, int y, int z){ | ||
| + | draw(P[w]--P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); | ||
| + | /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } | ||
| + | void drawBackFace(int w, int x, int y, int z){ | ||
| + | draw(P[w]--P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | ||
| + | |||
| + | drawFrontFace(4,5,6,7);drawFrontFace(0,1,5,4);drawFrontFace(1,2,6,5); | ||
| + | drawBackFace(0,1,2,3); drawBackFace(3,3,7,7); | ||
| + | </asy> <asy> | ||
import three; currentprojection = orthographic(0.5,-3,1.4); | import three; currentprojection = orthographic(0.5,-3,1.4); | ||
triple[] P = {(1,0,0),(0,1,0),(-1,0,0),(0,-1,0),(0,0,1),(0,0,-1)}; | triple[] P = {(1,0,0),(0,1,0),(-1,0,0),(0,-1,0),(0,0,1),(0,0,-1)}; | ||
| Line 35: | Line 47: | ||
draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | ||
| − | + | drawFrontFace(0,1,4);drawFrontFace(1,2,4);drawFrontFace(0,1,5);drawFrontFace(1,2,5);drawBackFace(2,3,4);drawBackFace(3,0,4);drawBackFace(2,3,5);drawBackFace(3,0,5); | |
| − | + | </asy> <asy> | |
| − | + | import three; real phi = (1+5^.5)/2; currentprojection=orthographic(2,-2,2); | |
| − | drawFrontFace( | + | |
| + | triple P[] = {(0,1,phi),(0,-1,phi),(0,-1,-phi),(0,1,-phi),(1,phi,0),(-1,phi,0),(-1,-phi,0),(1,-phi,0),(phi,0,1),(phi,0,-1),(-phi,0,-1),(-phi,0,1)}; | ||
| + | void drawFrontFace(int x, int y, int z){ | ||
| + | draw(P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); | ||
| + | /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } | ||
| + | void drawBackFace(int x, int y, int z){ | ||
| + | draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } | ||
| + | |||
| + | drawFrontFace(6,10,11);drawFrontFace(5,10,11);drawFrontFace(5,0,11);drawFrontFace(6,10,2);drawFrontFace(3,10,2);drawFrontFace(5,10,3);drawFrontFace(5,0,4);drawFrontFace(5,4,3);drawFrontFace(9,2,3);drawFrontFace(9,4,3); | ||
| + | drawBackFace(11,1,6);drawBackFace(7,1,8);drawBackFace(8,1,0);drawBackFace(0,4,8);drawBackFace(8,4,9);drawBackFace(7,8,9);drawBackFace(7,2,6); | ||
| + | </asy><asy> | ||
| + | import three; real phi = (1+5^.5)/2; currentprojection=orthographic(2,-2,2); triple P[]; | ||
| + | /* compute permutations of {±1, ±1, ±1}{0, ±1/φ, ±φ}*/ | ||
| + | for(int i = 0; i < 8; ++i) | ||
| + | P.push(( (-1)^( floor(i/4) ), (-1)^( ( floor(i/2) ) % 2), (-1)^(i%2) )); | ||
| + | /* for(int i = 0; i < 4; ++i) */ | ||
| + | |||
| + | draw(P[0] -- P[1] -- P[2] -- cycle); | ||
| − | + | /* | |
| − | + | for(int i = 0; i < P.length; ++i) label(((string) i), P[i], N); */ | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | </asy> | + | </asy></center> |
Revision as of 17:36, 8 December 2008
A Platonic solid is a polyhedron, or 3 dimensional figure, in which all faces are congruent regular polygons such that the same number of faces meet at each vertex. There are five such solids: the cube (regular hexahedron), the regular tetrahedron, the regular octahedron, the regular dodecahedron, and the regular icosahedron.
The tetrahedron has four faces, all of which are triangles. It also has four vertices and six edges. Three faces meet at each vertex.
The cube has six faces, all of which are squares. It also has eight vertices and twelve edges. Three faces meet at each vertex.
The octahedron has eight faces, all of which are triangles. It also has six vertices and twelve edges. Four faces meet at each vertex.
The dodecahedron has twelve faces, all of which are pentagons. It also has twenty vertices and thirty edges. Three faces meet at each vertex.
The icosahedron has twenty faces, all of which are triangles. It also has twelve vertices and thirty edges. Five faces meet at each vertex.
It is easy to verify that all five Platonic solids satisfy Euler's polyhedral formula.
![[asy]import three; currentprojection = orthographic(-1.2,-1.5,1.4); triple[] P = {(1,1,1),(-1,-1,1),(-1,1,-1),(1,-1,-1)}; void drawFrontFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } void drawBackFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } drawFrontFace(0,3,2);drawBackFace(0,1,3);drawBackFace(0,2,3);drawBackFace(1,2,3); [/asy]](http://latex.artofproblemsolving.com/d/b/0/db0a7bdc05e1bb280b706f15628a38209f9d2a2c.png)
![[asy] import three; currentprojection = orthographic(5,-6,4); triple[] P = {(0,0,0),(1,0,0),(1,1,0),(0,1,0),(0,0,1),(1,0,1),(1,1,1),(0,1,1)}; void drawFrontFace(int w, int x, int y, int z){ draw(P[w]--P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } void drawBackFace(int w, int x, int y, int z){ draw(P[w]--P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } drawFrontFace(4,5,6,7);drawFrontFace(0,1,5,4);drawFrontFace(1,2,6,5); drawBackFace(0,1,2,3); drawBackFace(3,3,7,7); [/asy]](http://latex.artofproblemsolving.com/0/1/7/01761ce76ac09788afcac69fe7bd7147e723b431.png)
![[asy] import three; currentprojection = orthographic(0.5,-3,1.4); triple[] P = {(1,0,0),(0,1,0),(-1,0,0),(0,-1,0),(0,0,1),(0,0,-1)}; void drawFrontFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } void drawBackFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } drawFrontFace(0,1,4);drawFrontFace(1,2,4);drawFrontFace(0,1,5);drawFrontFace(1,2,5);drawBackFace(2,3,4);drawBackFace(3,0,4);drawBackFace(2,3,5);drawBackFace(3,0,5); [/asy]](http://latex.artofproblemsolving.com/c/7/7/c77c396a6e65bcf71553249ea79d1437c98489f9.png)
![[asy] import three; real phi = (1+5^.5)/2; currentprojection=orthographic(2,-2,2); triple P[] = {(0,1,phi),(0,-1,phi),(0,-1,-phi),(0,1,-phi),(1,phi,0),(-1,phi,0),(-1,-phi,0),(1,-phi,0),(phi,0,1),(phi,0,-1),(-phi,0,-1),(-phi,0,1)}; void drawFrontFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linewidth(0.7)); /* fill(P[x] -- P[y] -- P[z] -- cycle, rgb(0.7,0.7,0.7)); */ } void drawBackFace(int x, int y, int z){ draw(P[x] -- P[y] -- P[z] -- cycle, linetype("2 6")); } drawFrontFace(6,10,11);drawFrontFace(5,10,11);drawFrontFace(5,0,11);drawFrontFace(6,10,2);drawFrontFace(3,10,2);drawFrontFace(5,10,3);drawFrontFace(5,0,4);drawFrontFace(5,4,3);drawFrontFace(9,2,3);drawFrontFace(9,4,3); drawBackFace(11,1,6);drawBackFace(7,1,8);drawBackFace(8,1,0);drawBackFace(0,4,8);drawBackFace(8,4,9);drawBackFace(7,8,9);drawBackFace(7,2,6); [/asy]](http://latex.artofproblemsolving.com/4/3/7/4378ef6e84538f9cc9ba768f2aed32523c9538aa.png)
![[asy] import three; real phi = (1+5^.5)/2; currentprojection=orthographic(2,-2,2); triple P[]; /* compute permutations of {±1, ±1, ±1}{0, ±1/φ, ±φ}*/ for(int i = 0; i < 8; ++i) P.push(( (-1)^( floor(i/4) ), (-1)^( ( floor(i/2) ) % 2), (-1)^(i%2) )); /* for(int i = 0; i < 4; ++i) */ draw(P[0] -- P[1] -- P[2] -- cycle); /* for(int i = 0; i < P.length; ++i) label(((string) i), P[i], N); */ [/asy]](http://latex.artofproblemsolving.com/6/3/b/63bcc5e493d730e5997330aae60377617859b0e8.png)
Those are the only possible Platonic solids. In order to show that this is so, consider what polygons could be the faces. There must be at least 3 faces at each vertex. Thus, the faces must be polygons with fewer than 6 sides. Only three squares or pentagons can fit around a single vertex -- this gives rise to the cube and the dodecahedron. Anywhere from 3 to 5 triangles can fit around a single vertex, giving rise to the other three Platonic solids.
Duality
Interestingly enough, if you take a Platonic solid and connect the centers of adjacent faces with line segments, those segments will be the edges of another Platonic solid. This relationship is known as duality. It has many interesting properties. For instance: The dual of a tetrahedron is another tetrahedron. For this reason, we call the tetrahedron self-dual.
The cube and the octahedron are duals, so connecting the centers of the faces of a cube gives an octahedron and vice-versa. Cubes have the same number of faces as octahedra have vertices, and vice-versa. Cubes and octahedra have the same number of edges. Also, the number of faces at each vertex of a cube is the same as the number of edges on each face of an octahedron, and vice versa.
The icosahedron and the dodecahedron are duals, so connecting the centers of the faces of an icosahedron gives a dodecahedron and vice-versa. Icosahedra have the same number of faces as dodecahedra have vertices, and vice-versa. Icosahedra and dodecahedra have the same number of edges. Also, the number of faces at each vertex of an icosahedron is the same as the number of edges on each face of an dodecahedron, and vice versa.
Note that the number of edges of two duals is the same, and the number of vertices of one dual is the number of faces of the other dual.
In fact, every polyhedron has a dual polyhedron. For example, the dual of a triangular prism is a triangular biyramid (2 triangular pyramids with their bases attached).
This article is a stub. Help us out by expanding it.
