Loi des cotangentes
En géométrie du triangle, la loi des cotangentes est une relation entre les longueurs a, b et c des côtés d'un triangle et les cotangentes de ses angles moitiés α2, β2 et γ2 :
où p = a + b + c2 désigne le demi-périmètre et r le rayon du cercle inscrit.
Démonstration
modifierDé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 – a2 = p – a donc cot(α/2) = xr = p – ar donc cot(α/2)p – a = 1r. De même, cot(β/2)p – b = 1r et cot(γ/2)p – c = 1r.
Corollaire
modifierOn 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 γ2 est é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
d'où l'expression annoncée.
Puisque (cf. Fig. 2) l'aire du triangle est S = rp, cette expression de r équivaut à la formule de Héron :