View source for Polymerization

In [[Euclidean geometry]], a '''Platonic solid''' is a [[Regular polyhedron|regular]], [[Convex set|convex]] [[polyhedron]] with [[Congruence (geometry)|congruent]] [[Face (geometry)|faces]] of [[Regular polygon|regular]] [[polygon]]s and the same number of faces meeting at each [[Vertex (geometry)|vertex.]] Five solids meet those criteria, and each is named after its number of faces.
{| border style="margin: 1em auto; text-align: center; border-collapse: collapse; border: 1pt solid #aaa;"
| [[Tetrahedron]]<br /> (four faces) || [[Cube]] or [[hexahedron]]<br />(six faces) || [[Octahedron]]<br />(eight faces) || [[Dodecahedron]]<br />(twelve faces) || [[Icosahedron]]<br />(twenty faces)
|- style="vertical-align: bottom;"
|width=120| [[Image:Tetrahedron.svg|80px]]<br />
<small>([[:image:tetrahedron.gif|Animation]])</small>
|width=120 style="padding-top: 4pt;"|[[Image:Hexahedron.svg|80px]]<br />
<small>([[:image:hexahedron.gif|Animation]])</small>
|width=120|[[Image:Octahedron.svg|80px]]<br />
<small>([[:image:octahedron.gif|Animation]])</small>
|width=120|[[Image:POV-Ray-Dodecahedron.svg|80px]]<br />
<small>([[:image:dodecahedron.gif|Animation]])</small>
|width=120|[[Image:Icosahedron.svg|80px]]<br />
<small>([[:image:icosahedron.gif|Animation]])</small>
|}

