I think you mean sum of roots = product of roots for the equation with roots Tan A, Tan B and Tan C...I got it out like this, but i'm wondering whether a polynomial proof is possible. The polynomial is degree 3 with roots tan(A/2), tan(B/2), tan(C/2) and sum of roots=product of roots.