Ta có: cotA = cosAsinA
Áp dụng hệ quả định lí côsin, ta có: cosA = b2+c2−a22.b.c
Lại có: sinA = 2Sb.c
⇒ cotA = b2+c2−a24S
Tương tự: cotB = a2+c2−b24S; cotC = a2+b2−c24S
⇒ cotA + cotB + cotC = b2+c2−a24S + a2+c2−b24S + a2+b2−c24S = a2+b2+c24S
mà S = abc4R
⇒ cotA + cotB + cotC = R.(a2+b2+c2)abc (đpcm)