Antiprism

In geometry, an antiprism or is a polyhedron composed of two parallel direct copies of an polygon, connected by an alternating band of triangles. They are represented by the Conway [polyhedron notation|Conway notation].
Antiprisms are a subclass of prismatoids, and are a type of snub polyhedron.
Antiprisms are similar to prisms, except that the bases are twisted relatively to each other, and that the side faces are triangles, rather than quadrilaterals.
The dual polyhedron of an -gonal antiprism is an -gonal trapezohedron.

History

In his 1619 book Harmonices Mundi, Johannes Kepler observed the existence of the infinite family of antiprisms. This has conventionally been thought of as the first discovery of these shapes, but they may have been known earlier: an unsigned printing block for the net of a hexagonal antiprism has been attributed to Hieronymus Andreae, who died in 1556.
The German form of the word "antiprism" was used for these shapes in the 19th century; Karl Heinze credits its introduction to. Although the English "anti-prism" had been used earlier for an optical prism used to cancel the effects of a primary optical element, the first use of "antiprism" in English in its geometric sense appears to be in the early 20th century in the works of H. S. M. Coxeter.

Special cases

Right antiprism

For an antiprism with regular -gon bases, one usually considers the case where these two copies are twisted by an angle of degrees. The axis of a regular polygon is the line perpendicular to the polygon plane and lying in the polygon centre.
For an antiprism with congruent regular -gon bases, twisted by an angle of degrees, more regularity is obtained if the bases have the same axis: are coaxial; i.e. : if the line connecting the base centers is perpendicular to the base planes. Then the antiprism is called a [|right] antiprism, and its side faces are isosceles triangles.
The symmetry group of a right -antiprism is of order known as an antiprismatic symmetry, because it could be obtained by rotation of the bottom half of a prism by in relation to the top half. A concave polyhedron created in this way would have this symmetry group, hence prefix "anti" before "prismatic". There are two exceptions having groups different than :

: the regular tetrahedron, which has the larger symmetry group of order [List of spherical symmetry groups#Polyhedral symmetry|], which has three versions of as subgroups;
: the regular octahedron, which has the larger symmetry group of order, which has four versions of as subgroups.

If a right 2- or 3-antiprism is not uniform, then its symmetry group is or as usual.

The symmetry group contains inversion if and only if is odd.
The rotation group is of order, except in the cases of:

: the regular tetrahedron, which has the larger rotation group of order, which has only one subgroup ;
: the regular octahedron, which has the larger rotation group of order, which has four versions of as subgroups.

If a right 2- or 3-antiprism is not uniform, then its rotation group is or as usual.

The right -antiprisms have congruent regular -gon bases and congruent isosceles triangle side faces, thus have the same symmetry group as the uniform -antiprism, for.

Uniform antiprism

A uniform -antiprism has two congruent regular -gons as base faces, and equilateral triangles as side faces. As do uniform prisms, the uniform antiprisms form an infinite class of vertex-transitive polyhedra. For, one has the digonal antiprism, which is visually identical to the regular tetrahedron; for, the regular octahedron is a triangular antiprism.
The Schlegel diagrams of these semiregular antiprisms are as follows:

Cartesian coordinates

Cartesian coordinates for the vertices of a right -antiprism are:
where ;
if the -antiprism is uniform, then:

Volume and surface area

Let be the edge-length of a uniform -gonal antiprism; then the volume is:
and the surface area is:
Furthermore, the volume of a regular right -gonal antiprism with side length of its bases and height is given by:

Derivation

The circumradius of the horizontal circumcircle of the regular -gon at the base is
The vertices at the base are at
the vertices at the top are at
Via linear interpolation, points on the outer triangular edges of the antiprism that connect vertices at the bottom with vertices at the top
are at
and at
By building the sums of the squares of the and coordinates in one of the previous two vectors,
the squared circumradius of this section at altitude is
The horizontal section at altitude above the base is a -gon
with sides of length alternating with sides of length.
It can be dissected into isoceless triangles of edges and
plus
isoceless triangles of edges and .
According to Heron's formula the areas of these triangles are
and
The area of the section is, and the volume is
The volume of a right -gonal prism with the same and is:
which is smaller than that of an antiprism.

Generalizations

In higher dimensions

Four-dimensional antiprisms can be defined as having two dual polyhedra as parallel opposite faces, so that each three-dimensional face between them comes from two dual parts of the polyhedra: a vertex and a dual polygon, or two dual edges. Every three-dimensional convex polyhedron is combinatorially equivalent to one of the two opposite faces of a four-dimensional antiprism, constructed from its canonical polyhedron and its polar dual. However, there exist four-dimensional polychora that cannot be combined with their duals to form five-dimensional antiprisms.

Self-crossing polyhedra

3/2-antiprism nonuniform	5/4-antiprism nonuniform	5/2-antiprism	5/3-antiprism
100px 9/2-antiprism	100px 9/4-antiprism	100px 9/5-antiprism	-

Uniform star antiprisms are named by their star polygon bases, and exist in prograde and in retrograde solutions. Crossed forms have intersecting vertex figures, and are denoted by "inverted" fractions: instead of ; example: instead of.
A right star -antiprism has two congruent coaxial regular convex or star polygon base faces, and isosceles triangle side faces.
Any star antiprism with regular convex or star polygon bases can be made a right star antiprism.
In the retrograde forms, but not in the prograde forms, the triangles joining the convex or star bases intersect the axis of rotational symmetry. Thus:

Retrograde star antiprisms with regular convex polygon bases cannot have all equal edge lengths, and so cannot be uniform. "Exception": a retrograde star antiprism with equilateral triangle bases can be uniform; but then, it has the appearance of an equilateral triangle: it is a degenerate star polyhedron.
Similarly, some retrograde star antiprisms with regular star polygon bases cannot have all equal edge lengths, and so cannot be uniform. Example: a retrograde star antiprism with regular star -gon bases cannot be uniform.

Also, star antiprism compounds with regular star -gon bases can be constructed if and have common factors. Example: a star -antiprism is the compound of two star -antiprisms.

Number of uniform crossed antiprisms

If the notation is used for an antiprism, then for the antiprism is crossed and for is not. In this section all antiprisms are assumed to be non-degenerate, i.e.,. Also, the condition holds, as compounds are excluded from counting. The number of uniform crossed antiprisms for fixed can be determined using simple inequalities. The condition on possible is
Examples:

= 3: 2 ≤ ≤ 1 – a uniform triangular crossed antiprism does not exist.
= 5: 3 ≤ ≤ 3 – one antiprism of the type can be uniform.
= 29: 15 ≤ ≤ 19 – there are five possibilities shown in the rightmost column, below the convex antiprism, on the image above.
= 15: 8 ≤ ≤ 9 – antiprism with = 8 is a solution, but = 9 must be rejected, as = 3 and =. The antiprism is a compound of three antiprisms. Since 9 satisfies the inequalities, the compound can be uniform, and if it is, then its parts must be. Indeed, the antiprism can be uniform by example 2.

In the first column of the following table, the symbols are Schoenflies, Coxeter, and orbifold notation, in this order.