MathDB
Problems
Contests
National and Regional Contests
PEN Problems
PEN G Problems
9
G 9
G 9
Source:
May 25, 2007
trigonometry
algebra
polynomial
Irrational numbers
Problem Statement
Show that
cos
π
7
\cos \frac{\pi}{7}
cos
7
π
is irrational.
Back to Problems
View on AoPS