MathNet 2017-part-05 — 176 problems (EN–VI) Question 112

A number $x$ is chosen so that each of the sums $S = \sin 64x + \sin 65x$ and $C = \cos 64x + \cos 65x$ is a rational number. Prove that in one of these sums, both summands are rational.