From: John Nagelson on
Hi, I'd be grateful for some gentle help with the following bit of
trig manipulation.

In the context of Brocard points, it appears that..

if sin^3(x) = sin(A-x)sin(B-x)sin(C-x) and A+B+C=pi,

then cot(x) = cot(A) + cot(B) + cot(C).

Trying to derive the equation from the two conditions, I got horribly
bogged down.
What's the easiest way to do it?

Best regards,

John