MathDB
2013 PUMaC Team 16

Source:

November 24, 2013
trigonometryalgebrapolynomialinequalitiesinduction

Problem Statement

Is cos1\cos 1^\circ rational? Prove.