Mollweide's formula explained

In trigonometry, Mollweide's formula is a pair of relationships between sides and angles in a triangle.

A variant in more geometrical style was first published by Isaac Newton in 1707 and then by in 1746. Thomas Simpson published the now-standard expression in 1748. Karl Mollweide republished the same result in 1808 without citing those predecessors.

It can be used to check the consistency of solutions of triangles.^[1]

Let

a, b, and c be the lengths of the three sides of a triangle.Let \alpha, \beta, and \gamma be the measures of the angles opposite those three sides respectively. Mollweide's formulas are\begin{align} (a + b)/(c =) (\cos\tfrac 12 (\alpha - \beta))/(\sin\tfrac 12 \gamma) , \\[ 10 mu] (a - b)/(c =) (\sin\tfrac 12 (\alpha - \beta))/(\cos\tfrac 12 \gamma) . \end{align}

Relation to other trigonometric identities

Because in a planar triangle

\tfrac 12 \gamma = \tfrac 12 \pi - \tfrac 12 (\alpha + \beta), these identities can alternately be written in a form in which they are more clearly a limiting case of Napier's analogies for spherical triangles (this was the form used by Von Oppel),\begin{align} (a + b)/(c & =) (\cos\tfrac 12 (\alpha - \beta))/(\cos\tfrac 12 (\alpha + \beta)) , \\[ 10 mu] (a - b)/(c & =) (\sin\tfrac 12 (\alpha - \beta))/(\sin\tfrac 12 (\alpha + \beta)) . \end{align}

Dividing one by the other to eliminate

c results in the law of tangents,\begin{align} (a + b)/(a - b) = (\tan\tfrac 12 (\alpha + \beta))/(\tan\tfrac 12 (\alpha - \beta)) . \end{align}

In terms of half-angle tangents alone, Mollweide's formula can be written as

\begin{align} (a + b)/(c & =) (1+ \tan\tfrac 12 \alpha\tan\tfrac 12 \beta)/(1- \tan\tfrac 12 \alpha\tan\tfrac 12 \beta) , \\[ 10 mu] (a - b)/(c & =) (\tan\tfrac 12 \alpha - \tan\tfrac 12 \beta)/(\tan\tfrac 12 \alpha + \tan\tfrac 12 \beta) , \end{align}

or equivalently

\begin{align} \tan\tfrac 12 \alpha\tan\tfrac 12 \beta & = (a + b - c)/(a + b + c) , \\[ 10 mu] (\tan\tfrac 12 \alpha)/(\tan\tfrac 12 \beta) & = (\phantom{ -)/(a) - b + c} { - a + b + c}. \end{align}

Multiplying the respective sides of these identities gives one half-angle tangent in terms of the three sides,

l ({\tan\tfrac 12 \alpha} r ) ^{2 =} ((a + b - c)(a - b + c))/((a + b + c)( - a + b + c)) .

which becomes the law of cotangents after taking the square root,

(\cot\tfrac 12 \alpha)/(s - a) = (\cot\tfrac 12 \beta)/(s - b) = (\cot\tfrac 12 \gamma)/(s - c) = \sqrt{ (s\vphantom{))/() } },

where $s\; =\; \backslash tfrac12(a\; +\; b\; +\; c)$ is the semiperimeter.

The identities can also be proven equivalent to the law of sines and law of cosines.

Dual relations

In spherical trigonometry, the law of cosines and derived identities such as Napier's analogies have precise duals swapping central angles measuring the sides and dihedral angles at the vertices. In the infinitesimal limit, the law of cosines for sides reduces to the planar law of cosines and two of Napier's analogies reduce to Mollweide's formulas above. But the law of cosines for angles degenerates to

0 = 0 . By dividing squared side length by the spherical excess E, we obtain a non-vanishing ratio, the spherical trigonometry relation:\begin{align} (\tan ^{2\tfrac12c})/(\tan\tfrac 12 E) = (\sin\gamma)/(\sin\alpha\sin\beta) . \end{align}

In the infinitesimal limit, as the half-angle tangents of spherical sides reduce to lengths of planar sides, the half-angle tangent of spherical excess reduces to twice the area

A of a planar triangle, so on the plane this is:(c ^{2})/(2 A) = (\sin\gamma)/(\sin\alpha\sin\beta) ,

and likewise for

a and b.

As corollaries (multiplying or dividing the above formula in terms of

a and b ) we obtain two dual statements to Mollweide's formulas. The first expresses the area in terms of two sides and the included angle, and the other is the law of sines:(ab)/(2 A) = (1)/(\sin\gamma) , (a)/(b) = (\sin\alpha)/(\sin\beta) .

We can alternately express the second formula in a form closer to one of Mollweide's formulas (again the law of tangents):

(\tan\tfrac 12 (\alpha + \beta))/(\cot\tfrac 12 \gamma) = (a - b)/(a + b) .

Cyclic quadrilateral

\square ABCD. Denote the lengths of sides |AB| = a, |BC| = b, |CD| = c, and |DA| = d and angle measures \angle{DAB} = \alpha, \angle{ABC} = \beta, \angle{BCD} = \gamma, and \angle{CDA} = \delta. If E is the point of intersection of the diagonals, denote \angle{CED} = \theta. Then:\begin{align} (a + c)/(b + d) & = (\sin\tfrac 12 (\alpha + \beta))/(\cos\tfrac 12 (\gamma - \delta)) \tan\tfrac 12 \theta, \\[ 10 mu] (a - c)/(b - d) & = (\cos\tfrac 12 (\alpha + \beta))/(\sin\tfrac 12 (\delta - \gamma)) \cot\tfrac 12 \theta. \end{align}

Several variant formulas can be constructed by substituting based on the cyclic quadrilateral identities,

\begin{align} \sin\tfrac 12 (\alpha + \beta) = \phantom - \cos\tfrac 12 (\beta - \gamma) = \phantom - \sin\tfrac 12 (\gamma + \delta) = \cos\tfrac 12 (\delta - \alpha), \\[ 3 mu] \cos\tfrac 12 (\alpha + \beta) = - \sin\tfrac 12 (\beta - \gamma) = - \cos\tfrac 12 (\gamma + \delta) = \sin\tfrac 12 (\delta - \alpha). \end{align}

As rational relationships in terms of half-angle tangents of two adjacent angles, these formulas can be written:

\begin{align} (a + c)/(b + d) & = (\tan\tfrac 12 \alpha + \tan\tfrac 12 \beta)/(1+ \tan\tfrac 12 \alpha \tan\tfrac 12 \beta) \tan\tfrac 12 \theta, \\[ 10 mu] (b - d)/(a - c) & = (\tan\tfrac 12 \alpha - \tan\tfrac 12 \beta)/(1- \tan\tfrac 12 \alpha \tan\tfrac 12 \beta) \tan\tfrac 12 \theta. \end{align}

A triangle may be regarded as a quadrilateral with one side of length zero. From this perspective, as

d approaches zero, a cyclic quadrilateral converges into a triangle \triangle A'B'C', and the formulas above simplify to the analogous triangle formulas. Relabeling to match the convention for triangles, in the limit a' = b, b' = c, c' = a, \alpha' = \alpha + \delta - \pi = \pi - \theta, \beta' = \beta, and \gamma' = \gamma.

Notes and References

1. Ernest Julius Wilczynski, Plane Trigonometry and Applications, Allyn and Bacon, 1914, page 105