PUMaC 2013 Team Problem 16

Is \cos 1^{\circ} rational? Prove.