Jump to content

User:Harry Princeton/Deltoidal Icositetrahedron

From Wikipedia, the free encyclopedia

The deltoidal icositetrahedron is the Catharry solid with kite faces, and with cube symmetric group.

Deltoidal icositetrahedron
Type Catharry
Conway notation oC or deC
Coxeter diagram
Face polygon(s)
kites
Faces 24
Edges 48
Vertices 26 = 6 + 8 + 12
Face configuration V3.4.4.4
Symmetry group Oh, BC3, [4,3], *432
Rotation group O, [4,3]+, (432)
Dihedral angle 138°07′05″

cos-1(−7 + 42/17)

Properties convex, face-transitive
Dual polyhedron: Recticuboctahedron

Deltoidal Icositetrahedron - Polar Reciprocation and Spherical Tiling

[edit]

Properties (Comparison)

[edit]

In the construction section below, we shall formally derive these.

Comparing the Deltoidal icositetrahedron (DI) to the Recticuboctahedron (rco) via polar reciprocation: numeric values
Vertex I Vertex II Vertex III Vertex IV Center
DI 1.3066 1.2203 1.4142 1.3397 1.2203 (1.4142,0,0) (1,1,0) (0.7735)3 (1,0,1) (1.0529,0.43612)
Center I Center II Center III Center IV Vertex
rco 1.3066 1.3990 1.2071 1.2743 1.3990 (1.2071,0,0) (0.8536,0.8536,0) (0.7357)3 (0.8536,0.8536,0) (1.2071,0.52)

and the Center of the icositetrahedral deltoid is 53.69% the distance between corners Vertex I and Vertex III, or the light black vertex between the red and yellow vertices as below:

Construction

[edit]

It can be made from the polar reciprocation of the recticuboctahedron, the Archimedean solid, about its midsphere (the rectified cuboctahedron with rectangles lining the faces homeomorphic to the cuboctahedron). If the recticuboctahedron has side length 1, then

where is the common midradius, is the circumradius of the recticuboctahedron , and is the inradius of the deltoidal icositetrahedron.

