In hyperbolic geometry, angle of parallelism
\Pi(a)
Given a point not on a line, drop a perpendicular to the line from the point. Let a be the length of this perpendicular segment, and
\Pi(a)
\lima\to\Pi(a)=\tfrac{1}{2}\pi and \lima\toinfty\Pi(a)=0.
There are five equivalent expressions that relate
\Pi(a)
\sin\Pi(a)=\operatorname{sech}a=
| 1 | = | |
| \cosha |
| 2 | |
| ea+e-a |
,
\cos\Pi(a)=\tanha=
| ea-e-a | |
| ea+e-a |
,
\tan\Pi(a)=\operatorname{csch}a=
| 1 | |
| \sinha |
=
| 2 | |
| ea-e-a |
,
\tan\left(\tfrac{1}{2}\Pi(a)\right)=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.
János Bolyai discovered a construction which gives the asymptotic parallel s to a line r passing through a point A not on r.[1] Drop a perpendicular from A onto B on r. Choose any point C on r different from B. Erect a perpendicular t to r at C. Drop a perpendicular from A onto D on t. Then length DA is longer than CB, but shorter than CA. Draw a circle around C with radius equal to DA. It will intersect the segment AB at a point E. Then the angle BEC is independent of the length BC, depending only on AB; it is the angle of parallelism. Construct s through A at angle BEC from AB.
\sinBEC=
| \sinh{BC | |
| }{ |
\sinh{CE}}=
| \sinh{BC | |
| }{ |
\sinh{DA}}=
| \sinh{BC | |
| }{ |
\sin{ACD}\sinh{CA}}=
| \sinh{BC | |
| }{ |
\cos{ACB}\sinh{CA}}=
| \sinh{BC | |
| \tanh |
{CA}}{\tanh{CB}\sinh{CA}}=
| \cosh{BC | |
| }{ |
\cosh{CA}}=
| \cosh{BC | |
| }{ |
\cosh{CB}\cosh{AB}}=
| 1 | |
| \cosh{AB |
}.
See Trigonometry of right triangles for the formulas used here.
The angle of parallelism was developed in 1840 in the German publication "Geometrische Untersuchungen zur Theory der Parallellinien" by Nikolai 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.[2] [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
x2+y2=(1-x)2,
hence
x=\tfrac{1}{2}(1-y2).
The metric of the Poincaré half-plane model of hyperbolic geometry parametrizes distance on the ray with logarithmic measure. Let the hyperbolic distance from (0, y) to (0, 1) be a, so: log y - log 1 = a, so y = ea where e is the base of the natural logarithm. Then the relation between Φ and a can be deduced from the triangle, for example:
\tan\phi=
| y | |
| -x |
=
| 2y | |
| y2-1 |
=
| 2ea | |
| e2a-1 |
=
| 1 | |
| \sinha |
.