IMO 1970 LL ROM43

Prove that the equation

IMO 1970 LL ROM43

Origin: ROM

Problem

Prove that the equation x3 −3 tan \pi 12x2 −3x + tan \pi 12 = 0 has one root x1 = tan \pi 36, and find the other roots.