Angle of parallelism

If angle B is right and Aa and Bb are limiting parallel then the angle between Aa and AB is the is the angle of parallelism

In hyperbolic geometry, the angle of parallelism \Pi(a) , is the angle at one vertex of a right hyperbolic triangle that has two asymptotic parallel sides. The angle depends on the segment length a between the right angle and the vertex of the angle of parallelism.

Given a point off of a line, if we drop a perpendicular to the line from the point, then a is the distance along this perpendicular segment, and φ or \Pi(a) is the least angle such that the line drawn through the point at that angle does not intersect the given line. Since two sides are asymptotic parallel,

\lim_{a\to 0} \Pi(a) = \tfrac{1}{2}\pi\quad\text{ and }\quad\lim_{a\to\infty} \Pi(a) = 0.

There are five equivalent expressions that relate \Pi(a) and a:

\sin\Pi(a) = \operatorname{sech} a = \frac{1}{\cosh a} ,
\cos\Pi(a) = \tanh a ,
\tan\Pi(a) = \operatorname{csch} a = \frac{1}{\sinh a},
\tan(\tfrac{1}{2}\Pi(a)) = e^{-a},
\Pi(a) = \tfrac{1}{2}\pi - \operatorname{gd}(a),

where sinh, cosh, tanh, sech and csch are hyperbolic functions and gd is the Gudermannian function.

History

The angle of parallelism was developed in 1840 in the German publication "Geometrische Untersuchungen zur Theory der Parallellinien" by Nicolai Lobachevsky.

This publication became widely known in English after the Texas professor G. B. Halsted produced a translation in 1891. (Geometrical Researches on the Theory of Parallels)

The following passages define this pivotal concept in hyperbolic geometry:

The angle HAD between the parallel HA and the perpendicular AD is called the parallel angle (angle of parallelism) which we will here designate by Π(p) for AD = p.[1]:13[2]

Demonstration

The angle of parallelism, φ, formulated as: (a) The angle between the x-axis and the line running from x, the center of Q, to y, the y-intercept of Q, and (b) The angle from the tangent of Q at y to the y-axis.
This diagram, with yellow ideal triangle, is similar to one found in a book by Smogorzhevsky.[3]


In the Poincaré half-plane model of the hyperbolic plane (see hyperbolic motions) one can establish the relation of φ to a with Euclidean geometry. Let Q be the semicircle with diameter on the x-axis that passes through the points (1,0) and (0,y), where y > 1. Since Q is tangent to the unit semicircle centered at the origin, the two semicircles represent parallel hyperbolic lines. The y-axis crosses both semicircles, making a right angle with the unit semicircle and a variable angle φ with Q. The angle at the center of Q subtended by the radius to (0, y) is also φ because the two angles have sides that are perpendicular, left side to left side, and right side to right side. The semicircle Q has its center at (x, 0), x < 0, so its radius is 1 − x. Thus, the radius squared of Q is

x^2 + y^2 = (1 - x)^2,

hence

x = \tfrac{1}{2}(1 - y^2).

The metric of the Poincaré half-plane model of hyperbolic geometry parametrizes distance on the ray {(0, y) : y > 0 } with natural logarithm. Let log y = a, so y = ea. Then the relation between φ and a can be deduced from the triangle {(x, 0), (0, 0), (0, y)}, for example:

\tan\phi = \frac{y}{-x} = \frac{2y}{y^2 - 1} = \frac{2e^a}{e^{2a} - 1} = \frac{1}{\sinh a}.

References

  1. ↑ Nicholaus Lobatschewsky (1840) G.B. Halsted translator (1891) Geometrical Researches on the Theory of Parallels, link from Google Books
  2. ↑ Bonola, Roberto (1955). Non-Euclidean geometry : a critical and historical study of its developments (Unabridged and unaltered republ. of the 1. English translation 1912. ed.). New York, NY: Dover. ISBN 0-486-60027-0.
  3. ↑ A.S. Smogorzhevsky (1982) Lobachevskian Geometry, §12 Basic formulas of hyperbolic geometry, figure 37, page 60, Mir Publishers, Moscow