En la geometría del triángulo , la ley de la cotangente es una relación entre las longitudes de un , b y c de los lados de un triángulo y la cotangente de sus ángulos mitadesα2, β2 y γ2 :
donde p =a + b + c2denota el medio perímetro y r el radio del círculo inscrito .
Corta el triángulo (ver Fig.2) en seis triángulos rectángulos , simétricos de dos en dos con respecto a las bisectrices y los lados ( AM , r , x ) , ( BM , r , y ) y ( CM , r , z ) , con x + y = c , y + z = a y z + x = b . Entonces, 2 x + a = 2 x + y + z = b + c entonces x =b + c - a2= p - por lo tanto cot ( α / 2) =Xr = p - ar Entonces cuna ( α / 2)p - a = 1r. Igualmente,cuna ( β / 2)p - b = 1r y cuna ( γ / 2)p - c = 1r.
De la ley de las cotangentes deducimos una expresión para el radio r del círculo inscrito, en función de las longitudes de los lados (y su media suma p ):
De hecho, la suma de los ángulos α2, β2 y γ2 Es igual a π2por lo tanto su cotangente es cero, es decir (según la fórmula de adición de las cotangentes ) que el producto y la suma de las cotangentes de estos tres ángulos son iguales, por lo tanto
de ahí la expresión anunciada.
Dado que (ver Fig. 2) el área del triángulo es S = rp , esta expresión de r es equivalente a la fórmula de Heron :