Định lý cotang
Trong lượng giác, định lý cotang biểu diễn mối quan hệ giữa các cạnh, các góc của một tam giác và bán kính đường tròn nội tiếp của tam giác đó.

Định lý cotang phát biểu rằng, nếu biết:
là bán kính đường tròn nội tiếp và 
là nửa chu vi của tam giác thì:

Điều đó dẫn tới

