— углы, лежащие напротив, соответственно, сторон
,
— радиус вписанной окружности треугольника и
— полупериметр треугольника.
Тогда справедливы следующие формулы:
,
,
,
или эквивалентно:
.
Словами теорему можно сформулировать так: котангенс половинного угла равен отношению полупериметра минус длина противолежащей стороны указанного угла к радиусу вписанной окружности.
Из теоремы котангенсов может быть получено выражение для радиуса вписанной окружности
. Далее, так как площадь треугольника
, из теоремы котангенсов следует
формула Герона
.
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.