Napier's Cosine Rule for Right Spherical Triangles

Theorem

 * NapiersRules.png

Let $\triangle ABC$ be a spherical triangle on the surface of a sphere whose center is $O$.

Let the sides $a, b, c$ of $\triangle ABC$ be measured by the angles subtended at $O$, where $a, b, c$ are opposite $A, B, C$ respectively.

Let $\triangle ABC$ be right spherical such that the angle $\sphericalangle C$ is a right angle.


 * Right-spherical-triangle.png

Let the remaining parts of $\triangle ABC$ be arranged in the order as shown above:
 * $a, b, A, c, B$

Let these quantities be arranged according to the interior of the circle above, where the prefix $\text{co-}$ meaning complement is added to $c, A, B$.

Let one of the parts of this circle be called a middle part.

Let the two parts which do not neighbor the middle part be called opposite parts.


 * The sine of the middle part equals the product of the cosine of the opposite parts.