Napier's Cosine Rules for Right Angled Spherical Triangles

Also see

 * Napier's Tangent Rules for Right Angled Spherical Triangles