Fact-checked by Grok 2 weeks ago

Hyperbolic angle

In mathematics, a hyperbolic angle is a real-valued parameter that measures the "angle" along the unit rectangular hyperbola x^2 - y^2 = 1 in the Cartesian plane, defined geometrically as twice the area of the hyperbolic sector bounded by the positive x-axis, the ray from the origin to a point (x, y) on the right branch of the hyperbola, and the hyperbolic arc connecting (1, 0) to that point. This area-based definition contrasts with the circular angle on the unit circle x^2 + y^2 = 1, where the angle equals the arc length, but maintains an analogy by ensuring the sector area is \theta/2 for a hyperbolic angle \theta, just as in the trigonometric case. The hyperbolic angle \theta parameterizes the unit hyperbola via the hyperbolic functions, where the coordinates of the corresponding point are x = \cosh \theta and y = \sinh \theta, with \cosh^2 \theta - \sinh^2 \theta = 1 mirroring the Pythagorean identity for cosine and sine. These functions, along with derived ones like \tanh \theta = \sinh \theta / \cosh \theta, \coth \theta, \sech \theta, and \csch \theta, arise naturally from exponential definitions: \cosh \theta = (e^\theta + e^{-\theta})/2 and \sinh \theta = (e^\theta - e^{-\theta})/2, enabling applications in differential equations, complex analysis, and integral calculus. Unlike trigonometric angles, hyperbolic angles are unbounded and can take any real value, reflecting the hyperbola's asymptotic behavior. Hyperbolic angles play a crucial role in physics, particularly in special relativity, where the rapidity \phi—a measure of relative velocity between inertial frames—is defined as a hyperbolic angle such that the velocity parameter \beta = v/c = \tanh \phi, simplifying Lorentz transformations and velocity addition formulas through additive properties akin to angular rotations. This interpretation in Minkowski spacetime underscores the geometric unity between hyperbolic functions and Lorentz boosts, with \cosh \phi and \sinh \phi appearing in time dilation and length contraction factors.

Fundamentals

Definition

The hyperbolic angle \theta serves as a parameter that locates points on the unit hyperbola, defined by the equation x^2 - y^2 = 1, through the parametric representation x = \cosh \theta and y = \sinh \theta. This parameterization arises from the exponential definitions of the hyperbolic functions: \cosh \theta = \frac{e^{\theta} + e^{-\theta}}{2} and \sinh \theta = \frac{e^{\theta} - e^{-\theta}}{2}. Substituting these into the hyperbola equation yields the fundamental identity \cosh^2 \theta - \sinh^2 \theta = 1, which can be derived as follows: \begin{align*} \cosh^2 \theta - \sinh^2 \theta &= \left( \frac{e^{\theta} + e^{-\theta}}{2} \right)^2 - \left( \frac{e^{\theta} - e^{-\theta}}{2} \right)^2 \\ &= \frac{(e^{\theta} + e^{-\theta})^2 - (e^{\theta} - e^{-\theta})^2}{4} \\ &= \frac{4 e^{\theta} e^{-\theta}}{4} = 1. \end{align*} This identity confirms that the parametric curve traces the unit hyperbola exactly. In hyperbolic space, \theta measures the "angle" as the rapidity parameter, quantifying the deviation from the origin along the hyperbola's branches in a manner that scales with the exponential growth of the functions. The hyperbolic angle \theta extends over the entire real line, from -\infty to \infty, enabling the parameterization to cover both branches of the hyperbola without periodicity, in contrast to the bounded range of circular angles. This unbounded range reflects the unbounded nature of hyperbolic geometry, where distances and angles can grow indefinitely. The inverse hyperbolic cosine function, \arcosh x, inverts this parameterization for x \geq 1, defined such that if y = \arcosh x, then \cosh y = x with y \geq 0. Its explicit form is derived from the exponential definition: Let y = \arcosh x, so \cosh y = x. Then, \frac{e^y + e^{-y}}{2} = x. Multiplying through by 2 gives e^y + e^{-y} = 2x. Substituting u = e^y (where u > 0) yields u + \frac{1}{u} = 2x. Multiplying by u produces the quadratic equation u^2 - 2x u + 1 = 0. The solutions are u = x \pm \sqrt{x^2 - 1}. Since u > 0 and y \geq 0 implies u \geq 1, the appropriate root is the positive one: u = x + \sqrt{x^2 - 1}. Taking the natural logarithm gives y = \ln \left( x + \sqrt{x^2 - 1} \right), so \arcosh x = \ln \left( x + \sqrt{x^2 - 1} \right) for x \geq 1. The hyperbolic angle \theta is a dimensionless quantity, expressed in radians to maintain consistency with the argument of the hyperbolic functions, which are inherently scale-invariant due to their exponential basis.

