From Wikipedia, the free encyclopedia
Type of hyperbolic triangle
Three ideal triangles in the Poincaré disk model creating an ideal pentagon Two ideal triangles in the Poincaré half-plane modelIn 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.
Ideal triangles have the following properties:
In the standard hyperbolic plane (a surface where the constant Gaussian curvature is −1) we also have the following properties:
r = ln 3 = 1 2 ln 3 = artanh 1 2 = 2 artanh ( 2 − 3 ) = {\displaystyle r=\ln {\sqrt {3}}={\frac {1}{2}}\ln 3=\operatorname {artanh} {\frac {1}{2}}=2\operatorname {artanh} (2-{\sqrt {3}})=} = arsinh 1 3 3 = arcosh 2 3 3 ≈ 0.549 {\displaystyle =\operatorname {arsinh} {\frac {1}{3}}{\sqrt {3}}=\operatorname {arcosh} {\frac {2}{3}}{\sqrt {3}}\approx 0.549} .[2]
Because the ideal triangle is the largest possible triangle in hyperbolic geometry, the measures above are maxima possible for any hyperbolic triangle. This fact is important in the study of δ-hyperbolic space.
In the Poincaré disk model of the hyperbolic plane, an ideal triangle is bounded by three circles which intersect the boundary circle at right angles.
In the Poincaré half-plane model, an ideal triangle is modeled by an arbelos, the figure between three mutually tangent semicircles.
In the Beltrami–Klein model of the hyperbolic plane, an ideal triangle is modeled by a Euclidean triangle that is circumscribed by the boundary circle. Note that in the Beltrami-Klein model, the angles at the vertices of an ideal triangle are not zero, because the Beltrami-Klein model, unlike the Poincaré disk and half-plane models, is not conformal i.e. it does not preserve angles.
Real ideal triangle group[edit]The real ideal triangle group is the reflection group generated by reflections of the hyperbolic plane through the sides of an ideal triangle. Algebraically, it is isomorphic to the free product of three order-two groups (Schwartz 2001).
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4