Dual polyhedron
In geometry, any polyhedron is associated with a second dual figure, where the vertices of one correspond to the faces of the other and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all are 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 many classes of polyhedra defined by their symmetries, the duals belong to a symmetric class. Thus, the regular polyhedra – the Platonic solids and Kepler–Poinsot polyhedra – form dual pairs, where the regular tetrahedron is self-dual; the dual of an isogonal polyhedron, having equivalent vertices, is one, isohedral, having equivalent faces. The dual of an isotoxal polyhedron is isotoxal. Duality is related to reciprocity or polarity, a geometric transformation that, when applied to a convex polyhedron, realizes the dual polyhedron as another convex polyhedron.
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 defined in terms of polar reciprocation about a concentric sphere. Here, each vertex is associated with a face plane so that the ray from the center to the vertex is perpendicular to the plane, the product of the distances from the center to each is equal to the square of the radius. 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 poles reciprocal to the face planes of the original, the faces of the dual lie in the polars reciprocal to the vertices of the original. Any two adjacent vertices define an edge, these will reciprocate to two adjacent faces which intersect to define an edge of the dual; this dual pair of edges are always orthogonal to each other. If r 0 is the radius of the sphere, r 1 and r 2 the distances from its centre to the pole and its polar, then: r 1.
R 2 = r 0 2 For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, as in the Dorman Luke construction described below. However, it is possible to reciprocate a polyhedron about any sphere, the resulting form of the dual will depend on the size and position of the sphere; 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, this is taken to be the centroid. Failing that, a circumscribed sphere, inscribed sphere, or midsphere is used. If a polyhedron in Euclidean space has an element passing through the center of the sphere, the corresponding element of its dual will go to infinity. 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 say that there is no dual. Meanwhile, Wenninger found a way to represent these infinite duals, in a manner suitable for making models.
The concept of duality here is related to the duality in projective geometry, where lines and edges are interchanged. Projective polarity works well enough for convex polyhedra, but for non-convex figures such as star polyhedra, when we seek to rigorously define this form of polyhedral duality in terms of projective polarity, various problems appear. Because of the definitional issues for geometric duality of non-convex polyhedra, Grünbaum argues that any proper definition of a non-convex polyhedron should include a notion of a dual polyhedron. Any convex polyhedron can be distorted into a canonical form, in which a unit midsphere exists tangent to every edge, such that the average position of the points of tangency is the center of the sphere; this form is unique up to congruences. If we reciprocate such a canonical polyhedron about its midsphere, the dual polyhedron will share the same edge-tangency points and so must be canonical, it is the canonical dual, the two together form a canonical dual pair.
When a pair of polyhedra cannot be obtained by reciprocation from each other, they may be called duals of each other as long as the vertices of one correspond to the faces of the other, the edges of one correspond to the edges of the other, in an incidence-preserving way. Such pairs of polyhedra are abstractly dual; the vertices and edges of a convex polyhedron form a graph, embedded on a topological sphere, the surface of the polyhedron. The same graph can be projected to form
Rhombicuboctahedron
In geometry, the rhombicuboctahedron, or small rhombicuboctahedron, is an Archimedean solid with eight triangular and eighteen square faces. There are 24 identical vertices, with three squares meeting at each; the polyhedron has octahedral symmetry, like the octahedron. Its dual is called the deltoidal icositetrahedron or trapezoidal icositetrahedron, although its faces are not true trapezoids. Johannes Kepler in Harmonices Mundi named this polyhedron a rhombicuboctahedron, being short for truncated cuboctahedral rhombus, with cuboctahedral rhombus being his name for a rhombic dodecahedron. There are different truncations of a rhombic dodecahedron into a topological rhombicuboctahedron: Prominently its rectification, the one that creates the uniform solid, the core of the compound with its dual, it can be called an expanded or cantellated cube or octahedron, from truncation operations on either uniform polyhedron. There are distortions of the rhombicuboctahedron that, while some of the faces are not regular polygons, are still vertex-uniform.
Some of these can be made by taking a cube or octahedron and cutting off the edges trimming the corners, so the resulting polyhedron has six square and twelve rectangular faces. These have octahedral symmetry and form a continuous series between the cube and the octahedron, analogous to the distortions of the rhombicosidodecahedron or the tetrahedral distortions of the cuboctahedron. However, the rhombicuboctahedron has a second set of distortions with six rectangular and sixteen trapezoidal faces, which do not have octahedral symmetry but rather Th symmetry, so they are invariant under the same rotations as the tetrahedron but different reflections; the lines along which a Rubik's Cube can be turned are, projected onto a sphere, topologically identical, to a rhombicuboctahedron's edges. In fact, variants using the Rubik's Cube mechanism have been produced which resemble the rhombicuboctahedron; the rhombicuboctahedron is used in three uniform space-filling tessellations: the cantellated cubic honeycomb, the runcitruncated cubic honeycomb, the runcinated alternated cubic honeycomb.
The rhombicuboctahedron can be dissected into a central octagonal prism. A rotation of one cupola by 45 degrees creates the pseudorhombicuboctahedron. Both of these polyhedra have the same vertex figure: 3.4.4.4. There are three pairs of parallel planes that each intersect the rhombicuboctahedron in a regular octagon; the rhombicuboctahedron may be divided along any of these to obtain an octagonal prism with regular faces and two additional polyhedra called square cupolae, which count among the Johnson solids. These pieces can be reassembled to give a new solid called the elongated square gyrobicupola or pseudorhombicuboctahedron, with the symmetry of a square antiprism. In this the vertices are all locally the same as those of a rhombicuboctahedron, with one triangle and three squares meeting at each, but are not all identical with respect to the entire polyhedron, since some are closer to the symmetry axis than others; the rhombicuboctahedron has six special orthogonal projections, centered, on a vertex, on two types of edges, three types of faces: triangles, two squares.
The last two correspond to the B2 and A2 Coxeter planes. The rhombicuboctahedron can be represented as a spherical tiling, projected onto the plane via a stereographic projection; this projection is conformal, preserving angles but not lengths. Straight lines on the sphere are projected as circular arcs on the plane. A half symmetry form of the rhombicuboctahedron, exists with pyritohedral symmetry, as Coxeter diagram, Schläfli symbol s2, can be called a cantic snub octahedron; this form can be visualized by alternatingly coloring the edges of the 6 squares. These squares can be distorted into rectangles, while the 8 triangles remain equilateral; the 12 diagonal square faces will become isosceles trapezoids. In the limit, the rectangles can be reduced to edges, the trapezoids become triangles, an icosahedron is formed, by a snub octahedron construction, s. Cartesian coordinates for the vertices of a rhombicuboctahedron centred at the origin, with edge length 2 units, are all the permutations of.
If the original rhombicuboctahedron has unit edge length, its dual strombic icositetrahedron has edge lengths 2 7 10 − 2 and 4 − 2 2. The area A and the volume V of the rhombicuboctahedron of edge length a are: A = a 2 ≈ 21.464 1016 a 2 V = 12 + 10 2 3 a 3 ≈ 8.714 045 21 a 3. {\displaystyle {\beginA&=\lefta^&&\approx 21.464\,1016a^\\V&=a^&&\approx 8.714\,045\,21a^.\e
Hyperbolic geometry
In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: For any given line R and point P not on R, in the plane containing both line R and point P there are at least two distinct lines through P that do not intersect R. Hyperbolic plane geometry is the geometry of saddle surfaces and pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. A modern use of hyperbolic geometry is in the theory of special relativity Minkowski spacetime and gyrovector space; when geometers first realised they were working with something other than the standard Euclidean geometry they described their geometry under many different names. In the former Soviet Union, it is called Lobachevskian geometry, named after one of its discoverers, the Russian geometer Nikolai Lobachevsky; this page is about the 2-dimensional hyperbolic geometry and the differences and similarities between Euclidean and hyperbolic geometry. Hyperbolic geometry can be extended to three and more dimensions.
Hyperbolic geometry is more related to Euclidean geometry than it seems: the only axiomatic difference is the parallel postulate. When the parallel postulate is removed from Euclidean geometry the resulting geometry is absolute geometry. There are two kinds of absolute geometry and hyperbolic. All theorems of absolute geometry, including the first 28 propositions of book one of Euclid's Elements, are valid in Euclidean and hyperbolic geometry. Propositions 27 and 28 of Book One of Euclid's Elements prove the existence of parallel/non-intersecting lines; this difference has many consequences: concepts that are equivalent in Euclidean geometry are not equivalent in hyperbolic geometry. Further, because of the angle of parallelism, hyperbolic geometry has an absolute scale, a relation between distance and angle measurements. Single lines in hyperbolic geometry have the same properties as single straight lines in Euclidean geometry. For example, two points uniquely define a line, lines can be infinitely extended.
Two intersecting lines have the same properties as two intersecting lines in Euclidean geometry. For example, two lines can intersect in no more than one point, intersecting lines have equal opposite angles, adjacent angles of intersecting lines are supplementary; when we add a third line there are properties of intersecting lines that differ from intersecting lines in Euclidean geometry. For example, given 2 intersecting lines there are infinitely many lines that do not intersect either of the given lines; these properties all are independent of the model used if the lines may look radically different. Non-intersecting lines in hyperbolic geometry have properties that differ from non-intersecting lines in Euclidean geometry: For any line R and any point P which does not lie on R, in the plane containing line R and point P there are at least two distinct lines through P that do not intersect R; this implies that there are through P an infinite number of coplanar lines that do not intersect R.
These non-intersecting lines are divided into two classes: Two of the lines are limiting parallels: there is one in the direction of each of the ideal points at the "ends" of R, asymptotically approaching R, always getting closer to R, but never meeting it. All other non-intersecting lines have a point of minimum distance and diverge from both sides of that point, are called ultraparallel, diverging parallel or sometimes non-intersecting; some geometers use parallel lines instead of limiting parallel lines, with ultraparallel lines being just non-intersecting. These limiting parallels make an angle θ with PB. For ultraparallel lines, the ultraparallel theorem states that there is a unique line in the hyperbolic plane, perpendicular to each pair of ultraparallel lines. In hyperbolic geometry, the circumference of a circle of radius r is greater than 2 π r. Let R = 1 − K, where K is the Gaussian curvature of the plane. In hyperbolic geometry, K is negative, so the square root is of a positive number.
The circumference of a circle of radius r is equal to: 2 π R sinh r R. And the area of the enclosed disk is: 4 π R 2 sinh 2 r 2 R = 2 π R 2. Therefore, in hyperbolic geometry the ratio of a circle's circumference to its radius is always greater than 2 π, though
Wythoff symbol
In geometry, the Wythoff symbol represents a Wythoff construction of a uniform polyhedron or plane tiling, from a Schwarz triangle. It was first used by Coxeter, Longuet-Higgins and Miller in their enumeration of the uniform polyhedra. A Wythoff symbol consists of a vertical bar, it represents one uniform polyhedron or tiling, although the same tiling/polyhedron can have different Wythoff symbols from different symmetry generators. For example, the regular cube can be represented by 3 | 4 2 with Oh symmetry, 2 4 | 2 as a square prism with 2 colors and D4h symmetry, as well as 2 2 2 | with 3 colors and D 2 h symmetry. With a slight extension, Wythoff's symbol can be applied to all uniform polyhedra. However, the construction methods do not lead to all uniform tilings in Euclidean or hyperbolic space. In three dimensions, Wythoff's construction begins by choosing a generator point on the triangle. If the distance of this point from each of the sides is non-zero, the point must be chosen to be an equal distance from each edge.
A perpendicular line is dropped between the generator point and every face that it does not lie on. The three numbers in Wythoff's symbol, p, q and r, represent the corners of the Schwarz triangle used in the construction, which are π / p, π / q and π / r radians respectively; the triangle is represented with the same numbers, written. The vertical bar in the symbol specifies a categorical position of the generator point within the fundamental triangle according to the following: p | q r indicates that the generator lies on the corner p, p q | r indicates that the generator lies on the edge between p and q, p q r | indicates that the generator lies in the interior of the triangle. In this notation the mirrors are labeled by the reflection-order of the opposite vertex; the p, q, r values are listed before the bar. The one impossible symbol | p q r implies the generator point is on all mirrors, only possible if the triangle is degenerate, reduced to a point; this unused symbol is therefore arbitrarily reassigned to represent the case where all mirrors are active, but odd-numbered reflected images are ignored.
The resulting figure has rotational symmetry only. The generator point can either be off each mirror, activated or not; this distinction creates 8 possible forms, neglecting one where the generator point is on all the mirrors. The Wythoff symbol is functionally similar to the more general Coxeter-Dynkin diagram, in which each node represents a mirror and the arcs between them – marked with numbers – the angles between the mirrors. A node is circled. There are seven generator points with each set of p, q, r: There are three special cases: p q | – This is a mixture of p q r | and p q s |, containing only the faces shared by both. | p q r – Snub forms are given by this otherwise unused symbol. | p q r s – A unique snub form for U75 that isn't Wythoff-constructible. There are 4 symmetry classes of reflection on the sphere, three in the Euclidean plane. A few of the infinitely many such patterns in the hyperbolic plane are listed. Point groups: dihedral symmetry, p = 2, 3, 4 … tetrahedral symmetry octahedral symmetry icosahedral symmetry Euclidean groups: *442 symmetry: 45°-45°-90° triangle *632 symmetry: 30°-60°-90° triangle *333 symmetry: 60°-60°-60° triangleHyperbolic groups: *732 symmetry *832 symmetry *433 symmetry *443 symmetry *444 symmetry *542 symmetry *642 symmetry...
The above symmetry groups only include the integer solutions on the sphere. The list of Schwarz triangles includes rational numbers, determine the full set of solutions of nonconvex uniform polyhedra. In the tilings above, each triangle is a fundamental domain, colored by and odd reflections. Selected tilings created by the Wythoff con
Rhombic dodecahedron
In geometry, the rhombic dodecahedron is a convex polyhedron with 12 congruent rhombic faces. It has 24 edges, 14 vertices of two types, it is a Catalan solid, the dual polyhedron of the cuboctahedron. The rhombic dodecahedron is a zonohedron, its polyhedral dual is the cuboctahedron. The long diagonal of each face is √2 times the length of the short diagonal, so that the acute angles on each face measure arccos, or 70.53°. Being the dual of an Archimedean polyhedron, the rhombic dodecahedron is face-transitive, meaning the symmetry group of the solid acts transitively on the set of faces. In elementary terms, this means that for any two faces A and B there is a rotation or reflection of the solid that leaves it occupying the same region of space while moving face A to face B; the rhombic dodecahedron is one of the nine edge-transitive convex polyhedra, the others being the five Platonic solids, the cuboctahedron, the icosidodecahedron and the rhombic triacontahedron. The rhombic dodecahedron can be used to tessellate three-dimensional space.
It can be stacked to fill a space. This polyhedron in a space-filling tessellation can be seen as the Voronoi tessellation of the face-centered cubic lattice, it is the Brillouin zone of body centered cubic crystals. Some minerals such as garnet form a rhombic dodecahedral crystal habit. Honey bees use the geometry of rhombic dodecahedra to form honeycombs from a tessellation of cells each of, a hexagonal prism capped with half a rhombic dodecahedron; the rhombic dodecahedron appears in the unit cells of diamond and diamondoids. In these cases, four vertices are absent; the graph of the rhombic dodecahedron is nonhamiltonian. A rhombic dodecahedron can be dissected with its center into 4 trigonal trapezohedra; these rhombohedra are the cells of a trigonal trapezohedral honeycomb. This is analogous to the dissection of a regular hexagon dissected into rhombi, tiled in the plane as a rhombille. If the edge length of a rhombic dodecahedron is a, the radius of an inscribed sphere is r i = 6 3 a ≈ 0.816 496 5809 a, OEIS: A157697the radius of the midsphere is r m = 2 2 3 a ≈ 0.942 809 041 58 a, OEIS: A179587.and the radius of the circumscribed sphere is r o = 2 3 3 a ≈ 1.154 700 538 a, OEIS: A020832.
The area A and the volume V of the rhombic dodecahedron of edge length a are: A = 8 2 a 2 ≈ 11.313 7085 a 2 V = 16 3 9 a 3 ≈ 3.079 201 44 a 3 The rhombic dodecahedron has four special orthogonal projections along its axes of symmetry, centered on a face, an edge, the two types of vertex and fourfold. The last two correspond to the B2 and A2 Coxeter planes; the eight vertices where three faces meet at their obtuse angles have Cartesian coordinates: The coordinates of the six vertices where four faces meet at their acute angles are:, The rhombic dodecahedron can be seen as a degenerate limiting case of a pyritohedron, with permutation of coordinates and with parameter h = 1. The rhombic dodecahedron is a parallelohedron, a space-filling polyhedron, being the dual to the tetroctahedrille or half cubic honeycomb, described by two Coxeter diagrams: and. With D3d symmetry, it can be seen as an elongated trigonal trapezohedron. Other symmetry constructions of the rhombic dodecahedron are space-filling, as parallelotopes they are similar to variations of space-filling truncated octahedra.
For example, with 4 square faces, 60-degree rhombic faces, D4h dihedral symmetry, order 16. It be seen as a cuboctahedron with square pyramids augmented on the bottom. In 1960 Stanko Bilinski discovered a second rhombic dodecahedron with 12 congruent rhombus faces, the Bilinski dodecahedron, it has the same different geometry. The rhombic faces in this form have the golden ratio. Another topologically equivalent variation, sometimes called a deltoidal dodecahedron or trapezoidal dodecahedron, is isohedral with tetrahedral symmetry order 24, distorting rhombic faces into kites, it has 8 vertices adjusted in or out in alternate sets of 4, with the limiting case a tetrahedral envelope. Variations can be parametrized by. Is the rhombic solution; as approaches 1/2, approaches infinity. (
Geometry
Geometry is a branch of mathematics concerned with questions of shape, relative position of figures, the properties of space. A mathematician who works in the field of geometry is called a geometer. Geometry arose independently in a number of early cultures as a practical way for dealing with lengths and volumes. Geometry began to see elements of formal mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into an axiomatic form by Euclid, whose treatment, Euclid's Elements, set a standard for many centuries to follow. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC. Islamic scientists expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid analytic footing by mathematicians such as René Descartes and Pierre de Fermat. Since and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, describing spaces that lie beyond the normal range of human experience.
While geometry has evolved throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, planes, surfaces and curves, as well as the more advanced notions of manifolds and topology or metric. Geometry has applications to many fields, including art, physics, as well as to other branches of mathematics. Contemporary geometry has many subfields: Euclidean geometry is geometry in its classical sense; the mandatory educational curriculum of the majority of nations includes the study of points, planes, triangles, similarity, solid figures and analytic geometry. Euclidean geometry has applications in computer science and various branches of modern mathematics. Differential geometry uses techniques of linear algebra to study problems in geometry, it has applications in physics, including in general relativity. Topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this means dealing with large-scale properties of spaces, such as connectedness and compactness.
Convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues using techniques of real analysis. It has close connections to convex analysis and functional analysis and important applications in number theory. Algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques, it has applications including cryptography and string theory. Discrete geometry is concerned with questions of relative position of simple geometric objects, such as points and circles, it shares many principles with combinatorics. Computational geometry deals with algorithms and their implementations for manipulating geometrical objects. Although being a young area of geometry, it has many applications in computer vision, image processing, computer-aided design, medical imaging, etc; the earliest recorded beginnings of geometry can be traced to ancient Mesopotamia and Egypt in the 2nd millennium BC. Early geometry was a collection of empirically discovered principles concerning lengths, angles and volumes, which were developed to meet some practical need in surveying, construction and various crafts.
The earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, or frustum. Clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiter's position and motion within time-velocity space; these geometric procedures anticipated the Oxford Calculators, including the mean speed theorem, by 14 centuries. South of Egypt the ancient Nubians established a system of geometry including early versions of sun clocks. In the 7th century BC, the Greek mathematician Thales of Miletus used geometry to solve problems such as calculating the height of pyramids and the distance of ships from the shore, he is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. Pythagoras established the Pythagorean School, credited with the first proof of the Pythagorean theorem, though the statement of the theorem has a long history.
Eudoxus developed the method of exhaustion, which allowed the calculation of areas and volumes of curvilinear figures, as well as a theory of ratios that avoided the problem of incommensurable magnitudes, which enabled subsequent geometers to make significant advances. Around 300 BC, geometry was revolutionized by Euclid, whose Elements considered the most successful and influential textbook of all time, introduced mathematical rigor through the axiomatic method and is the earliest example of the format still used in mathematics today, that of definition, axiom and proof. Although most of the contents of the Elements were known, Euclid arranged them into a single, coherent logical framework; the Elements was known to all educated people in the West until the middle of the 20th century and its contents are still taught in geometry classes today. Archimedes of Syracuse used the method of exhaustion to calculate the area under the arc of a parabola with the summation of an infinite series, gave remarkably accurate approximations of Pi.
He studied the sp