Geometric Interpretation

The geometric interpretation of the hyperbolic angle centers on its relation to the area swept by a sector on the unit hyperbola defined by the equation x^2 - y^2 = 1. For a point (x, y) on the right branch of this hyperbola where x \geq 1 and y = \sqrt{x^2 - 1}, the hyperbolic angle \theta is defined as twice the area of the hyperbolic sector bounded by the positive x-axis, the ray from the origin to (x, y), and the hyperbolic arc connecting (1, 0) to that point. The area of this sector can be computed as A = \frac{1}{2} x y - \int_1^x \sqrt{t^2 - 1} \, dt, which simplifies to \theta / 2, where \theta = \arcosh x = \ln \left( x + \sqrt{x^2 - 1} \right). Hyperbolic angles also arise in the context of squeeze mappings, which are area-preserving linear transformations that "squeeze" the plane along the asymptotes of the hyperbola while rotating points along its branches. These mappings, known as hyperbolic rotations, are given by the matrix form \begin{pmatrix} \cosh \theta & \sinh \theta \\ \sinh \theta & \cosh \theta \end{pmatrix}, with determinant \cosh^2 \theta - \sinh^2 \theta = 1, ensuring the preservation of areas and the invariance of the hyperbola under the transformation. This interpretation extends to the full hyperbola x^2 - y^2 = 1, encompassing both branches: negative angles correspond to points with negative \sinh \theta, covering the lower right branch and, via symmetry, the left branch with \theta adjusted accordingly.

Comparison to Circular Angles

Analogies and Differences

Hyperbolic functions exhibit structural similarities to circular trigonometric functions, serving as analogs in their definitions and identities. The hyperbolic sine, denoted \sinh \theta, corresponds to the sine \sin \theta; the hyperbolic cosine, \cosh \theta, to the cosine \cos \theta; and the hyperbolic tangent, \tanh \theta = \frac{\sinh \theta}{\cosh \theta}, to the tangent \tan \theta = \frac{\sin \theta}{\cos \theta}. These pairings stem from parametric representations of conic sections, where circular functions parametrize the unit circle x^2 + y^2 = 1 via x = \cos \theta, y = \sin \theta, and hyperbolic functions parametrize the unit hyperbola x^2 - y^2 = 1 via x = \cosh \theta, y = \sinh \theta. A fundamental identity underscoring this analogy is \cosh^2 \theta - \sinh^2 \theta = 1, which mirrors but inverts the sign of the Pythagorean theorem for circular functions: \cos^2 \theta + \sin^2 \theta = 1. The definitions of angles themselves draw a direct parallel through sector areas. For circular angles, the measure \theta equals twice the area of the sector on the unit circle bounded by the positive x-axis, the arc to (\cos \theta, \sin \theta), and the ray from the origin to that point. Similarly, the hyperbolic angle \theta equals twice the area of the corresponding hyperbolic sector on the unit hyperbola, bounded by the positive x-axis, the hyperbola to (\cosh \theta, \sinh \theta), and the ray to that point. This area-based definition ensures consistency in how the parameter \theta scales with geometric extent in both cases. Despite these analogies, hyperbolic and circular angles differ markedly in range, periodicity, and behavior. Circular angles are periodic with period $2\pi and confined to [0, 2\pi) for principal values, reflecting the closed nature of the circle, whereas hyperbolic angles extend over all real numbers without bound, aligning with the hyperbola's two unbounded branches. Hyperbolic functions grow exponentially—\sinh \theta \approx \frac{e^\theta}{2} and \cosh \theta \approx \frac{e^\theta}{2} for large positive \theta—lacking the oscillatory periodicity of their circular counterparts, which remain bounded between -1 and 1. Addition formulas preserve formal similarity but adjust signs: \cosh(a + b) = \cosh a \cosh b + \sinh a \sinh b, analogous to \cos(a + b) = \cos a \cos b - \sin a \sin b. In projective geometry, the origins of these functions in conic sections highlight a deeper unity: the circle, as a special ellipse, and the hyperbola are projectively equivalent, meaning a projective transformation can map one to the other, rendering their intrinsic geometric properties identical despite the Euclidean metric distinguishing bounded ellipses from unbounded hyperbolas.