[[Geometer]]s have studied the [[mathematical beauty]] and [[symmetry]] of the Platonic solids for thousands of years. They are named for the [[Greek philosophy|ancient Greek philosopher]] [[Plato]] who theorized in his dialogue, the [[Timaeus (dialogue)|Timaeus]], that the [[classical element]]s were made of these regular solids.<ref name="The Stanford Encyclopedia of Philosophy">{{cite web|last=Zeyl|first=Donald|title=The Stanford Encyclopedia of Philosophy: Plato's Timaeus|url=http://plato.stanford.edu/entries/plato-timaeus/}}</ref> 

==History==
[[Image:Kepler-solar-system-1.png|right|250px|thumb| [[Johannes Kepler|Kepler's]] Platonic solid model of the [[solar system]] from ''[[Mysterium Cosmographicum]]'' (1596)]]
The Platonic solids have been known since antiquity. [[Carved Stone Balls|Carved stone balls]] created by the late [[neolithic]] people of [[Scotland]] lie near ornamented models resembling them, but the Platonic solids do not appear to have been preferred over less-symmetrical objects, and some of the Platonic solids are even absent.<ref>{{cite web|last=Hart|first=George|title=Neolithic Carved Stone Polyhedra|url=http://www.georgehart.com/virtual-polyhedra/neolithic.html}}; see also Lloyd D. R, (2012), ''How old are the Platonic Solids?'', BSHM Bulletin: Journal of
the British Society for the History of Mathematics, 27:3, 131-140</ref> Dice go back to the dawn of civilization with shapes that augured formal charting of Platonic solids.

The [[ancient Greeks]] studied the Platonic solids extensively. Some sources (such as [[Proclus]]) credit [[Pythagoras]] with their discovery. Other evidence suggests that he may have only been familiar with the tetrahedron, cube, and dodecahedron and that the discovery of the octahedron and icosahedron belong to [[Theaetetus (mathematician)|Theaetetus]], a contemporary of Plato. In any case, Theaetetus gave a mathematical description of all five and may have been responsible for the first known proof that no other convex regular polyhedra exist.

The Platonic solids are prominent in the philosophy of [[Plato]], their namesake. Plato wrote about them in the dialogue [[Timaeus (dialogue)|''Timaeus'']] ''c''.360 B.C. in which he associated each of the four [[classical element]]s ([[earth (classical element)|earth]], [[air (classical element)|air]], [[water (classical element)|water]], and [[fire (classical element)|fire]]) with a regular solid. Earth was associated with the cube, air with the octahedron, water with the icosahedron, and fire with the tetrahedron. There was intuitive justification for these associations: the heat of fire feels sharp and stabbing (like little tetrahedra). Air is made of the octahedron; its minuscule components are so smooth that one can barely feel it. Water, the icosahedron, flows out of one's hand when picked up, as if it is made of tiny little balls. By contrast, a highly nonspherical solid, the hexahedron (cube) represents "earth". These clumsy little solids cause dirt to crumble and break when picked up in stark difference to the smooth flow of water. Moreover, the cube's being the only regular solid that [[tessellation|tesselates]] [[Euclidean space]] was believed to cause the solidity of the Earth.  The fifth Platonic solid, the dodecahedron, Plato obscurely remarks, "...the god used for arranging the constellations on the whole heaven". [[Aristotle]] added a fifth element, [[aether (classical element)|aithêr]] (aether in Latin, "ether" in English) and postulated that the heavens were made of this element, but he had no interest in matching it with Plato's fifth solid.<ref>See e.g. {{citation|title=John Philoponus' Criticism of Aristotle's Theory of Aether|first=Christian|last=Wildberg|publisher=Walter de Gruyter|year=1988|isbn=9783110104462|pages=11–12|url=http://books.google.com/books?id=af3XzdAvB_cC&pg=PA11}}. Wildberg discusses the correspondence of the Platonic solids with elements in ''Timaeus'' but notes that this correspondence appears to have been forgotten in ''[[Epinomis]]'', which he calls "a long step towards Aristotle's theory", and he points out that Aristotle's ether is above the other four elements rather than on an equal footing with them, making the correspondence less apposite.</ref>

[[Euclid]] completely mathematically described the Platonic solids in the [[Euclid's Elements|''Elements'']], the last book (Book XIII) of which is devoted to their properties. Propositions 13–17 in Book XIII describe the construction of the tetrahedron, octahedron, cube, icosahedron, and dodecahedron in that order. For each solid Euclid finds the ratio of the diameter of the circumscribed sphere to the edge length. In Proposition 18 he argues that there are no further convex regular polyhedra.
[[Andreas Speiser]] has advocated the view that the construction of the 5 regular solids is the chief goal of the deductive system canonized in the ''Elements''.<ref>{{cite book | author1 = Weyl H. | title = Symmetry | publisher = Princeton | year = 1952 | page = 74 }}</ref> Much of the information in Book XIII is probably derived from the work of Theaetetus.

In the 16th century, the [[Germans|German]] [[astronomer]] [[Johannes Kepler]] attempted to relate the five extraterrestrial [[planet]]s known at that time to the five Platonic solids. In ''[[Mysterium Cosmographicum]]'', published in 1596, Kepler proposed a model of the [[solar system]] in which the five solids were set inside one another and separated by a series of inscribed and circumscribed spheres. Kepler proposed that the distance relationships between the six planets known at that time could be understood in terms of the five Platonic solids enclosed within a sphere that represented the orbit of [[Saturn]]. The six spheres each corresponded to one of the planets ([[Mercury (planet)|Mercury]], [[Venus]], [[Earth]], [[Mars]], [[Jupiter]], and [[Saturn]]). The solids were ordered with the innermost being the octahedron, followed by the icosahedron, dodecahedron, tetrahedron, and finally the cube, thereby dictating the structure of the solar system and the distance relationships between the planets by the Platonic solids. In the end, Kepler's original idea had to be abandoned, but out of his research came his [[Kepler's laws of planetary motion|three laws of orbital dynamics]], the first of which was that [[Kepler's laws of planetary motion#First Law|the orbits of planets are ellipses]] rather than circles, changing the course of physics and astronomy.  He also discovered the [[Kepler-Poinsot polyhedron|Kepler solids]].

In the 20th century, attempts to link Platonic solids to the physical world were expanded to the [[electron shell model]] in chemistry by [[Robert James Moon|Robert Moon]] in a theory known as the "[[Robert James Moon#Moon model|Moon model]]".<ref>{{harvnb|Hecht|Stevens|2004}}</ref>
<div style="clear: both"></div>

==Combinatorial properties==
A convex polyhedron is a Platonic solid if and only if
# all its faces are [[Congruence (geometry)|congruent]] convex [[regular polygon]]s,
# none of its faces intersect except at their edges, and
# the same number of faces meet at each of its [[vertex (geometry)|vertices]].
Each Platonic solid can therefore be denoted by a symbol {''p'', ''q''} where
:''p'' = the number of edges of each face (or the number of vertices of each face) and
:''q'' = the number of faces meeting at each vertex (or the number of edges meeting at each vertex).
The symbol {''p'', ''q''}, called the [[Schläfli symbol]], gives a [[combinatorics|combinatorial]] description of the polyhedron. The Schläfli symbols of the five Platonic solids are given in the table below.

{| class="wikitable sortable" 
|-
!colspan=2 | Polyhedron
![[Vertex (geometry)|Vertices]]
![[Edge (geometry)|Edges]]
![[Face (geometry)|Faces]]
![[Schläfli symbol]]
![[Vertex configuration|Vertex config.]]
|- align=center
|[[tetrahedron]]
|[[Image:tetrahedron.svg|50px|Tetrahedron]]
|4||6||4||{3, 3}||3.3.3
|- align=center
|[[hexahedron]]<BR>([[cube]])
|[[Image:hexahedron.svg|50px|Hexahedron (cube)]]
|8||12||6||{4, 3}||4.4.4
|- align=center
|[[octahedron]]
|[[Image:octahedron.svg|50px|Octahedron]]
|6||12||8||{3, 4}||3.3.3.3
|- align=center
|[[dodecahedron]]
| [[Image:POV-Ray-Dodecahedron.svg|50px|Dodecahedron]]
|20||30||12||{5, 3}||5.5.5
|- align=center
|[[icosahedron]]
| [[Image:icosahedron.svg|50px|Icosahedron]]
|12||30||20||{3, 5}||3.3.3.3.3
|}

All other combinatorial information about these solids, such as total number of vertices (''V''), edges (''E''), and faces (''F''), can be determined from ''p'' and ''q''. Since any edge joins two vertices and has two adjacent faces we must have:
:<math>pF = 2E = qV.\,</math>
The other relationship between these values is given by [[Euler characteristic|Euler's formula]]:
:<math>V - E + F = 2.\,</math>
This nontrivial fact can be proved in a great variety of ways (in [[algebraic topology]] it follows from the fact that the Euler characteristic of the [[sphere]] is two). Together these three relationships completely determine ''V'', ''E'', and ''F'':
:<math>V = \frac{4p}{4 - (p-2)(q-2)},\quad E = \frac{2pq}{4 - (p-2)(q-2)},\quad F = \frac{4q}{4 - (p-2)(q-2)}.</math>
Note that swapping ''p'' and ''q'' interchanges ''F'' and ''V'' while leaving ''E'' unchanged (for a geometric interpretation of this fact, see the section on dual polyhedra below).

==Classification==
The classical result is that only five convex regular polyhedra exist. Two common arguments below demonstrate no more than five Platonic solids can exist, but positively demonstrating the existence of any given solid is a separate question – one that an explicit construction cannot easily answer.

===Geometric proof===
The following geometric argument is very similar to the one given by [[Euclid]] in the [[Euclid's Elements|''Elements'']]:
# Each vertex of the solid must coincide with one vertex each of at least three faces.
# At each vertex of the solid, the total, among the adjacent faces, of the angles between their respective adjacent sides must be less than 360°.
# The angles at all vertices of all faces of a Platonic solid are identical: each vertex of each face must contribute less than 360°/3&nbsp;=&nbsp;120°.
# Regular polygons of [[Hexagon|six]] or more sides have only angles of 120° or more, so the common face must be the triangle, square, or pentagon. And for:
#* [[Triangle|Triangular]] faces: each vertex of a regular triangle is 60°, so a shape may have 3, 4, or 5 triangles meeting at a vertex; these are the tetrahedron, octahedron, and icosahedron respectively.
#* [[Square (geometry)|Square]] faces: each vertex of a square is 90°, so there is only one arrangement possible with three faces at a vertex, the cube.
#* [[Pentagon]]al faces: each vertex is 108°; again, only one arrangement, of three faces at a vertex is possible, the dodecahedron.

===Topological proof===
A purely [[topology|topological]] proof can be made using only combinatorial information about the solids. The key is [[Euler characteristic|Euler's observation]] that <math>V - E + F = 2</math>, and the fact that <math>pF = 2E = qV</math>, where ''p'' stands for the number of edges of each face and ''q'' for the number of edges meeting at each vertex. Combining these equations one obtains the equation
:<math>\frac{2E}{q} - E + \frac{2E}{p} = 2.</math>
Simple algebraic manipulation then gives
:<math>{1 \over q} + {1 \over p}= {1 \over 2} + {1 \over E}.</math>
Since <math>E</math> is strictly positive we must have
:<math>\frac{1}{q} + \frac{1}{p} > \frac{1}{2}.</math>
Using the fact that ''p'' and ''q'' must both be at least 3, one can easily see that there are only five possibilities for (''p'', ''q''):
:<math>(3, 3),\quad (4, 3),\quad (3, 4),\quad (5, 3),\quad (3,5).</math>

==Geometric properties==
===Angles===
There are a number of [[angle]]s associated with each Platonic solid. The [[dihedral angle]] is the interior angle between any two face planes. The dihedral angle, θ, of the solid {''p'',''q''} is given by the formula
:<math>\sin{\theta\over 2} = \frac{\cos(\pi/q)}{\sin(\pi/p)}.</math>
This is sometimes more conveniently expressed in terms of the [[tangent (trigonometric function)|tangent]] by
:<math>\tan{\theta\over 2} = \frac{\cos(\pi/q)}{\sin(\pi/h)}.</math>
The quantity ''h'' is 4, 6, 6, 10, and 10 for the tetrahedron, cube, octahedron, dodecahedron, and icosahedron respectively.

The [[angular deficiency]] at the vertex of a polyhedron is the difference between the sum of the face-angles at that vertex and 2π. The defect, δ, at any vertex of the Platonic solids {''p'',''q''} is
:<math>\delta = 2\pi - q\pi\left(1-{2\over p}\right).</math>
By a theorem of Descartes, this is equal to 4π divided by the number of vertices (i.e. the total defect at all vertices is 4π).

The 3-dimensional analog of a plane angle is a [[solid angle]]. The solid angle, Ω, at the vertex of a Platonic solid is given in terms of the dihedral angle by
:<math>\Omega = q\theta - (q-2)\pi.\,</math>
This follows from the [[spherical excess]] formula for a [[spherical polygon]] and the fact that the [[vertex figure]] of the polyhedron {''p'',''q''} is a regular ''q''-gon.

The solid angle of a face subtended from the center of a platonic solid is equal to the solid angle of a full sphere (4π steradians) divided by the number of faces.  Note that this is equal to the angular deficiency of its dual.

The various angles associated with the Platonic solids are tabulated below. The numerical values of the solid angles are given in [[steradian]]s. The constant φ = (1+√5)/2 is the [[golden ratio]].

{| class="wikitable"
!Polyhedron
![[Dihedral angle]]<br><math>\theta</math>
!<math>\tan\frac{\theta}{2}</math>
![[Vertex angle]]
![[Defect (geometry)|Defect]] (<math>\delta</math>)
!colspan = 2|Vertex [[solid angle]] (<math>\Omega</math>)
!Face<br>solid angle
|-
|[[tetrahedron]] || 70.53° || <math>1\over{\sqrt 2}</math> || 60° || <math>\pi</math>
|<math>\cos^{-1}\left(\frac{23}{27}\right)</math>
|<math>\approx 0.551286</math>
|<math>\pi</math>
|-
|[[cube]] || 90° || <math>1</math> || 90° || <math>\pi\over 2</math>
|<math>\frac{\pi}{2}</math>
|<math>\approx 1.57080</math>
|<math>2\pi\over 3</math>
|-
|[[octahedron]] || 109.47° || <math>\sqrt 2</math> || 60°, 90° || <math>{2\pi}\over 3</math>
|<math>4\sin^{-1}\left({1\over 3}\right)</math>
|<math>\approx 1.35935</math>
|<math>\pi\over 2</math>
|-
|[[dodecahedron]] || 116.57° || <math>\varphi</math> || 108° || <math>\pi\over 5</math>
|<math>\pi - \tan^{-1}\left(\frac{2}{11}\right)</math>
|<math>\approx 2.96174</math>
|<math>\pi\over 3</math>
|-
|[[icosahedron]] || 138.19° || <math>\varphi^2</math> || 60°, 108° || <math>\pi\over 3</math>
|<math>2\pi - 5\sin^{-1}\left({2\over 3}\right)</math>
|<math>\approx 2.63455</math>
|<math>\pi\over 5</math>
|}

===Radii, area, and volume===
Another virtue of regularity is that the Platonic solids all possess three concentric spheres:
* the [[circumscribed sphere]] that passes through all the vertices,
* the [[midsphere]] that is tangent to each edge at the midpoint of the edge, and
* the [[inscribed sphere]] that is tangent to each face at the center of the face.
The [[radius|radii]] of these spheres are called the ''circumradius'', the ''midradius'', and the ''inradius''. These are the distances from the center of the polyhedron to the vertices, edge midpoints, and face centers respectively. The circumradius ''R'' and the inradius ''r'' of the solid {''p'', ''q''} with edge length ''a'' are given by
:<math>R = \left({a\over 2}\right)\tan\frac{\pi}{q}\tan\frac{\theta}{2}</math>
:<math>r = \left({a\over 2}\right)\cot\frac{\pi}{p}\tan\frac{\theta}{2}</math>
where θ is the dihedral angle. The midradius ρ is given by
:<math>\rho = \left({a\over 2}\right)\frac{\cos(\pi/p)}{\sin(\pi/h)}</math>
where ''h'' is the quantity used above in the definition of the dihedral angle (''h'' = 4, 6, 6, 10, or 10). Note that the ratio of the circumradius to the inradius is symmetric in ''p'' and ''q'':
:<math>{R\over r} = \tan\frac{\pi}{p}\tan\frac{\pi}{q}=\frac{{\sqrt{{sin^{-2}{(\theta/2)}}-{cos^{2}{(\alpha/2)}}}}}{\sin{(\alpha/2)}}. </math>

The [[surface area]], ''A'', of a Platonic solid {''p'', ''q''} is easily computed as area of a regular ''p''-gon times the number of faces ''F''. This is:
:<math>A = \left({a\over 2}\right)^2 Fp\cot\frac{\pi}{p}.</math>
The [[volume]] is computed as ''F'' times the volume of the [[pyramid (geometry)|pyramid]] whose base is a regular ''p''-gon and whose height is the inradius ''r''. That is,
:<math>V = {1\over 3}rA.</math>

The following table lists the various radii of the Platonic solids together with their surface area and volume. The overall size is fixed by taking the edge length, ''a'', to be equal to 2.

{| class="wikitable"
|-
!Polyhedron<br><small>(''a'' = 2)</small>|| Inradius (''r'') || Midradius (ρ) || Circumradius (''R'') || Surface area (''A'') || Volume (''V'')
|-
|[[tetrahedron]] || <math>1\over {\sqrt 6}</math> || <math>1\over {\sqrt 2}</math> || <math>\sqrt{3\over 2}</math> || <math>4\sqrt 3</math> || <math>\frac{\sqrt 8}{3}</math>
|-
|[[cube]] || <math>1\,</math> || <math>\sqrt 2</math> || <math>\sqrt 3</math> || <math>24\,</math> || <math>8\,</math>
|-
|[[octahedron]] || <math>\sqrt{2\over 3}</math> || <math>1\,</math> || <math>\sqrt 2</math> || <math>8\sqrt 3</math> || <math>\frac{\sqrt {128}}{3}</math>
|-
|[[dodecahedron]] || <math>\frac{\varphi^2}{\xi}</math> || <math>\varphi^2</math> || <math>\sqrt 3\,\varphi</math> || <math>60\frac{\varphi}{\xi}</math> || <math>20\frac{\varphi^3}{\xi^2}</math>
|-
|[[icosahedron]] || <math>\frac{\varphi^2}{\sqrt 3}</math> || <math>\varphi</math> || <math>\xi\varphi</math> || <math>20\sqrt 3</math> || <math>\frac{20\varphi^2}{3}</math>
|}

The constants φ and ξ in the above are given by
:<math>\varphi = 2\cos{\pi\over 5} = \frac{1+\sqrt 5}{2}\qquad\xi = 2\sin{\pi\over 5} = \sqrt{\frac{5-\sqrt 5}{2}} = 5^{1/4}\varphi^{-1/2}.</math>

Among the Platonic solids, either the dodecahedron or the icosahedron may be seen as the best approximation to the sphere. The icosahedron has the largest number of faces and the largest dihedral angle, it hugs its inscribed sphere the most tightly, and its surface area to volume ratio is closest to that of a sphere of the same size (i.e. either the same surface area or the same volume.) The dodecahedron, on the other hand, has the smallest angular defect, the largest vertex solid angle, and it fills out its circumscribed sphere the most.

==Symmetry==
===Dual polyhedra===
[[Image:Dual Cube-Octahedron.svg|thumb|150px|right|A dual pair: cube and octahedron.]]

Every polyhedron has a [[dual polyhedron|dual (or "polar") polyhedron]] '''with faces and vertices interchanged'''. The dual of every Platonic solid is another Platonic solid, so that we can arrange the five solids into dual pairs.
* The tetrahedron is [[self-dual polyhedron|self-dual]] (i.e. its dual is another tetrahedron).
* The cube and the octahedron form a dual pair.
* The dodecahedron and the icosahedron form a dual pair.

If a polyhedron has Schläfli symbol {''p'', ''q''}, then its dual has the symbol {''q'', ''p''}. Indeed every combinatorial property of one Platonic solid can be interpreted as another combinatorial property of the dual.

One can construct the dual polyhedron by taking the vertices of the dual to be the centers of the faces of the original figure. Connecting the centers of adjacent faces in the original forms the edges of the dual and thereby interchanges the number of faces and vertices while maintaining the number of edges.

More generally, one can dualize a Platonic solid with respect to a sphere of radius ''d'' concentric with the solid. The radii (''R'', ρ, ''r'') of a solid and those of its dual (''R''*, ρ*, ''r''*) are related by
:<math>d^2 = R^\ast r = r^\ast R = \rho^\ast\rho.</math>
Dualizing with respect to the midsphere (''d'' = ρ) is often convenient because the midsphere has the same relationship to both polyhedra. Taking ''d''<sup>2</sup> = ''Rr'' yields a dual solid with the same circumradius and inradius (i.e. ''R''* = ''R'' and ''r''* = ''r'').

===Symmetry groups===
In mathematics, the concept of [[symmetry]] is studied with the notion of a [[group (mathematics)|mathematical group]]. Every polyhedron has an associated [[symmetry group]], which is the set of all transformations ([[Euclidean isometry|Euclidean isometries]]) which leave the polyhedron invariant. The [[order (group theory)|order]] of the symmetry group is the number of symmetries of the polyhedron. One often distinguishes between the ''full symmetry group'', which includes [[reflection (mathematics)|reflections]], and the ''proper symmetry group'', which includes only [[rotation (mathematics)|rotations]].

The symmetry groups of the Platonic solids are known as [[polyhedral group]]s (which are a special class of the [[point groups in three dimensions]]). The high degree of symmetry of the Platonic solids can be interpreted in a number of ways. Most importantly, the vertices of each solid are all equivalent under the [[group action|action]] of the symmetry group, as are the edges and faces. One says the action of the symmetry group is [[transitive action|transitive]] on the vertices, edges, and faces. In fact, this is another way of defining regularity of a polyhedron: a polyhedron is ''regular'' if and only if it is [[vertex-uniform]], [[edge-uniform]], and [[face-uniform]].

There are only three symmetry groups associated with the Platonic solids rather than five, since the symmetry group of any polyhedron coincides with that of its dual. This is easily seen by examining the construction of the dual polyhedron. Any symmetry of the original must be a symmetry of the dual and vice-versa. The three polyhedral groups are:
* the [[tetrahedral group]] ''T'',
* the [[octahedral group]] ''O'' (which is also the symmetry group of the cube), and
* the [[icosahedral group]] ''I'' (which is also the symmetry group of the dodecahedron).
The orders of the proper (rotation) groups are 12, 24, and 60 respectively – precisely twice the number of edges in the respective polyhedra. The orders of the full symmetry groups are twice as much again (24, 48, and 120). See (Coxeter 1973) for a derivation of these facts. All Platonic solids except the tetrahedron are ''centrally symmetric,'' meaning they are preserved under [[reflection through the origin]].

The following table lists the various symmetry properties of the Platonic solids. The symmetry groups listed are the full groups with the rotation subgroups given in parenthesis (likewise for the number of symmetries). [[Wythoff's construction|Wythoff's kaleidoscope construction]] is a method for constructing polyhedra directly from their symmetry groups. They are listed for reference Wythoff's symbol for each of the Platonic solids.

{| class="wikitable"
|-
!rowspan=2|Polyhedron
!rowspan=2|[[Schläfli symbol|Schläfli<BR>symbol]]
!rowspan=2|[[Wythoff symbol|Wythoff<BR>symbol]]
!rowspan=2|[[Dual polyhedron|Dual<BR>polyhedron]]
!colspan=5|[[Symmetry group]] (Reflection, rotation)
|-
![[Polyhedral group|Polyhedral]]
![[Schönflies notation|Schönflies]]
![[Coxeter notation|Coxeter]]
![[Orbifold notation|Orbifold]]
!Order
|- align=center
|[[tetrahedron]]
|{3, 3} || <nowiki>3 | 2 3</nowiki> || tetrahedron 
| [[tetrahedral symmetry|Tetrahedral]] [[File:Tetrahedral_reflection_domains.png|40px]]
|''T''<sub>d</sub>, ''T''
| [3,3], [3,3]<sup>+</sup>
| *332, 332
| 24, 12 
|- align=center
|[[cube]]
|{4, 3} || <nowiki>3 | 2 4</nowiki> || octahedron
| rowspan=2 | [[octahedral symmetry|Octahedral]]  [[File:Octahedral_reflection_domains.png|40px]]
| rowspan=2 | ''O''<sub>h</sub>, ''O''
| rowspan=2 | [4,3], [4,3]<sup>+</sup>
| rowspan=2 | *432, 432
| rowspan=2 | 48, 24
|- align=center
|[[octahedron]]
|{3, 4} || <nowiki>4 | 2 3</nowiki> || cube
|- align=center
|[[dodecahedron]]
|{5, 3} || <nowiki>3 | 2 5</nowiki> || icosahedron
| rowspan=2 | [[icosahedral symmetry|Icosahedral]] [[File:Icosahedral_reflection_domains.png|40px]]
| rowspan=2 | ''I''<sub>h</sub>, ''I''
| rowspan=2 | [5,3], [5,3]<sup>+</sup>
| rowspan=2 | *532, 532
| rowspan=2 | 120, 60
|- align=center
|[[icosahedron]]
|{3, 5} || <nowiki>5 | 2 3</nowiki> || dodecahedron
|}

==In nature and technology==
The tetrahedron, cube, and octahedron all occur naturally in [[crystal structure]]s. These by no means exhaust the numbers of possible forms of crystals. However, neither the regular icosahedron nor the regular dodecahedron are amongst them. One of the forms, called the [[pyritohedron]] (named for the group of [[pyrite|minerals]] of which it is typical) has twelve pentagonal faces, arranged in the same pattern as the faces of the regular dodecahedron. The faces of the pyritohedron are, however, not regular, so the pyritohedron is also not regular.

[[Image:Circogoniaicosahedra ekw.jpg|left|frame|Circogonia icosahedra, a species of [[Radiolaria]], shaped like a regular icosahedron.]]
In the early 20th century, [[Ernst Haeckel]] described (Haeckel, 1904) a number of species of [[Radiolaria]], some of whose skeletons are shaped like various regular polyhedra. Examples include ''Circoporus octahedrus'', ''Circogonia icosahedra'', ''Lithocubus geometricus'' and ''Circorrhegma dodecahedra''. The shapes of these creatures should be obvious from their names.

Many [[virus]]es, such as the [[herpes]] virus, have the shape of a regular icosahedron. Viral structures are built of repeated identical [[protein]] subunits and the icosahedron is the easiest shape to assemble using these subunits. A regular polyhedron is used because it can be built from a single basic unit protein used over and over again; this saves space in the viral [[genome]].

In [[meteorology]] and [[climatology]], global numerical models of atmospheric flow are of increasing interest which employ [[geodesic grid]]s that are based on an icosahedron (refined by [[triangulation]]) instead of the more commonly used [[longitude]]/[[latitude]] grid. This has the advantage of evenly distributed spatial resolution without [[Mathematical singularity|singularities]] (i.e. the [[poles]]) at the expense of somewhat greater numerical difficulty.

Geometry of [[space frame]]s is often based on platonic solids. In MERO system, Platonic solids are used for naming convention of various space frame configurations. For example ½O+T refers to a configuration made of one half of octahedron and a tetrahedron.

Several [[Platonic hydrocarbons]] have been synthesised, including [[cubane]] and [[dodecahedrane]].

Platonic solids are often used to make [[dice]], because dice of these shapes can be made fair ([[fair dice]]). 6-sided dice are very common, but the other numbers are commonly used in [[role-playing game]]s. Such dice are commonly referred to as d''n'' where ''n'' is the number of faces (d8, d20, etc.); see [[dice notation]] for more details.
[[Image:BluePlatonicDice.jpg|thumb|500px|center|[[Polyhedral dice]] are often used in [[role-playing games]].]]
These shapes frequently show up in other games or puzzles. Puzzles similar to a [[Rubik's Cube]] come in all five shapes – see [[magic polyhedra]].

=== Liquid crystals with symmetries of Platonic solids ===
For the intermediate material phase called [[liquid crystals]], the existence of such symmetries was first proposed in 1981 by [[Hagen Kleinert|H. Kleinert]] and K. Maki and their structure was analyzed in.<ref>
{{Cite journal| title = Lattice Textures in Cholesteric Liquid Crystals
| author = [[Hagen Kleinert|Kleinert, H.]] and Maki, K.
| journal = Fortschritte der Physik
| volume = 29
| issue = 5
| pages = 219–259
| year = 1981
| doi = 10.1002/prop.19810290503
| url = http://www.physik.fu-berlin.de/~kleinert/75/75.pdf| ref = harv| postscript = <!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}}}
</ref> See the review article [http://chemgroups.northwestern.edu/seideman/Publications/The%20liquid-crystalline%20blue%20phases.pdf here].
In aluminum the icosahedral structure was discovered three years after this by [[Dan Shechtman]], which earned him the Nobel Prize in Chemistry in 2011.

==Related polyhedra and polytopes==
===Uniform polyhedra===
There exist four regular polyhedra which are not convex, called [[Kepler–Poinsot polyhedra]]. These all have [[icosahedral symmetry]] and may be obtained as [[stellation]]s of the dodecahedron and the icosahedron.

{| style="float: right; margin-left: 1em; text-align: center; border-collapse: collapse; border: 1pt solid #aaa;"
|-
|style="padding: 3pt;"|[[Image:Cuboctahedron.svg|80px]]<br />[[cuboctahedron]]
|-
|style="padding: 3pt;"|[[Image:Icosidodecahedron.svg|80px]]<br />[[icosidodecahedron]]
|}
The next most regular convex polyhedra after the Platonic solids are the [[cuboctahedron]], which is a [[rectification (geometry)|rectification]] of the cube and the octahedron, and the [[icosidodecahedron]], which is a rectification of the dodecahedron and the icosahedron (the rectification of the self-dual tetrahedron is a regular octahedron). These are both ''quasi-regular'', meaning that they are vertex- and edge-uniform and have regular faces, but the faces are not all congruent (coming in two different classes). They form two of the thirteen [[Archimedean solid]]s, which are the convex [[uniform polyhedron|uniform polyhedra]] with polyhedral symmetry.

The uniform polyhedra form a much broader class of polyhedra. These figures are vertex-uniform and have one or more types of [[regular polygon|regular]] or [[star polygon]]s for faces. These include all the polyhedra mentioned above together with an infinite set of [[prism (geometry)|prisms]], an infinite set of [[antiprism]]s, and 53 other non-convex forms.

The [[Johnson solid]]s are convex polyhedra which have regular faces but are not uniform.

===Regular tessellations===
The three [[regular tessellation]]s of the plane are closely related to the Platonic solids. Indeed, one can view the Platonic solids as the five regular tessellations of the [[sphere]]. This is done by projecting each solid onto a concentric sphere. The faces project onto regular [[spherical polygon]]s which exactly cover the sphere. One can show that every regular tessellation of the sphere is characterized by a pair of integers {''p'', ''q''} with 1/''p'' + 1/''q'' &gt; 1/2. Likewise, a regular tessellation of the plane is characterized by the condition 1/''p'' + 1/''q'' = 1/2. There are three possibilities:
* {4, 4} which is a [[square tiling]],
* {3, 6} which is a [[triangular tiling]], and
* {6, 3} which is a [[hexagonal tiling]] (dual to the triangular tiling).
In a similar manner one can consider regular tessellations of the [[hyperbolic geometry|hyperbolic plane]]. These are characterized by the condition 1/''p'' + 1/''q'' &lt; 1/2. There is an infinite family of such tessellations.

===Higher dimensions===
In more than three dimensions, polyhedra generalize to [[polytope]]s, with higher-dimensional convex [[regular polytope]]s being the  equivalents of the three-dimensional Platonic solids.

In the mid-19th century the Swiss mathematician [[Ludwig Schläfli]] discovered the four-dimensional analogues of the Platonic solids, called [[convex regular 4-polytope]]s. There are exactly six of these figures; five are analogous to the Platonic solids, while the sixth one, the [[24-cell]], has one lower-dimension analogue (truncation of a simplex-faceted polyhedron that has simplices for ridges and is self-dual): the [[hexagon]].

In all dimensions higher than four, there are only three convex regular polytopes: the [[simplex]], the [[hypercube]], and the [[cross-polytope]].<ref>{{citation|title=Regular Polytopes|first=H. S. M.|last=Coxeter|authorlink=Harold Scott MacDonald Coxeter|publisher=Dover|year=1973|page=136}}.</ref> In three dimensions, these coincide with the tetrahedron, the cube, and the octahedron.

==See also==
* [[Regular skew polyhedron]]
* [[Archimedean solid]]
* [[Catalan solid]]
* [[Johnson solid]]
* [[Kepler-Poinsot polyhedron|Kepler solids]]
* [[List of regular polytopes]]
* [[Metatron's Cube]]
* [[Project Euler]] uses platonic solids to denote scoring levels.
* [[Regular polytope]]s
* [[Toroidal polyhedron]]

==Notes==
<references />

==References==
* {{cite journal
 | last = Atiyah
 | first = Michael
 | authorlink = Michael Atiyah
 | coauthors = and Sutcliffe, Paul
 | year = 2003
 | title = Polyhedra in Physics, Chemistry and Geometry
 | journal = Milan J. Math
 | volume = 71
 | pages = 33–58
 | doi = 10.1007/s00032-003-0014-1
 | ref = harv
 }}
* {{cite book
 | first      = Boyer
 | last       = Carl
 | coauthors  = Merzbach, Uta
 | year       = 1989
 | title      = A History of Mathematics
 | edition    = 2nd
 | publisher  = Wiley
 | isbn         = 0-471-54397-7
}}
* {{cite book
 | first      = H. S. M.
 | last       = Coxeter
 | authorlink = H. S. M. Coxeter
 | year       = 1973
 | title      = [[Regular Polytopes (book)|Regular Polytopes]]
 | edition    = 3rd
 | publisher  = Dover Publications
 | location   = New York
 | isbn         = 0-486-61480-8
}}
* {{cite book
 | author     = [[Euclid]]
 | year       = 1956
 | title      = The Thirteen Books of Euclid's Elements, Books 10–13
 | editor-first = Thomas L. | editor-last = Heath | editor-link = Thomas Little Heath
 | edition    = 2nd unabr.
 | publisher  = Dover Publications
 | location   = New York
 | isbn         = 0-486-60090-4
}}
* Haeckel, E. (1904). ''Kunstformen der Natur''. Available as Haeckel, E. (1998); ''Art forms in nature'', Prestel USA. ISBN 3-7913-1990-6, or online at [http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html].
* {{cite book
 | first      = Hermann
 | last       = Weyl
 | authorlink = Hermann Weyl
 | year       = 1952
 | title      = Symmetry
 | publisher  = Princeton University Press
 | location   = Princeton, NJ
 | isbn         = 0-691-02374-3
}}
* "Strena seu de nive sexangula" (On the Six-Cornered Snowflake), 1611 paper by Kepler which discussed the reason for the six-angled shape of the snow crystals and the forms and symmetries in nature. Talks about platonic solids.
* {{Cite web|title=New Explorations with The Moon Model|first=Laurence|last=Hecht|first2=Charles B.|last2=Stevens|date=Fall 2004|page=58|work=21st Century Science and Technology|url=http://www.21stcenturysciencetech.com/Articles%202005/MoonModel_F04.pdf|ref=harv|postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}}}
* {{cite book | author= Anthony Pugh | year= 1976 | title= Polyhedra: A visual approach | publisher= University of California Press Berkeley | location= California | isbn= 0-520-03056-7  }}

==External links==
{{commons category|Platonic solids}}
* [http://www.encyclopediaofmath.org/index.php/Platonic_solids ''Platonic solids'' at Encyclopaedia of Mathematics]
* {{Mathworld | urlname=PlatonicSolid | title=Platonic solid }}
* [http://aleph0.clarku.edu/~djoyce/java/elements/bookXIII/propXIII13.html Book XIII] of Euclid's ''Elements''.
* [http://ibiblio.org/e-notes/3Dapp/Convex.htm Interactive 3D Polyhedra] in Java
* [http://kovacsv.github.com/JSModeler/documentation/examples/solids.html Solid Body Viewer] is an interactive 3D polyhedron viewer which allows you to save the model in svg, stl or obj format.
* [http://www.mat.puc-rio.br/~hjbortol/mathsolid/mathsolid_en.html Interactive Folding/Unfolding Platonic Solids] in Java
* [http://www.software3d.com/Platonic.php Paper models of the Platonic solids] created using nets generated by [[Stella (software)|Stella]] software
* [http://www.korthalsaltes.com/cuadros.php?type=p Platonic Solids] Free paper models(nets)
* {{cite web|title=Platonic Solids|url=http://www.numberphile.com/videos/platonic_solids.html|work=Numberphile|publisher=[[Brady Haran]]|author=Grime, James|coauthors=Steckles, Katie}}
* [http://www.ldlewis.com/Teaching-Mathematics-with-Art/Polyhedra.html Teaching Math with Art] student-created models
* [http://www.ldlewis.com/Teaching-Mathematics-with-Art/instructions-for-polyhedra-project.html Teaching Math with Art] teacher instructions for making models
* [http://www.bru.hlphys.jku.at/surf/Kepler_Model.html Frames of Platonic Solids] images of [[algebraic surface]]s
* [http://whistleralley.com/polyhedra/platonic.htm Platonic Solids] with some [http://whistleralley.com/polyhedra/derivations.htm formula derivations]

{{Polyhedron navigator}}

{{DEFAULTSORT:Platonic Solid}}
[[Category:Platonic solids| ]]