Starting with a + b + c = pi, (angle sum of triangle)
-a/2 - b/2 - c/2 = -pi/2
(pi/2 - a/2) + (pi/2 - b/2) - c/2 = pi/2
tan[(pi/2 - a/2) + (pi/2 - b/2)] = tan(c/2 + pi/2)
= tan(pi/2 -(-c/2))
= cot(-c/2)
=-cot(c/2)
LHS=
cot(a/2) + cot(b/2)
1 - cot(a/2).cot(b/2)
cot(a/2) + cot(b/2)=-cot(c/2){1 - cot(a/2).cot(b/2)}
cot(a/2) + cot(b/2)=-cot(c/2) + cot(a/2).cot(b/2).cot(c/2)
cot(a/2) + cot(b/2) + cot(c/2) = cot(a/2).cot(b/2).cot(c/2) #