# Law of cotangents

A triangle, showing the "incircle" and the partitioning of the sides. The angle bisectors meet at the incenter, which is the center of the incircle.
By the above reasoning, all six parts are as shown.

Template:Trigonometry In trigonometry, the law of cotangents[1] is a relationship among the lengths of the sides of a triangle and the cotangents of the halves of the three angles.

Just as three quantities whose equality is expressed by the law of sines are equal to the diameter of the circumscribed circle of the triangle (or to its reciprocal, depending on how the law is expressed), so also the law of cotangents relates the radius of the inscribed circle of a triangle (the inradius) to its sides and angles.

## Statement

Using the usual notations for a triangle (see the figure at the upper right), where ${\displaystyle a,b,c}$ are the lengths of the three sides, ${\displaystyle A,B,C}$ are the vertices opposite those three respective sides, ${\displaystyle \alpha \,}$, ${\displaystyle \beta \,}$, ${\displaystyle \gamma \,}$ are the corresponding angles at those vertices, ${\displaystyle s}$ is the semi-perimeter, that is, ${\displaystyle s=(a+b+c)/2}$, and ${\displaystyle r}$ is the radius of the inscribed circle, the law of cotangents states that

${\displaystyle {\frac {\cot(\alpha /2)}{s-a}}={\frac {\cot(\beta /2)}{s-b}}={\frac {\cot(\gamma /2)}{s-c}}={\frac {1}{r}}\,}$

and furthermore that the inradius is given by

${\displaystyle r={\sqrt {\frac {(s-a)(s-b)(s-c)}{s}}}\,.}$

## Proof

In the upper figure, the points of tangency of the incircle with the sides of the triangle break the perimeter into 6 segments, in 3 pairs. In each pair the segments are of equal length. For example, the 2 segments adjacent to vertex A are equal. If we pick one segment from each pair, their sum will be the semiperimeter s. An example of this is the segments shown in color in the figure. The two segments making up the red line add up to a, so the blue segment must be of length s − a. Obviously, the other five segments must also have lengths s − a, s − b, or s − c, as shown in the lower figure.

By inspection of the figure, using the definition of the cotangent function, we have

${\displaystyle \cot(\alpha /2)={\frac {s-a}{r}}\,}$

and similarly for the other two, proving the first assertion.

For the second one, we start from the general addition formula:

${\displaystyle \cot(u+v+w)={\frac {\cot u+\cot v+\cot w-\cot u\cot v\cot w}{1-\cot u\cot v-\cot v\cot w-\cot w\cot u}}}$
${\displaystyle \cot(\alpha /2)\cot(\beta /2)\cot(\gamma /2)=\cot(\alpha /2)+\cot(\beta /2)+\cot(\gamma /2)}$

Substituting the values obtained in the first part, we get:

${\displaystyle {\frac {s-a}{r}}{\frac {s-b}{r}}{\frac {s-c}{r}}={\frac {s-a}{r}}+{\frac {s-b}{r}}+{\frac {s-c}{r}}}$

But the right member evals to ${\displaystyle s/r}$, giving the value of ${\displaystyle r^{2}}$ and proving the second assertion.

## Some proofs using the law of cotangents

A number of other results can be derived from the law of cotangents.

{\displaystyle {\begin{aligned}S&=r(s-a)+r(s-b)+r(s-c)=r(s-a+s-b+s-c)\\[8pt]&=r(3s-(a+b+c))=r(3s-2s)=rs\\[8pt]\end{aligned}}}
This gives the result: ${\displaystyle S={\sqrt {s(s-a)(s-b)(s-c)}}\,}$ as required.
${\displaystyle {\frac {\sin(\alpha /2-\beta /2)}{\sin(\alpha /2+\beta /2)}}={\frac {\cot(\beta /2)-\cot(\alpha /2)}{\cot(\beta /2)+\cot(\alpha /2)}}={\frac {a-b}{2s-a-b}}.}$
This gives the result: ${\displaystyle {\dfrac {a-b}{c}}={\dfrac {\sin(\alpha /2-\beta /2)}{\cos(\gamma /2)}}}$ as required.
{\displaystyle {\begin{aligned}&{\frac {\cos(\alpha /2-\beta /2)}{\cos(\alpha /2+\beta /2)}}={\frac {\cot(\alpha /2)\cot(\beta /2)+1}{\cot(\alpha /2)\cot(\beta /2)-1}}\\[6pt]={}&{\frac {\cot(\alpha /2)+\cot \left(\beta /2\right)+2\,\cot(\gamma /2)}{\cot(\alpha /2)+\cot(\beta /2)}}={\frac {4\,s-a-b-2\,c}{2\,s-a-b}}.\end{aligned}}}
Here, an extra step is required to transform a product into a sum, according to the sum/product formula.
This gives the result: ${\displaystyle {\dfrac {b+a}{c}}={\dfrac {\cos(\alpha /2-\beta /2)}{\sin(\gamma /2)}}}$ as required.

## References

1. The Universal Encyclopaedia of Mathematics, Pan Reference Books, 1976, page 530. English version George Allen and Unwin, 1964. Translated from the German version Meyers Rechenduden, 1960.
• {{#invoke:citation/CS1|citation

|CitationClass=book }}