Угол параллельности θ, прямые
x
{\displaystyle {\mathcal {x}}}
и
y
{\displaystyle {\mathcal {y}}}
асимптотически параллельны к прямой
ℓ
{\displaystyle \ell }
.
У́гол паралле́льности в геометрии Лобачевского — угол между перпендикуляром к данной прямой и асимптотически параллельной прямой , проведённой из точки, не лежащей на данной прямой.
В евклидовой геометрии угол параллельности всегда прямой.
В геометрии Лобачевского , угол параллельности всегда острый.
На плоскости Лобачевского с кривизной −1 угол параллельности для точки на расстоянии
a
{\displaystyle a}
от прямой обычно обозначается
Π
(
a
)
{\displaystyle \Pi (a)}
.
Π
(
a
)
{\displaystyle \Pi (a)}
является острым углом при катете, равном
a
{\displaystyle a}
, в прямоугольном гиперболическом треугольнике, который имеет две асимптотические параллельные стороны.
lim
a
→
0
Π
(
a
)
=
1
2
⋅
π
и
lim
a
→
∞
Π
(
a
)
=
0.
{\displaystyle \lim _{a\to 0}\Pi (a)={\tfrac {1}{2}}\cdot \pi \quad {\text{ и }}\quad \lim _{a\to \infty }\Pi (a)=0.}
sin
Π
(
a
)
=
sech
a
=
1
ch
a
=
2
e
a
+
e
−
a
,
{\displaystyle \sin \Pi (a)=\operatorname {sech} a={\frac {1}{\operatorname {ch} a}}={\frac {2}{e^{a}+e^{-a}}}\ ,}
cos
Π
(
a
)
=
th
a
=
e
a
−
e
−
a
e
a
+
e
−
a
,
{\displaystyle \cos \Pi (a)=\operatorname {th} a={\frac {e^{a}-e^{-a}}{e^{a}+e^{-a}}}\ ,}
t
g
Π
(
a
)
=
csch
a
=
1
sh
a
=
2
e
a
−
e
−
a
{\displaystyle \operatorname {\rm {tg}} \Pi (a)=\operatorname {csch} a={\frac {1}{\operatorname {sh} a}}={\frac {2}{e^{a}-e^{-a}}}}
t
g
(
1
2
⋅
Π
(
a
)
)
=
e
−
a
,
{\displaystyle \operatorname {\rm {tg}} \left({\tfrac {1}{2}}\cdot \Pi (a)\right)=e^{-a},}
Π
(
a
)
=
1
2
⋅
π
−
gd
(
a
)
,
{\displaystyle \Pi (a)={\tfrac {1}{2}}\cdot \pi -\operatorname {gd} (a),}
где sh, ch, th, sech и csch — гиперболические функции , а gd — функция Гудермана .
Угол параллельности рассматривался Лобачевским [ 1] . В частности, он вывел соотношение
c
t
g
(
1
2
⋅
Π
(
a
)
)
=
e
a
.
{\displaystyle \operatorname {\rm {ctg}} \left({\tfrac {1}{2}}\cdot \Pi (a)\right)=e^{a}.}
↑ Lobachevsky, N. I. Geometrische Untersuchungen zur Theorie der Parallellinien. — Berlin, 1840.