Relation to Minkowski Metric

The Minkowski line element in two-dimensional Minkowski space is given by ds^2 = dx^2 - dy^2, which defines a pseudo-Euclidean metric with indefinite signature (+, −). This metric distinguishes time-like and space-like separations, enabling the measurement of arc lengths along hyperbolas as proper distances for time-like paths. The opposite convention, ds^2 = -dx^2 + dy^2 with signature (−, +), interchanges the roles of the coordinates but yields equivalent hyperbolic geometry, though it alters the classification of curves (e.g., time-like becomes space-like). In this framework, the unit hyperbola is the curve satisfying x^2 - y^2 = -1, representing points of constant negative Minkowski norm. This equation describes a branch in the upper half-plane, analogous to the unit circle in Euclidean geometry but adapted to the indefinite metric. The hyperbola admits a natural parameterization using hyperbolic functions: x = \sinh \theta, y = \cosh \theta, where \theta is the parameter ranging from 0 onward along the right branch. Differentiating gives dx = \cosh \theta \, d\theta and dy = \sinh \theta \, d\theta. Substituting into the line element yields ds^2 = (\cosh^2 \theta \, d\theta^2) - (\sinh^2 \theta \, d\theta^2) = (\cosh^2 \theta - \sinh^2 \theta) d\theta^2 = d\theta^2, so ds = d\theta. The arc length along the curve from \theta = 0 to some value \theta is thus s = \int_0^\theta ds = \int_0^\theta d u = \theta. This confirms that \theta directly measures the hyperbolic arc length in the Minkowski metric, serving as the rapidity parameter in contexts like special relativity. The signature choice impacts the hyperbola's form: under (+, −), the equation x^2 - y^2 = -1 yields hyperbolic trajectories for time-like vectors, contrasting with elliptic geometry in positive-definite metrics; the (−, +) convention flips this to y^2 - x^2 = -1, but preserves the arc length computation via adjusted parameterization x = \cosh \theta, y = \sinh \theta, again giving ds = d\theta. This duality ensures the hyperbolic angle's invariance across conventions while highlighting the metric's role in distinguishing hyperbolic from elliptic geometries.

Historical Development

Early Discoveries

The early development of the hyperbolic angle stemmed from efforts to solve quadrature problems for hyperbolas, analogous to finding areas of circular sectors, which motivated geometric investigations into curvilinear areas during the 17th century. In 1647, Grégoire de Saint-Vincent published his major work Opus geometricum quadraturae circuli et sectionum coni, where he achieved the quadrature of the rectangular hyperbola xy = k by demonstrating that the area bounded by the curve and the lines from x = a to x = b equals the area from x = c to x = d whenever \frac{a}{b} = \frac{c}{d}, effectively providing a geometric integration of the reciprocal function $1/x. This result equated hyperbolic sector areas to logarithmic scales, laying foundational groundwork for the hyperbolic angle as an area measure, though Saint-Vincent did not explicitly frame it in terms of angles. Building on his mentor's findings, Alphonse Antonio de Sarasa, a pupil of Saint-Vincent, explicitly linked these hyperbolic areas to the properties of natural logarithms in his 1649 work on the quadrature of the hyperbola, recognizing that the areas under the hyperbola xy = 1 correspond directly to logarithmic values and thus establishing the logarithmic nature of hyperbolic quadrature. In the 19th century, these ideas were extended through explorations of hyperbolic logarithms and their trigonometric analogs. Augustus De Morgan, in his 1849 book Trigonometry and Double Algebra, discussed hyperbolic functions in the context of imaginary trigonometry and highlighted the analogy between hyperbolic logarithms and circular functions, treating them as a coherent system akin to angular measures. Later, William Kingdon Clifford advanced the angular interpretation in his 1878 Elements of Dynamic, where he parametrized the unit hyperbola using "quasi-harmonic motion" and described the parameter as an angle governing hyperbolic trajectories. Alexander Macfarlane further developed this perspective in his 1894 Principles of Elliptic and Hyperbolic Analysis, defining the hyperbolic angle through ratios of areas in hyperbolic sectors to emphasize its role in versor algebra and unified trigonometric frameworks.

