MathDB
Trigonometric equation

Source:

September 1, 2010
trigonometrynumber theoryrelatively primealgebraequationIMO ShortlistIMO Longlist

Problem Statement

Show that the numbers tan(rπ15)\tan \left(\frac{r \pi }{15}\right), where rr is a positive integer less than 1515 and relatively prime to 1515, satisfy x892x6+134x428x2+1=0.x^8 - 92x^6 + 134x^4 - 28x^2 + 1 = 0.