[tex]cot(a+b)=cot(\frac{\pi }{2}-c)=tanc<=>\frac{cota.cotb-1}{cota+cotb}=\frac{1}{cotc}<=>cota.cotb.cotc=cota+cotb+cotc[/tex] (1)
Để cota cotb cot c lập thành CSC thì : [tex]cota+cotc=2cotb[/tex], thay vào (1):
[tex]3cotb=cota.cotb.cotc<=>cota.cotc=3[/tex]