In hyperbolic geometry, a hyperbolic triangle is a triangle in the hyperbolic plane. It consists of three line segments called sides or edges and three points called angles or vertices. Just as in the Euclidean case, three points of a hyperbolic space of an arbitrary dimension always lie on the same plane. Hence planar hyperbolic triangles also describe triangles possible in any higher dimension of hyperbolic spaces. has equilateral triangles with 2π/7 radian internal angles.
Definition
A hyperbolic triangle consists of three non-collinear points and the three segments between them.
Properties
Hyperbolic triangles have some properties that are analogous to those of triangles in Euclidean geometry:
The area of a triangle is proportional to the deficit of its angle sum from 180°.
Hyperbolic triangles also have some properties that are not found in other geometries:
Some hyperbolic triangles have no circumscribed circle, this is the case when at least one of its vertices is an ideal point or when all of its vertices lie on a horocycle or on a one sided hypercycle.
Hyperbolic triangles are thin, there is a maximum distance δ from a point on an edge to one of the other two edges. This principle gave rise to δ-hyperbolic space.
Triangles with ideal vertices
The definition of a triangle can be generalized, permitting vertices on the ideal boundary of the plane while keeping the sides within the plane. If a pair of sides is limiting parallel, then they end at an ideal vertex represented as an omega point. Such a pair of sides may also be said to form an angle of zero. A triangle with a zero angle is impossible in Euclidean geometry for straight sides lying on distinct lines. However, such zero angles are possible with tangent circles. A triangle with one ideal vertex is called an omega triangle. Special Triangles with ideal vertices are:
Triangle of parallelism
A triangle where one vertex is an ideal point, one angle is right: the third angle is the angle of parallelism for the length of the side between the right and the third angle.
Schweikart triangle
The triangle where two vertices are ideal points and the remaining angle is right, one of the first hyperbolic triangles described by Ferdinand Karl Schweikart.
Ideal triangle
The triangle where all vertices are ideal points, an ideal triangle is the largest possible triangle in hyperbolic geometry because of the zero sum of the angles.
The relations among the angles and sides are analogous to those of spherical trigonometry; the length scale for both spherical geometry and hyperbolic geometry can for example be defined as the length of a side of an equilateral triangle with fixed angles. The length scale is most convenient if the lengths are measured in terms of the absolute length. This choice for this length scale makes formulas simpler. In terms of the Poincaré half-plane model absolute length corresponds to the infinitesimal metric and in the Poincaré disk model to. In terms of the Gaussian curvature of a hyperbolic plane, a unit of absolute length corresponds to a length of In a hyperbolic triangle the sum of the angles A, B, C is strictly less than a straight angle. The difference between the measure of a straight angle and the sum of the measures of a triangle's angles is called the defect of the triangle. The area of a hyperbolic triangle is equal to its defect multiplied by the square of : This theorem, first proven by Johann Heinrich Lambert, is related to Girard's theorem in spherical geometry.
Trigonometry
In all the formulas stated below the sides,, and must be measured in absolute length, a unit so that the Gaussian curvature of the plane is −1. In other words, the quantity in the paragraph above is supposed to be equal to 1. Trigonometric formulas for hyperbolic triangles depend on the hyperbolic functions sinh, cosh, and tanh.
The instance of an omega triangle with a right angle provides the configuration to examine the angle of parallelism in the triangle. In this case angle B = 0, a = c = and, resulting in.
Equilateral triangle
The trigonometry formulas of right triangles also give the relations between the sides s and the angles A of an equilateral triangle. The relations are:
