MathDB
Rational cosin and sin

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

May 1, 2017
number theorytrigonometry

Problem Statement

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