Jump to content

Prism (geometry): Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Organized different sections better by placing them under new headings that group together similar topics.
(28 intermediate revisions by 18 users not shown)
Line 1: Line 1:
{{short description|Solid with parallel bases connected by parallelograms}}
{{Short description|Solid with 2 parallel n-gonal bases connected by n parallelograms}}
{{Infobox polyhedron
{{Infobox polyhedron
| name = Set of uniform {{nowrap|{{mvar|n}}-gonal}} prisms
| name = Set of uniform {{nowrap|{{mvar|n}}-gonal}} prisms
| image = Hexagonal Prism BC.svg
| image = Hexagonal Prism BC.svg
| caption = Example uniform hexagonal prism
| caption = Example: uniform hexagonal prism ({{math|1=''n'' = 6}})
| type = [[Uniform polyhedron|uniform]] in the sense of [[Semiregular polyhedron|semiregular]] polyhedron
| type = [[Uniform polyhedron|uniform]] in the sense of [[Semiregular polyhedron|semiregular]] polyhedron
| euler =
| euler =
| faces = 2 {{nowrap|{{mvar|n}}-gonal}} [[regular polygon]]s<br>{{mvar|n}} [[square]]s
| faces = {{math|2 ''n''}}-sided [[regular polygon]]s<br>
{{mvar|n}} [[square]]s
| edges = {{math|3''n''}}
| edges = {{math|3''n''}}
| vertices = {{math|2''n''}}
| vertices = {{math|2''n''}}
| vertex_config = {{math|4.4.''n''}}
| vertex_config = {{math|4.4.''n''}}
| schläfli = {{math|{''n''}×{ } }}<ref>{{cite book
| schläfli = {{math|{''n''}×{} }}<ref>[[Norman Johnson (mathematician)|N.W. Johnson]]: ''Geometries and Transformations'', (2018) {{ISBN|978-1-107-10340-5}} Chapter 11: ''Finite symmetry groups'', 11.3 Pyramids, Prisms, and Antiprisms, Figure 11.3b</ref><br>{{math|''t''{2,&nbsp;''n''} }}
| last = Johnson | first = N. W | authorlink = Norman Johnson (mathematician)
| title = Geometries and Transformations
| year = 2018
| url = https://books.google.com/books?id=adBVDwAAQBAJ&pg=PA223
| chapter = Chapter 11: Finite symmetry groups
| isbn = 978-1-107-10340-5}} See 11.3 Pyramids, Prisms, and Antiprisms, Figure 11.3b.</ref><br />{{math|t{2,''n''} }}
| wythoff =
| wythoff =
| coxeter = {{CDD|node_1|2|node_1|n|node}}
| coxeter = {{CDD|node_1|2|node_1|n|node}}
| conway = {{math|P''n''}}
| conway = {{math|P''n''}}
| symmetry = {{math|[[Dihedral symmetry in three dimensions|''D''<sub>''n''h</sub>]], [''n'',2], (*''n''22),}} order {{math|4''n''}}
| symmetry = [[Dihedral symmetry in three dimensions|{{math|D<sub>''n''h</sub>, [''n'',2], (*''n''22),}}]] order {{math|4''n''}}
| rotation_group = {{math|''D''<sub>''n''</sub>, [''n'',2]<sup>+</sup>, (''n''22),}} order {{math|2''n''}}
| rotation_group = {{math|D<sub>''n''</sub>, [''n'',2]<sup>+</sup>, (''n''22),}} order {{math|2''n''}}
| surface_area =
| surface_area =
| volume =
| volume =
| dual = [[Convex polytope|convex]] dual-[[Uniform polyhedron|uniform]] {{nowrap|{{mvar|n}}-gonal}} [[bipyramid]]
| dual = [[Convex polytope|convex]] dual-[[Uniform polyhedron|uniform]] {{nowrap|{{mvar|n}}-gonal}} [[bipyramid]]
| properties = convex, [[regular polygon]] faces, [[vertex-transitive]], translated bases, sides ⊥ bases
| properties = convex, [[regular polygon]] faces, [[Isogonal figure|isogonal]], translated bases, sides ⊥ bases
| vertex_figure =
| vertex_figure =
| net = Generalized prisim net.svg
| net = Generalized prisim net.svg
| net_caption = Example: net of uniform enneagonal prism ({{math|1=''n'' = 9}})
}}
}}


In [[geometry]], a '''prism''' is a [[polyhedron]] comprising an {{nowrap|{{mvar|n}}-sided}} polygon [[Base (geometry)|base]], a second base which is a [[Translation (geometry)|translated]] copy (rigidly moved without rotation) of the first, and {{mvar|n}} other [[Face (geometry)|faces]], necessarily all [[parallelogram]]s, joining [[corresponding sides]] of the two bases. All [[Cross section (geometry)|cross-sections]] parallel to the bases are translations of the bases. Prisms are named after their bases, e.g. a prism with a [[pentagonal]] base is called a pentagonal prism. Prisms are a subclass of [[prismatoid]]s.
In [[geometry]], a '''prism''' is a [[polyhedron]] comprising an {{nowrap|{{mvar|n}}-sided}} polygon [[Base (geometry)|base]], a second base which is a [[Translation (geometry)|translated]] copy (rigidly moved without rotation) of the first, and {{mvar|n}} other [[Face (geometry)|faces]], necessarily all [[parallelogram]]s, joining [[corresponding sides]] of the two bases. All [[Cross section (geometry)|cross-sections]] parallel to the bases are translations of the bases. Prisms are named after their bases, e.g. a prism with a [[pentagonal]] base is called a pentagonal prism. Prisms are a subclass of [[prismatoid]]s.<ref name="prismatoid">{{cite journal
| last = Grünbaum | first = Branko
| title = Isogonal Prismatoids
| journal = Discrete & Computational Geometry
| year = 1997
| volume = 18
| pages = 13&ndash;52
| doi = 10.1007/PL00009307
| doi-access = free
}}</ref>


