MathDB

9

Part of PEN G Problems

Problems(1)

G 9

Source:

5/25/2007
Show that cos⁡π7\cos \frac{\pi}{7} is irrational.
trigonometryalgebrapolynomialIrrational numbers