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.
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

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
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.
Halfangle 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.
This page or section is an undeveloped draft or outline. You can help to develop the work, or you can ask for assistance in the project room. 