Hyperbolic law of cosines

In hyperbolic geometry, the "law of cosines" is a pair of theorems relating the sides and angles of triangles on a hyperbolic plane, analogous to the planar law of cosines from plane trigonometry, or the spherical law of cosines in spherical trigonometry. It can also be related to the relativistic velocity addition formula.

History

Describing relations of hyperbolic geometry, Franz Taurinus showed in 1826 that the spherical law of cosines can be related to spheres of imaginary radius, thus he arrived at the hyperbolic law of cosines in the form:

$$A=\operatorname {arccos} {\frac {\cos \left(\alpha {\sqrt {-1}}\right)-\cos \left(\beta {\sqrt {-1}}\right)\cos \left(\gamma {\sqrt {-1}}\right)}{\sin \left(\beta {\sqrt {-1}}\right)\sin \left(\gamma {\sqrt {-1}}\right)}}$$

which was also shown by Nikolai Lobachevsky (1830):

$$\cos A\sin b\sin c-\cos b\cos c=\cos a;\quad [a,\ b,\ c]\rightarrow \left[a{\sqrt {-1}},\ b{\sqrt {-1}},\ c{\sqrt {-1}}\right]$$

Ferdinand Minding gave it in relation to surfaces of constant negative curvature:

$$\cos a{\sqrt {k}}=\cos b{\sqrt {k}}\cdot \cos c{\sqrt {k}}+\sin b{\sqrt {k}}\cdot \sin c{\sqrt {k}}\cdot \cos A$$

as did Delfino Codazzi in 1857:

$$\cos \beta \,p\left({\frac {a}{r}}\right)p\left({\frac {s}{r}}\right)=q\left({\frac {a}{r}}\right)q\left({\frac {s}{r}}\right)-q\left({\frac {\lambda }{r}}\right),\quad \left[{\frac {e^{t}-e^{-t}}{2}}=p(t),\ {\frac {e^{t}+e^{-t}}{2}}=q(t)\right]$$

The relation to relativity using rapidity was shown by Arnold Sommerfeld in 1909 and Vladimir Varićak in 1910.

Hyperbolic laws of cosines

Take a hyperbolic plane whose Gaussian curvature is ${\textstyle -{\frac {1}{k^{2}}}}$. Given a hyperbolic triangle $ABC$ with angles $\alpha ,\beta ,\gamma$ and side lengths $BC=a$, $AC=b$, and $AB=c$, the following two rules hold. The first is an analogue of Euclidean law of cosines, expressing the length of one side in terms of the other two and the angle between the latter:

$\cosh {\frac {a}{k}}=\cosh {\frac {b}{k}}\cosh {\frac {c}{k}}-\sinh {\frac {b}{k}}\sinh {\frac {c}{k}}\cos \alpha ,$ (1)

The second law has no Euclidean analogue, since it expresses the fact that lengths of sides of a hyperbolic triangle are determined by the interior angles:

$$\cos \alpha =-\cos \beta \cos \gamma +\sin \beta \sin \gamma \cosh {\frac {a}{k}}.$$

Houzel indicates that the hyperbolic law of cosines implies the angle of parallelism in the case of an ideal hyperbolic triangle:

When $\alpha =0,$ that is when the vertex A is rejected to infinity and the sides BA and CA are "parallel", the first member equals 1; let us suppose in addition that $\gamma =\pi /2$ so that $\cos \gamma =0$ and $\sin \gamma =1.$ The angle at B takes a value β given by $1=\sin \beta \cosh(a/k);$ this angle was later called "angle of parallelism" and Lobachevsky noted it by "F(a)" or "Π(a)".

Hyperbolic law of Haversines

In cases where $a/k$ is small, and being solved for, the numerical precision of the standard form of the hyperbolic law of cosines will drop due to rounding errors, for exactly the same reason it does in the Spherical law of cosines. The hyperbolic version of the law of haversines can prove useful in this case:

$$\sinh ^{2}{\frac {a}{2k}}=\sinh ^{2}{\frac {b-c}{2k}}+\sinh {\frac {b}{k}}\sinh {\frac {c}{k}}\sin ^{2}{\frac {\alpha }{2}},$$

Relativistic velocity addition via hyperbolic law of cosines

Setting $\left[{\tfrac {a}{k}},\ {\tfrac {b}{k}},\ {\tfrac {c}{k}}\right]=\left[\xi ,\ \eta ,\ \zeta \right]$ in (1), and by using hyperbolic identities in terms of the hyperbolic tangent, the hyperbolic law of cosines can be written:

${\begin{aligned}&&\cosh \xi &=\cosh \eta \cosh \zeta -\sinh \eta \sinh \zeta \cos \alpha \\&\Rightarrow &{\frac {1}{\sqrt {1-\tanh ^{2}\xi }}}&={\frac {1}{\sqrt {1-\tanh ^{2}\eta }}}{\frac {1}{\sqrt {1-\tanh ^{2}\zeta }}}-{\frac {\tanh \eta }{\sqrt {1-\tanh ^{2}\eta }}}{\frac {\tanh \zeta }{\sqrt {1-\tanh ^{2}\zeta }}}\cos \alpha \\&\Rightarrow &\tanh \xi &={\frac {\sqrt {-\tanh ^{2}\zeta -\tanh ^{2}\eta +2\tanh \eta \tanh \zeta \cos \alpha +\left(\tanh \eta \tanh \zeta \sin \alpha \right)^{2}}}{1-\tanh \eta \tanh \zeta \cos \alpha }}\end{aligned}}$ (2)

In comparison, the velocity addition formulas of special relativity for the x and y-directions as well as under an arbitrary angle $\alpha$, where v is the relative velocity between two inertial frames, u the velocity of another object or frame, and c the speed of light, is given by

