Angolo di parallelismo
# Angolo di parallelismo

In geometria iperbolica, l'angolo di parallelismo è una quantità dipendente da una retta $R$ e un punto $y$ disgiunto da $R$. Indica il minimo angolo che una retta parallela a $R$ e passante per $y$ forma con la normale a $R$ passante per $y$.

A differenza di quanto accade nella geometria euclidea, l'angolo di parallelismo non è retto, bensì acuto.

## Definizione

Sia $R$ una retta nel piano iperbolico e $y$ un punto esterno ad essa. Sia $N$ la retta perpendicolare a $R$ passante per $y$. Sia $Q$ una retta passante per $y$ e asintoticamente parallela a $R$. L'angolo acuto formato dalle rette $Q$ e $N$ è l'angolo di parallelismo di $R$ e $y$.

## Proprietà

### Rette parallele

L'angolo di parallelismo può essere definito in modo analogo anche in geometria euclidea: in questa geometria, risulta sempre essere un angolo retto ed è quindi meno interessante. In geometria iperbolica, l'angolo $\theta$ è invece un angolo acuto, che può variare nell'intervallo aperto $(0,\pi /2)$.

Nella geometria iperbolica, le rette parallele a $R$ passanti per $y$ sono infinite. Queste sono esattamente le rette che formano con la normale $N$ un angolo acuto maggiore o uguale a $\theta$. Le due rette con angolo di parallelismo $\theta$ sono asintoticamente parallele a $R$. Tutte le rette con angolo maggiore di $\theta$ sono ultraparallele con $R$.

### Dipendenza dalla distanza

L'angolo di parallelismo $\theta$ in realtà dipende soltanto dalla distanza $d$ fra il punto $y$ e la retta $R$. Si tratta quindi di una funzione $\theta (d)$ definita per ogni valore non negativo di $d$. Si tratta di una funzione decrescente. La relazione fra $\theta$ e $d$ può essere espressa concretamente con una delle formule seguenti, tutte equivalenti:

* $\tan {\frac {\theta }{2}}=e^{-d},$
* $\sin \theta ={\frac {1}{\cosh d}},$
* $\tan \theta ={\frac {1}{\sinh d}},$
* $\cos \theta =\tanh d.$

### Limiti

Quando la distanza $d$ tende a zero, l'angolo di parallelismo $\theta$ tende all'angolo retto $\pi /2$. Questo fatto è in accordo con il principio seguente: la geometria iperbolica, letta localmente e vista con una lente di ingrandimento, assomiglia alla geometria euclidea (si tratta di un principio generale della geometria riemanniana, valido ad esempio anche nella geometria sferica).

Nelle formule precedenti si è supposto lo spazio iperbolico avente curvatura negativa -1. In uno spazio iperbolico con curvatura negativa arbitraria $k<0$, le due quantità sono in relazione secondo la formula seguente:

    $\tan {\frac {\theta }{2}}=e^{-{\frac {d}{k}}},$
