Now,
given A+B+C = 180°
implies A + B = 180°- C
implies tan(A + B) = tan(180°- C)
using trigonometry formulae
tan(A + B) = -tan(C)
therefore
[tanA +tanB] / [1-tanAtanB ] = -tanC
cross multiplying
tanA +tanB = -tanC[1-tanAtanB ]
tanA +tanB = -tanC +tanAtanBtanC
or
tanA +tanB + tanC = tanAtanBtanC
divide each term with tanAtanBtanC we get
cot A cotB + cotBcotC +cotC cotA=1
Regards