Trigonometry/For Enthusiasts/Triangles on a Sphere

A spherical triangle is a part of the surface of a sphere bounded by arcs of three great circles. (For a discussion of great circles, see The Distance from New York to Tokyo.) Because the surface of a sphere is curved, the formulae for triangles do not work for spherical triangles. In particular, the sum of the three angles always exceeds or radians.

Spherical Triangle

The amount in radians that the sum of the angles exceeds is known as the spherical excess of the triangle, and is proportional to the triangle's area. Thus, for a very small triangle, the excess is small and the sum of the angles is close to radians, reflecting the fact that a very small part of a sphere is not appreciably curved. This is why ordinary trigonometry, which assumes that you are working on a flat surface, is accurate enough for short distances on the Earth's surface.

The length of a side is usually expressed as the angle that the side subtends at the centre of the sphere, so sides as well as angles are expressed in degrees or radians and we can talk about the sine or cosine of a side as well as of an angle.

The Sine Theorem edit

This is similar to the sine theorem for ordinary triangles. If the sides are   and the angles are   then

 
Exercise: Compare to sine formula for Triangles on a Plane
  • For small triangles on a unit sphere   , provided we are measuring in radians, and we can make the percentage error as small as we like by taking a sufficiently small triangle. We therefore approach the sine formula for triangles on a plane as the triangles get very small.
  • For a spherical triangle with three right angles, that's a large triangle taking up   of the sphere's surface area, the sine formula for triangles on a plane is still correct even if applied to the spherical triangle!
So, when is the plane triangle formula most in error if applied to a spherical triangle?

The Cosine Theorem edit

Despite its name, this does not look much like the cosine theorem for ordinary triangles. With the above notation,

 

In particular, if   is a right angle so   , this formula becomes

 

This can be regarded as analogous to Pythagoras' theorem.

Compare to Pythagoras' Theorem for Triangles on a Plane
  • For small triangles on a unit sphere   , again providing we are measuring in radians, and we can make the percentage error as small as we like by taking a sufficiently small triangle. Applying this approximation to the analogue of Pythagoras' Theorem, we get
 

or

 

We therefore approach Pythagoras' Theorem for triangles on a plane as the triangles get very small.

There are of course similar formulae involving   or   instead of   . Thus, if two sides of a spherical triangle and the angle between them are known, we can find the third side from this formula. If all three sides are known, we can find all three angles from this and the similar formulae.

Half-angle formulae edit

Let   . Then

 

 

 

with similar formulae for   .

The Polar Triangle edit

If the corners of a spherical triangle are   , the great circle of which side   is part divides the sphere into two hemispheres, each with a pole at its centre, in the same way that the equator divides the Earth into the northern and southern hemispheres, each with a pole. Let   be the pole in the hemisphere containing   . Similarly, we can define   and   .   is the polar triangle of   , and has sides   . Then

 
 

Note: We will need proofs of all these theorems.