Tetrakis hexahedron
In geometry, a tetrakis hexahedron is a Catalan solid. Its dual is the truncated octahedron, an Archimedean solid, it can be called a disdyakis hexahedron or hexakis tetrahedron as the dual of an omnitruncated tetrahedron. The tetrakis hexahedron, dual of the truncated octahedron has 3 symmetry positions, two located on vertices and one mid-edge. Occurring formations of tetrahexahedra are observed in copper and fluorite systems. Polyhedral dice shaped like the tetrakis hexahedron are used by gamers. A 24-cell viewed under a vertex-first perspective projection has a surface topology of a tetrakis hexahedron and the geometric proportions of the rhombic dodecahedron, with the rhombic faces divided into two triangles; the tetrakis hexahedron appears as one of the simplest examples in building theory. Consider the Riemannian symmetric space associated to the group SL4, its Tits boundary has the structure of a spherical building whose apartments are 2-dimensional spheres. The partition of this sphere into spherical simplices can be obtained by taking the radial projection of a tetrakis hexahedron.
With Td, tetrahedral symmetry, the triangular faces represent the 24 fundamental domains of tetrahedral symmetry. This polyhedron can be constructed from 6 great circles on a sphere, it can be seen by a cube with its square faces triangulated by their vertices and face centers and a tetrahedron with its faces divided by vertices, mid-edges, a central point. The edges of the tetrakis hexahedron form 6 circles in the plane; each of these 6 circles represent a mirror line in tetrahedral symmetry. The 6 circles can be grouped into 3 sets of 2 pairs of orthogonal circles; these edges can be seen as a compound of 3 orthogonal square hosohedrons. If we denote the edge length of the base cube by a, the height of each pyramid summit above the cube is a/4; the inclination of each triangular face of the pyramid versus the cube face is arctan 26.565°. One edge of the isosceles triangles has length a, the other two have length 3a/4, which follows by applying the Pythagorean theorem to height and base length.
This yields an altitude of √5a/4 in the triangle. Its area is √5a/8, the internal angles are arccos and the complementary 180° − 2 arccos; the volume of the pyramid is a3/12. It can be seen as a cube with square pyramids covering each square face, it is similar to the 3D net for a 4D cubic pyramid, as the net for a square based is a square with triangles attached to each edge, the net for a cubic pyramid is a cube with square pyramids attached to each face. It is a polyhedra in a sequence defined by the face configuration V4.6.2n. This group is special for having all number of edges per vertex and form bisecting planes through the polyhedra and infinite lines in the plane, continuing into the hyperbolic plane for any n ≥ 7. With an number of faces at every vertex, these polyhedra and tilings can be shown by alternating two colors so all adjacent faces have different colors; each face on these domains corresponds to the fundamental domain of a symmetry group with order 2,3,n mirrors at each triangle face vertex.
Disdyakis triacontahedron Disdyakis dodecahedron Kisrhombille tiling Compound of three octahedra Deltoidal icositetrahedron, another 24-face Catalan solid. Williams, Robert; the Geometrical Foundation of Natural Structure: A Source Book of Design. Dover Publications, Inc. ISBN 0-486-23729-X. Wenninger, Dual Models, Cambridge University Press, doi:10.1017/CBO9780511569371, ISBN 978-0-521-54325-5, MR 0730208 The Symmetries of Things 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, ISBN 978-1-56881-220-5 Eric W. Weisstein, Tetrakis hexahedron at MathWorld. Virtual Reality Polyhedra www.georgehart.com: The Encyclopedia of Polyhedra VRML model Conway Notation for Polyhedra Try: "dtO" or "kC" Tetrakis Hexahedron – Interactive Polyhedron model The Uniform Polyhedra
Orbifold notation
In geometry, orbifold notation is a system, invented by William Thurston and popularized by the mathematician John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it describes the orbifold obtained by taking the quotient of Euclidean space by the group under consideration. Groups representable in this notation include the point groups on the sphere, the frieze groups and wallpaper groups of the Euclidean plane, their analogues on the hyperbolic plane; the following types of Euclidean transformation can occur in a group described by orbifold notation: reflection through a line translation by a vector rotation of finite order around a point infinite rotation around a line in 3-space glide-reflection, i.e. reflection followed by translation. All translations which occur are assumed to form a discrete subgroup of the group symmetries being described.
Each group is denoted in orbifold notation by a finite string made up from the following symbols: positive integers 1, 2, 3, … the infinity symbol, ∞ the asterisk, * the symbol o, called a wonder and a handle because it topologically represents a torus closed surface. Patterns repeat by two translation; the symbol ×, called a miracle and represents a topological crosscap where a pattern repeats as a mirror image without crossing a mirror line. A string written in boldface represents a group of symmetries of Euclidean 3-space. A string not written in boldface represents a group of symmetries of the Euclidean plane, assumed to contain two independent translations; each symbol corresponds to a distinct transformation: an integer n to the left of an asterisk indicates a rotation of order n around a gyration point an integer n to the right of an asterisk indicates a transformation of order 2n which rotates around a kaleidoscopic point and reflects through a line an × indicates a glide reflection the symbol ∞ indicates infinite rotational symmetry around a line.
By abuse of language, we might say that such a group is a subgroup of symmetries of the Euclidean plane with only one independent translation. The frieze groups occur in this way; the exceptional symbol o indicates that there are two linearly independent translations. An orbifold symbol is called good if it is not one of the following: p, pq, *p, *pq, for p,q>=2, p≠q. An object is chiral; the corresponding orbifold is non-orientable otherwise. The Euler characteristic of an orbifold can be read from its Conway symbol; each feature has a value: n without or before an asterisk counts as n − 1 n n after an asterisk counts as n − 1 2 n asterisk and × count as 1 o counts as 2. Subtracting the sum of these values from 2 gives the Euler characteristic. If the sum of the feature values is 2, the order is infinite, i.e. the notation represents a wallpaper group or a frieze group. Indeed, Conway's "Magic Theorem" indicates that the 17 wallpaper groups are those with the sum of the feature values equal to 2.
Otherwise, the order is 2 divided by the Euler characteristic. The following groups are isomorphic: 1* and *11 22 and 221 *22 and *221 2* and 2*1; this is. The symmetry of a 2D object without translational symmetry can be described by the 3D symmetry type by adding a third dimension to the object which does not add or spoil symmetry. For example, for a 2D image we can consider a piece of carton with that image displayed on one side, thus we have n• and *n•. The bullet is added on one- and two-dimensional groups to imply the existence of a fixed point. A 1D image can be drawn horizontally on a piece of carton, with a provision to avoid additional symmetry with respect to the line of the image, e.g. by drawing a horizontal bar under the image. Thus the discrete symmetry groups in one dimension are *•, *1•, ∞• and *∞•. Another way of constructing a 3D object from a 1D or 2D object for describing the symmetry is taking the Cartesian product of the object and an asymmetric 2D or 1D object, respectively.
*Schönflies's point group notation is extended here as infinite cases of the equivalent dihedral points symmetries §The diagram shows one fundamental domain in yellow, with reflection lines in blue, glide reflection lines in dashed green, translation normals in red, 2-fold gyration points as small green squares. A first few hyperbolic groups, ordered by their Euler characteristic are: Mutation of orbifolds Fibrifold notation - an extension of orbifold notation for 3d space groups John H. Conway, Olaf Delgado Friedrichs, Daniel H. Huson, W
Cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. The cube is one of the five Platonic solids, it has 6 faces, 12 edges, 8 vertices. The cube is a square parallelepiped, an equilateral cuboid and a right rhombohedron, it is a regular square prism in three orientations, a trigonal trapezohedron in four orientations. The cube is dual to the octahedron, it has octahedral symmetry. The cube is the only convex polyhedron; the cube has four special orthogonal projections, centered, on a vertex, edges and normal to its vertex figure. The first and third correspond to the B2 Coxeter planes; the cube 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. For a cube centered at the origin, with edges parallel to the axes and with an edge length of 2, the Cartesian coordinates of the vertices are while the interior consists of all points with −1 < xi < 1 for all i.
In analytic geometry, a cube's surface with center and edge length of 2a is the locus of all points such that max = a. For a cube of edge length a: As the volume of a cube is the third power of its sides a × a × a, third powers are called cubes, by analogy with squares and second powers. A cube has the largest volume among cuboids with a given surface area. A cube has the largest volume among cuboids with the same total linear size. For a cube whose circumscribing sphere has radius R, for a given point in its 3-dimensional space with distances di from the cube's eight vertices, we have: ∑ i = 1 8 d i 4 8 + 16 R 4 9 = 2. Doubling the cube, or the Delian problem, was the problem posed by ancient Greek mathematicians of using only a compass and straightedge to start with the length of the edge of a given cube and to construct the length of the edge of a cube with twice the volume of the original cube, they were unable to solve this problem, in 1837 Pierre Wantzel proved it to be impossible because the cube root of 2 is not a constructible number.
The cube has three uniform colorings, named by the colors of the square faces around each vertex: 111, 112, 123. The cube has three classes of symmetry, which can be represented by vertex-transitive coloring the faces; the highest octahedral symmetry Oh has all the faces the same color. The dihedral symmetry D4h comes from the cube being a prism, with all four sides being the same color; the lowest symmetry D2h is a prismatic symmetry, with sides alternating colors, so there are three colors, paired by opposite sides. Each symmetry form has a different Wythoff symbol. A cube has eleven nets: that is, there are eleven ways to flatten a hollow cube by cutting seven edges. To color the cube so that no two adjacent faces have the same color, one would need at least three colors; the cube is the cell of the only regular tiling of three-dimensional Euclidean space. It is unique among the Platonic solids in having faces with an number of sides and it is the only member of that group, a zonohedron; the cube can be cut into six identical square pyramids.
If these square pyramids are attached to the faces of a second cube, a rhombic dodecahedron is obtained. The analogue of a cube in four-dimensional Euclidean space has a special name—a tesseract or hypercube. More properly, a hypercube is the analogue of the cube in n-dimensional Euclidean space and a tesseract is the order-4 hypercube. A hypercube is called a measure polytope. There are analogues of the cube in lower dimensions too: a point in dimension 0, a line segment in one dimension and a square in two dimensions; the quotient of the cube by the antipodal map yields the hemicube. If the original cube has edge length 1, its dual polyhedron has edge length 2 / 2; the cube is a special case in various classes of general polyhedra: The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron. These two together form the stella octangula; the int
Truncated octahedron
In geometry, the truncated octahedron is an Archimedean solid. It has 14 faces, 36 edges, 24 vertices. Since each of its faces has point symmetry the truncated octahedron is a zonohedron, it is the Goldberg polyhedron GIV, containing square and hexagonal faces. Like the cube, it can tessellate 3-dimensional space, as a permutohedron, its dual polyhedron is the tetrakis hexahedron. If the original truncated octahedron has unit edge length, its dual tetrakis cube has edge lengths 9/8√2 and 3/2√2. A truncated octahedron is constructed from a regular octahedron with side length 3a by the removal of six right square pyramids, one from each point; these pyramids have both base side length and lateral side length of a, to form equilateral triangles. The base area is a2. Note that this shape is similar to half an octahedron or Johnson solid J1. From the properties of square pyramids, we can now find the slant height, s, the height, h, of the pyramid: h = e 2 − 1 2 a 2 = 2 2 a s = h 2 + 1 4 a 2 = 1 2 a 2 + 1 4 a 2 = 3 2 a The volume, V, of the pyramid is given by: V = 1 3 a 2 h = 2 6 a 3 Because six pyramids are removed by truncation, there is a total lost volume of √2a3.
The truncated octahedron has five special orthogonal projections, centered, on a vertex, on two types of edges, two types of faces: Hexagon, square. The last two correspond to the B2 and A2 Coxeter planes; the truncated octahedron 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. All permutations of are Cartesian coordinates of the vertices of a truncated octahedron of edge length a = √ 2 centered at the origin; the vertices are thus the corners of 12 rectangles whose long edges are parallel to the coordinate axes. The edge vectors have Cartesian permutations of these; the face normals of the 6 square faces are, and. The face normals of the 8 hexagonal faces are; the dot product between pairs of two face normals is the cosine of the dihedral angle between adjacent faces, either −1/3 or −1/√3. The dihedral angle is 1.910633 radians at edges shared by two hexagons or 2.186276 radians at edges shared by a hexagon and a square.
The truncated octahedron can be dissected into a central octahedron, surrounded by 8 triangular cupola on each face, 6 square pyramids above the vertices. Removing the central octahedron and 2 or 4 triangular cupola creates two Stewart toroids, with dihedral and tetrahedral symmetry: The truncated octahedron can be represented by more symmetric coordinates in four dimensions: all permutations of form the vertices of a truncated octahedron in the three-dimensional subspace x + y + z + w = 10. Therefore, the truncated octahedron is the permutohedron of order 4: each vertex corresponds to a permutation of and each edge represents a single pairwise swap of two elements; the area A and the volume V of a truncated octahedron of edge length a are: A = a 2 ≈ 26.784 6097 a 2 V = 8 2 a 3 ≈ 11.313 7085 a 3. There are two uniform colorings, with tetrahedral symmetry and octahedral symmetry, two 2-uniform coloring with dihedral symmetry as a truncated triangular antiprism; the construcational names are given for each.
Their Conway polyhedron notation is given in parentheses. The truncated octahedron exists in the structure of the faujasite crystals; the truncated octahedron is one of a family of uniform polyhedra related to the cube and regular octahedron. It exists as the omnitruncate of the tetrahedron family: This polyhedron is a member of a sequence of uniform patterns with vertex figure a
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
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
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