|Laws and theorems|
In trigonometry, the law of tangents or tangent rule 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
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.
To prove the law of tangents one can start with the law of sines:
It follows that
Using the trigonometric identity, the factor formula for sines specifically
As an alternative to using the identity for the sum or difference of two sines, one may cite the trigonometric identity
(see tangent half-angle formula).
The law of tangents can be used to compute the missing side and angles of a triangle in which two sides a and b and the enclosed angle γ are given. From
one can compute α − β; together with α + β = 180° − γ this yields α and β; the remaining side c can then 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 = √, 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.
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
The law of tangents for planar triangles was described in the 11th century by Ibn Muʿādh al-Jayyānī.
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.