Law of tangents

In trigonometry, the law of tangents or tangent rule^[1] is a statement about the relationship between the tangents of two angles of a triangle and the lengths of the opposing sides.

In Figure 1, $a$ , $b$ , and $c$ are the lengths of the three sides of the triangle, and $α$ , $β$ , and $γ$ are the angles opposite those three respective sides. The law of tangents states that

{\frac {a-b}{a+b}}={\frac {\tan {\tfrac {1}{2}}(\alpha -\beta )}{\tan {\tfrac {1}{2}}(\alpha +\beta )}}.

The law of tangents, although not as commonly known as the law of sines or the law of cosines, is equivalent to the law of sines, and can be used in any case where two sides and the included angle, or two angles and a side, are known.

Proof

To prove the law of tangents one can start with the law of sines:

{\frac {a}{\sin \alpha }}={\frac {b}{\sin \beta }}=d,

where ⁠ $d$ ⁠ is the diameter of the circumcircle, so that ⁠ $a=d\sin \alpha$ ⁠ and ⁠ $b=d\sin \beta$ ⁠.

It follows that

{\frac {a-b}{a+b}}={\frac {d\sin \alpha -d\sin \beta }{d\sin \alpha +d\sin \beta }}={\frac {\sin \alpha -\sin \beta }{\sin \alpha +\sin \beta }}.

Using the trigonometric identity, the factor formula for sines specifically

\sin \alpha \pm \sin \beta =2\sin {\tfrac {1}{2}}(\alpha \pm \beta )\,\cos {\tfrac {1}{2}}(\alpha \mp \beta ),

we get

{\frac {a-b}{a+b}}={\frac {2\sin {\tfrac {1}{2}}(\alpha -\beta )\,\cos {\tfrac {1}{2}}(\alpha +\beta )}{2\sin {\tfrac {1}{2}}(\alpha +\beta )\,\cos {\tfrac {1}{2}}(\alpha -\beta )}}={\frac {\sin {\tfrac {1}{2}}(\alpha -\beta )}{\cos {\tfrac {1}{2}}(\alpha -\beta )}}{\Bigg /}{\frac {\sin {\tfrac {1}{2}}(\alpha +\beta )}{\cos {\tfrac {1}{2}}(\alpha +\beta )}}={\frac {\tan {\tfrac {1}{2}}(\alpha -\beta )}{\tan {\tfrac {1}{2}}(\alpha +\beta )}}.

As an alternative to using the identity for the sum or difference of two sines, one may cite the trigonometric identity

\tan {\tfrac {1}{2}}(\alpha \pm \beta )={\frac {\sin \alpha \pm \sin \beta }{\cos \alpha +\cos \beta }}

(see tangent half-angle formula).

Application

The law of tangents can be used to compute the angles of a triangle in which two sides $a$ and $b$ and the enclosed angle $γ$ are given.

From

\tan {\tfrac {1}{2}}(\alpha -\beta )={\frac {a-b}{a+b}}\tan {\tfrac {1}{2}}(\alpha +\beta )={\frac {a-b}{a+b}}\cot {\tfrac {1}{2}}\gamma

compute the angle difference $α - β = Δ$ ; use that to calculate $β = (180° - γ - Δ)/2$ and then $α = β + Δ$ .

Once an angle opposite a known side is computed, the remaining side $c$ can be computed using the law of sines.

In the time before electronic calculators were available, this method was preferable to an application of the law of cosines $c = \sqrt a 2 + b 2 - 2 ab cos γ$ , as this latter law necessitated an additional lookup in a logarithm table, in order to compute the square root. In modern times the law of tangents may have better numerical properties than the law of cosines: If $γ$ is small, and $a$ and $b$ are almost equal, then an application of the law of cosines leads to a subtraction of almost equal values, incurring catastrophic cancellation.

Spherical version

On a sphere of unit radius, the sides of the triangle are arcs of great circles. Accordingly, their lengths can be expressed in radians or any other units of angular measure. Let $A$ , $B$ , $C$ be the angles at the three vertices of the triangle and let $a$ , $b$ , $c$ be the respective lengths of the opposite sides. The spherical law of tangents says^[2]

{\frac {\tan {\tfrac {1}{2}}(A-B)}{\tan {\tfrac {1}{2}}(A+B)}}={\frac {\tan {\tfrac {1}{2}}(a-b)}{\tan {\tfrac {1}{2}}(a+b)}}.

History

The law of tangents was discovered by Arab mathematician Abu al-Wafa in the 10th century.^[3]

Ibn Muʿādh al-Jayyānī also described the law of tangents for planar triangles in the 11th century.^[4]

The law of tangents for spherical triangles was described in the 13th century by Persian mathematician Nasir al-Din al-Tusi (1201–1274), who also presented the law of sines for plane triangles in his five-volume work Treatise on the Quadrilateral.^[4]^[5]

Cyclic quadrilateral

A generalization of the law of tangents holds for a 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$ .Then:^[6]

{\begin{aligned}{\frac {(a-c)(b-d)}{(a+c)(b+d)}}={\frac {\tan {\tfrac {1}{2}}(\alpha -\beta )}{\tan {\tfrac {1}{2}}(\alpha +\beta )}}.\end{aligned}}

This formula reduces to the law of tangents for a triangle when $c=0$ .

Notes

^ See Eli Maor, Trigonometric Delights, Princeton University Press, 2002.
^ Daniel Zwillinger, CRC Standard Mathematical Tables and Formulae, 32nd Edition, CRC Press, 2011, page 219.
^ Katz, Victor J. (2017-03-21). A History of Mathematics: An Introduction. Pearson. p. 298. ISBN 978-0-13-468952-4.
^ ^a ^b Marie-Thérèse Debarnot (1996). "Trigonometry". In Rushdī Rāshid, Régis Morelon (ed.). Encyclopedia of the history of Arabic science, Volume 2. Routledge. p. 182. ISBN 0-415-12411-5.
^ Q. Mushtaq, JL Berggren (2002). "Trigonometry". In C. E. Bosworth, M.S.Asimov (ed.). History of Civilizations of Central Asia, Volume 4, Part 2. Motilal Banarsidass. p. 190. ISBN 81-208-1596-3.
^ José García, Emmanuel Antonio (2024), "A Generalization of the Law of Tangents", Mathematics Magazine, 97 (3): 274–275., retrieved 1 May 2024

[1] See Eli Maor, Trigonometric Delights, Princeton University Press, 2002.

[2] Daniel Zwillinger, CRC Standard Mathematical Tables and Formulae, 32nd Edition, CRC Press, 2011, page 219.

[3] Katz, Victor J. (2017-03-21). A History of Mathematics: An Introduction. Pearson. p. 298. ISBN 978-0-13-468952-4.

[Debarnot-4] Marie-Thérèse Debarnot (1996). "Trigonometry". In Rushdī Rāshid, Régis Morelon (ed.). Encyclopedia of the history of Arabic science, Volume 2. Routledge. p. 182. ISBN 0-415-12411-5.

[Bosworth-5] Q. Mushtaq, JL Berggren (2002). "Trigonometry". In C. E. Bosworth, M.S.Asimov (ed.). History of Civilizations of Central Asia, Volume 4, Part 2. Motilal Banarsidass. p. 190. ISBN 81-208-1596-3.

[6] José García, Emmanuel Antonio (2024), "A Generalization of the Law of Tangents", Mathematics Magazine, 97 (3): 274–275., retrieved 1 May 2024

[1]

[2]

[3]

[4]

[5]

[6]