MathDB
Chisinau MO p117 1975 R2 X tan^2 80^o root of x^3 - 33x^2 + 27x - 33 = 0

Source:

March 16, 2021
trigonometryCubic

Problem Statement

Prove that the numbers tan220o,tan240o,tan280o\tan^2 20^o, \tan^2 40^o,\tan^2 80^o are the roots of the equation x333x2+27x33=0x^3 - 33x^2 + 27x - 33 = 0.