En géométrie du triangle, la loi des cotangentes est une relation entre les longueursa, b et c des côtés d'un triangle et les cotangentes de ses angles moitiés α/2, β/2 et γ/2 :
Découpons le triangle (cf. Fig. 2) en six triangles rectangles, symétriques deux par deux par rapport aux bissectrices et de côtés (AM, r, x), (BM, r, y) et (CM, r, z), avec x + y = c, y + z = a et z + x = b. Alors, 2x + a = 2x + y + z = b + c donc x = b + c – a/2 = p – a donc cot(α/2) = x/r = p – a/r donc cot(α/2)/p – a = 1/r.
De même, cot(β/2)/p – b = 1/r et cot(γ/2)/p – c = 1/r.
Corollaire
On déduit de la loi des cotangentes une expression du rayon r du cercle inscrit, en fonction des longueurs des côtés (et de leur demi-somme p) :
En effet, la somme des angles α/2, β/2 et γ/2est égale à π/2 donc sa cotangente est nulle, c'est-à-dire (d'après la formule d'addition pour les cotangentes) que le produit et la somme des cotangentes de ces trois angles sont égaux, donc