Modern Developments

In the mid-18th century, Leonhard Euler formalized the hyperbolic functions through their series expansions, analogous to those of the trigonometric functions, in his seminal work Introductio in analysin infinitorum (1748). He defined the hyperbolic sine and cosine via the exponential relations \sinh \theta = \frac{e^{\theta} - e^{-\theta}}{2} and \cosh \theta = \frac{e^{\theta} + e^{-\theta}}{2}, establishing them as fundamental transcendental functions independent of geometric origins. This introduction shifted hyperbolic functions from sporadic appearances in integral calculations to a systematic framework in analysis. The early 20th century saw hyperbolic angles integrated into physics, particularly with the advent of special relativity. The term "rapidity" for the hyperbolic angle parameterizing velocity in Lorentz transformations was introduced by Alfred A. Robb in 1911 and adopted by Ludwik Silberstein in his 1914 textbook The Theory of Relativity, emphasizing its additive property under velocity composition. This conceptualization highlighted the natural role of hyperbolic geometry in describing relativistic kinematics, bridging pure mathematics and physical theory. Post-1914 developments expanded the role of hyperbolic angles across disciplines. In quantum mechanics and quantum field theory, they underpin solutions to relativistic wave equations, such as the Klein-Gordon equation, where hyperbolic functions describe wave propagation in Minkowski space. In differential geometry, hyperbolic angles facilitate the analysis of non-Euclidean spaces and manifolds, supporting advancements in geometric topology during the mid-20th century. More recently, computational applications have emerged in computer graphics, where hyperbolic angles enable efficient visualization and rendering of hyperbolic tilings and spaces, as demonstrated in algorithms for 3D hyperbolic embeddings. Overall, this period marked a transition from analogical tools to axiomatic components of modern analysis, embedded in the theory of special functions and routinely applied in computational and physical modeling.

Mathematical Relations

Connection to Imaginary Angles

The connection between hyperbolic angles and imaginary angles arises from the exponential definitions of the hyperbolic and trigonometric functions, which reveal a deep analytic link through complex arguments. The hyperbolic cosine and sine are defined as \cosh \theta = \frac{e^{\theta} + e^{-\theta}}{2}, \quad \sinh \theta = \frac{e^{\theta} - e^{-\theta}}{2}. Similarly, the trigonometric cosine and sine, via Euler's formula e^{i\phi} = \cos \phi + i \sin \phi, are \cos \phi = \frac{e^{i\phi} + e^{-i\phi}}{2}, \quad \sin \phi = \frac{e^{i\phi} - e^{-i\phi}}{2i}. To derive the relation, substitute the imaginary argument \phi = i\theta into the trigonometric functions. For cosine: \cos(i\theta) = \frac{e^{i(i\theta)} + e^{-i(i\theta)}}{2} = \frac{e^{-\theta} + e^{\theta}}{2} = \cosh \theta, since i^2 = -1. For sine: \sin(i\theta) = \frac{e^{i(i\theta)} - e^{-i(i\theta)}}{2i} = \frac{e^{-\theta} - e^{\theta}}{2i} = \frac{-(e^{\theta} - e^{-\theta})}{2i} = i \sinh \theta, since \frac{-1}{i} = i. Thus, \cosh \theta = \cos(i\theta) and \sinh \theta = -i \sin(i\theta). This substitution extends to hyperbolic identities, transforming them from trigonometric ones by replacing the argument with its imaginary counterpart. For instance, the fundamental Pythagorean identity \cos^2 z + \sin^2 z = 1 for complex z becomes, upon setting z = i\theta, \cos^2(i\theta) + \sin^2(i\theta) = 1 \implies \cosh^2 \theta + (i \sinh \theta)^2 = 1 \implies \cosh^2 \theta - \sinh^2 \theta = 1, since i^2 = -1. Similar transformations apply to addition formulas and other relations, unifying the two families under complex analysis. In the complex plane, a hyperbolic angle \theta can be interpreted as a rotation by i\theta along the imaginary axis, contrasting with the real-axis rotation of circular angles. This "imaginary rotation" traces hyperbolic trajectories rather than circles, as the exponential map e^{i\phi} with \phi = i\theta yields real exponential growth along the negative imaginary direction, aligning with the hyperbola's geometry. Leonhard Euler played a pivotal role in uncovering these relations through his 1748 formulation of e^{ix} = \cos x + i \sin x, which enabled the analytic continuation linking hyperbolic and trigonometric functions via imaginary arguments.

