Half-side formula

From HandWiki
Short description: Relation between the side lengths and angles of a spherical triangle
Spherical triangle

In spherical trigonometry, the half side formula relates the angles and lengths of the sides of spherical triangles, which are triangles drawn on the surface of a sphere and so have curved sides and do not obey the formulas for plane triangles.[1]

For a triangle △ABC on a sphere, the half-side formula is[2] tan⁡12a=−cos⁡(S)cos⁡(S−A)cos⁡(S−B)cos⁡(S−C)

where a, b, c are the angular lengths (measure of central angle, arc lengths normalized to a sphere of unit radius) of the sides opposite angles A, B, C respectively, and S=12(A+B+C) is half the sum of the angles. Two more formulas can be obtained for b and c by permuting the labels A,B,C.

The polar dual relationship for a spherical triangle is the half-angle formula,

tan⁡12A=sin⁡(s−b)sin⁡(s−c)sin⁡(s)sin⁡(s−a)

where semiperimeter s=12(a+b+c) is half the sum of the sides. Again, two more formulas can be obtained by permuting the labels A,B,C.

Half-tangent variant

The same relationships can be written as rational equations of half-tangents (tangents of half-angles). If ta=tan⁡12a, tb=tan⁡12b, tc=tan⁡12c,tA=tan⁡12A, tB=tan⁡12B, and tC=tan⁡12C, then the half-side formula is equivalent to:

ta2=(tBtC+tCtA+tAtB−1)(−tBtC+tCtA+tAtB+1)(tBtC−tCtA+tAtB+1)(tBtC+tCtA−tAtB+1).

and the half-angle formula is equivalent to:

tA2=(ta−tb+tc+tatbtc)(ta+tb−tc+tatbtc)(ta+tb+tc−tatbtc)(−ta+tb+tc+tatbtc).

See also

References

  1. ↑ Bronshtein, I. N.; Semendyayev, K. A.; Musiol, Gerhard; Mühlig, Heiner (2007), Handbook of Mathematics, Springer, p. 165, ISBN 9783540721222 [1]
  2. ↑ Nelson, David (2008), The Penguin Dictionary of Mathematics (4th ed.), Penguin UK, p. 529, ISBN 9780141920870, https://books.google.com/books?id=ud3sEeVdTIwC&pg=PT529 .