Hyperbolic triangle

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
A hyperbolic triangle embedded in a saddle-shaped surface

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.

An order-7 triangular tiling 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.[1]

Properties

Hyperbolic triangles have some properties that are analogous to those of triangles in Euclidean geometry:

Hyperbolic triangles have some properties that are analogous to those of triangles in spherical or elliptic geometry:

  • Two triangles with the same angle sum are equal in area.
  • There is an upper bound for the area of triangles.
  • There is an upper bound for radius of the inscribed circle.
  • Two triangles are congruent if and only if they correspond under a finite product of line reflections.
  • Two triangles with corresponding angles equal are congruent (i.e., all similar triangles are congruent).

Hyperbolic triangles have some properties that are the opposite of the properties of triangles in spherical or elliptic geometry

  • The angle sum of a triangle is less than 180° .
  • 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:

Triangles with ideal vertices

File:Ideal circles.GIF
Three ideal triangles in the Poincaré disk model

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 asymptotic (i.e. the distance between them vanishes but they do not intersect), 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 common 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 (1818) described by de (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.

Standardized Gaussian curvature

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 (a special unit of length analogous to a relations between distances in spherical geometry). This choice for this length scale makes formulas simpler.[2]

In terms of the (constant and negative) Gaussian curvature K of a hyperbolic plane this unit of length is given by

R=\frac{1}{\sqrt{-K}}.

In a hyperbolic triangle the sum of the angles A, B, C (respectively opposite to the side with the corresponding letter) 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 R:

(\pi-A-B-C) R^2{}{}.\!

This theorem, first proven by Johann Heinrich Lambert,[3] is related to Girard's theorem in spherical geometry.

Trigonometry

In all the formulas stated below the sides a, b, and c must be measured in a unit so that the Gaussian curvature K of the plane is −1. In other words, R is supposed to be equal to 1.

Trigonometric formulas for hyperbolic triangles depend on the hyperbolic functions sinh, cosh, and tanh.

Trigonometry of right triangles

If C is a right angle then:

  • The sine of angle A is the ratio of the hyperbolic sine of the side opposite the angle to the hyperbolic sine of the hypotenuse.
\sin A=\frac{\textrm{sinh(opposite)}}{\textrm{sinh(hypotenuse)}}=\frac{\sinh a}{\,\sinh c\,}.\,
  • The cosine of angle A is the ratio of the hyperbolic tangent of the adjacent leg to the hyperbolic tangent of the hypotenuse.
\cos A=\frac{\textrm{tanh(adjacent)}}{\textrm{tanh(hypotenuse)}}=\frac{\tanh b}{\,\tanh c\,}.\,
  • The tangent of angle A is the ratio of the hyperbolic tangent of the opposite leg to the hyperbolic sine of the adjacent leg.
\tan A=\frac{\textrm{tanh(opposite)}}{\textrm{sinh(adjacent)}} = \frac{\tanh a}{\,\sinh b\,}.
  • The hyperbolic cosine of the hypotenuse is the product of hyperbolic cosine of the adjacent leg and the hyperbolic cosine of the opposite leg.
\textrm{cosh(hypotenuse)}= \textrm{cosh(adjacent)} \textrm{cosh(opposite)}.
  • The hyperbolic cosine of the adjacent leg to angle A is the ratio of the cosine of angle B to the sine of angle A.
\textrm{cosh(adjacent)}= \frac{\cos B}{\sin A}.
  • The hyperbolic cosine of the hypotenuse is the ratio of the product of the cosines of the angles to the product of their sines.[4]
\textrm{cosh(hypotenuse)}= \frac{\cos A \cos B}{\sin A\sin B}.

Relations between angles

We also have the following equations:[5]

 \cos \alpha = \cosh a \sin \beta
 \cos \beta  = \cosh b \sin \alpha
 \cosh c = \cot \alpha  \cot \beta

Area

The area of a right angled triangle is :

\textrm{Area} = \frac{\pi}{2} - \angle A - \angle B

also

\textrm{Area}= 2 \arctan (\tanh (\frac{a}{2})\tanh (\frac{b}{2}) )[citation needed][6]

Angle of parallelism

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 =  \infty  and \textrm{tanh}(\infty )= 1 , resulting in \cos A= \textrm{tanh(adjacent)}.

General trigonometry

Whether C is a right angle or not, the following relationships hold: The hyperbolic law of cosines is as follows:

\cosh c=\cosh a\cosh b-\sinh a\sinh b \cos C,

Its dual theorem is

\cos C= -\cos A\cos B+\sin A\sin B \cosh c,

There is also a law of sines:

\frac{\sin A}{\sinh a} = \frac{\sin B}{\sinh b} = \frac{\sin C}{\sinh c},

and a four-parts formula:

\cos C\cosh a=\sinh a\coth b-\sin C\cot B.


See also

For hyperbolic trigonometry:

References

  1. Stothers, Wilson (2000), Hyperbolic geometry, University of Glasgow<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>, interactive instructional website
  2. Needham, Tristan (1998). Visual Complex Analysis. Oxford University Press. p. 270. ISBN 9780198534464.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
  3. title=Foundations of Hyperbolic Manifolds|volume=149|series=Graduate Texts in Mathematics|first=John|last=Ratcliffe|publisher=Springer|year=2006|isbn=9780387331973|page=99|url=http://books.google.com/books?id=JV9m8o-ok6YC&pg=PA99%7Cquotation=That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph Theorie der Parallellinien, which was published posthumously in 1786.
  4. Martin, George E. (1998). The foundations of geometry and the non-Euclidean plane (Corrected 4. print. ed.). New York, NY: Springer. p. 433. ISBN 0-387-90694-0.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
  5. Smogorzhevski, A.S. Lobachevskian geometry. Moscow 1982: Mir Publishers. p. 63.CS1 maint: location (link)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
  6. "Area of a right angled hyperbolic triangle as function of side lengths". Mathematics stackexchange. Retrieved 11 October 2015.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>

Further reading