Calculate $x$, if $$\tan(x)=\tan9\tan69\tan33$$
(Using sexagesimal degrees) Since $\tan3x=\tan(60-x)\tan x \tan(60+x)$: \begin{align*} \tan27&=\tan69\tan9\tan51\\ \implies\tan27\tan39&=\tan69\tan9 \end{align*}
So the problem is equivalent to calculating $x$ in $$\tan(x)=\tan27\tan33\tan39$$ But thats all my progress so far. Interestingly enough, the answer is $x=15$. Is there some way tu constructively solve the equation? If not, a straightforward proof of $\tan(15)=\tan9\tan69\tan33$ would be nice too.