MathDB

It is known that for some

x{}

and

y{}

the sums

\sin x+ \cos y

and

\sin y + \cos x

are positive rational numbers. Prove that there exist natural numbers

m{}

and

n{}

such that

m\sin x+n\cos x

is a natural number.
Proposed by N. Agakhanov

M2594