Relation to Natural Logarithm

The hyperbolic angle \theta is intrinsically linked to the natural logarithm through the inverse hyperbolic functions, particularly the inverse hyperbolic cosine, which provides a logarithmic expression for the angle. For x \geq 1, the formula \theta = \arcosh x = \ln\left(x + \sqrt{x^2 - 1}\right) arises from integrating the area of a hyperbolic sector, where the sector area equals \theta and corresponds to the integral \int \frac{dt}{t} = \ln t along the hyperbola.https://dlmf.nist.gov/4.37 This logarithmic form reflects the hyperbolic angle's role as a measure of "hyperbolic distance" or rapidity, emphasizing its additive property under composition, much like the logarithm's property in multiplication.https://dlmf.nist.gov/4.37 The hyperbolic functions themselves are defined exponentially, reinforcing this connection: \cosh \theta = \frac{e^\theta + e^{-\theta}}{2} and \sinh \theta = \frac{e^\theta - e^{-\theta}}{2}, with \tanh \theta = \frac{\sinh \theta}{\cosh \theta}.http://hyperphysics.phy-astr.gsu.edu/hbase/exp.html Inverting these yields logarithmic expressions for the angle; for instance, the rapidity \theta (a hyperbolic angle) satisfies \theta = \artanh \beta = \frac{1}{2} \ln \left( \frac{1 + \beta}{1 - \beta} \right), where \beta is a velocity parameter, or equivalently \theta = \ln \left( \frac{1 + \tanh(\theta/2)}{1 - \tanh(\theta/2)} \right) in terms of the half-angle.https://www.phenix.bnl.gov/WWW/publish/erichard/tutorials/abbotkinematics.pdf These forms highlight how the hyperbolic angle parameterizes exponential growth, with the natural logarithm serving as its inverse measure. Historically, the equivalence between hyperbolic areas and logarithmic scales was established in the 17th century by Alphonse Antonio de Sarasa, who built on Grégoire de Saint-Vincent's work on hyperbolas to show that the area under a hyperbola xy = c scales logarithmically with the bounds of integration, effectively defining the hyperbolic logarithm without specifying a base.https://www.sciencedirect.com/science/article/pii/S031508600092295X De Sarasa's propositions demonstrated that such areas satisfy the logarithmic functional equation, paving the way for later formalizations by Euler. In the complex domain, the principal branch of \arcosh z is defined as \arcosh z = \ln\left(z + \sqrt{z^2 - 1}\right), where the square root and logarithm use their principal branches, with a branch cut along (-\infty, 1) to ensure single-valuedness in the cut plane.https://dlmf.nist.gov/4.37 This extension to complex logarithms introduces multi-valuedness beyond the principal branch, allowing \arcosh z to take values differing by $2\pi i k for integer k, though the real-valued principal branch for z \geq 1 remains \ln\left(x + \sqrt{x^2 - 1}\right).$$]

Applications

In Special Relativity

In special relativity, the hyperbolic angle manifests as the rapidity φ, a parameter that parameterizes Lorentz boosts in a manner analogous to angles in rotations. It is defined such that the normalized velocity β = v/c satisfies β = tanh φ, where v is the relative speed and c is the speed of light. Consequently, the Lorentz factor γ = 1 / √(1 - β²) equals cosh φ, and the product βγ equals sinh φ, satisfying the identity cosh² φ - sinh² φ = 1. This parameterization arises naturally from the structure of the Lorentz transformation, where the boost along the x-direction is expressed as:

