Ideal Vertex
In hyperbolic geometry an ideal triangle is a hyperbolic triangle whose three vertices all are ideal points. Ideal triangles are also sometimes called ''triply asymptotic triangles'' or ''trebly asymptotic triangles''. The vertices are sometimes called ideal vertices. All ideal triangles are congruent. Properties Ideal triangles have the following properties: * All ideal triangles are congruent to each other. * The interior angles of an ideal triangle are all zero. * An ideal triangle has infinite perimeter. * An ideal triangle is the largest possible triangle in hyperbolic geometry. In the standard hyperbolic plane (a surface where the constant Gaussian curvature is −1) we also have the following properties: * Any ideal triangle has area π. Distances in an ideal triangle * The inscribed circle to an ideal triangle has radius r=\ln\sqrt = \frac \ln 3 = \operatorname\frac = 2 \operatorname(2- \sqrt) = = \operatorname\frac\sqrt = \operatorname\frac\sqrt ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ideal Circles
Ideal may refer to: Philosophy * Ideal (ethics), values that one actively pursues as goals * Platonic ideal, a philosophical idea of trueness of form, associated with Plato Mathematics * Ideal (ring theory), special subsets of a ring considered in abstract algebra * Ideal, special subsets of a semigroup * Ideal (order theory), special kind of lower sets of an order * Ideal (set theory), a collection of sets regarded as "small" or "negligible" * Ideal (Lie algebra), a particular subset in a Lie algebra * Ideal point, a boundary point in hyperbolic geometry * Ideal triangle, a triangle in hyperbolic geometry whose vertices are ideal points Science * Ideal chain, in science, the simplest model describing a polymer * Ideal gas law, in physics, governing the pressure of an ideal gas * Ideal transformer, an electrical transformer having zero resistance and perfect magnetic threading * Ideal final result, in TRIZ methodology, the best possible solution * Thought experiment, sometim ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Poincaré Disk Model
In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle. The group of orientation preserving isometries of the disk model is given by the projective special unitary group , the quotient of the special unitary group SU(1,1) by its center . Along with the Klein model and the Poincaré half-space model, it was proposed by Eugenio Beltrami who used these models to show that hyperbolic geometry was equiconsistent with Euclidean geometry. It is named after Henri Poincaré, because his rediscovery of this representation fourteen years later became better known than the original work of Beltrami. The Poincaré ball model is the similar model for ''3'' or ''n''-dimensional hyperbolic geometry in which the points of the geometry are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Free Product
In mathematics, specifically group theory, the free product is an operation that takes two groups ''G'' and ''H'' and constructs a new The result contains both ''G'' and ''H'' as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from ''G'' and ''H'' into a group ''K'' factor uniquely through a homomorphism from to ''K''. Unless one of the groups ''G'' and ''H'' is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the universal group with a given set of generators). The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial grou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reflection Group
In group theory and geometry, a reflection group is a discrete group which is generated by a set of reflections of a finite-dimensional Euclidean space. The symmetry group of a regular polytope or of a tiling of the Euclidean space by congruent copies of a regular polytope is necessarily a reflection group. Reflection groups also include Weyl groups and crystallographic Coxeter groups. While the orthogonal group is generated by reflections (by the Cartan–Dieudonné theorem), it is a continuous group (indeed, Lie group), not a discrete group, and is generally considered separately. Definition Let ''E'' be a finite-dimensional Euclidean space. A finite reflection group is a subgroup of the general linear group of ''E'' which is generated by a set of orthogonal reflections across hyperplanes passing through the origin. An affine reflection group is a discrete subgroup of the affine group of ''E'' that is generated by a set of ''affine reflections'' of ''E'' (without the requireme ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Triangle Group
In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere, or the hyperbolic plane by congruent triangles called Möbius triangles, each one a fundamental domain for the action. Definition Let ''l'', ''m'', ''n'' be integers greater than or equal to 2. A triangle group Δ(''l'',''m'',''n'') is a group of motions of the Euclidean plane, the two-dimensional sphere, the real projective plane, or the hyperbolic plane generated by the reflections in the sides of a triangle with angles π/''l'', π/''m'' and π/''n'' (measured in radians). The product of the reflections in two adjacent sides is a rotation by the angle which is twice the angle between those sides, 2π/''l'', 2π/''m'' and 2π/''n''. Therefore, if ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Infinite-order Triangular Tiling
In geometry, the infinite-order triangular tiling is a regular tiling of the hyperbolic plane with a Schläfli symbol of . All vertices are ''ideal'', located at "infinity" and seen on the boundary of the Poincaré hyperbolic disk projection. Symmetry A lower symmetry form has alternating colors, and represented by cyclic symbol , . The tiling also represents the fundamental domains of the *∞∞∞ symmetry, which can be seen with 3 colors of lines representing 3 mirrors of the construction. Related polyhedra and tiling This tiling is topologically related as part of a sequence of regular polyhedra with Schläfli symbol . Other infinite-order triangular tilings A nonregular infinite-order triangular tiling can be generated by a recursive process from a central triangle as shown here: : See also * Infinite-order tetrahedral honeycomb *List of regular polytopes *List of uniform planar tilings *Tilings of regular polygons *Triangular tiling *Uniform tilings in hyperbol ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Conformal Map
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths. More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in U if it preserves angles between directed curves through u_0, as well as preserving orientation. Conformal maps preserve both angles and the shapes of infinitesimally small figures, but not necessarily their size or curvature. The conformal property may be described in terms of the Jacobian derivative matrix of a coordinate transformation. The transformation is conformal whenever the Jacobian at each point is a positive scalar times a rotation matrix (orthogonal with determinant one). Some authors define conformality to include orientation-reversing mappings whose Jacobians can be written as any scalar times any orthogonal matrix. For mappings in two dimensions, the (orientation-preserving) conformal mappings are precisely the locally i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Circumscribed
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polygon has a circumscribed circle. A polygon that does have one is called a cyclic polygon, or sometimes a concyclic polygon because its vertices are concyclic. All triangles, all regular simple polygons, all rectangles, all isosceles trapezoids, and all right kites are cyclic. A related notion is the one of a minimum bounding circle, which is the smallest circle that completely contains the polygon within it, if the circle's center is within the polygon. Every polygon has a unique minimum bounding circle, which may be constructed by a linear time algorithm. Even if a polygon has a circumscribed circle, it may be different from its minimum bounding circle. For example, for an obtuse triangle, the minimum bounding circle has the longest sid ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Beltrami–Klein Model
In geometry, the Beltrami–Klein model, also called the projective model, Klein disk model, and the Cayley–Klein model, is a model of hyperbolic geometry in which points are represented by the points in the interior of the unit disk (or ''n''-dimensional unit ball) and lines are represented by the chords, straight line segments with ideal endpoints on the boundary sphere. The Beltrami–Klein model is named after the Italian geometer Eugenio Beltrami and the German Felix Klein while "Cayley" in Cayley–Klein model refers to the English geometer Arthur Cayley. The Beltrami–Klein model is analogous to the gnomonic projection of spherical geometry, in that geodesics (great circles in spherical geometry) are mapped to straight lines. This model is not conformal, meaning that angles and circles are distorted, whereas the Poincaré disk model preserves these. In this model, lines and segments are straight Euclidean segments, whereas in the Poincaré disk model, lines ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semicircle
In mathematics (and more specifically geometry), a semicircle is a one-dimensional locus of points that forms half of a circle. The full arc of a semicircle always measures 180° (equivalently, radians, or a half-turn). It has only one line of symmetry (reflection symmetry). In non-technical usage, the term "semicircle" is sometimes used to refer to a half-disk, which is a two-dimensional geometric shape that also includes the diameter segment from one end of the arc to the other as well as all the interior points. By Thales' theorem, any triangle inscribed in a semicircle with a vertex at each of the endpoints of the semicircle and the third vertex elsewhere on the semicircle is a right triangle, with a right angle at the third vertex. All lines intersecting the semicircle perpendicularly are concurrent at the center of the circle containing the given semicircle. Uses A semicircle can be used to construct the arithmetic and geometric means of two lengths using straight-e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arbelos
In geometry, an arbelos is a plane region bounded by three semicircles with three apexes such that each corner of each semicircle is shared with one of the others (connected), all on the same side of a straight line (the ''baseline'') that contains their diameters. The earliest known reference to this figure is in Archimedes's ''Book of Lemmas'', where some of its mathematical properties are stated as Propositions 4 through 8. The word ''arbelos'' is Greek for 'shoemaker's knife'. The figure is closely related to the Pappus chain. Properties Two of the semicircles are necessarily concave, with arbitrary diameters and ; the third semicircle is convex, with diameter Area The area of the arbelos is equal to the area of a circle with diameter . Proof: For the proof, reflect the arbelos over the line through the points and , and observe that twice the area of the arbelos is what remains when the areas of the two smaller circles (with diameters , ) are subtracted from the area ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |