Kepler–Poinsot polyhedron: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
No edit summary
imported>Д.Ильин
img
 
Line 12: Line 12:


== Characteristics ==
== Characteristics ==
The Kepler–Poinsot polyhedra are the regular [[star polyhedra]], obtained by extending both [[regular icosahedron]] and [[regular dodecahedron]], an operation named [[stellation]]. This operation results in four different polyhedra:{{r|barnes}}
* [[Great dodecahedron]]: constructed from attaching twelve [[pentagonal pyramid]]s (with [[regular polygon]]al faces) onto the face of a regular dodecahedron, and attached again with thirty [[Wedge (geometry)|wedge]]s.{{r|cromwell}} However, this can be constructed alternatively by [[Faceting|removing its polygonal faces without changing or creating new vertices]] of a regular icosahedron.{{r|inchbald}}
* [[Small stellated dodecahedron]]: attaching twelve pentagonal pyramids onto a regular dodecahedron's faces.{{r|kappraff}} [[Topology|Topologically]], this shares the same surface as the [[pentakis dodecahedron]].
* [[Great icosahedron]]; and
* [[Great stellated dodecahedron]]: constructed from a great dodecahedron with twenty asymmetric triangular bipyramids, attaching to the hollow between the wedges.{{sfnp|Cromwell|1997|p=[https://books.google.com/books?id=OJowej1QWpoC&pg=PA266 266–267]}}


=== Sizes ===
[[File:Relationship among regular star polyhedra (direction colors).png|thumb|upright=1.5|Conway's system of relations between the six polyhedra (ordered vertically by [[Density (polytope)|density]]). Here, the green arrow represents the connection of [[Dual polyhedron|duality]], blue represents the greatening (g), and orange represents the stellation (s).{{r|conway-2008}}]]
The great icosahedron edge length is <math>\phi^4 = \tfrac12\bigl(7+3\sqrt5\,\bigr)</math> times the original icosahedron edge length.
[[John Horton Conway|John Conway]] introduces operators for the Kepler–Poinsot polyhedra known as ''greatenings''&mdash;(g), maintaining the type of faces, shifting and resizing them into parallel planes&mdash;and ''stellations''&mdash;(s), changing pentagonal faces into pentagrams&mdash;of the convex solids. In his [[Stellation#Naming stellations|naming convention]], the small stellated dodecahedron is just the ''stellated dodecahedron''.{{r|conway-2008}}
The small stellated dodecahedron, great dodecahedron, and great stellated dodecahedron edge lengths are respectively <math>\phi^3 = 2+\sqrt5,</math> <math>\phi^2 = \tfrac12\bigl(3+\sqrt5\,\bigr),</math> and <math>\phi^5 = \tfrac12\bigl(11+5\sqrt5\,\bigr)</math> times the original dodecahedron edge length.


=== Non-convexity ===
By the construction above, these figures have [[pentagram]]s (star pentagons) as faces or vertex figures.{{r|barnes}} The [[dual polyhedron]] of a great dodecahedron is the small stellated dodecahedron, and the dual of a great icosahedron is the great stellated dodecahedron.{{r|wenninger}} The four share the symmetry as both regular icosahedron and regular dodecahedron, the [[icosahedral symmetry]].{{r|dubrovin}}
These figures have [[pentagram]]s (star pentagons) as faces or vertex figures. The [[small stellated dodecahedron|small]] and [[great stellated dodecahedron]] have [[star polygon|nonconvex regular]] [[pentagram]] faces. The [[great dodecahedron]] and [[great icosahedron]] have [[convex polygon|convex]] polygonal faces, but pentagrammic [[vertex figure]]s.


In all cases, two faces can intersect along a line that is not an edge of either face, so that part of each face passes through the interior of the figure. Such lines of intersection are not part of the polyhedral structure and are sometimes called false edges. Likewise where three such lines intersect at a point that is not a corner of any face, these points are false vertices. The images below show spheres at the true vertices, and blue rods along the true edges.
=== Euler characteristic ===
A Kepler–Poinsot polyhedron covers its circumscribed sphere more than once, with the centers of faces acting as winding points in the figures which have pentagrammic faces, and the vertices in the others. Because of this, they are not necessarily topologically equivalent to the sphere as Platonic solids are, and in particular, the [[Euler characteristic|Euler relation]]
<math display="block">\chi=V-E+F=2\ </math>
does not always hold. Schläfli held that all polyhedra must have χ = 2, and he rejected the small stellated dodecahedron and great dodecahedron as proper polyhedra. This view was never widely held.<ref>{{cite book| first = H. S. M. | last = Coxeter | author-link = Harold Scott MacDonald Coxeter|title=Regular Polytopes|title-link=Regular Polytopes (book)|publisher=Methuen|year=1947|page=[https://books.google.com/books?id=iWvXsVInpgMC&pg=PA114 114]}}</ref>


For example, the [[small stellated dodecahedron]] has 12 [[pentagram]] faces with the central [[pentagon]]al part hidden inside the solid. The visible parts of each face comprise five [[isosceles triangle]]s which touch at five points around the pentagon. We could treat these triangles as 60 separate faces to obtain a new, irregular polyhedron which looks outwardly identical. Each edge would now be divided into three shorter edges (of two different kinds), and the 20 false vertices would become true ones, so that we have a total of 32 vertices (again of two kinds). The hidden inner pentagons are no longer part of the polyhedral surface, and can disappear. Now [[Planar graph#Euler's formula|Euler's formula]] holds: 60&nbsp;&minus;&nbsp;90&nbsp;+&nbsp;32&nbsp;=&nbsp;2. However, this polyhedron is no longer the one described by the [[Schläfli symbol]] {5/2,&nbsp;5}, and so can not be a Kepler–Poinsot solid even though it still looks like one from outside.
A modified form of Euler's formula, using [[Density (polytope)|density]] (<math>D</math>) of the [[vertex figure]]s (<math>d_v</math>) and faces (<math>d_f</math>) was given by [[Arthur Cayley]], and holds both for convex polyhedra (where the correction factors are all 1), and the Kepler–Poinsot polyhedra:{{r|huylebrouck}}
 
<math display="block"> d_v V - E + d_f F = 2D,</math>
=== Euler characteristic χ ===
and by this calculation, the density of the great icosahedron and the great stellated dodecahedron are 7, whereas the great dodecahedron and the small stellated dodecahedron are 3.{{sfnp|Barnes|2012|p=[https://books.google.com/books?id=7YCUBUd-4BQC&pg=PA47 47]}}
A Kepler–Poinsot polyhedron covers its circumscribed sphere more than once, with the centers of faces acting as winding points in the figures which have pentagrammic faces, and the vertices in the others.  Because of this, they are not necessarily topologically equivalent to the sphere as Platonic solids are, and in particular the [[Euler characteristic|Euler relation]]
 
:<math>\chi=V-E+F=2\ </math>
 
does not always hold. Schläfli held that all polyhedra must have χ = 2, and he rejected the small stellated dodecahedron and great dodecahedron as proper polyhedra. This view was never widely held.
 
A modified form of Euler's formula, using [[Density (polytope)|density]] (''D'') of the [[vertex figure]]s (<math>d_v</math>) and faces (<math>d_f</math>) was given by [[Arthur Cayley]], and holds both for convex polyhedra (where the correction factors are all 1), and the Kepler–Poinsot polyhedra:
:<math>d_v V - E + d_f F = 2D.</math>


=== Duality and Petrie polygons ===
=== Duality and Petrie polygons ===


The Kepler–Poinsot polyhedra exist in [[dual polyhedron|dual]] pairs. Duals have the same [[Petrie polygon]], or more precisely, Petrie polygons with the same two dimensional projection.
The Kepler–Poinsot polyhedra exist in [[dual polyhedron|dual]] pairs. Duals have the same [[Petrie polygon]], or more precisely, Petrie polygons with the same two-dimensional projection.


The following images show the two [[dual compound]]s with the same [[midsphere|edge radius]]. They also show that the Petrie polygons are [[skew polygon|skew]].
The following images show the two [[dual compound]]s with the same [[midsphere|edge radius]]. They also show that the Petrie polygons are [[skew polygon|skew]].
Line 130: Line 128:
|{5/2,&nbsp;3}<br />{{CDD|node|3|node|5|rat|d2|node_1}}
|{5/2,&nbsp;3}<br />{{CDD|node|3|node|5|rat|d2|node_1}}
|12<br />{5/2}
|12<br />{5/2}
|30||20<br />{3}||[[File:Great stellated dodecahedron vertfig.png|80px]]<BR>(5/2)<sup>3</sup>
|30||20<br />{3}||[[File:Great stellated dodecahedron vertfig.svg|80px]]<BR>(5/2)<sup>3</sup>
|[[File:Skeleton GrSt12, Petrie, stick, size m, 5-fold.png|80px]]<br>{10/3}
|[[File:Skeleton GrSt12, Petrie, stick, size m, 5-fold.png|80px]]<br>{10/3}
|2||7||I<sub>h</sub>||great icosahedron
|2||7||I<sub>h</sub>||great icosahedron
|}
|}


== Relationships among the regular polyhedra ==
== History ==
 
[[File:Relationship among regular star polyhedra (direction colors).png|thumb|Conway's system of relations between the six polyhedra (ordered vertically by [[Density (polytope)|density]])<ref>Conway et al. (2008), p.405 Figure 26.1 Relationships among the three-dimensional star-polytopes</ref>]]
 
===Conway's operational terminology===
 
[[John Horton Conway|John Conway]] defines the Kepler–Poinsot polyhedra as ''greatenings'' and ''stellations'' of the convex solids.<br>
In his [[Stellation#Naming stellations|naming convention]], the [[small stellated dodecahedron]] is just the ''stellated dodecahedron''.
 
{| class="wikitable"
| icosahedron (I)
| dodecahedron (D)
|-
| great dodecahedron (gD)
| stellated dodecahedron (sD)
|-
| great icosahedron (gI)
| great stellated dodecahedron (sgD = gsD)
|}
 
''Stellation'' changes pentagonal faces into pentagrams. (In this sense stellation is a unique operation, and not to be confused with the more general [[stellation]] described below.)
 
''Greatening'' maintains the type of faces, shifting and resizing them into parallel planes.
 
{| class="wikitable collapsible collapsed" style="text-align: center;"
!colspan="7"| Conway relations illustrated
|-
|-
! diagram
|
[[File:Relationship among regular star polyhedra (green and violet).png|450px]]
<small><br>The polyhedra in this section are shown with the same [[midsphere|midradius]].</small>
|-
!style="color:#e57500"| stellation
|
{|
|
{{multiple image
| align = right  | width = 200
| image1 = Skeleton 12, size s.png | caption1 = <span style="color: #a13870;">'''D'''</span>
| image2 = Skeleton St12, size s.png | caption2 = <span style="color: #a13870;">'''sD'''</span>
}}
|
{{multiple image
{{multiple image
  | align = right | width = 200
  | perrow = 2
  | image1 = Skeleton Gr12, size s.png | caption1 = <span style="color: #007400;">'''gD'''</span>
  | total_width = 400
  | image2 = Skeleton GrSt12, size s.png | caption2 = <span style="color: #007400;">sgD = '''gsD'''</span>
  | image1 = Marble floor mosaic Basilica of St Mark Vencice.jpg
| image2 = Perspectiva Corporum Regularium 22c.jpg
| image3 = Perspectiva Corporum Regularium MET DP239933, great stellated dodecahedron.jpg
| image4 = Stellated dodecahedra Harmonices Mundi.jpg
| image5 = Sternpolyeder.jpg
  | image6 = Alexander's Star.jpg|thumb|Alexander's Star
| footer = Top left to bottom right: floor [[mosaic]] in [[St Mark's Basilica|St Mark's]], [[Venice]], possibly by [[Paolo Uccello]]; [[great dodecahedron]] and [[great stellated dodecahedron]] in ''[[Perspectiva Corporum Regularium]]'' (1568); stellated dodecahedra, ''[[Harmonices Mundi]]'' by [[Johannes Kepler]] (1619); cardboard model of a [[great icosahedron]] from [[University of Tübingen|Tübingen University]] (around 1860); and the [[Alexander's Star]].
}}
}}
|}
Most, if not all, of the Kepler–Poinsot polyhedra were known of in some form or other before Kepler. A small stellated dodecahedron appears in a marble tarsia (inlay panel) on the floor of [[St. Mark's Basilica]], [[Venice]], Italy. It dates from the 15th century and is sometimes attributed to [[Paolo Uccello]].{{r|coxeter-2013}}


|-
In his ''[[Perspectiva corporum regularium]]'', a book of woodcuts published in 1568, [[Wenzel Jamnitzer]] depicts the [[great stellated dodecahedron]] and a [[great dodecahedron]]. It is clear from the general arrangement of the book that he regarded only the five Platonic solids as regular.{{r|innocenzi|ss}}
!style="color:#00a7e1"| greatening
|
{| style="width: 100%;"
| [[File:Skeleton pair 12 and greatening, size s.png|thumb|center|200px|<span style="color: #a13870;">'''D'''</span> and <span style="color: #007400;">'''gD'''</span>]]
| [[File:Skeleton pair 20 and greatening, size s.png|thumb|center|200px|<span style="color: #007400;">'''I'''</span> and <span style="color: #a13870;">'''gI'''</span>]]
| [[File:Skeleton pair St12 and greatening, size s.png|thumb|center|200px|<span style="color: #a13870;">'''sD'''</span> and <span style="color: #007400;">'''gsD'''</span>]]
|}


|-
The small and great stellated dodecahedra, sometimes called the '''Kepler polyhedra''', were first recognized as regular by [[Johannes Kepler]] around 1619.{{r|coxeter-1999}} He obtained them by [[stellation|stellating]] the regular convex dodecahedron, for the first time treating it as a surface rather than a solid. He noticed that by extending the edges or faces of the convex dodecahedron until they met again, he could obtain star pentagons. Further, he recognized that these star pentagons are also regular. In this way, he constructed the two stellated dodecahedra. Each has the central convex region of each face "hidden" within the interior, with only the triangular arms visible. Kepler's final step was to recognize that these polyhedra fit the definition of regularity, even though they were not [[Convex polyhedron|convex]], as the traditional [[Platonic solid]]s were.
!style="color:#00cb00"| duality
|
{| style="width: 100%;"
| [[File:Skeleton pair 12-20, size s.png|thumb|center|200px|<span style="color: #a13870;">'''D'''</span> and <span style="color: #007400;">'''I'''</span>]]
| [[File:Skeleton pair Gr12 and dual, size s.png|thumb|center|200px|<span style="color: #007400;">'''gD'''</span> and <span style="color: #a13870;">'''sD'''</span>]]
| [[File:Skeleton pair Gr20 and dual, size s.png|thumb|center|200px|<span style="color: #a13870;">'''gI'''</span> and <span style="color: #007400;">'''gsD'''</span>]]
|}


|}
In 1809, [[Louis Poinsot]] rediscovered Kepler's figures by assembling star pentagons around each vertex. He also assembled convex polygons around star vertices to discover two more regular stars, the great icosahedron and great dodecahedron. Some people call these two the '''Poinsot polyhedra'''. Poinsot did not know if he had discovered all the regular star polyhedra. Three years later, [[Augustin Cauchy]] proved the list complete by [[stellation|stellating]] the [[Platonic solid]]s,{{r|cauchy}} and almost half a century after that, in 1858, [[Joseph Bertrand|Bertrand]] provided a more elegant proof by [[faceting]] them.{{r|bertrand}} The following year, [[Arthur Cayley]] gave the Kepler–Poinsot polyhedra the names by which they are generally known today.{{r|cayley}} A hundred years later, [[John Horton Conway|John Conway]] developed a [[Stellation#Naming stellations|systematic terminology]] for stellations in up to four dimensions. Within this scheme, the [[small stellated dodecahedron]] is just the ''stellated dodecahedron''.{{r|conway-2008}}


===Stellations and facetings===
Artist [[M. C. Escher]]'s interest in geometric forms often led to works based on or including regular solids; ''[[Gravitation (M. C. Escher)|Gravitation]]'' is based on a small stellated dodecahedron.{{r|barnes}} A [[Dissection (geometry)|dissection]] of the great dodecahedron was used for the 1980s puzzle [[Alexander's Star]].{{r|alexander's}} Norwegian artist [[Vebjørn Sand#Kepler Star|Vebjørn Sand's sculpture ''The Kepler Star'']] is displayed near [[Oslo Airport, Gardermoen]]. The star spans 14 meters and consists of both a regular icosahedron and a regular dodecahedron inside a great stellated dodecahedron.


The [[great icosahedron]] is one of the [[stellation]]s of the [[regular icosahedron|icosahedron]]. (See ''[[The Fifty-Nine Icosahedra]]'')<br>
== See also ==
The three others are all the stellations of the [[regular dodecahedron|dodecahedron]].
* [[Regular polytope]]
* [[Regular polyhedron]]
* [[List of regular polytopes#Finite Non-Convex Polytopes - star-polytopes|List of regular polytopes]]
* [[Uniform polyhedron]]
* [[Uniform star polyhedron]]
* [[Polyhedral compound]]
* [[Regular star 4-polytope]] the ten regular star [[4-polytope]]s, 4-dimensional analogues of the Kepler–Poinsot polyhedra


The [[great stellated dodecahedron]] is a [[faceting]] of the dodecahedron.<br>
== References ==
The three others are facetings of the icosahedron.
{{Reflist|refs=
 
{| class="wikitable collapsible collapsed" style="text-align: center;"
!colspan="7"| Stellations and facetings
|-
! Convex
|colspan="3"| [[File:Polyhedron 20 big.png|160px]]<br>[[regular icosahedron|icosahedron]]
|colspan="3"| [[File:Polyhedron 12 big.png|160px]]<br>[[regular dodecahedron|dodecahedron]]
|-
! Stellations
|colspan="3"| [[File:Polyhedron great 20.png|90px]]<br>[[great icosahedron|gI]] <small>(the one with yellow faces)</small>
| [[File:Polyhedron great 12.png|90px]]<br>[[great dodecahedron|gD]]
| [[File:Polyhedron great 12 dual.png|90px]]<br>[[small stellated dodecahedron|sD]]
| [[File:Polyhedron great 20 dual.png|90px]]<br>[[great stellated dodecahedron|gsD]]
|-
! Facetings
| [[File:Polyhedron great 20.png|90px]]<br>[[great icosahedron|gI]]
| [[File:Polyhedron great 12.png|90px]]<br>[[great dodecahedron|gD]]
| [[File:Polyhedron great 12 dual.png|90px]]<br>[[small stellated dodecahedron|sD]]
|colspan="3"| [[File:Polyhedron great 20 dual.png|90px]]<br>[[great stellated dodecahedron|gsD]] <small>(the one with yellow vertices)</small>
|}
 
If the intersections are treated as new edges and vertices, the figures obtained will not be [[regular polyhedron|regular]], but they can still be considered [[stellation]]s.{{Example needed|s|date=December 2018}}
 
(See also [[List of Wenninger polyhedron models#Stellations of dodecahedron|List of Wenninger polyhedron models]])
 
===Shared vertices and edges===
 
The great stellated dodecahedron shares its vertices with the dodecahedron. The other three Kepler–Poinsot polyhedra share theirs with the icosahedron.
{{awrap|The [[n-skeleton|skeletons]] of the solids sharing vertices are [[topology|topologically]] equivalent.}}


{| class="wikitable" style="width: 100%; text-align: center;"
<ref name=alexander's>{{cite magazine
|-
| url = https://archive.org/details/games-32-1982-October/page/n57/mode/2up
| [[File:Polyhedron 20 big.png|160px]]<br>[[regular icosahedron|icosahedron]]
| title = Alexander's star
| [[File:Polyhedron great 12.png|160px]]<br>[[great dodecahedron]]
| magazine = Games
| [[File:Polyhedron great 20.png|160px]]<br>[[great icosahedron]]
| issue = 32
| [[File:Polyhedron great 12 dual.png|160px]]<br>[[small stellated dodecahedron]]
| date = October 1982
| [[File:Polyhedron 12 big.png|160px]]<br>[[regular dodecahedron|dodecahedron]]
| page = 56
| [[File:Polyhedron great 20 dual.png|160px]]<br>[[great stellated dodecahedron]]
}}</ref>
|-
|colspan="2"| share vertices and edges
|colspan="2"| share vertices and edges
|colspan="2" rowspan="2"| share vertices, {{awrap|skeletons form [[dodecahedral graph]]}}
|-
|colspan="4"| share vertices, skeletons form [[icosahedral graph]]
|}
 
==The stellated dodecahedra==
 
===Hull and core===
 
The [[small stellated dodecahedron|small]] and [[great stellated dodecahedron|great]] stellated dodecahedron
can be seen as a [[regular dodecahedron|regular]] and a [[great dodecahedron]] with their edges and faces extended until they intersect.<br>
The pentagon faces of these cores are the invisible parts of the star polyhedra's pentagram faces.<br>
For the small stellated dodecahedron the hull is <math>\varphi</math> times bigger than the core, and for the great it is <math>\varphi + 1 = \varphi^2</math> times bigger.
{{awrap|(See [[Golden ratio]])}}<br>
<small>(The [[midsphere|midradius]] is a common measure to compare the size of different polyhedra.)</small>
 
{| class="wikitable collapsible collapsed" style="text-align: center;"
!colspan="5"| Hull and core of the stellated dodecahedra
|-
! Hull
! Star polyhedron
! Core
! <math>\frac{\text{hull midradius}}{\text{core midradius}}</math>
! <math>\frac{\text{core midradius}}{\text{hull midradius}}</math>
|-
| [[File:Polyhedron 20 big.png|160px]]
| [[File:Polyhedron great 12 dual.png|160px]]
| [[File:Polyhedron 12 (core of great 12 dual).png|160px]]
| <math>\frac{\sqrt{5} + 1}{2} = 1.61803...</math>
| <math>\frac{\sqrt{5} - 1}{2} = 0.61803...</math>
|-
| [[File:Polyhedron 12 big.png|160px]]
| [[File:Polyhedron great 20 dual.png|160px]]
| [[File:Polyhedron great 12 (core of great 20 dual).png|160px]]
| <math>\frac{3 + \sqrt{5}}{2} = 2.61803...</math>
| <math>\frac{3 - \sqrt{5}}{2} = 0.38196...</math>
|- style="text-align: left; font-size: small;"
|colspan="5"|
The platonic hulls in these images have the same [[midsphere|midradius]].<br>
This implies that the pentagrams have the same size, and that the cores have the same edge length.<br>
(Compare the 5-fold orthographic projections below.)
|}


===Augmentations===
<ref name=barnes>{{cite book
| last = Barnes | first = John
| year = 2012
| title = Gems of Geometry
| edition = 2nd
| url = https://books.google.com/books?id=7YCUBUd-4BQC&pg=PA46
| page = 46
| publisher = Springer
| doi = 10.1007/978-3-642-30964-9
| isbn = 978-3-642-30964-9
}}</ref>


Traditionally the two star polyhedra have been defined as ''augmentations'' (or ''cumulations''),
<ref name=bertrand>{{cite journal
{{awrap|i.e. as dodecahedron and icosahedron with pyramids added to their faces.}}
| last = Bertrand | first = Joseph | author-link = Joseph Bertrand
| title = Note sur la théorie des polyèdres réguliers
| journal = {{ill|Comptes rendus des séances de l'Académie des Sciences|fr|Comptes rendus des séances de l'Académie des Sciences}}
| volume = 46
| year = 1858
| pages = 79–82, 117
}}</ref>


Kepler calls the small stellation an ''augmented dodecahedron'' (then nicknaming it ''hedgehog'').<ref>"augmented dodecahedron to which I have given the name of ''Echinus''"
<ref name=cauchy>{{cite journal
(''[[Harmonices Mundi]]'', Book V, Chapter III — p. 407 in the translation by E. J. Aiton)</ref>
| last = Cauchy | first = Augustin-Louis | author-link = Augustin-Louis Cauchy
| title = Recherches sur les polyèdres
| journal = Journal de l'École polytechnique
| volume = 9
| pages = 68–86
| year = 1813
}}</ref>


{{awrap|In his view the great stellation is related to the icosahedron as the small one is to the dodecahedron.<ref>"These figures are so closely related the one to the dodecahedron the other to the icosahedron that the latter two figures, particularly the dodecahedron, seem somehow truncated or maimed when compared to the figures with spikes."
<ref name=cayley>{{cite journal
(''[[Harmonices Mundi]]'', Book II, Proposition XXVI — p. 117 in the translation by E. J. Aiton)</ref>}}
| last = Cayley | first = Arthur | author-link = Arthur Cayley
| title = On Poinsot's Four New Regular Solids
| journal = Philosophical Magazine
| volume = 17
| pages = 123–127, 209
| year = 1859
}}</ref>


These [[Informal mathematics|naïve]] definitions are still used.
<ref name=conway-2008>{{cite book
E.g. [[MathWorld]] states that the two star polyhedra can be constructed by adding pyramids to the faces of the Platonic solids.<ref>"A small stellated dodecahedron can be constructed by cumulation of a dodecahedron,
| last1 = Conway | first1 = John Horton
i.e., building twelve pentagonal pyramids and attaching them to the faces of the original dodecahedron."
| last2 = Burgiel | first2 = Heidi
{{MathWorld |id=SmallStellatedDodecahedron |title=Small Stellated Dodecahedron |access-date=2018-09-21}}</ref>
| last3 = Goodman-Strauss | first3 = Chaim | author-link3 = Chaim Goodman-Strauss
<ref>"Another way to construct a great stellated dodecahedron via cumulation is to make 20 triangular pyramids [...] and attach them to the sides of an icosahedron."
| title = The Symmetry of Things
{{MathWorld |id=GreatStellatedDodecahedron |title=Great Stellated Dodecahedron |access-date=2018-09-21}}</ref>
| isbn = 978-1-56881-220-5
| year = 2008
| page = 405
| publisher = CRC Press
| url = https://books.google.com/books?id=Drj1CwAAQBAJ&pg=PA405
}} See Figure 26.1, Relationships among the three-dimensional star-polytopes.</ref>


{{awrap|This is just a help to visualize the shape of these solids, and not actually a claim that the edge intersections (false vertices) are vertices.}}
<ref name=coxeter-1999>{{cite book
{{awrap|If they were, the two star polyhedra would be [[Topology|topologically]] equivalent to the [[pentakis dodecahedron]] and the [[triakis icosahedron]].}}
| last1 = Coxeter | first1 = H.S.M. | author-link1 = Harold Scott MacDonald Coxeter
| last2 = du Val | first2 = P.
| last3 = Flather | first3 = H.T.
| last4 = Petrie | first4 = J.F.
| title = The Fifty-Nine Icosahedra
| title-link = The Fifty-Nine Icosahedra
| edition = 3rd
| publisher = Tarquin
| year = 1999
| page = [http://books.google.com/books?id=k13lBwAAQBAJ&pg=PA11 11]
}}</ref>


{| class="wikitable collapsible collapsed" style="text-align: center;"
<ref name=coxeter-2013>{{cite book
!colspan="5"| Stellated dodecahedra as augmentations
| contribution = Regular and semiregular polyhedra
|-
| last = Coxeter | first = H. S. M. | author-link = Harold Scott MacDonald Coxeter
! Core
| pages = 41–52
! Star polyhedron
| title = Shaping Space: Exploring Polyhedra in Nature, Art, and the Geometrical Imagination
! [[Catalan solid]]
| edition = 2nd
|-
| editor-first = Marjorie | editor-last = Senechal | editor-link = Marjorie Senechal
| [[File:Polyhedron 12 (core of great 12 dual).png|160px]]
| publisher = Springer
| [[File:Polyhedron great 12 dual (as pentakis 12).png|160px]]
| year = 2013
| [[File:Polyhedron truncated 20 dual big.png|160px]]
| doi = 10.1007/978-0-387-92714-5
|-
| isbn = 978-0-387-92713-8
| [[File:Polyhedron 20 (core of great 20 dual).png|160px]]
}} See in particular p. 42.</ref>
| [[File:Polyhedron great 20 dual (as triakis 20).png|160px]]
| [[File:Polyhedron truncated 12 dual big.png|160px]]
|}


==Symmetry==
<ref name=cromwell>{{cite book
| last = Cromwell | first = Peter
| year = 1997
| title = Polyhedra
| url = https://books.google.com/books?id=OJowej1QWpoC&pg=PA265
| page = 265
| publisher = [[Cambridge University Press]]
| isbn = 978-0-521-66405-9
}}</ref>


All Kepler–Poinsot polyhedra have full [[icosahedral symmetry]], just like their convex hulls.
<ref name=dubrovin>{{cite book
| last = Dubrovin | first = Boris
| editor-last = Conte | editor-first = Robert
| year = 1999
| title = The Painlevé Property: One Century Later
| contribution = Painlevé Transcendents in Two-Dimensional Topological Field Theory
| contribution-url = https://books.google.com/books?id=nBznBwAAQBAJ&pg=PA403
| page = 403
| doi = 10.1007/978-1-4612-1532-5
| isbn = 978-1-4612-1532-5
}}</ref>


The [[great icosahedron]] and [[great stellated dodecahedron|its dual]] resemble the icosahedron and its dual in that they have faces and vertices on the 3-fold (yellow) and 5-fold (red) symmetry axes.<br>
<ref name=huylebrouck>{{cite book
In the [[great dodecahedron]] and [[small stellated dodecahedron|its dual]] all faces and vertices are on 5-fold symmetry axes (so there are no yellow elements in these images).
| last = Huylebrouck | first = Dirk
| editor-first1 = Eve | editor-last1 = Torrence
| editor-first2 = Bruce | editor-last2 = Torrence
| editor-first3 = Carlo H. | editor-last3 = Séquin
| editor-first4 = Douglas | editor-last4 = McKenna
| editor-first5 = Kristóf | editor-last5 = Fenyvesi
| editor-first6 = Reza | editor-last6 = Sarhangi
| publisher = Tessellations Publishing
| location = [[Phoenix, Arizona]]
| year = 2016
| title = Bridges Finland: Mathematics, Music, Art, Architecture, Education, Culture
| contribution-url = https://archive.bridgesmathart.org/2016/bridges2016-263.pdf
| contribution = Euler-Cayley Formula for ‘Unusual’ Polyhedra
}}</ref>


The following table shows the solids in pairs of duals. In the top row they are shown with [[pyritohedral symmetry]], in the bottom row with icosahedral symmetry (to which the mentioned colors refer).
<ref name=inchbald>{{cite journal
| last = Inchbald | first = Guy
| year = 2006
| title = Facetting Diagrams
| journal = [[The Mathematical Gazette]]
| volume = 90 | issue = 518 | pages = 253&ndash;261
| doi = 10.1017/S0025557200179653
| jstor = 40378613
}}</ref>


The table below shows [[orthographic projection]]s from the 5-fold (red), 3-fold (yellow) and 2-fold (blue) symmetry axes.
<ref name=innocenzi>{{cite book
| last = Innocenzi | first = Plinio
| year = 2019
| title = The Innovators Behind Leonardo: The True Story of the Scientific and Technological Renaissance
| url = https://books.google.com/books?id=61diDwAAQBAJ&pg=PA257
| page = 256&ndash;257
| doi = 10.1007/978-3-319-90449-8
| isbn = 978-3-319-90449-8
}}</ref>


{| class="wikitable" style="width: 100%; text-align: center;"
<ref name=kappraff>{{cite book
|-
| last = Kappraff | first = Jay
! {3, 5} ([[regular icosahedron|I]]) &nbsp; and &nbsp; {5, 3} ([[regular dodecahedron|D]])
| year = 2001
! {5, 5/2} ([[great dodecahedron|gD]]) &nbsp; and &nbsp; {5/2, 5} ([[small stellated dodecahedron|sD]])
| title = Connections: The Geometric Bridge Between Art and Science
! {3, 5/2} ([[great icosahedron|gI]]) &nbsp; and &nbsp; {5/2, 3} ([[great stellated dodecahedron|gsD]])
| edition = 2nd
|-
| publisher = [[World Scientific]]
|{{awrap|[[File:Polyhedron 20 pyritohedral big.png|160px]][[File:Polyhedron 12 pyritohedral big.png|160px]]}}<br>
| url = https://books.google.com/books?id=twF7pOYXSTcC&pg=PA309
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#20pyr|animations]])</small>
| page = 309
|{{awrap|[[File:Polyhedron great 12 pyritohedral.png|160px]][[File:Polyhedron great 12 dual pyritohedral.png|160px]]}}<br>
| isbn = 981-02-4585-8
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#great12pyr|animations]])</small>
}}</ref>
|{{awrap|[[File:Polyhedron great 20 pyritohedral.png|160px]][[File:Polyhedron great 20 dual pyritohedral.png|160px]]}}<br>
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#great20pyr|animations]])</small>
|-
|{{awrap|[[File:Polyhedron 20 big.png|160px]][[File:Polyhedron 12 big.png|160px]]}}<br>
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#20ico|animations]])</small>
|{{awrap|[[File:Polyhedron great 12.png|160px]][[File:Polyhedron great 12 dual.png|160px]]}}<br>
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#great12ico|animations]])</small>
|{{awrap|[[File:Polyhedron great 20.png|160px]][[File:Polyhedron great 20 dual.png|160px]]}}<br>
<small>([[c:Animations of Kepler-Poinsot solids with direction colors#great20ico|animations]])</small>
|}


{| class="wikitable collapsible collapsed" style="width: 100%; text-align: center;"
<ref name=ss>{{cite book
!colspan="3"| orthographic projections
| last1 = Scriba | first1 = Christoph
|- style="text-align: left; font-size: small;"
| last2 = Schreiber | first2 = Peter
|colspan="3"|
| year = 2015
The platonic hulls in these images have the same [[midsphere|midradius]], so all the 5-fold projections below are in a [[decagon]] of the same size.
| title = 5000 Years of Geometry: Mathematics in History and Culture
{{awrap|(Compare [[:File:Polyhedron pair 12-20 big from red.png|projection of the compound]].)}}
| url = https://books.google.com/books?id=6Kp9CAAAQBAJ&pg=PA305
{{awrap|This implies that [[small stellated dodecahedron|sD]], [[great stellated dodecahedron|gsD]] and [[great icosahedron|gI]] have the same edge length,
| page = 305
namely the side length of a pentagram in the surrounding decagon.}}
| publisher = Springer
|-
| doi = 10.1007/978-3-0348-0898-9
|{{awrap|[[File:Polyhedron 20 big from red.png|160px]][[File:Polyhedron 12 big from red.png|160px]]}}
| isbn = 978-3-0348-0898-9
|{{awrap|[[File:Polyhedron great 12 from red.png|160px]][[File:Polyhedron great 12 dual from red.png|160px]]}}
}}</ref>
|{{awrap|[[File:Polyhedron great 20 from red.png|160px]][[File:Polyhedron great 20 dual from red.png|160px]]}}
|-
|{{awrap|[[File:Polyhedron 20 big from yellow.png|160px]][[File:Polyhedron 12 big from yellow.png|160px]]}}
|{{awrap|[[File:Polyhedron great 12 from yellow.png|160px]][[File:Polyhedron great 12 dual from yellow.png|160px]]}}
|{{awrap|[[File:Polyhedron great 20 from yellow.png|160px]][[File:Polyhedron great 20 dual from yellow.png|160px]]}}
|-
|{{awrap|[[File:Polyhedron 20 big from blue.png|160px]][[File:Polyhedron 12 big from blue.png|160px]]}}
|{{awrap|[[File:Polyhedron great 12 from blue.png|160px]][[File:Polyhedron great 12 dual from blue.png|160px]]}}
|{{awrap|[[File:Polyhedron great 20 from blue.png|160px]][[File:Polyhedron great 20 dual from blue.png|160px]]}}
|}


== History ==
<ref name=wenninger>{{cite book
| last = Wenninger | first = Magnus | author-link = Magnus Wenninger
| title = Dual Models
| publisher = [[Cambridge University Press]]
| year = 1983
| isbn = 0-521-54325-8
| pages = 39–41
| url = https://books.google.com/books?id=mfmzUjhs-_8C&pg=PA39
}}</ref>


Most, if not all, of the Kepler–Poinsot polyhedra were known of in some form or other before Kepler. A small stellated dodecahedron appears in a marble tarsia (inlay panel) on the floor of [[St. Mark's Basilica]], [[Venice]], Italy. It dates from the 15th century and is sometimes attributed to [[Paolo Uccello]].<ref>{{cite book|contribution=Regular and semiregular polyhedra|first=H. S. M.|last=Coxeter|author-link= Harold Scott MacDonald Coxeter|pages=41–52|title=Shaping Space: Exploring Polyhedra in Nature, Art, and the Geometrical Imagination|edition=2nd|editor-first=Marjorie|editor-last=Senechal|editor-link=Marjorie Senechal|publisher=Springer|year=2013|doi=10.1007/978-0-387-92714-5|isbn=978-0-387-92713-8 }} See in particular p. 42.</ref>
In his ''[[Perspectiva corporum regularium]]'' (''Perspectives of the regular solids''), a book of woodcuts published in 1568, [[Wenzel Jamnitzer]] depicts the [[great stellated dodecahedron]] and a [[great dodecahedron]] (both shown below). There is also a [[truncation (geometry)|truncated]] version of the [[small stellated dodecahedron]].<ref>[[:File:Perspectiva Corporum Regularium 27e.jpg]]</ref> It is clear from the general arrangement of the book that he regarded only the five Platonic solids as regular.
The small and great stellated dodecahedra, sometimes called the '''Kepler polyhedra''', were first recognized as regular by [[Johannes Kepler]] around 1619.<ref>H.S.M. Coxeter, P. Du Val, H.T. Flather and J.F. Petrie; ''The Fifty-Nine Icosahedra'', 3rd Edition, Tarquin, 1999. p.11</ref> He obtained them by [[stellation|stellating]] the regular convex dodecahedron, for the first time treating it as a surface rather than a solid. He noticed that by extending the edges or faces of the convex dodecahedron until they met again, he could obtain star pentagons. Further, he recognized that these star pentagons are also regular. In this way he constructed the two stellated dodecahedra. Each has the central convex region of each face "hidden" within the interior, with only the triangular arms visible. Kepler's final step was to recognize that these polyhedra fit the definition of regularity, even though they were not [[Convex polyhedron|convex]], as the traditional [[Platonic solid]]s were.
In 1809, [[Louis Poinsot]] rediscovered Kepler's figures, by assembling star pentagons around each vertex. He also assembled convex polygons around star vertices to discover two more regular stars, the great icosahedron and great dodecahedron. Some people call these two the '''Poinsot polyhedra'''. Poinsot did not know if he had discovered all the regular star polyhedra.
Three years later, [[Augustin Cauchy]] proved the list complete by [[stellation|stellating]] the [[Platonic solid]]s, and almost half a century after that, in 1858, [[Joseph Bertrand|Bertrand]] provided a more elegant proof by [[faceting]] them.
The following year, [[Arthur Cayley]] gave the Kepler–Poinsot polyhedra the names by which they are generally known today.
A hundred years later, [[John Horton Conway|John Conway]] developed a [[Stellation#Naming stellations|systematic terminology]] for stellations in up to four dimensions. Within this scheme the [[small stellated dodecahedron]] is just the ''stellated dodecahedron''.
{| style="width: 100%; text-align: center;"
|- style="vertical-align: top;"
| [[File:Marble floor mosaic Basilica of St Mark Vencice.jpg|thumb|center|Floor [[mosaic]] in [[St Mark's Basilica|St Mark's]], [[Venice]] <small>(possibly by [[Paolo Uccello]])</small>]]
|
{{multiple image
| align = center | total_width = 440
| image1 = Perspectiva Corporum Regularium 22c.jpg
| image2 = Perspectiva Corporum Regularium MET DP239933, great stellated dodecahedron.jpg
| footer = [[Great dodecahedron]] and [[great stellated dodecahedron]] in ''[[Perspectiva Corporum Regularium]]'' (1568)
}}
}}
| [[File:Stellated dodecahedra Harmonices Mundi.jpg|thumb|center|Stellated dodecahedra, ''[[Harmonices Mundi]]'' by [[Johannes Kepler]] (1619)]]
| [[File:Sternpolyeder.jpg|thumb|center|Cardboard model of a [[great icosahedron]] from [[University of Tübingen|Tübingen University]] (around 1860)]]
|}
== Regular star polyhedra in art and culture ==
[[Image:Alexander's Star.jpg|thumb|Alexander's Star]]
Regular star polyhedra first appear in Renaissance art. A small stellated dodecahedron is depicted in a marble tarsia on the floor of [[St Mark's Basilica|St. Mark's Basilica]], Venice, Italy, dating from ca. 1430 and sometimes attributed to [[Paolo Uccello|Paulo Uccello]].
In the 20th century, artist [[M. C. Escher]]'s interest in geometric forms often led to works based on or including regular solids; ''[[Gravitation (M. C. Escher)|Gravitation]]'' is based on a small stellated dodecahedron.
A [[Dissection (geometry)|dissection]] of the great dodecahedron was used for the 1980s puzzle [[Alexander's Star]].
Norwegian artist [[Vebjørn Sand]]'s sculpture ''The Kepler Star'' is displayed near [[Oslo Airport, Gardermoen]]. The star spans 14 meters, and consists of an [[icosahedron]] and a [[dodecahedron]] inside a great stellated dodecahedron.
== See also ==
* [[Regular polytope]]
* [[Regular polyhedron]]
* [[List of regular polytopes#Finite Non-Convex Polytopes - star-polytopes|List of regular polytopes]]
* [[Uniform polyhedron]]
* [[Uniform star polyhedron]]
* [[Polyhedral compound]]
* [[Regular star 4-polytope]] – the ten regular star [[4-polytope]]s, 4-dimensional analogues of the Kepler–Poinsot polyhedra
== References ==
===Notes===
{{Reflist}}


===Bibliography===
* [[Joseph Bertrand|J. Bertrand]], Note sur la théorie des polyèdres réguliers, ''Comptes rendus des séances de l'Académie des Sciences'', '''46''' (1858), pp.&nbsp;79–82, 117.
* [[Augustin-Louis Cauchy]], ''Recherches sur les polyèdres.'' J. de l'École Polytechnique 9, 68–86, 1813.
* [[Arthur Cayley]], On Poinsot's Four New Regular Solids. ''Phil. Mag.'' '''17''', pp.&nbsp;123–127 and 209, 1859.
* [[John Horton Conway|John H. Conway]], Heidi Burgiel, [[Chaim Goodman-Strauss]], ''The Symmetry of Things'' 2008, {{isbn|978-1-56881-220-5}} (Chapter 24, Regular Star-polytopes, pp.&nbsp;404–408)
* ''Kaleidoscopes: Selected Writings of [[Harold Scott MacDonald Coxeter|H. S. M. Coxeter]]'', edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, {{isbn|978-0-471-01003-6}} [http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html] {{Webarchive|url=https://web.archive.org/web/20160711140441/http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html |date=2016-07-11 }}
* ''Kaleidoscopes: Selected Writings of [[Harold Scott MacDonald Coxeter|H. S. M. Coxeter]]'', edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, {{isbn|978-0-471-01003-6}} [http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html] {{Webarchive|url=https://web.archive.org/web/20160711140441/http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html |date=2016-07-11 }}
** (Paper 1) H.S.M. Coxeter, ''The Nine Regular Solids'' [Proc. Can. Math. Congress 1 (1947), 252–264, MR 8, 482]
** (Paper 1) H.S.M. Coxeter, ''The Nine Regular Solids'' [Proc. Can. Math. Congress 1 (1947), 252–264, MR 8, 482]
Line 451: Line 352:
* [[Louis Poinsot]], Memoire sur les polygones et polyèdres. ''J. de l'École Polytechnique'' '''9''', pp.&nbsp;16–48, 1810.
* [[Louis Poinsot]], Memoire sur les polygones et polyèdres. ''J. de l'École Polytechnique'' '''9''', pp.&nbsp;16–48, 1810.
* Lakatos, Imre; ''Proofs and Refutations'', Cambridge University Press (1976) - discussion of proof of Euler characteristic
* Lakatos, Imre; ''Proofs and Refutations'', Cambridge University Press (1976) - discussion of proof of Euler characteristic
* {{cite book | first=Magnus | last=Wenninger | author-link=Magnus Wenninger  | title=Dual Models | publisher=Cambridge University Press | date=1983 | isbn=0-521-54325-8 }}, pp.&nbsp;39–41.
* [[John Horton Conway|John H. Conway]], Heidi Burgiel, [[Chaim Goodman-Strauss]], ''The Symmetries of Things'' 2008, {{isbn|978-1-56881-220-5}} (Chapter 26. pp.&nbsp;404: Regular star-polytopes Dimension 3)
* {{cite book | author= Anthony Pugh | date= 1976 | title= Polyhedra: A Visual Approach | publisher= University of California Press Berkeley | location= California | isbn= 0-520-03056-7  }} Chapter 8: Kepler Poisot polyhedra
* {{cite book | author= Anthony Pugh | date= 1976 | title= Polyhedra: A Visual Approach | publisher= University of California Press Berkeley | location= California | isbn= 0-520-03056-7  }} Chapter 8: Kepler Poisot polyhedra


Line 458: Line 357:
{{Commons category|Kepler-Poinsot solids}}
{{Commons category|Kepler-Poinsot solids}}
*{{Mathworld | urlname=Kepler-PoinsotSolid | title=Kepler–Poinsot solid }}
*{{Mathworld | urlname=Kepler-PoinsotSolid | title=Kepler–Poinsot solid }}
*[http://www.software3d.com/Kepler.php Paper models of Kepler–Poinsot polyhedra]
*[https://www.software3d.com/Kepler.php Paper models of Kepler–Poinsot polyhedra]
*[http://www.korthalsaltes.com/cuadros.php?type=k Free paper models (nets) of Kepler–Poinsot polyhedra]
*[https://www.korthalsaltes.com/cuadros.php?type=k Free paper models (nets) of Kepler–Poinsot polyhedra]
*[http://www.mathconsult.ch/showroom/unipoly/ The Uniform Polyhedra]
*[https://www.mathconsult.ch/showroom/unipoly/ The Uniform Polyhedra]
*[http://dmccooey.com/polyhedra/KeplerPoinsot.html Kepler-Poinsot Solids] in Visual Polyhedra
*[http://dmccooey.com/polyhedra/KeplerPoinsot.html Kepler-Poinsot Solids] in Visual Polyhedra
*[http://www.georgehart.com/virtual-polyhedra/kepler-poinsot-info.html VRML models of the Kepler–Poinsot polyhedra]
*[http://www.georgehart.com/virtual-polyhedra/kepler-poinsot-info.html VRML models of the Kepler–Poinsot polyhedra]
*[http://www.steelpillow.com/polyhedra/StelFacet/history.html Stellation and facetting - a brief history]
*[https://www.steelpillow.com/polyhedra/StelFacet/history.html Stellation and facetting - a brief history]
*[http://www.software3d.com/Stella.php Stella: Polyhedron Navigator]: Software used to create many of the images on this page.
*[https://www.software3d.com/Stella.php Stella: Polyhedron Navigator]: Software used to create many of the images on this page.
{{Nonconvex polyhedron navigator}}
{{Nonconvex polyhedron navigator}}



Latest revision as of 07:19, 14 October 2025

Template:Short description Template:Multiple image In geometry, a Kepler–Poinsot polyhedron is any of four regular star polyhedra.[1]

They may be obtained by stellating the regular convex dodecahedron and icosahedron, and differ from these in having regular pentagrammic faces or vertex figures. They can all be seen as three-dimensional analogues of the pentagram in one way or another.

Characteristics

The Kepler–Poinsot polyhedra are the regular star polyhedra, obtained by extending both regular icosahedron and regular dodecahedron, an operation named stellation. This operation results in four different polyhedra:Template:R

File:Relationship among regular star polyhedra (direction colors).png
Conway's system of relations between the six polyhedra (ordered vertically by density). Here, the green arrow represents the connection of duality, blue represents the greatening (g), and orange represents the stellation (s).Template:R

John Conway introduces operators for the Kepler–Poinsot polyhedra known as greatenings—(g), maintaining the type of faces, shifting and resizing them into parallel planes—and stellations—(s), changing pentagonal faces into pentagrams—of the convex solids. In his naming convention, the small stellated dodecahedron is just the stellated dodecahedron.Template:R

By the construction above, these figures have pentagrams (star pentagons) as faces or vertex figures.Template:R The dual polyhedron of a great dodecahedron is the small stellated dodecahedron, and the dual of a great icosahedron is the great stellated dodecahedron.Template:R The four share the symmetry as both regular icosahedron and regular dodecahedron, the icosahedral symmetry.Template:R

Euler characteristic

A Kepler–Poinsot polyhedron covers its circumscribed sphere more than once, with the centers of faces acting as winding points in the figures which have pentagrammic faces, and the vertices in the others. Because of this, they are not necessarily topologically equivalent to the sphere as Platonic solids are, and in particular, the Euler relation χ=VE+F=2  does not always hold. Schläfli held that all polyhedra must have χ = 2, and he rejected the small stellated dodecahedron and great dodecahedron as proper polyhedra. This view was never widely held.[2]

A modified form of Euler's formula, using density (D) of the vertex figures (dv) and faces (df) was given by Arthur Cayley, and holds both for convex polyhedra (where the correction factors are all 1), and the Kepler–Poinsot polyhedra:Template:R dvVE+dfF=2D, and by this calculation, the density of the great icosahedron and the great stellated dodecahedron are 7, whereas the great dodecahedron and the small stellated dodecahedron are 3.Template:Sfnp

Duality and Petrie polygons

The Kepler–Poinsot polyhedra exist in dual pairs. Duals have the same Petrie polygon, or more precisely, Petrie polygons with the same two-dimensional projection.

The following images show the two dual compounds with the same edge radius. They also show that the Petrie polygons are skew. Two relationships described in the article below are also easily seen in the images: That the violet edges are the same, and that the green faces lie in the same planes.

horizontal edge in front vertical edge in front Petrie polygon
small stellated dodecahedron {52,5} great dodecahedron {5,52} hexagon {61,3}
great icosahedron {3,52} great stellated dodecahedron {52,3} decagram {103,5}

Template:Multiple image

Template:Multiple image

Summary

Name
(Conway's abbreviation)
Picture Spherical
tiling
Stellation
diagram
Schläfli
{p, q} and
Coxeter-Dynkin
Faces
{p}
Edges Vertices
{q}
Vertex
figure

(config.)
Petrie polygon χ Density Symmetry Dual
great dodecahedron
(gD)
File:Great dodecahedron (gray with yellow face).svg File:Great dodecahedron tiling.svg File:Second stellation of dodecahedron facets.svg {5, 5/2}
Template:CDD
12
{5}
30 12
{5/2}
File:Great dodecahedron vertfig.png
(55)/2
File:Skeleton Gr12, Petrie, stick, size m, 3-fold.png
{6}
−6 3 Ih small stellated dodecahedron
small stellated dodecahedron
(sD)
File:Small stellated dodecahedron (gray with yellow face).svg File:Small stellated dodecahedron tiling.png File:First stellation of dodecahedron facets.svg {5/2, 5}
Template:CDD
12
{5/2}
30 12
{5}
File:Small stellated dodecahedron vertfig.png
(5/2)5
File:Skeleton St12, Petrie, stick, size m, 3-fold.png
{6}
−6 3 Ih great dodecahedron
great icosahedron
(gI)
File:Great icosahedron (gray with yellow face).svg File:Great icosahedron tiling.svg File:Great icosahedron stellation facets.svg {3, 5/2}
Template:CDD
20
{3}
30 12
{5/2}
File:Great icosahedron vertfig.svg
(35)/2
File:Skeleton Gr20, Petrie, stick, size m, 5-fold.png
{10/3}
2 7 Ih great stellated dodecahedron
great stellated dodecahedron
(sgD = gsD)
File:Great stellated dodecahedron (gray with yellow face).svg File:Great stellated dodecahedron tiling.svg File:Third stellation of dodecahedron facets.svg {5/2, 3}
Template:CDD
12
{5/2}
30 20
{3}
File:Great stellated dodecahedron vertfig.svg
(5/2)3
File:Skeleton GrSt12, Petrie, stick, size m, 5-fold.png
{10/3}
2 7 Ih great icosahedron

History

Template:Multiple image Most, if not all, of the Kepler–Poinsot polyhedra were known of in some form or other before Kepler. A small stellated dodecahedron appears in a marble tarsia (inlay panel) on the floor of St. Mark's Basilica, Venice, Italy. It dates from the 15th century and is sometimes attributed to Paolo Uccello.Template:R

In his Perspectiva corporum regularium, a book of woodcuts published in 1568, Wenzel Jamnitzer depicts the great stellated dodecahedron and a great dodecahedron. It is clear from the general arrangement of the book that he regarded only the five Platonic solids as regular.Template:R

The small and great stellated dodecahedra, sometimes called the Kepler polyhedra, were first recognized as regular by Johannes Kepler around 1619.Template:R He obtained them by stellating the regular convex dodecahedron, for the first time treating it as a surface rather than a solid. He noticed that by extending the edges or faces of the convex dodecahedron until they met again, he could obtain star pentagons. Further, he recognized that these star pentagons are also regular. In this way, he constructed the two stellated dodecahedra. Each has the central convex region of each face "hidden" within the interior, with only the triangular arms visible. Kepler's final step was to recognize that these polyhedra fit the definition of regularity, even though they were not convex, as the traditional Platonic solids were.

In 1809, Louis Poinsot rediscovered Kepler's figures by assembling star pentagons around each vertex. He also assembled convex polygons around star vertices to discover two more regular stars, the great icosahedron and great dodecahedron. Some people call these two the Poinsot polyhedra. Poinsot did not know if he had discovered all the regular star polyhedra. Three years later, Augustin Cauchy proved the list complete by stellating the Platonic solids,Template:R and almost half a century after that, in 1858, Bertrand provided a more elegant proof by faceting them.Template:R The following year, Arthur Cayley gave the Kepler–Poinsot polyhedra the names by which they are generally known today.Template:R A hundred years later, John Conway developed a systematic terminology for stellations in up to four dimensions. Within this scheme, the small stellated dodecahedron is just the stellated dodecahedron.Template:R

Artist M. C. Escher's interest in geometric forms often led to works based on or including regular solids; Gravitation is based on a small stellated dodecahedron.Template:R A dissection of the great dodecahedron was used for the 1980s puzzle Alexander's Star.Template:R Norwegian artist Vebjørn Sand's sculpture The Kepler Star is displayed near Oslo Airport, Gardermoen. The star spans 14 meters and consists of both a regular icosahedron and a regular dodecahedron inside a great stellated dodecahedron.

See also

References

Template:Reflist

  • Kaleidoscopes: Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, Template:Isbn [1] Template:Webarchive
    • (Paper 1) H.S.M. Coxeter, The Nine Regular Solids [Proc. Can. Math. Congress 1 (1947), 252–264, MR 8, 482]
    • (Paper 10) H.S.M. Coxeter, Star Polytopes and the Schlafli Function f(α,β,γ) [Elemente der Mathematik 44 (2) (1989) 25–36]
  • Theoni Pappas, (The Kepler–Poinsot Solids) The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, p. 113, 1989.
  • Louis Poinsot, Memoire sur les polygones et polyèdres. J. de l'École Polytechnique 9, pp. 16–48, 1810.
  • Lakatos, Imre; Proofs and Refutations, Cambridge University Press (1976) - discussion of proof of Euler characteristic
  • Script error: No such module "citation/CS1". Chapter 8: Kepler Poisot polyhedra

External links

Template:Sister project

Template:Nonconvex polyhedron navigator

  1. Coxeter, Star polytopes and the Schläfli function f(α,β,γ) p. 121 1. The Kepler–Poinsot polyhedra
  2. Script error: No such module "citation/CS1".