[ \begin{pmatrix} x' \ ct' \end{pmatrix}

\begin{pmatrix} \cosh \phi & -\sinh \phi \ -\sinh \phi & \cosh \phi \end{pmatrix} \begin{pmatrix} x \ ct \end{pmatrix}, with the time and space components transforming via hyperbolic functions of φ.[](https://ocw.mit.edu/courses/8-20-introduction-to-special-relativity-january-iap-2021/5c9b8a21b79b9d8425299b41c703b8cf_UQFwsgznP-E.pdf) A key advantage of rapidity is its additive property under composition of collinear boosts, which simplifies the relativistic velocity addition formula. For two successive boosts with rapidities φ₁ and φ₂, the total rapidity is φ = φ₁ + φ₂, yielding the composed velocity via β = tanh(φ₁ + φ₂) = (tanh φ₁ + tanh φ₂) / (1 + tanh φ₁ tanh φ₂).[](https://kconrad.math.uconn.edu/blurbs/grouptheory/relativity.pdf) This linear addition contrasts with the nonlinear velocity addition, avoiding issues like exceeding c in naive summation. For instance, two boosts each at v = 0.8c (φ ≈ 1.099 rad) yield a total φ ≈ 2.197 rad and v ≈ 0.975c, whereas classical addition would give 1.6c.[](https://web2.ph.utexas.edu/~cmarkert/home/Teaching_files/VelocityAndRapidity.pdf) This property is particularly useful in high-energy physics for chaining multiple boosts without iterative nonlinear computations. In Minkowski spacetime, rapidity ties directly to proper time and spacetime intervals. The proper time dτ along a timelike worldline satisfies c² dτ² = -ds², where ds² is the invariant interval; for uniform motion, the coordinate time t relates to proper time via τ = t / cosh φ, parameterizing the hyperbolic trajectory in the ct-x plane.[](https://physics.umd.edu/hep/drew/relativity/) This geometric interpretation underscores rapidity's role in visualizing boosts as hyperbolic rotations, preserving the Minkowski metric while facilitating calculations of intervals and observer frames.[](https://courses.physics.ucsd.edu/2009/Fall/physics130b/Spec_Rel.pdf) ### In Hyperbolic Geometry In hyperbolic geometry, the hyperbolic angle plays a central role in measuring distances along geodesics within standard models such as the hyperboloid and Poincaré disk. In the hyperboloid model, points lie on the surface $x^2 + y^2 - z^2 = -1$ with $z > 0$ in Minkowski space, and the hyperbolic distance $d$ between two points $\mathbf{u}$ and $\mathbf{v}$ is given by $d = \arccosh(-\langle \mathbf{u}, \mathbf{v} \rangle)$, where $\langle \cdot, \cdot \rangle$ is the Minkowski inner product; this distance directly corresponds to the hyperbolic angle subtended between the position vectors from the origin.[](https://mathworld.wolfram.com/HyperboloidModel.html) Similarly, in the Poincaré disk model, the distance between points $z, w$ inside the unit disk is $d = \arccosh\left(1 + \frac{2|z - w|^2}{(1 - |z|^2)(1 - |w|^2)}\right)$, or equivalently $d = 2 \artanh\left|\frac{z - w}{1 - \bar{z} w}\right|$, parameterizing the geodesic length as a hyperbolic angle for curvature $-1$.[](https://mathworld.wolfram.com/PoincareHyperbolicDisk.html) These formulations ensure that geodesics are arcs of circles orthogonal to the boundary, with the hyperbolic angle $\theta$ satisfying relations like $\sinh(\theta/2)$ linking to Euclidean chord lengths in the model.[](https://www.maths.gla.ac.uk/wws/cabripages/hyperbolic/poincare.html) The isometries of the hyperbolic plane, preserving distances and angles, are realized by the projective special linear group PSL(2, $\mathbb{R}$), with hyperbolic rotations—analogous to boosts—parameterized by the hyperbolic angle $\theta$. A representative matrix in SL(2, $\mathbb{R}$) for such a rotation along the real axis in the upper half-plane model is $\begin{pmatrix} \cosh \theta & \sinh \theta \\ \sinh \theta & \cosh \theta \end{pmatrix}$, which translates points along geodesics by distance $\theta$ while fixing the origin.[](https://mathworld.wolfram.com/HyperbolicRotation.html) In the hyperboloid embedding, these isometries correspond to Lorentz transformations restricted to the hyperboloid, again governed by $\theta$ via hyperbolic functions, ensuring the group action maintains the constant negative curvature.[](https://arxiv.org/pdf/2404.09039) Hyperbolic angles facilitate the construction of regular polygons and tilings in the hyperbolic plane, where side lengths and vertex figures are computed using hyperbolic trigonometry. For a regular $n$-gon with vertex angle $2\pi/k$ in a $\{n, k\}$ tiling (with $(n-2)(k-2) > 4$), the distance from the center to a vertex is $r = \arccosh\left( \cot\frac{\pi}{n} \cot\frac{\pi}{k} \right)$, a hyperbolic angle determining the polygon's size and enabling infinite tessellations without overlap.[](https://www.reed.edu/math-stats/wieting/essays/HyperbolicTesselations.pdf) This parameterization relates sector areas to $\theta$, as the area of a hyperbolic sector of angle $\theta$ and radius $r$ is $\theta (\cosh r - 1)$.[](https://www.maths.gla.ac.uk/wws/cabripages/hyperbolic/circleformulae.html) The relation to area in hyperbolic figures underscores the geometry's curvature, with the angle defect in a triangle—$\pi - (A + B + C)$—equaling the area for Gaussian curvature $-1$, where sides $a, b, c$ are hyperbolic distances interpretable as angles along geodesics. The hyperbolic law of cosines, $\cosh c = \cosh a \cosh b - \sinh a \sinh b \cos C$, ties these angles to curvature effects, as larger $\theta$ values amplify defects in polygons and tilings.[](https://mathworld.wolfram.com/HyperbolicLawsofSinesandCosines.html)

References

  1. [1]
    [PDF] Cheryl Jaeger Balm Hyperbolic Function Project - De Anza College
    This is how we define the hyperbolic angle. The hyperbolic angle is equal to twice the area of the hyperbolic sector. x y θ. A ...
  2. [2]
  3. [3]
    [PDF] THE GEOMETRY OF SPECIAL RELATIVITY - Oregon State University
    Thus, β can be thought of as the hyperbolic angle between the ct-axis and the worldline of a moving object. As discussed in the preceding chapter, β turns out ...
  4. [4]
    None
    ### Derivation of arcosh(x) = ln(x + √(x² - 1))
  5. [5]
    [PDF] 18.S096 Pset 2 SOLUTIONS, IAP 2023 - MIT OpenCourseWare
    Use this to describe how a little square around a point generally transforms with a hyperbolic rotation. x y ! → cosh θ sinh θ sinh θ cosh θ ! x y !
  6. [6]
    [PDF] Hyperbolic Geometry - UC Davis Math
    We begin with the definition and then establish the important properties that stereographic projection preserves angles and takes spheres to planes or spheres.
  7. [7]
    [PDF] MINKOWSKI SPACE-TIME AND HYPERBOLIC GEOMETRY
    Metrics for spherical and hyperbolic coordinates. Two methods are given here to justify the calculation of the metric element in the hyperbolic case. (a) The ...
  8. [8]
    Gregory of Saint-Vincent (1584 - 1667) - Biography - MacTutor
    Saint-Vincent worked on mathematics and developed methods which were important in setting the scene for the invention of the differential and integral calculus.Missing: sector | Show results with:sector
  9. [9]
    Trigonometry and double algebra : De Morgan, Augustus, 1806-1871
    Apr 26, 2007 · Trigonometry and double algebra ; Publication date: 1849 ; Topics: Trigonometry, Algebra ; Publisher: London, Taylor ; Collection: cdl; americana.Missing: hyperbolic | Show results with:hyperbolic
  10. [10]
    Alexander MacFarlane Principles of Elliptic and Hyperbolic Analysis ...
    Alexander MacFarlane Principles of Elliptic and Hyperbolic Analysis 1894 - Free download as PDF File (.pdf) or read online for free.
  11. [11]
    [PDF] What Are Hyperbolic Functions?
    Oct 28, 2021 · Yet even as late as 1849, we hear Augustus De Morgan [3, p. 66] ... for hyperbolic trigonometry went unacknowledged by De Morgan an even stronger.
  12. [12]
    The theory of relativity : Silberstein, Ludwik, b. 1872 - Internet Archive
    Nov 30, 2006 · 1914. Topics: Relativity (Physics). Publisher: London : Macmillan ... PDF download · download 1 file · SCRIBE SCANDATA ZIP download · download 1 ...
  13. [13]
    [PDF] Visualizing Hyperbolic Space: Unusual Uses of Matrices
    Dec 15, 1991 · We present formulas for computing reflections, trans- lations, and rotations in hyperbolic space. These are a bit more complicated than the ...
  14. [14]
    [PDF] nothing you need to know about hyperbolic (and regular) trig
    We can define a system of angle measure by saying that the ray going through (cos(θ), sin(θ)) and the ray going through (1, 0) are separated by an angle θ.
  15. [15]
    [PDF] Euler's Formula and Trigonometry - Columbia Math Department
    These are some notes first prepared for my Fall 2015 Calculus II class, to give a quick explanation of how to think about trigonometry using Euler's for- mula.
  16. [16]
    Leonhard Euler - Biography
    ### Summary of Euler's Work on Hyperbolic Functions and Their Connection to Trigonometric Functions via Imaginary Numbers
  17. [17]
    Trigonometric functions - MacTutor History of Mathematics
    The hyperbolic trigonometric functions were introduced by Lambert. References (show). P Bockstaele, Adrianus Romanus and the trigonometric tables of Georg ...
  18. [18]
    [PDF] Relativistic addition and group theory - Keith Conrad
    The hyperbolic tangent is better than the tangent in this regard. The hyperbolic tangent function is given by the formula tanhx = ex − e−x ex + e−x. : R ...
  19. [19]
    [PDF] Velocity and Rapidity - UT Physics
    Feb 5, 2015 · Unlike the velocity addition formula, the rapidity addition formula is linear in special relativity, thus making it a useful tool to switch ...
  20. [20]
    [PDF] MITOCW | 8.1 Algebra of Lorentz transformations
    Because the rapidity-- the relative distance and speed between two reference frames is basically the angle of the hyperbolic angle.
  21. [21]
    Special Relativity for Human Beings - UMD Physics
    RED sees the light go at an angle, whereas BLUE sees it go straight up and back down. For RED, the light travels a total distance $2L$ in a time period ...<|control11|><|separator|>
  22. [22]
    [PDF] Special Relativity and Maxwell's Equations 1 The Lorentz ...
    we may define a parameter θ (sometimes called the rapidity) by β = tanh θ so that γ = coshθ and γβ = sinhθ. In terms of θ, equations (1.7a) become t ...<|control11|><|separator|>
  23. [23]
    What's the right way to calculate hyperbolic distance on the ...
    Jul 21, 2015 · Let u=(x0,x1,x2) and v=(y0,y1,y2) be two points on the positive hyperbolic sheet so x0=1+x21+x22 and y0=1+y21+y22. Then the distance d(u,v)=cosh ...
  24. [24]
    calculating Hyperbolic distance - Mathematics Stack Exchange
    Feb 24, 2015 · Wikipedia gives the formula for the distance in the Poincaré disk model: d=arcosh(1+2|z−w|2(1−|z|2)(1−|w|2))=arcosh(1+2⋅12)=arcosh25≈3.9116.<|control11|><|separator|>
  25. [25]
    Measuring distance on the Poincare disk - Math Stack Exchange
    Apr 22, 2014 · A point of the hyperbolic plane is a point inside the unit disk. A hyperbolic line is a circle arc which is perpendicular to the unit disk. From ...
  26. [26]
    Hyperbolic Rotation -- from Wolfram MathWorld
    A hyperbolic transformation leaves each branch of the hyperbola x^'y^'=xy invariant and transforms circles into ellipses with the same area.
  27. [27]
    [PDF] arXiv:2404.09039v1 [math.NA] 13 Apr 2024
    Apr 13, 2024 · ... isometries corresponds to the set of 2×2 matrices over reals with determinant 1, which is called the special linear group over R, SL(2, R).
  28. [28]
    Hyperbolic Angle Measure of Polygons - Math Stack Exchange
    May 29, 2018 · Is there a way to determine the angle measure of a regular polygon in hyperbolic space? I know that this depends on the length of the sides ...
  29. [29]
    Hyperbolic Geometry: Defect of a triangle - Math Stack Exchange
    Aug 5, 2017 · As I understand it the defect of a triangle is a single number and there can't be two. (180 minus all three angles) Then at the end of step 7, ...Solving for angle of hyperbolic triangle in Poincare diskGeometric proof that the area of a hyperbolic triangle is proportional ...More results from math.stackexchange.comMissing: wolfram. | Show results with:wolfram.