$${\begin{aligned}&&\left[U_{x},\ U_{y}\right]&=\left[{\frac {u_{x}-v}{1-{\frac {v}{c^{2}}}u_{x}}},\ {\frac {u_{y}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}{1-{\frac {v}{c^{2}}}u_{x}}}\right]\\&&U^{2}&=U_{x}^{2}+U_{y}^{2},\ u^{2}=u_{x}^{2}+u_{y}^{2},\ \tan \alpha ={\frac {u_{y}}{u_{x}}}\\&\Rightarrow &U&={\frac {\sqrt {-u^{2}-v^{2}+2vu\cos \alpha +\left({\frac {vu\sin \alpha }{c}}\right){}^{2}}}{1-{\frac {v}{c^{2}}}u\cos \alpha }}\end{aligned}}$$

It turns out that this result corresponds to the hyperbolic law of cosines - by identifying $\left[\xi ,\ \eta ,\ \zeta \right]$ with relativistic rapidities ${\scriptstyle \left(\left[{\frac {U}{c}},\ {\frac {v}{c}},\ {\frac {u}{c}}\right]=\left[\tanh \xi ,\ \tanh \eta ,\ \tanh \zeta \right]\right)},$ the equations in (2) assume the form:

$${\begin{aligned}&&\cosh \xi &=\cosh \eta \cosh \zeta -\sinh \eta \sinh \zeta \cos \alpha \\&\Rightarrow &{\frac {1}{\sqrt {1-{\frac {U^{2}}{c^{2}}}}}}&={\frac {1}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}{\frac {1}{\sqrt {1-{\frac {u^{2}}{c^{2}}}}}}-{\frac {v/c}{\sqrt {1-{\frac {v^{2}}{c^{2}}}}}}{\frac {u/c}{\sqrt {1-{\frac {u^{2}}{c^{2}}}}}}\cos \alpha \\&\Rightarrow &U&={\frac {\sqrt {-u^{2}-v^{2}+2vu\cos \alpha +\left({\frac {vu\sin \alpha }{c}}\right)^{2}}}{1-{\frac {v}{c^{2}}}u\cos \alpha }}\end{aligned}}$$

See also

• Hyperbolic law of sines
• Hyperbolic triangle trigonometry
• History of Lorentz transformations

References

Bibliography

• Anderson, James W. (2005). Hyperbolic Geometry (2nd ed.). London: Springer. ISBN 1-85233-934-9.
• Barrett, J. F. (2019) [2006]. The Hyperbolic Theory of Relativity. arXiv:1102.0462.
• Bonola, R. (1912). Non-Euclidean Geometry: A Critical and Historical Study of Its Development. Chicago: Open Court.
• Codazzi, D. (1857). "Intorno alle superficie le quali hanno costante il prodotto de due raggi di curvatura" [About surfaces which have constant the product of two radii of curvature]. Ann. Sci. Mat. Fis. (in Italian). 8: 351–354.
• Gray, J. (1979). "Non-Euclidean Geometry: A Re-interpretation". Historia Mathematica. 6 (3): 236–258. doi:10.1016/0315-0860(79)90124-1.
• Houzel, Christian (1992). "The Birth of Non-Euclidean Geometry". In Boi, L.; Flament, D.; Salanskis, J. M. (eds.). 1830–1930: A Century of Geometry: Epistemology, History and Mathematics. Lecture Notes in Physics. Vol. 402. Springer-Verlag. pp. 3–21. ISBN 3-540-55408-4.
• Lobachevsky, N. (1898) [1830]. "Über die Anfangsgründe der Geometrie" [On the beginnings of geometry]. In Engel, F.; Stäckel, P. (eds.). Zwei geometrische Abhandlungen [Two Geometric Treatises] (in German). Leipzig: Teubner. pp. 21–65.
• Minding, F. (1840). "Beiträge zur Theorie der kürzesten Linien auf krummen Flächen". Journal für die reine und angewandte Mathematik. 20: 324.
• Pauli, Wolfgang (1921). "Die Relativitätstheorie" [The Theory of Relativity]. Encyclopädie der mathematischen Wissenschaften (in German). 5 (2): 539–776.
• Pauli, Wolfgang (1981) [1921]. "Theory of Relativity". Fundamental Theories of Physics. 165. Dover Publications. ISBN 0-486-64152-X.
• Reid, Miles; Szendröi, Balázs (2005). Geometry and Topology. Cambridge University Press. §3.10 Hyperbolic triangles and trig. ISBN 0-521-61325-6. MR 2194744.
• Reiman, István (1999). Geometria és határterületei (in Hungarian). Szalay Könyvkiadó és Kereskedőház Kft. ISBN 978-963-237-012-5.
• Sommerfeld, A. (1909). "Über die Zusammensetzung der Geschwindigkeiten in der Relativtheorie" [On the Composition of Velocities in the Theory of Relativity]. Verh. Dtsch. Phys. Ges. (in German). 21: 577–582.
• Taurinus, Franz Adolph (1826). Geometriae prima elementa. Recensuit et novas observationes adjecit [The first elements of geometry. Reviewed and new added observations] (in Latin). Köln: Bachem. p. 66.
• Varičak, Vladimir (1912). "Über die nichteuklidische Interpretation der Relativtheorie"  [On the Non-Euclidean Interpretation of the Theory of Relativity]. Jahresbericht der Deutschen Mathematiker-Vereinigung (in German). 21: 103–127.

External links

• Non Euclidean Geometry, Math Wiki at TU Berlin
• Velocity Compositions and Rapidity, at MathPages