1.
Schlegel diagram
–
In geometry, a Schlegel diagram is a projection of a polytope from R d into R d −1 through a point beyond one of its facets or faces. The resulting entity is a subdivision of the facet in R d −1 that is combinatorially equivalent to the original polytope. Named for Victor Schlegel, who in 1886 introduced this tool for studying combinatorial and topological properties of polytopes, in dimensions 3 and 4, a Schlegel diagram is a projection of a polyhedron into a plane figure and a projection of a 4-polytope to 3-space, respectively. As such, Schlegel diagrams are used as a means of visualizing four-dimensional polytopes. The most elementary Schlegel diagram, that of a polyhedron, was described by Duncan Sommerville as follows, if it is projected from any external point, since each ray cuts it twice, it will be represented by a polygonal area divided twice over into polygons. It is always possible by suitable choice of the centre of projection to make the projection of one face completely contain the projections of all the other faces and this is called a Schlegel diagram of the polyhedron. The Schlegel diagram completely represents the morphology of the polyhedron, Sommerville also considers the case of a simplex in four dimensions, The Schlegel diagram of simplex in S4 is a tetrahedron divided into four tetrahedra. More generally, a polytope in n-dimensions has a Schegel diagram constructed by a perspective projection viewed from a point outside of the polytope, all vertices and edges of the polytope are projected onto a hyperplane of that facet. If the polytope is convex, a point near the facet will exist which maps the facet outside, and all other facets inside, so no edges need to cross in the projection. Net – A different approach for visualization by lowering the dimension of a polytope is to build a net, disconnecting facets and this maintains the geometric scale and shape, but makes the topological connections harder to see. Victor Schlegel Theorie der homogen zusammengesetzten Raumgebilde, Nova Acta, Ksl, deutsche Akademie der Naturforscher, Band XLIV, Nr. 4, Druck von E. Blochmann & Sohn in Dresden, Victor Schlegel Ueber Projectionsmodelle der regelmässigen vier-dimensionalen Körper, Waren. Regular Polytopes, Dover edition, ISBN 0-486-61480-8 Grünbaum, Branko, Kaibel, Volker, Klee, Victor, convex polytopes, New York & London, Springer-Verlag, ISBN 0-387-00424-6. George W. Hart, 4D Polytope Projection Models by 3D Printing Nrich maths – for the teenager
2.
Duoprism
–
In geometry of 4 dimensions or higher, a duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an n-polytope and an m-polytope is an -polytope, the lowest-dimensional duoprisms exist in 4-dimensional space as 4-polytopes being the Cartesian product of two polygons in 2-dimensional Euclidean space. More precisely, it is the set of points, P1 × P2 = where P1, such a duoprism is convex if both bases are convex, and is bounded by prismatic cells. Four-dimensional duoprisms are considered to be prismatic 4-polytopes, a duoprism constructed from two regular polygons of the same edge length is a uniform duoprism. An alternative, more concise way of specifying a particular duoprism is by prefixing with numbers denoting the base polygons, for example,3, other alternative names, q-gonal-p-gonal prism q-gonal-p-gonal double prism q-gonal-p-gonal hyperprism The term duoprism is coined by George Olshevsky, shortened from double prism. John Horton Conway proposed a similar name proprism for product prism, the duoprisms are proprisms formed from exactly two polytopes. A 4-dimensional uniform duoprism is created by the product of a regular n-sided polygon and it is bounded by n m-gonal prisms and m n-gonal prisms. For example, the Cartesian product of a triangle and a hexagon is a duoprism bounded by 6 triangular prisms and 3 hexagonal prisms, when m and n are identical, the resulting duoprism is bounded by 2n identical n-gonal prisms. For example, the Cartesian product of two triangles is a duoprism bounded by 6 triangular prisms, when m and n are identically 4, the resulting duoprism is bounded by 8 square prisms, and is identical to the tesseract. The m-gonal prisms are attached to each other via their m-gonal faces, similarly, the n-gonal prisms are attached to each other via their n-gonal faces, and form a second loop perpendicular to the first. These two loops are attached to each other via their square faces, and are mutually perpendicular, as m and n approach infinity, the corresponding duoprisms approach the duocylinder. As such, duoprisms are useful as non-quadric approximations of the duocylinder, a cell-centered perspective projection makes a duoprism look like a torus, with two sets of orthogonal cells, p-gonal and q-gonal prisms. The p-q duoprisms are identical to the q-p duoprisms, but look different in these projections because they are projected in the center of different cells, vertex-centered orthogonal projections of p-p duoprisms project into symmetry for odd degrees, and for even degrees. There are n vertices projected into the center, for 4,4, it represents the A3 Coxeter plane of the tesseract. The 5,5 projection is identical to the 3D rhombic triacontahedron, the regular skew polyhedron, exists in 4-space as the n2 square faces of a n-n duoprism, using all 2n2 edges and n2 vertices. The 2n n-gonal faces can be seen as removed, like the antiprisms as alternated prisms, there is a set of 4-dimensional duoantiprisms, 4-polytopes that can be created by an alternation operation applied to a duoprism. The alternated vertices create nonregular tetrahedral cells, except for the special case, the 16-cell is the only convex uniform duoantiprism. The duoprisms, t0,1,2,3, can be alternated into, ht0,1,2,3, the duoantiprisms, which cannot be made uniform in general
3.
Decagonal prism
–
In geometry, the decagonal prism is the eighth in the infinite set of prisms, formed by ten square side faces and two regular decagon caps. With twelve faces, it is one of many nonregular dodecahedra, the decagonal prism has 12 faces,30 edges, and 20 vertices. If faces are all regular, it is a semiregular or prismatic uniform polyhedron, the decagonal prism exists as cells in two four-dimensional uniform 4-polytopes, Weisstein, Eric W. Prism. 3-d model of a Decagonal Prism
4.
Square
–
In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles. It can also be defined as a rectangle in which two adjacent sides have equal length, a square with vertices ABCD would be denoted ◻ ABCD. e. A rhombus with equal diagonals a convex quadrilateral with sides a, b, c, d whose area is A =12 =12. Opposite sides of a square are both parallel and equal in length, all four angles of a square are equal. All four sides of a square are equal, the diagonals of a square are equal. The square is the n=2 case of the families of n-hypercubes and n-orthoplexes, a truncated square, t, is an octagon. An alternated square, h, is a digon, the perimeter of a square whose four sides have length ℓ is P =4 ℓ and the area A is A = ℓ2. In classical times, the power was described in terms of the area of a square. This led to the use of the square to mean raising to the second power. The area can also be calculated using the diagonal d according to A = d 22. In terms of the circumradius R, the area of a square is A =2 R2, since the area of the circle is π R2, in terms of the inradius r, the area of the square is A =4 r 2. Because it is a polygon, a square is the quadrilateral of least perimeter enclosing a given area. Dually, a square is the quadrilateral containing the largest area within a given perimeter. Indeed, if A and P are the area and perimeter enclosed by a quadrilateral, then the isoperimetric inequality holds,16 A ≤ P2 with equality if. The diagonals of a square are 2 times the length of a side of the square and this value, known as the square root of 2 or Pythagoras constant, was the first number proven to be irrational. A square can also be defined as a parallelogram with equal diagonals that bisect the angles, if a figure is both a rectangle and a rhombus, then it is a square. If a circle is circumscribed around a square, the area of the circle is π /2 times the area of the square, if a circle is inscribed in the square, the area of the circle is π /4 times the area of the square. A square has an area than any other quadrilateral with the same perimeter
5.
Vertex figure
–
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Take some vertex of a polyhedron, mark a point somewhere along each connected edge. Draw lines across the faces, joining adjacent points. When done, these form a complete circuit, i. e. a polygon. This polygon is the vertex figure, more precise formal definitions can vary quite widely, according to circumstance. For example Coxeter varies his definition as convenient for the current area of discussion, most of the following definitions of a vertex figure apply equally well to infinite tilings, or space-filling tessellation with polytope cells. Make a slice through the corner of the polyhedron, cutting all the edges connected to the vertex. The cut surface is the vertex figure and this is perhaps the most common approach, and the most easily understood. Different authors make the slice in different places, Wenninger cuts each edge a unit distance from the vertex, as does Coxeter. For uniform polyhedra the Dorman Luke construction cuts each connected edge at its midpoint, other authors make the cut through the vertex at the other end of each edge. For irregular polyhedra, these approaches may produce a figure that does not lie in a plane. A more general approach, valid for convex polyhedra, is to make the cut along any plane which separates the given vertex from all the other vertices. Cromwell makes a cut or scoop, centered on the vertex. The cut surface or vertex figure is thus a spherical polygon marked on this sphere, many combinatorial and computational approaches treat a vertex figure as the ordered set of points of all the neighboring vertices to the given vertex. In the theory of polytopes, the vertex figure at a given vertex V comprises all the elements which are incident on the vertex, edges, faces. More formally it is the -section Fn/V, where Fn is the greatest face and this set of elements is elsewhere known as a vertex star. A vertex figure for an n-polytope is an -polytope, for example, a vertex figure for a polyhedron is a polygon figure, and the vertex figure for a 4-polytope is a polyhedron. Each edge of the vertex figure exists on or inside of a face of the original polytope connecting two vertices from an original face
6.
Disphenoid
–
In geometry, a disphenoid is a tetrahedron whose four faces are congruent acute-angled triangles. It can also be described as a tetrahedron in which two edges that are opposite each other have equal lengths. Other names for the shape are sphenoid, bisphenoid, isosceles tetrahedron, equifacial tetrahedron, almost regular tetrahedron. All the solid angles and vertex figures of a disphenoid are the same, however, a disphenoid is not a regular polyhedron, because, in general, its faces are not regular polygons, and its edges have three different lengths. If the faces of a disphenoid are equilateral triangles, it is a tetrahedron with Td tetrahedral symmetry. When the faces of a disphenoid are isosceles triangles, it is called a tetragonal disphenoid, in this case it has D2d dihedral symmetry. A sphenoid with scalene triangles as its faces is called a rhombic disphenoid, unlike the tetragonal disphenoid, the rhombic disphenoid has no reflection symmetry, so it is chiral. Both tetragonal disphenoids and rhombic disphenoids are isohedra, as well as being congruent to each other and it is not possible to construct a disphenoid with right triangle or obtuse triangle faces. When right triangles are glued together in the pattern of a disphenoid, two more types of tetrahedron generalize the disphenoid and have similar names. The digonal disphenoid has faces with two different shapes, both triangles, with two faces of each shape. The phyllic disphenoid similarly has faces with two shapes of scalene triangles, disphenoids can also be seen as digonal antiprisms or as alternated quadrilateral prisms. A tetrahedron is a if and only if its circumscribed parallelepiped is right-angled. We also have that a tetrahedron is a if and only if the center in the circumscribed sphere. The disphenoids are the polyhedra having infinitely many non-self-intersecting closed geodesics. On a disphenoid, all closed geodesics are non-self-intersecting and they are the polyhedra having a net in the shape of an acute triangle, divided into four similar triangles by segments connecting the edge midpoints. The volume of a disphenoid with opposite edges of length l, m and n is given by V =72. There is also the following interesting relation connecting the volume and the circumradius,16 T2 R2 = l 2 m 2 n 2 +9 V2, the squares of the lengths of the bimedians are 12,12,12. If the four faces of a tetrahedron have the same perimeter, if the four faces of a tetrahedron have the same area, then it is a disphenoid
7.
Coxeter notation
–
The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson. For Coxeter groups defined by pure reflections, there is a correspondence between the bracket notation and Coxeter-Dynkin diagram. The numbers in the notation represent the mirror reflection orders in the branches of the Coxeter diagram. It uses the same simplification, suppressing 2s between orthogonal mirrors, the Coxeter notation is simplified with exponents to represent the number of branches in a row for linear diagram. So the An group is represented by, to imply n nodes connected by n-1 order-3 branches, example A2 = = or represents diagrams or. Coxeter initially represented bifurcating diagrams with vertical positioning of numbers, but later abbreviated with an exponent notation, like, Coxeter allowed for zeros as special cases to fit the An family, like A3 = = = =, like = =. Coxeter groups formed by cyclic diagrams are represented by parenthesese inside of brackets, if the branch orders are equal, they can be grouped as an exponent as the length the cycle in brackets, like =, representing Coxeter diagram or. More complicated looping diagrams can also be expressed with care, the paracompact complete graph diagram or, is represented as with the superscript as the symmetry of its regular tetrahedron coxeter diagram. The Coxeter diagram usually leaves order-2 branches undrawn, but the bracket notation includes an explicit 2 to connect the subgraphs, so the Coxeter diagram = A2×A2 = 2A2 can be represented by × =2 =. For the affine and hyperbolic groups, the subscript is one less than the number of nodes in each case, Coxeters notation represents rotational/translational symmetry by adding a + superscript operator outside the brackets which cuts the order of the group in half. This is called a direct subgroup because what remains are only direct isometries without reflective symmetry, + operators can also be applied inside of the brackets, and creates semidirect subgroups that include both reflective and nonreflective generators. Semidirect subgroups can only apply to Coxeter group subgroups that have even order branches next to it, the subgroup index is 2n for n + operators. So the snub cube, has symmetry +, and the tetrahedron, has symmetry. Johnson extends the + operator to work with a placeholder 1 nodes, in general this operation only applies to mirrors bounded by all even-order branches. The 1 represents a mirror so can be seen as, or, like diagram or, the effect of a mirror removal is to duplicate connecting nodes, which can be seen in the Coxeter diagrams, =, or in bracket notation, = =. Each of these mirrors can be removed so h = = = and this can be shown in a Coxeter diagram by adding a + symbol above the node, = =. If both mirrors are removed, a subgroup is generated, with the branch order becoming a gyration point of half the order, q = = +. For example, = = = ×, order 4. = +, the opposite to halving is doubling which adds a mirror, bisecting a fundamental domain, and doubling the group order
8.
Dual polyhedron
–
Such dual figures remain combinatorial or abstract polyhedra, but not all are also geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron, duality preserves the symmetries of a polyhedron. Therefore, for classes of polyhedra defined by their symmetries. Thus, the regular polyhedra – the Platonic solids and Kepler-Poinsot polyhedra – form dual pairs, the dual of an isogonal polyhedron, having equivalent vertices, is one which is isohedral, having equivalent faces. The dual of a polyhedron is also isotoxal. Duality is closely related to reciprocity or polarity, a transformation that. There are many kinds of duality, the kinds most relevant to elementary polyhedra are polar reciprocity and topological or abstract duality. The duality of polyhedra is often defined in terms of polar reciprocation about a concentric sphere. In coordinates, for reciprocation about the sphere x 2 + y 2 + z 2 = r 2, the vertex is associated with the plane x 0 x + y 0 y + z 0 z = r 2. The vertices of the dual are the reciprocal to the face planes of the original. Also, any two adjacent vertices define an edge, and these will reciprocate to two adjacent faces which intersect to define an edge of the dual and this dual pair of edges are always orthogonal to each other. If r 0 is the radius of the sphere, and r 1 and r 2 respectively the distances from its centre to the pole and its polar, then, r 1. R2 = r 02 For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, the choice of center for the sphere is sufficient to define the dual up to similarity. If multiple symmetry axes are present, they will intersect at a single point. Failing that, a sphere, inscribed sphere, or midsphere is commonly used. If a polyhedron in Euclidean space has an element passing through the center of the sphere, since Euclidean space never reaches infinity, the projective equivalent, called extended Euclidean space, may be formed by adding the required plane at infinity. Some theorists prefer to stick to Euclidean space and say there is no dual. Meanwhile, Wenninger found a way to represent these infinite duals, the concept of duality here is closely related to the duality in projective geometry, where lines and edges are interchanged