All of this can be derived from the equatorial regular octagon of the same side length, from the recticuboctahedron (this is really a girth; the deltoidal icositetrahedron's regular octagon is actually an equator with side length ).

Moreover, the square and triangular apothems of the recticuboctahedron are

Polar reciprocation (actual geometric inversion) of these apothems yield the corresponding deltoidal icositetrahedron's perithems of (as in the aphelion and perihelion, and perimeter):

Conversely, is the unique perithem of the recticuboctahedron (rco), and is the unique apothem of the corresponding deltoidal icositetrahedron (DI).

Taking the deltoid in the first octant closest to the -axis, we have the Euclidean vertices:

given the DI is polar-reciprocated from the rco of side length 1 (counterclockwise from top of -axis). Then the deltoid's apothem located at

Numerically, the five points on the deltoid are approximately and .

Passing the deltoid into the Cartesian plane and using the Pythagorean Theorem, the diagonals' side lengths are computed as

which implies the deltoid is wider than it is high; compare the deltoids in the deltoidal trihexagonal tiling, which are higher than wide ( by ):

Comparing Two Vertex Regular Deltoids
Icositetrahedral (V3.4.4.4) Trihexagonal (V3.4.6.4)

Moreover, by passing the icositetrahedral's deltoid's perithem to the same plane, we see that the apothem point lay (which is an incenter, because deltoids are cocyclic!):

of the distance from the red to the yellow point, by some computations (compare to the trihexagonal deltoid's incenter at of the distance).

Furthermore, the two diagonals' intersection lay

from the red to the yellow point (versus trihexagonal: ).

Finally, we compute the side lengths of the icositetrahedral deltoid (and thus the DI) as

and the ratio of the side lengths is

as computed before (versus trihexagonal, sides ratio ).

Dualization (Polar Reciprocations) - Deltoidal Icositetrahedron and Recticuboctahedron; Strombic Icositetrahedron and Pseudo Recticuboctahedron

[edit]
Polar Reciprocations of 2 Icositetrahedral Deltoidal Solids
Deltoidal Icositetrahedron Strombic Icositetrahedron
Recticuboctahedron (Dual) Pseudo Recticuboctahedron (Dual)

Spherical Angles

[edit]
The deltoidal icositetrahedron realized as a spherical tiling.

The geodesic arc angles of the spherical deltoid sides are

with the first case determined by the equatorial regular octagon, and the second case as an angle of the line (one deltoid perithem - yellow point) with .

The geodesic arc angles of the spherical deltoid diagonals are

with the first case occuring since the dark red points are exactly apart, and the Euclidean norm of those points is (there is an equilateral triangle between dark red points and center); and the second case determined as the angle of the deltoid apothem with the line .

The spherical apothem is

of the way from the red to the yellow point, on the main diagonal.

By intersecting the planes (containing the spherical dark red points and the center) and (containing the spherical red and yellow points, and the center); with the sphere, we see that the geodesic diagonals intersect at a point

of the way from the red to the yellow point, on the main diagonal.

Spherical Circle Packings, Spherigons, Catalaves Polygons, and More

[edit]

Cocyclic Generalization - Catalan (Uniform) Spherical Circle Packings

[edit]

Note that the faces of the deltoidal icositetrahedron are cocyclic; so are the faces of the deltoidal hexecontahedron, rhombic dodecahedron, and rhombic triacontahedron (since rhombi are kites). Any triangle is cocyclic, so the faces of the triakis tetrahedron, triakis octahedron, tetrakis cube, triakis icosahedron, pentakis dodecahedron, disdyakis dodecahedron, and disdyakis triacontahedron are cocyclic.

It remains to show whether the faces of the pentagonal icositetrahedron and pentagonal hexecontahedron (Cairo/Floret solids) are, in fact, cocyclic. If so, we can homeomorphically project those Catalan solids onto spheres and realize their Spherical Circle Packings as well. If this is the case, we can size up every Catalan solid by setting corresponding spherical circles (which are actual circles) at the same radius, preferrably from ambo circle packings of the Euclidean plane; along with comparing them using Archimedean solids of the same side length and polar-reciprocating them.

Measures of the faces show the each pentagon has one axis of symmetry, based on the configuration vertices:

Symmetry of Catalan Pentagons
Cairo-like Floret-like

V34.4

V34.5
Dual: snub cube Dual: snub dodecagon

V324.3.4

V34.6
Cairo Pentagon Floret Pentagon

Meanwhile, realizing the intersections of the Catalan edges with the Archimedean edges generates cyclic spherical hCVRPs (technically hCVRSs: half-size configuration vertex regular spherigons), which implies the cocyclicity of the Catalan pentagons (homeomorphic to vertex regular spherigons).

Furthermore, the Catalan and Archimedean edges of dual compounds are perpendicular, and perpendicularity is invariant under dihedral angle homeomorphisms; over each cyclic hCVRS is a shallow pyramid (with hCVRS base), which can be circumscribed by a shallow cone; this cone yields the circle for the spherical circle packing if the circular base is projected to the midsphere.

Hence, all Catalan spherical circle packings can be realized; see below for a circle packing (blue on white) on the polyhedron itself (before homeomorphism) - not a Johnson Solid Circle Packing since the blue circles do not have equal angular area:

Result

[edit]

This means, we can recover the original uniform tiling from the dual uniform tiling by connecting incenters of planigons, spherigons, or hyperboligons, among shared edges; since they are all cocyclic.

Conversely, constructing a dual uniform tiling is easy, as all regular (convex) polygons have centroids which coincide with incenters, orthocenters, circumcenters, etc.

See below for polyhedral spherigons and spherigonal circle packings.

Catalaves Polygons (Polyhedral Spherigons)

[edit]

For each spherigon that can tile the sphere alone, there is a corresponding Catalaves polygon (the polygonal face of a Catalan Solid), or a polyhedral vertex regular spherigon (PVRS). There are 3 regular Catalaves polygons (e.g. regular Platonic polygons) and 13 semiregular Catalaves polygons (more than the number of semiregular planigons!). They are listed below:

3 Regular Catalaves Polygons
V33 V43 V53 V34 V35
Tetrahedron Octahedron Icosahedron Cube Dodecahedron
13 Semiregular Catalaves Polygons (and one 4-dual-uniform Catalaves Polygon)
V3.62 V4.62 V3.82 V5.62 V3.102 V32.42 V32.52
Triakis Tetrahedron Tetrakis Cube Triakis Octahedron Pentakis Dodecahedron Triakis Icosahedron Rhombic Dodecahedron Rhombic Triacontahedron
V3.43 V3.4.5.4 V4.6.8 V4.6.10 V34.4 V34.5 (V3.43)2
Deltoidal Icositetrahedron Deltoidal Hexecontahedron Disdyakis Dodecahedron Disdyakis Triacontahedron Pentagonal Icositetrahedron Pentagonal Hexecontahedron Strombic Icositetrahedron

Regular and Uniform Spherigonal Circle Packings

[edit]

There are 5 regular spherigonal circle packings (corresponding to the Platonic solids), and 13 semiregular (uniform) spherigonal circle packings (corresponding to the 13 Catalan solids); tabulated as above (and with densities below). The circles are constructed by the projection of incircles of the cocyclic Catalaves tiles from the Catalan solid up to the midsphere (thus inscribing circles in the vertex-regular spherigons themselves, on the midsphere; these are circumcircles of half-size configuration vertex Catalaves tiles).

Densities of 5 Regular Spherigonal Circle Packings
Tetrahedron Octahedron Cube Icosahedron Dodecahedron
0.8452995 0.7340137 0.8786797 0.6582764 0.8960951
Densities of 13 Uniform Spherigonal Circle Packings (+1 Demiregular)
Triakis Tetrahedron Triakis Octahedron Tetrakis Cube Triakis Icosahedron Pentakis Dodecahedron Rhombic Dodecahedron Rhombic Triacontahedron
0.5727958 0.4838042 0.6158004 0.4283424 0.6170374 0.8038476 0.7341523
Deltoidal Icositetrahedron Deltoidal Hexecontadron Disdyakis Dodecahedron Disdyakis Triacontahedron Pentagonal Icositetrahedron Pentagonal Hexecontahedron Strombic Icositetrahedron
0.7926140 0.7617671 0.5651766 0.5209986 0.8617035 0.8180145 0.7926140

The densest uniform spherigonal circle packing is the dodecahedral one at 89.60951%; the lightest uniform spherigonal circle packing is the triakis icosahedral one at 42.83424%.

Compare these extremes to the uniform circle packings of the Euclidean plane:

To compute the density of these spherigonal circle packings, take the ratio of the solid angle occupied by all circles to the whole sphere of area steradians:

Example configuration vertex regular polygon (configuration vertex Catalaves tile) of (3.3.3.3.5). It is cyclic, with a circumcircle about the vertex of radius r(mid)/(2*r(cir)). Resulting rotation shows the solid angle is (1/2-sqrt(4*r(cir)-1))/(4*r(cir)) of the entire sphere. This method can be used to determine the densities of uniform spherigonal circle packings.

(this kind of triple right-triangle treatment was used in constructing ambo circle packings in the 2-D case). From the diagrams above, we see that the radius of the circle inscribed in the Catalaves tile (or circumscribing the half-size configuration Catalaves polygon) is

And the (half) apex angle of the cone is

Using the apex area formula , we have

by the trigonometric identity of . In fact, such a circle carves out a spherical dome of that solid angle area precisely on the Archimedean solid's midsphere. Thus, if the corresponding Archimedean solid has vertices and circumradius (and the Catalan solid with faces), the solid-angle density of the spherigonal circle packing is

since (the edges are tangent to the midsphere of an Archimedean solid).

Using this formula, we compute the solid-angle densities of the regular (5) and semiregular (13) spherigonal circle packings.

Densities of 5 Regular Spherigonal Circle Packings

Densities of 13 Uniform Spherigonal Circle Packings

Vertex Regular Johnson Polygons (VRJPs)

[edit]

If polar reciprocation of the Johnson solids are possible, then we have vertex regular Johnson Polygons (VRJP, or VRJS for spherigonal version if the Johnson solid has a midsphere) forming the duals of Johnson solids.

One drawback of polar reciprocation (versus topological duality) is that apothems may coincide outside the Johnson solid, or conversely, apothems are beyond the faces given a center point. Apothems are defined for every center (which is the distance from the center point to the plane of the face).

Notably, if the Johnson solid does not have a midsphere, we may not be able to explicitly recover the Johnson solid from its dual, since the polyhedral vertex regular spherigon (PVRS) may not be cocyclic.

There are 92 Johnson solids, and probably around 100 (many non-cocyclic) VRJPs, e.g. V32.5 for the pentagonal pyramid is one of them.

Johnson (k-Uniform) Spherical Circle Packings

[edit]

If the polar reciprocal of a Johnson solid has all cocyclic polygons, and the Johnson solid is itself cyclic, then we can make the corresponding Johnson Spherical Circle Packing. Though this is quite rare; we can do this for the gyrate rhombicosidodecahedron, for example.

Hyperbolic Plane Circle Packings

[edit]

Likewise, uniform and k-uniform circle packings of the hyperbolic plane exist aplenty (corresponding to Euclidean tilings), as the Möbius transformations governing the hyperbolic plane map circles onto circles (Poincare model).

Terminology of Tilings

[edit]

We have (convex) vertex-regular:

Coincidence Between Duality and Polar Reciprocation

[edit]

See User:Harry Princeton/Planigons and Dual Uniform Tilings#Circle Ambo Packings for main result.

For the Euclidean plane, reciprocating the vertex-regular planigons (VRPs) of dual uniform tilings about circles of radius centered at the vertices; yield half-size configuration vertex-regular polygons (hCVRPs). These hCVRPs tile the plane in checkerboard fashion, with rectified regular polygons as gap checkers. The result is an ambo uniform tiling (or rectified uniform tiling). Hence, we can illustrate duality as polar reciprocation by using circle ambo packings with faint dual uniform lattices.

This also works for spherical tilings (and even such polyhedra; see Dorman-Luke construction), and for hyperbolic tilings as well.

However, when we get to dimension 3 or higher, rectification does not yield a topological dual - but an ambo polyhedron (or ambo polychoron or ambo polytope). So even though there are analogous ambo spherical packings for sterohedrons (i.e. like the rhombic dodecahedron for the densest such packing), such packings do not illustrate duality as polar reciprocity (i.e. we get recticuboctahedra, not cuboctahedra).

Conversely, polar-reciprocating sterohedrons about their inspheres may not give rise directly to actual honeycombs, and new polyhedrons must be artificially added (e.g. cuboctahedra only go with octahedra in a cubic lattice, not a rhombic dodecahedral lattice; on the other hand, cuboctahedra are not polar reciprocals of cubes, although they do fill gaps between octahedra with new splitting faces).