In
spherical trigonometry
Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are grea ...
, the half side formula relates the angles and lengths of the sides of
spherical triangle
Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are gre ...
s, which are triangles drawn on the surface of a sphere and so have curved sides and do not obey the formulas for plane triangles.
Formulas
On a unit sphere, the half-side formulas are
[.]
:
where
* ''a'', ''b'', ''c'' are the lengths of the sides respectively opposite angles ''A'', ''B'', ''C'',
*
is half the sum of the angles, and
*
The three formulas are really the same formula, with the names of the variables permuted.
To generalize to a sphere of arbitrary radius ''r'', the lengths ''a'',''b'',''c'' must be replaced with
*
*
*
so that ''a'',''b'',''c'' all have length scales, instead of angular scales.
See also
*
Spherical law of cosines In spherical trigonometry, the law of cosines (also called the cosine rule for sides) is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry.
Given a unit sphere, a "sph ...
*
Law of haversines
References
{{reflist
Spherical trigonometry