Law of tangents

To prove the law of tangents one can start with the law of sines: : \frac{a}{\sin\alpha} = \frac{b}{\sin\beta} = d, where is the diameter of the circumcircle, so that and . 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\tfrac12(\alpha \pm \beta) \, \cos\tfrac12( \alpha \mp \beta), we get :\frac{a-b}{a+b} = \frac{2\sin\tfrac12(\alpha-\beta) \, \cos\tfrac12(\alpha+\beta)} {2\sin\tfrac12(\alpha+\beta) \, \cos\tfrac12(\alpha-\beta)} = \frac{\sin\tfrac12(\alpha-\beta)} {\cos\tfrac12(\alpha-\beta)} \Bigg/ \frac{\sin\tfrac12(\alpha+\beta)} {\cos\tfrac12(\alpha+\beta)} = \frac{\tan\tfrac12(\alpha-\beta)} {\tan\tfrac12(\alpha+\beta)}. As an alternative to using the identity for the sum or difference of two sines, one may cite the trigonometric identity : \tan \tfrac12 (\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 and and the enclosed angle are given. From : \tan\tfrac12(\alpha-\beta) = \frac{a-b}{a+b} \tan\tfrac12(\alpha+\beta) = \frac{a-b}{a+b} \cot\tfrac12\gamma compute the angle difference ; use that to calculate and then . Once an angle opposite a known side is computed, the remaining side 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 , 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 and 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 , , be the angles at the three vertices of the triangle and let , , be the respective lengths of the opposite sides. The spherical law of tangents says : \frac{\tan\tfrac12(A-B)}{\tan\tfrac12(A+B)} = \frac{\tan\tfrac12(a-b)} {\tan\tfrac12(a+b)}. ==History==

The law of tangents was discovered by the Persian mathematician Abu al-Wafa in the 10th century. Ibn Muʿādh al-Jayyānī also described the law of tangents for planar triangles in the 11th century. ==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: : \begin{align} \frac{(a - c)(b - d)}{(a + c)(b + d)} = \frac {\tan\tfrac12(\alpha - \beta)} {\tan\tfrac12(\alpha + \beta)}. \end{align} This formula reduces to the law of tangents for a triangle when c=0. ==See also==