Hyperbolic Geometry - Key Properties

Hyperbolic geometry's properties starkly contrast with Euclidean geometry, revealing how the parallel postulate shapes geometric structure.

DefinitionAngle of Parallelism

For a line $\ell$ and point $P$ at distance $d$ from $\ell$ , there exist two limiting parallel lines through $P$ that approach $\ell$ asymptotically. The acute angle $\Pi(d)$ these lines make with the perpendicular from $P$ to $\ell$ satisfies:

\tan\left(\frac{\Pi(d)}{2}\right) = e^{-d}

This is the Bolyai-Lobachevsky formula, showing angle depends on distance (impossible in Euclidean geometry).

Triangles exhibit dramatic differences. The angle sum $\alpha + \beta + \gamma < \pi$ , with defect $\delta = \pi - (\alpha + \beta + \gamma)$ equaling area. Consequently, area is bounded: no triangle has area exceeding $\pi$ , and there exist no similar triangles of different sizes—triangles with equal angles are congruent.

ExampleHyperbolic Trigonometry

The hyperbolic law of cosines relates sides $a,b,c$ and angle $C$ :

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

Compare to Euclidean: $c^2 = a^2 + b^2 - 2ab\cos C$ . Hyperbolic functions replace trigonometric ones, reflecting negative curvature.

Horocycles and hypercycles generalize circles. A horocycle is the limiting case of circles as radius approaches infinity—it's the locus of points equidistant from a point at infinity. Horocycles have constant geodesic curvature despite being "infinitely large."

Remark

Exponential growth characterizes hyperbolic geometry. The circumference of a circle of radius $r$ grows as $2\pi \sinh r \sim \pi e^r$ for large $r$ , exponentially rather than linearly. This has profound implications for tessellations and group theory.

Hyperbolic space accommodates infinitely many regular tessellations impossible in Euclidean geometry. The $(p,q)$ -tessellation has regular $p$ -gons meeting $q$ at each vertex, possible whenever $(p-2)(q-2) > 4$ (e.g., heptagons meeting three at a vertex).