Problem

Source: All Russian Olympiad 2017,Day1,grade 11,P1

Tags: number theory, trigonometry



$S=\sin{64x}+\sin{65x}$ and $C=\cos{64x}+\cos{65x}$ are both rational for some $x$. Prove, that for one of these sums both summands are rational too.