Like many basic geometric terms, the word ''prism'' ({{ety|el|''πρίσμα'' (prisma)|something sawed}}) was first used in [[Euclid's Elements]]. Euclid defined the term in Book XI as “a solid figure contained by two opposite, equal and parallel planes, while the rest are parallelograms”. However, this definition has been criticized for not being specific enough in relation to the nature of the bases, which caused confusion among later geometry writers.<ref name="Malton1774">{{cite book|author=Thomas Malton|title=A Royal Road to Geometry: Or, an Easy and Familiar Introduction to the Mathematics. ... By Thomas Malton. ...|url=https://books.google.com/books?id=-3tLfuCB97AC&pg=PA360|year=1774|publisher=author, and sold|pages=360–}}</ref><ref name="Elliot1845">{{cite book|author=James Elliot|title=Key to the Complete Treatise on Practical Geometry and Mensuration: Containing Full Demonstrations of the Rules ...|url=https://books.google.com/books?id=qilLAAAAYAAJ&pg=PA3|year=1845|publisher=Longman, Brown, Green, and Longmans|pages=3–}}</ref>
Like many basic geometric terms, the word ''prism'' ({{ety|el|''πρίσμα'' (prisma)|something sawed}}) was first used in [[Euclid's Elements]]. Euclid defined the term in Book XI as “a solid figure contained by two opposite, equal and parallel planes, while the rest are parallelograms”. However, this definition has been criticized for not being specific enough in regard to the nature of the bases (a cause of some confusion amongst generations of later geometry writers).<ref name="malton-1774">{{cite book
| last = Malton | first = Thomas
| title = A Royal Road to Geometry: Or, an Easy and Familiar Introduction to the Mathematics
| year = 1774
| url = https://books.google.com/books?id=-3tLfuCB97AC&pg=PA360
| publisher = author, and sold
| page = 360}}</ref><ref name="elliot-1845">{{cite book
| last = Elliot | first = James
| title = Key to the Complete Treatise on Practical Geometry and Mensuration: Containing Full Demonstrations of the Rules
| year = 1845
| url = https://books.google.com/books?id=qilLAAAAYAAJ&pg=PA3
| publisher = Longman, Brown, Green, and Longmans
| page = 3}}</ref>


== Oblique prism ==
== Oblique vs right ==
An '''oblique prism''' is a prism in which the joining edges and faces are '''''not [[perpendicular]]''''' to the base faces.
An '''oblique prism''' is a prism in which the joining edges and faces are '''''not [[perpendicular]]''''' to the base faces.


Example: a [[parallelepiped]] is an oblique prism of which the base is a [[parallelogram]], or equivalently a polyhedron with six faces which are all parallelograms.
Example: a [[parallelepiped]] is an oblique prism whose base is a [[parallelogram]], or equivalently a polyhedron with six parallelogram faces.


[[File:Right Prism.svg|thumb|Right Prism]]
== Right prism, uniform prism ==
A '''''right'' prism''' is a prism in which the joining edges and faces are ''[[perpendicular]]'' to the base faces.<ref name="mensuration">{{cite book
=== Right prism ===
| last1 = Kern | first1 = William F.
A '''right prism''' is a prism in which the joining edges and faces are ''[[perpendicular]]'' to the base faces.<ref name=":0">William F. Kern, James R. Bland, ''Solid Mensuration with proofs'', 1938, p.28</ref> This applies [[iff|if]] all the joining faces are ''[[rectangular]]''.
| last2 = Bland | first2 = James R.
| title = Solid Mensuration with proofs
| year = 1938
| pages = 28}}</ref> This applies [[if and only if]] all the joining faces are ''[[rectangular]]''.


The [[Dual polyhedron|dual]] of a ''right'' ''n''-prism is a ''right'' ''n''-[[bipyramid]].
The [[Dual polyhedron|dual]] of a ''right'' {{mvar|n}}-prism is a ''right'' {{mvar|n}}-[[bipyramid]].


A right prism (with rectangular sides) with [[Regular polygon|regular ''n''-gon]] bases has Schläfli symbol { }×{''n''}. It approaches a [[Cylinder (geometry)|cylindrical]] solid as ''n'' approaches [[infinity]]; a [[cylinder]] is considered a circular prism.
A right prism (with rectangular sides) with [[Regular polygon|regular {{mvar|n}}-gon]] bases has Schläfli symbol {{math|{ }×{''n''}.}} It approaches a [[Cylinder (geometry)|cylinder]] as {{mvar|n}} approaches [[infinity]].<ref name="cylinder">{{cite book
| last = Geretschlager | first = Robert

| title = Engaging Young Students In Mathematics Through Competitions: World Perspectives And Practices
==== Special cases ====
| year = 2020
*A right rectangular prism (with a rectangular base) is also called a ''[[cuboid]]'', or informally a ''rectangular box''. A right rectangular prism has [[Schläfli symbol]] { }×{ }×{ }.
| url = https://books.google.com/books?id=2O_CDwAAQBAJ&pg=PA39
| page = 39
| publisher = [[World Scientific]]
| volume = 1
| isbn = 978-981-120-582-8
}}</ref>


=== Special cases ===
*A right rectangular prism (with a rectangular base) is also called a ''[[cuboid]]'', or informally a ''rectangular box''. A right rectangular prism has [[Schläfli symbol]] {{math|{ }×{ }×{ }.}}
*A right square prism (with a square base) is also called a ''square cuboid'', or informally a ''square box''.
*A right square prism (with a square base) is also called a ''square cuboid'', or informally a ''square box''.


Note: some texts may apply the term ''rectangular prism'' or ''square prism'' to both a right rectangular-based prism and a right square-based prism.
Note: some texts may apply the term ''rectangular prism'' or ''square prism'' to both a right rectangular-based prism and a right square-based prism.

== Types ==

=== Regular prism ===
A '''regular prism''' is a prism with [[Regular polygon|regular]] bases.


=== Uniform prism ===
=== Uniform prism ===
A '''uniform prism''' or '''semiregular prism''' is a ''right prism'' with ''[[Regular polygon|regular]] bases'' and ''[[square]] sides'', since such prisms are in the set of [[uniform polyhedra]].
A '''uniform prism''' or '''semiregular prism''' is a right prism with regular bases and all edges of the same length.


Thus all the side faces of a uniform prism are [[square]]s.
A uniform ''n''-gonal prism has [[Schläfli symbol]] t{2,''n''}.


Right prisms with regular bases and equal edge lengths form one of the two infinite series of [[semiregular polyhedra]], the other series being [[antiprism]]s.
Thus all the faces of a uniform prism are regular polygons. Also, such prisms are [[Isogonal figure|isogonal]]; thus they are [[uniform polyhedra]]. They form one of the two infinite series of [[semiregular polyhedra]], the other series being formed by the [[antiprism]]s.

A uniform {{mvar|n}}-gonal prism has [[Schläfli symbol]] {{math|t{2,''n''}.}}


{{UniformPrisms}}
{{UniformPrisms}}


== Volume ==
== Properties ==

The [[volume]] of a prism is the product of the [[area]] of the base and the distance between the two base faces, or the height (in the case of a non-right prism, note that this means the perpendicular distance).
=== Volume ===
The [[volume]] of a prism is the product of the [[area]] of the base by the height, i.e. the distance between the two base faces (in the case of a non-right prism, note that this means the perpendicular distance).


The volume is therefore:
The volume is therefore:
:<math>V = Bh</math>
:<math>V = Bh,</math>


where ''B'' is the base area and ''h'' is the height. The volume of a prism whose base is an ''n''-sided [[regular polygon]] with side length ''s'' is therefore:
where {{mvar|B}} is the base area and {{mvar|h}} is the height.
:<math>V = \frac{n}{4}hs^2 \cot\left(\frac{\pi}{n}\right)</math>


The volume of a prism whose base is an {{mvar|n}}-sided [[regular polygon]] with side length {{mvar|s}} is therefore:
== Surface area ==
<math display=block>V = \frac{n}{4} h s^2 \cot\frac{\pi}{n}.</math>

=== Surface area ===
The surface [[area]] of a right prism is:
The surface [[area]] of a right prism is:
:<math>2B + Ph</math>
:<math>2B + Ph,</math>
where ''B'' is the area of the base, ''h'' the height, and ''P'' the base [[perimeter]].
where {{mvar|B}} is the area of the base, {{mvar|h}} the height, and {{mvar|P}} the base [[perimeter]].


The surface area of a right prism whose base is a regular ''n''-sided [[polygon]] with side length ''s'' and height ''h'' is therefore:
The surface area of a right prism whose base is a regular {{mvar|n}}-sided [[polygon]] with side length {{mvar|s}}, and with height {{mvar|h}}, is therefore:


:<math>A = \frac{n}{2} s^2 \cot{\left(\frac{\pi}{n}\right)} + n s h</math>
:<math>A = \frac{n}{2} s^2 \cot\frac{\pi}{n} + nsh.</math>


== [[Schlegel diagram]]s ==
=== Symmetry ===
The [[symmetry group]] of a right {{mvar|n}}-sided prism with regular base is {{math|[[Dihedral group|D<sub>''n''h</sub>]]}} of order {{math|4''n''}}, except in the case of a cube, which has the larger symmetry group {{math|[[Octahedral symmetry|O<sub>h</sub>]]}} of order 48, which has three versions of {{math|D<sub>4h</sub>}} as [[subgroup]]s. The [[Point groups in three dimensions#Rotation groups|rotation group]] is {{math|D<sub>''n''</sub>}} of order {{math|2''n''}}, except in the case of a cube, which has the larger symmetry group {{math|O}} of order 24, which has three versions of {{math|D<sub>4</sub>}} as subgroups.
{| class=wikitable
|- align=center
|[[File:Triangular prismatic graph.png|100px]]<BR>P3
|[[File:Cubical graph.png|100px]]<BR>P4
|[[File:Pentagonal prismatic graph.png|100px]]<BR>P5
|[[File:Hexagonal prismatic graph.png|100px]]<BR>P6
|[[File:Heptagonal prismatic graph.png|100px]]<BR>P7
|[[File:Octagonal prismatic graph.png|100px]]<BR>P8
|}


The symmetry group {{math|D<sub>''n''h</sub>}} contains [[Point reflection|inversion]] [[If and only if|iff]] {{mvar|n}} is even.
== Symmetry ==
The [[symmetry group]] of a right ''n''-sided prism with regular base is [[Dihedral group|D<sub>''n''h</sub>]] of order 4''n'', except in the case of a cube, which has the larger symmetry group [[Octahedral symmetry|O<sub>h</sub>]] of order 48, which has three versions of D<sub>4h</sub> as [[subgroup]]s. The [[Point groups in three dimensions#Rotation groups|rotation group]] is D<sub>''n''</sub> of order 2''n'', except in the case of a cube, which has the larger symmetry group O of order 24, which has three versions of D<sub>4</sub> as subgroups.


The [[Hosohedron|hosohedra]] and [[Dihedron|dihedra]] also possess dihedral symmetry, and an {{mvar|n}}-gonal prism can be constructed via the [[Truncation (geometry)|geometrical truncation]] of an {{mvar|n}}-gonal hosohedron, as well as through the [[cantellation]] or [[Expansion (geometry)|expansion]] of an {{mvar|n}}-gonal dihedron.<!--do hosohedra work with expansion?-->
The symmetry group D<sub>''n''h</sub> contains [[Point reflection|inversion]] [[If and only if|iff]] ''n'' is even.


=== [[Schlegel diagram]]s ===
The [[Hosohedron|hosohedra]] and [[Dihedron|dihedra]] also possess dihedral symmetry, and an ''n''-gonal prism can be constructed via the [[Truncation (geometry)|geometrical truncation]] of an ''n''-gonal hosohedron, as well as through the [[cantellation]] or [[Expansion (geometry)|expansion]] of an ''n''-gonal dihedron.<!--do hosohedra work with expansion?-->
{| class=wikitable
|- align=center
|[[File:Triangular prismatic graph.png|100px]]<BR />P3
|[[File:Cubical graph.png|100px]]<BR />P4
|[[File:Pentagonal prismatic graph.png|100px]]<BR />P5
|[[File:Hexagonal prismatic graph.png|100px]]<BR />P6
|[[File:Heptagonal prismatic graph.png|100px]]<BR />P7
|[[File:Octagonal prismatic graph.png|100px]]<BR />P8
|}


== Truncated prism ==
== Similar polytopes ==
A '''truncated prism''' is a prism with non-[[Parallel (geometry)|parallel]] top and bottom faces.<ref>William F. Kern, James R. Bland, ''Solid Mensuration with proofs'', 1938, p.81</ref>


=== Truncated prism ===
[[File:TruncatedTriangularPrism.png|thumb|left|220px|Example truncated triangular prism. Its top face is truncated at an oblique angle, but it is NOT an [[Prism (geometry)#Oblique prism|oblique prism]]!]]
[[File:TruncatedTriangularPrism.png|thumb|left|220px|Example truncated triangular prism. Its top face is truncated at an oblique angle, but it is not an [[#Oblique prism|oblique prism]].]]
A '''truncated prism''' is formed when prism is sliced by a plane that is not [[Parallel (geometry)|parallel]] to its bases. A truncated prism's bases are not [[Congruence (geometry)|congruent]], and its sides are not parallelograms.{{sfnp|Kern|Bland|1938|p=81}}


== Twisted prism ==
=== Twisted prism ===
A '''twisted prism''' is a nonconvex polyhedron constructed from a uniform ''n''-prism with each side face bisected on the square diagonal, by twisting the top, usually by {{sfrac|{{pi}}|''n''}} radians ({{sfrac|180|''n''}} degrees) in the same direction, causing sides to be concave.<ref>The facts on file: Geometry handbook, Catherine A. Gorini, 2003, {{isbn|0-8160-4875-4}}, p.172</ref><ref>{{Cite web|url=http://www.korthalsaltes.com/cuadros.php?type=twisted-prisms|title = Pictures of Twisted Prisms}}</ref>
A '''twisted prism''' is a nonconvex polyhedron constructed from a uniform {{mvar|n}}-prism with each side face bisected on the square diagonal, by twisting the top, usually by {{sfrac|{{pi}}|''n''}} radians ({{sfrac|180|''n''}} degrees) in the same direction, causing sides to be concave.<ref name="gorini-2003">{{cite book
| last = Gorini | first = Catherine A.
| title = The facts on file: Geometry handbook
| year = 2003
| url = https://archive.org/details/factsonfilegeome0000gori/page/172/mode/2up
| isbn = 0-8160-4875-4
| page = 172}}</ref><ref>{{Cite web|url=http://www.korthalsaltes.com/cuadros.php?type=twisted-prisms|title = Pictures of Twisted Prisms}}</ref>


A twisted prism cannot be [[Dissection (geometry)|dissected]] into tetrahedra without adding new vertices. The smallest case: the triangular form, is called a [[Schönhardt polyhedron]].
A twisted prism cannot be [[Dissection (geometry)|dissected]] into tetrahedra without adding new vertices. The simplest twisted prism has triangle bases and is called a [[Schönhardt polyhedron]].


An ''n''-gonal ''twisted prism'' is topologically identical to the ''n''-gonal uniform [[antiprism]], but has half the [[List_of_spherical_symmetry_groups#Dihedral_symmetry|symmetry group]]: D<sub>''n''</sub>, [''n'',2]<sup>+</sup>, order 2''n''. It can be seen as a nonconvex antiprism, with tetrahedra removed between pairs of triangles.
An {{mvar|n}}-gonal ''twisted prism'' is topologically identical to the {{mvar|n}}-gonal uniform [[antiprism]], but has half the [[List of spherical symmetry groups#Dihedral symmetry|symmetry group]]: {{math|D<sub>''n''</sub>, [''n'',2]<sup>+</sup>}}, order {{math|2''n''}}. It can be seen as a nonconvex antiprism, with tetrahedra removed between pairs of triangles.


{| class=wikitable
{| class=wikitable
Line 110: Line 169:
!12-gonal
!12-gonal
|- align=center
|- align=center
|[[File:Schönhardt polyhedron.svg|120px]]<BR>[[Schönhardt polyhedron]]
|[[File:Schönhardt polyhedron.svg|120px]]<BR />[[Schönhardt polyhedron]]
|[[File:Twisted square antiprism.png|120px]]<BR>Twisted square prism
|[[File:Twisted square antiprism.png|120px]]<BR />Twisted square prism
|[[File:Square antiprism.png|120px]]<BR>[[Square antiprism]]
|[[File:Square antiprism.png|120px]]<BR />[[Square antiprism]]
|[[File:Twisted_dodecagonal_antiprism.png|180px]]<BR>Twisted dodecagonal antiprism
|[[File:Twisted_dodecagonal_antiprism.png|180px]]<BR />Twisted dodecagonal antiprism
|}
|}


== Frustum ==
=== Frustum ===
A [[frustum]] is a similar construction to a prism, with [[trapezoid]] lateral faces and differently sized top and bottom polygons.
A [[frustum]] is a similar construction to a prism, with [[trapezoid]] lateral faces and differently sized top and bottom polygons.


[[File:Pentagonal frustum.svg|thumb|220px|Example pentagonal frustum]]
[[File:Pentagonal frustum.svg|thumb|220px|Example pentagonal frustum]]


== Star prism ==
=== Star prism ===
{{See|Prismatic uniform polyhedron}}
{{Further|Prismatic uniform polyhedron}}
A '''star prism''' is a nonconvex polyhedron constructed by two identical [[star polygon]] faces on the top and bottom, being parallel and offset by a distance and connected by rectangular faces. A ''uniform star prism'' will have [[Schläfli symbol]] {''p''/''q''} × { }, with ''p'' rectangle and 2 {''p''/''q''} faces. It is topologically identical to a ''p''-gonal prism.
A '''star prism''' is a nonconvex polyhedron constructed by two identical [[star polygon]] faces on the top and bottom, being parallel and offset by a distance and connected by rectangular faces. A ''uniform star prism'' will have [[Schläfli symbol]] {{math|{''p''/''q''} × { },}} with {{mvar|p}} rectangles and 2 {{math|{''p''/''q''} }} faces. It is topologically identical to a {{mvar|p}}-gonal prism.


{| class=wikitable
{| class=wikitable
|+ Examples
|+ Examples
!{ }×{ }<sub>180</sub>×{ }
!{{math|{ }×{ }<sub>180</sub>×{ } }}
!colspan=2|[[Truncation_(geometry)#Generalized_truncations|t<sub>a</sub>]]{3}×{ }
!colspan=2|{{math|[[Truncation (geometry)#Generalized truncations|t<sub>a</sub>]]{3}×{ } }}
!{5/2}×{ }
!{{math|{5/2}×{ } }}
!{7/2}×{ }
!{{math|{7/2}×{ } }}
!{7/3}×{ }
!{{math|{7/3}×{ } }}
!{8/3}×{ }
!{{math|{8/3}×{ } }}
|- align=center
|- align=center
|D<sub>2h</sub>, order 8
|{{math|D<sub>2h</sub>}}, order 8
|colspan=2|D<sub>3h</sub>, order 12
|colspan=2|{{math|D<sub>3h</sub>}}, order 12
|D<sub>5h</sub>, order 20
|{{math|D<sub>5h</sub>}}, order 20
|colspan=2|D<sub>7h</sub>, order 28
|colspan=2|{{math|D<sub>7h</sub>}}, order 28
|D<sub>8h</sub>, order 32
|{{math|D<sub>8h</sub>}}, order 32
|-
|-
|[[File:crossed-square_prism.png|100px]]
|[[File:crossed-square_prism.png|100px]]
Line 150: Line 209:


=== Crossed prism ===
=== Crossed prism ===
A '''crossed prism''' is a nonconvex polyhedron constructed from a prism, where the vertices of one base are [[Point reflection|inverted around the center]] of this base (or rotated by 180°). This transforms the side rectangular faces into [[crossed rectangle]]s. For a regular polygon base, the appearance is an ''n''-gonal [[hour glass]]. All oblique edges pass through a single body center. Note: no vertex is at this body centre. A crossed prism is topologically identical to an ''n''-gonal prism.
A '''crossed prism''' is a nonconvex polyhedron constructed from a prism, where the vertices of one base are [[Point reflection|inverted around the center]] of this base (or rotated by 180°). This transforms the side rectangular faces into [[crossed rectangle]]s. For a regular polygon base, the appearance is an {{mvar|n}}-gonal [[hour glass]]. All oblique edges pass through a single body center. Note: no vertex is at this body centre. A crossed prism is topologically identical to an {{mvar|n}}-gonal prism.


{| class=wikitable
{| class=wikitable
|+ Examples
|+ Examples
!{ }×{ }<sub>180</sub>×{ }<sub>180</sub>
!{{math|{ }×{ }<sub>180</sub>×{ }<sub>180</sub>}}
!colspan=2|t<sub>a</sub>{3}×{ }<sub>180</sub>
!colspan=2|{{math|t<sub>a</sub>{3}×{ }<sub>180</sub>}}
!{3}×{ }<sub>180</sub>
!{{math|{3}×{ }<sub>180</sub>}}
!{4}×{ }<sub>180</sub>
!{{math|{4}×{ }<sub>180</sub>}}
!{5}×{ }<sub>180</sub>
!{{math|{5}×{ }<sub>180</sub>}}
!{5/2}×{ }<sub>180</sub>
!{{math|{5/2}×{ }<sub>180</sub>}}
!{6}×{ }<sub>180</sub>
!{{math|{6}×{ }<sub>180</sub>}}
|- align=center
|- align=center
|D<sub>2h</sub>, order 8
|{{math|D<sub>2h</sub>}}, order 8
|colspan=3|D<sub>3d</sub>, order 12
|colspan=3|{{math|D<sub>3d</sub>}}, order 12
|D<sub>4h</sub>, order 16
|{{math|D<sub>4h</sub>}}, order 16
|colspan=2|D<sub>5d</sub>, order 20
|colspan=2|{{math|D<sub>5d</sub>}}, order 20
|D<sub>6d</sub>, order 24
|{{math|D<sub>6d</sub>}}, order 24
|-
|-
|[[File:crossed_crossed-square_prism.png|100px]]
|[[File:crossed_crossed-square_prism.png|100px]]
Line 179: Line 238:


=== Toroidal prism ===
=== Toroidal prism ===
A '''toroidal prism''' is a nonconvex polyhedron like a ''crossed prism'', but without bottom and top base faces, and with simple rectangular side faces closing the polyhedron. This can only be done for even-sided base polygons. These are topological tori, with [[Euler characteristic]] of zero. The topological [[polyhedral net]] can be cut from two rows of a [[square tiling]] (with [[vertex configuration]] ''4.4.4.4''): a band of ''n'' squares, each attached to a [[Rectangle|crossed rectangle]]. An ''n''-gonal toroidal prism has 2''n'' vertices, 2''n'' faces: ''n'' squares and ''n'' crossed rectangles, and 4''n'' edges. It is topologically [[Self-dual polyhedron|self-dual]].
A '''toroidal prism''' is a nonconvex polyhedron like a ''crossed prism'', but without bottom and top base faces, and with simple rectangular side faces closing the polyhedron. This can only be done for even-sided base polygons. These are topological tori, with [[Euler characteristic]] of zero. The topological [[polyhedral net]] can be cut from two rows of a [[square tiling]] (with [[vertex configuration]] {{math|4.4.4.4}}): a band of {{mvar|n}} squares, each attached to a [[Rectangle|crossed rectangle]]. An {{mvar|n}}-gonal toroidal prism has {{math|2''n''}} vertices, {{math|2''n''}} faces: {{mvar|n}} squares and {{mvar|n}} crossed rectangles, and {{math|4''n''}} edges. It is topologically [[Self-dual polyhedron|self-dual]].


{| class=wikitable
{| class=wikitable
|+ Examples
|+ Examples
|- align=center
|- align=center
|D<sub>4h</sub>, order 16
|{{math|D<sub>4h</sub>}}, order 16
|D<sub>6h</sub>, order 24
|{{math|D<sub>6h</sub>}}, order 24
|- align=center
|- align=center
|''v''=8, ''e''=16, ''f''=8
|{{math|1=''V'' = 8}}, {{math|1=''E'' = 16}}, {{math|1=''F'' = 8}}
|''v''=12, ''e''=24, ''f''=12
|{{math|1=''V'' = 12}}, {{math|1=''E'' = 24}}, {{math|1=''F'' = 12}}
|-
|-
|[[File:Toroidal_square_prism.png|100px]]
|[[File:Toroidal_square_prism.png|100px]]
Line 194: Line 253:
|}
|}


== Prismatic polytope ==
=== Prismatic polytope ===
A ''prismatic [[polytope]]'' is a higher-dimensional generalization of a prism. An ''n''-dimensional prismatic polytope is constructed from two ({{nowrap|''n'' − 1}})-dimensional polytopes, translated into the next dimension.
A ''prismatic [[polytope]]'' is a higher-dimensional generalization of a prism. An {{mvar|n}}-dimensional prismatic polytope is constructed from two ({{math|''n'' − 1}})-dimensional polytopes, translated into the next dimension.


The prismatic ''n''-polytope elements are doubled from the ({{nowrap|''n'' − 1}})-polytope elements and then creating new elements from the next lower element.
The prismatic {{mvar|n}}-polytope elements are doubled from the ({{math|''n'' − 1}})-polytope elements and then creating new elements from the next lower element.


Take an ''n''-polytope with ''f<sub>i</sub>'' [[Face|''i''-face]] elements ({{nowrap|''i'' {{=}} 0, ..., ''n''}}). Its ({{nowrap|''n'' + 1}})-polytope prism will have {{nowrap|2''f''<sub>''i''</sub> + ''f''<sub>''i''−1</sub>}} ''i''-face elements. (With {{nowrap|''f''<sub>−1</sub> {{=}} 0}}, {{nowrap|''f''<sub>''n''</sub> {{=}} 1}}.)
Take an {{mvar|n}}-polytope with {{mvar|F<sub>i</sub>}} [[Face|{{mvar|i}}-face]] elements ({{math|''i'' {{=}} 0, ..., ''n''}}). Its ({{math|''n'' + 1}})-polytope prism will have {{math|2''F<sub>i</sub>'' + ''F''<sub>''i''−1</sub>}} {{mvar|i}}-face elements. (With {{math|''F''<sub>−1</sub> {{=}} 0}}, {{math|''F<sub>n</sub>'' {{=}} 1}}.)


By dimension:
By dimension:
*Take a [[polygon]] with ''n'' vertices, ''n'' edges. Its prism has 2''n'' vertices, 3''n'' edges, and {{nowrap|2 + ''n''}} faces.
*Take a [[polygon]] with {{mvar|n}} vertices, {{mvar|n}} edges. Its prism has {{math|2''n''}} vertices, {{math|3''n''}} edges, and {{math|2 + ''n''}} faces.
*Take a [[polyhedron]] with ''v'' vertices, ''e'' edges, and ''f'' faces. Its prism has 2''v'' vertices, {{nowrap|2''e'' + ''v''}} edges, {{nowrap|2''f'' + ''e''}} faces, and {{nowrap|2 + ''f''}} cells.
*Take a [[polyhedron]] with {{mvar|V}} vertices, {{mvar|E}} edges, and {{mvar|F}} faces. Its prism has {{math|2''V''}} vertices, {{math|2''E'' + ''V''}} edges, {{math|2''F'' + ''E''}} faces, and {{math|2 + ''F''}} cells.
*Take a [[polychoron]] with ''v'' vertices, ''e'' edges, ''f'' faces, and ''c'' cells. Its prism has 2''v'' vertices, {{nowrap|2''e'' + ''v''}} edges, {{nowrap|2''f'' + ''e''}} faces, {{nowrap|2''c'' + ''f''}} cells, and {{nowrap|2 + ''c''}} hypercells.
*Take a [[polychoron]] with {{mvar|V}} vertices, {{mvar|E}} edges, {{mvar|F}} faces, and {{mvar|C}} cells. Its prism has {{math|2''V''}} vertices, {{math|2''E'' + ''V''}} edges, {{math|2''F'' + ''E''}} faces, {{math|2''C'' + ''F''}} cells, and {{math|2 + ''C''}} hypercells.


=== Uniform prismatic polytope ===
=== Uniform prismatic polytope ===
{{Also|Uniform 4-polytope#Prismatic_uniform 4-polytopes}}
{{See also|Uniform 4-polytope#Prismatic_uniform 4-polytopes}}
{{Also|Uniform 5-polytope#Uniform_prismatic forms]]
{{See also|Uniform 5-polytope#Uniform_prismatic forms}}
A regular ''n''-polytope represented by [[Schläfli symbol]] {{nowrap|{''p'', ''q'', ...,}}&nbsp;''t''} can form a uniform prismatic ({{nowrap|''n'' + 1}})-polytope represented by a [[Cartesian product]] of [[Schläfli symbol#Prismatic forms|two Schläfli symbols]]: {{nowrap|{''p'', ''q'', ...,}}&nbsp;''t''}×{&nbsp;}.
A regular {{mvar|n}}-polytope represented by [[Schläfli symbol]] {{math|{''p'',''q'',...,''t''} }} can form a uniform prismatic ({{math|''n'' + 1}})-polytope represented by a [[Cartesian product]] of [[Schläfli symbol#Prismatic forms|two Schläfli symbols]]: {{math|{''p'',''q'',...,''t''}×{ }.}}


By dimension:
By dimension:
*A 0-polytopic prism is a [[line segment]], represented by an empty [[Schläfli symbol]] {&nbsp;}.
*A 0-polytopic prism is a [[line segment]], represented by an empty [[Schläfli symbol]] {{math|{ }.}}
*:[[Image:Complete graph K2.svg|60px]]
*:[[Image:Complete graph K2.svg|60px]]
*A 1-polytopic prism is a [[rectangle]], made from 2 translated line segments. It is represented as the product Schläfli symbol {&nbsp;}×{&nbsp;}. If it is [[square]], symmetry can be reduced: {{nowrap|{&nbsp;}×{&nbsp;} {{=}} {4}.}}
*A 1-polytopic prism is a [[rectangle]], made from 2 translated line segments. It is represented as the product Schläfli symbol {{math|{ }×{ }.}} If it is [[square]], symmetry can be reduced: {{math|{ }×{ } {{=}} {4}.}}
*:Example: [[Image:Square diagonals.svg|60px]], Square, {&nbsp;}×{&nbsp;}, two parallel line segments, connected by two line segment ''sides''.
*:Example: [[Image:Square diagonals.svg|60px]], Square, {{math|{ }×{ },}} two parallel line segments, connected by two line segment ''sides''.
*A [[polygon]]al prism is a 3-dimensional prism made from two translated polygons connected by rectangles. A regular polygon {''p''} can construct a uniform ''n''-gonal prism represented by the product {''p''}×{&nbsp;}. If {{nowrap|''p'' {{=}} 4}}, with square sides symmetry it becomes a [[cube]]: {{nowrap|{4}×{&nbsp;} {{=}} {4,&nbsp;3}.}}
*A [[polygon]]al prism is a 3-dimensional prism made from two translated polygons connected by rectangles. A regular polygon {{math|{''p''} }} can construct a uniform {{mvar|n}}-gonal prism represented by the product {{math|{''p''}×{ }.}} If {{math|''p'' {{=}} 4}}, with square sides symmetry it becomes a [[cube]]: {{math|{4}×{ } {{=}} {4,3}.}}
*:Example: [[Image:Pentagonal prism.png|60px]], [[Pentagonal prism]], {5}×{&nbsp;}, two parallel [[pentagon]]s connected by 5 rectangular ''sides''.
*:Example: [[Image:Pentagonal prism.png|60px]], [[Pentagonal prism]], {{math|{5}×{ },}} two parallel [[pentagon]]s connected by 5 rectangular ''sides''.
*A [[Polyhedron|polyhedral]] prism is a 4-dimensional prism made from two translated polyhedra connected by 3-dimensional prism cells. A regular polyhedron {''p'',&nbsp;''q''} can construct the uniform polychoric prism, represented by the product {''p'',&nbsp;''q''}×{&nbsp;}. If the polyhedron is a cube, and the sides are cubes, it becomes a [[tesseract]]: {4,&nbsp;3}×{&nbsp;} = {{nowrap|{4, 3, 3}.}}
*A [[Polyhedron|polyhedral]] prism is a 4-dimensional prism made from two translated polyhedra connected by 3-dimensional prism cells. A regular polyhedron {{math|{''p'',''q''} }} can construct the uniform polychoric prism, represented by the product {{math|{''p'',''q''}×{ }.}} If the polyhedron and the sides are cubes, it becomes a [[tesseract]]: {{math|1={4,3}×{ } = {4,3,3}.}}
*:Example: [[Image:Dodecahedral prism.png|50px]], [[Dodecahedral prism]], {5,&nbsp;3}×{&nbsp;}, two parallel [[dodecahedron|dodecahedra]] connected by 12 pentagonal prism ''sides''.
*:Example: [[Image:Dodecahedral prism.png|50px]], [[Dodecahedral prism]], {{math|{5,3}×{ },}} two parallel [[dodecahedra]] connected by 12 pentagonal prism ''sides''.
*...
*...
[[File:23%2C29-duoprism_stereographic_closeup.jpg|thumb|A {23}x{29} duoprism, showing edges in [[stereographic projection]]. The squares made a 23×29 grid [[flat torus]].]]
[[File:23%2C29-duoprism_stereographic_closeup.jpg|thumb|A {{math|{23}×{29} }} duoprism, showing edges in [[stereographic projection]]. The squares make a 23×29 grid [[flat torus]].]]
Higher order prismatic polytopes also exist as [[cartesian product]]s of any two or more polytopes. The dimension of a product polytope is the sum of the dimensions of its elements. The first examples of these exist in 4-dimensional space; they are called [[duoprism]]s as the product of two polygons in 4-dimensions.
Higher order prismatic polytopes also exist as [[cartesian product]]s of any two or more polytopes. The dimension of a product polytope is the sum of the dimensions of its elements. The first examples of these exist in 4-dimensional space; they are called [[duoprism]]s as the product of two polygons in 4-dimensions.


Regular duoprisms are represented as {''p''}×{''q''}, with ''pq'' vertices, 2''pq'' edges, ''pq'' square faces, ''p'' ''q''-gon faces, ''q'' ''p''-gon faces, and bounded by ''p'' ''q''-gonal prisms and ''q'' ''p''-gonal prisms.
Regular duoprisms are represented as {{math|{''p''}×{''q''},}} with {{mvar|pq}} vertices, {{math|2''pq''}} edges, {{mvar|pq}} square faces, {{mvar|p}} {{mvar|q}}-gon faces, {{mvar|q}} {{mvar|p}}-gon faces, and bounded by {{mvar|p}} {{mvar|q}}-gonal prisms and {{mvar|q}} {{mvar|p}}-gonal prisms.


For example, {4}×{4}, a 4-4 duoprism is a lower symmetry form of a [[tesseract]], as is {4,3}×{&nbsp;}. {4}×{4}×{&nbsp;}, {4,3}×{4} and {4,3,3}×{&nbsp;} are lower symmetry forms of a [[5-cube]].
For example, {{math|{4}×{4},}} a ''4-4 duoprism'' is a lower symmetry form of a [[tesseract]], as is {{math|{4,3}×{ },}} a ''cubic prism''. {{math|{4}×{4}×{ } }} (4-4 duoprism prism), {{math|{4,3}×{4} }} (cube-4 duoprism) and {{math|{4,3,3}×{ } }} (tesseractic prism) are lower symmetry forms of a [[5-cube]].


== See also ==
== See also ==
Line 245: Line 304:


{{Polyhedron navigator}}
{{Polyhedron navigator}}
{{Authority control}}


[[Category:Prismatoid polyhedra]]
[[Category:Prismatoid polyhedra]]

Revision as of 05:30, 7 May 2024

Set of uniform n-gonal prisms
Example: uniform hexagonal prism (n = 6)
Typeuniform in the sense of semiregular polyhedron
Faces2 n-sided regular polygons
n squares
Edges3n
Vertices2n
Vertex configuration4.4.n
Schläfli symbol{n}×{ } [1]
t{2,n}
Conway notationPn
Coxeter diagram
Symmetry groupDnh, [n,2], (*n22), order 4n
Rotation groupDn, [n,2]+, (n22), order 2n
Dual polyhedronconvex dual-uniform n-gonal bipyramid
Propertiesconvex, regular polygon faces, isogonal, translated bases, sides ⊥ bases
Net
Example: net of uniform enneagonal prism (n = 9)

In geometry, a prism is a polyhedron comprising an n-sided polygon base, a second base which is a translated copy (rigidly moved without rotation) of the first, and n other faces, necessarily all parallelograms, joining corresponding sides of the two bases. All cross-sections parallel to the bases are translations of the bases. Prisms are named after their bases, e.g. a prism with a pentagonal base is called a pentagonal prism. Prisms are a subclass of prismatoids.[2]

Like many basic geometric terms, the word prism (from Greek πρίσμα (prisma) 'something sawed') was first used in Euclid's Elements. Euclid defined the term in Book XI as “a solid figure contained by two opposite, equal and parallel planes, while the rest are parallelograms”. However, this definition has been criticized for not being specific enough in regard to the nature of the bases (a cause of some confusion amongst generations of later geometry writers).[3][4]

Oblique vs right

An oblique prism is a prism in which the joining edges and faces are not perpendicular to the base faces.

Example: a parallelepiped is an oblique prism whose base is a parallelogram, or equivalently a polyhedron with six parallelogram faces.

Right Prism

A right prism is a prism in which the joining edges and faces are perpendicular to the base faces.[5] This applies if and only if all the joining faces are rectangular.

The dual of a right n-prism is a right n-bipyramid.

A right prism (with rectangular sides) with regular n-gon bases has Schläfli symbol { }×{n}. It approaches a cylinder as n approaches infinity.[6]

Special cases

  • A right rectangular prism (with a rectangular base) is also called a cuboid, or informally a rectangular box. A right rectangular prism has Schläfli symbol { }×{ }×{ }.
  • A right square prism (with a square base) is also called a square cuboid, or informally a square box.

Note: some texts may apply the term rectangular prism or square prism to both a right rectangular-based prism and a right square-based prism.

Types

Regular prism

A regular prism is a prism with regular bases.

Uniform prism

A uniform prism or semiregular prism is a right prism with regular bases and all edges of the same length.

Thus all the side faces of a uniform prism are squares.

Thus all the faces of a uniform prism are regular polygons. Also, such prisms are isogonal; thus they are uniform polyhedra. They form one of the two infinite series of semiregular polyhedra, the other series being formed by the antiprisms.

A uniform n-gonal prism has Schläfli symbol t{2,n}.

Family of uniform n-gonal prisms
Prism name Digonal prism (Trigonal)
Triangular prism
(Tetragonal)
Square prism
Pentagonal prism Hexagonal prism Heptagonal prism Octagonal prism Enneagonal prism Decagonal prism Hendecagonal prism Dodecagonal prism ... Apeirogonal prism
Polyhedron image ...
Spherical tiling image Plane tiling image
Vertex config. 2.4.4 3.4.4 4.4.4 5.4.4 6.4.4 7.4.4 8.4.4 9.4.4 10.4.4 11.4.4 12.4.4 ... ∞.4.4
Coxeter diagram ...

Properties

Volume

The volume of a prism is the product of the area of the base by the height, i.e. the distance between the two base faces (in the case of a non-right prism, note that this means the perpendicular distance).

The volume is therefore:

where B is the base area and h is the height.

The volume of a prism whose base is an n-sided regular polygon with side length s is therefore:

Surface area

The surface area of a right prism is:

where B is the area of the base, h the height, and P the base perimeter.

The surface area of a right prism whose base is a regular n-sided polygon with side length s, and with height h, is therefore:

Symmetry

The symmetry group of a right n-sided prism with regular base is Dnh of order 4n, except in the case of a cube, which has the larger symmetry group Oh of order 48, which has three versions of D4h as subgroups. The rotation group is Dn of order 2n, except in the case of a cube, which has the larger symmetry group O of order 24, which has three versions of D4 as subgroups.

The symmetry group Dnh contains inversion iff n is even.

The hosohedra and dihedra also possess dihedral symmetry, and an n-gonal prism can be constructed via the geometrical truncation of an n-gonal hosohedron, as well as through the cantellation or expansion of an n-gonal dihedron.


P3

P4

P5

P6

P7

P8

Similar polytopes

Truncated prism

Example truncated triangular prism. Its top face is truncated at an oblique angle, but it is not an oblique prism.

A truncated prism is formed when prism is sliced by a plane that is not parallel to its bases. A truncated prism's bases are not congruent, and its sides are not parallelograms.[7]

Twisted prism

A twisted prism is a nonconvex polyhedron constructed from a uniform n-prism with each side face bisected on the square diagonal, by twisting the top, usually by π/n radians (180/n degrees) in the same direction, causing sides to be concave.[8][9]

A twisted prism cannot be dissected into tetrahedra without adding new vertices. The simplest twisted prism has triangle bases and is called a Schönhardt polyhedron.

An n-gonal twisted prism is topologically identical to the n-gonal uniform antiprism, but has half the symmetry group: Dn, [n,2]+, order 2n. It can be seen as a nonconvex antiprism, with tetrahedra removed between pairs of triangles.

3-gonal 4-gonal 12-gonal

Schönhardt polyhedron

Twisted square prism

Square antiprism

Twisted dodecagonal antiprism

Frustum

A frustum is a similar construction to a prism, with trapezoid lateral faces and differently sized top and bottom polygons.

Example pentagonal frustum

Star prism

A star prism is a nonconvex polyhedron constructed by two identical star polygon faces on the top and bottom, being parallel and offset by a distance and connected by rectangular faces. A uniform star prism will have Schläfli symbol {p/q} × { }, with p rectangles and 2 {p/q} faces. It is topologically identical to a p-gonal prism.

Examples
{ }×{ }180×{ } ta{3}×{ } {5/2}×{ } {7/2}×{ } {7/3}×{ } {8/3}×{ }
D2h, order 8 D3h, order 12 D5h, order 20 D7h, order 28 D8h, order 32

Crossed prism

A crossed prism is a nonconvex polyhedron constructed from a prism, where the vertices of one base are inverted around the center of this base (or rotated by 180°). This transforms the side rectangular faces into crossed rectangles. For a regular polygon base, the appearance is an n-gonal hour glass. All oblique edges pass through a single body center. Note: no vertex is at this body centre. A crossed prism is topologically identical to an n-gonal prism.

Examples
{ }×{ }180×{ }180 ta{3}×{ }180 {3}×{ }180 {4}×{ }180 {5}×{ }180 {5/2}×{ }180 {6}×{ }180
D2h, order 8 D3d, order 12 D4h, order 16 D5d, order 20 D6d, order 24

Toroidal prism

A toroidal prism is a nonconvex polyhedron like a crossed prism, but without bottom and top base faces, and with simple rectangular side faces closing the polyhedron. This can only be done for even-sided base polygons. These are topological tori, with Euler characteristic of zero. The topological polyhedral net can be cut from two rows of a square tiling (with vertex configuration 4.4.4.4): a band of n squares, each attached to a crossed rectangle. An n-gonal toroidal prism has 2n vertices, 2n faces: n squares and n crossed rectangles, and 4n edges. It is topologically self-dual.

Examples
D4h, order 16 D6h, order 24
V = 8, E = 16, F = 8 V = 12, E = 24, F = 12

Prismatic polytope

A prismatic polytope is a higher-dimensional generalization of a prism. An n-dimensional prismatic polytope is constructed from two (n − 1)-dimensional polytopes, translated into the next dimension.

The prismatic n-polytope elements are doubled from the (n − 1)-polytope elements and then creating new elements from the next lower element.

Take an n-polytope with Fi i-face elements (i = 0, ..., n). Its (n + 1)-polytope prism will have 2Fi + Fi−1 i-face elements. (With F−1 = 0, Fn = 1.)

By dimension:

  • Take a polygon with n vertices, n edges. Its prism has 2n vertices, 3n edges, and 2 + n faces.
  • Take a polyhedron with V vertices, E edges, and F faces. Its prism has 2V vertices, 2E + V edges, 2F + E faces, and 2 + F cells.
  • Take a polychoron with V vertices, E edges, F faces, and C cells. Its prism has 2V vertices, 2E + V edges, 2F + E faces, 2C + F cells, and 2 + C hypercells.

Uniform prismatic polytope

A regular n-polytope represented by Schläfli symbol {p,q,...,t} can form a uniform prismatic (n + 1)-polytope represented by a Cartesian product of two Schläfli symbols: {p,q,...,t}×{ }.

By dimension:

  • A 0-polytopic prism is a line segment, represented by an empty Schläfli symbol { }.
  • A 1-polytopic prism is a rectangle, made from 2 translated line segments. It is represented as the product Schläfli symbol { }×{ }. If it is square, symmetry can be reduced: { }×{ } = {4}.
    Example: , Square, { }×{ }, two parallel line segments, connected by two line segment sides.
  • A polygonal prism is a 3-dimensional prism made from two translated polygons connected by rectangles. A regular polygon {p} can construct a uniform n-gonal prism represented by the product {p}×{ }. If p = 4, with square sides symmetry it becomes a cube: {4}×{ } = {4,3}.
    Example: , Pentagonal prism, {5}×{ }, two parallel pentagons connected by 5 rectangular sides.
  • A polyhedral prism is a 4-dimensional prism made from two translated polyhedra connected by 3-dimensional prism cells. A regular polyhedron {p,q} can construct the uniform polychoric prism, represented by the product {p,q}×{ }. If the polyhedron and the sides are cubes, it becomes a tesseract: {4,3}×{ } = {4,3,3}.
    Example: , Dodecahedral prism, {5,3}×{ }, two parallel dodecahedra connected by 12 pentagonal prism sides.
  • ...
A {23}×{29} duoprism, showing edges in stereographic projection. The squares make a 23×29 grid flat torus.

Higher order prismatic polytopes also exist as cartesian products of any two or more polytopes. The dimension of a product polytope is the sum of the dimensions of its elements. The first examples of these exist in 4-dimensional space; they are called duoprisms as the product of two polygons in 4-dimensions.

Regular duoprisms are represented as {p}×{q}, with pq vertices, 2pq edges, pq square faces, p q-gon faces, q p-gon faces, and bounded by p q-gonal prisms and q p-gonal prisms.

For example, {4}×{4}, a 4-4 duoprism is a lower symmetry form of a tesseract, as is {4,3}×{ }, a cubic prism. {4}×{4}×{ } (4-4 duoprism prism), {4,3}×{4} (cube-4 duoprism) and {4,3,3}×{ } (tesseractic prism) are lower symmetry forms of a 5-cube.

See also

References

  1. ^ Johnson, N. W (2018). "Chapter 11: Finite symmetry groups". Geometries and Transformations. ISBN 978-1-107-10340-5. See 11.3 Pyramids, Prisms, and Antiprisms, Figure 11.3b.
  2. ^ Grünbaum, Branko (1997). "Isogonal Prismatoids". Discrete & Computational Geometry. 18: 13–52. doi:10.1007/PL00009307.
  3. ^ Malton, Thomas (1774). A Royal Road to Geometry: Or, an Easy and Familiar Introduction to the Mathematics. author, and sold. p. 360.
  4. ^ Elliot, James (1845). Key to the Complete Treatise on Practical Geometry and Mensuration: Containing Full Demonstrations of the Rules. Longman, Brown, Green, and Longmans. p. 3.
  5. ^ Kern, William F.; Bland, James R. (1938). Solid Mensuration with proofs. p. 28.
  6. ^ Geretschlager, Robert (2020). Engaging Young Students In Mathematics Through Competitions: World Perspectives And Practices. Vol. 1. World Scientific. p. 39. ISBN 978-981-120-582-8.
  7. ^ Kern & Bland (1938), p. 81.
  8. ^ Gorini, Catherine A. (2003). The facts on file: Geometry handbook. p. 172. ISBN 0-8160-4875-4.
  9. ^ "Pictures of Twisted Prisms".
  • Anthony Pugh (1976). Polyhedra: A visual approach. California: University of California Press Berkeley. ISBN 0-520-03056-7. Chapter 2: Archimedean polyhedra, prisma and antiprisms