MathCastle
ChallengeSuperchallengeAdvanced Number Theory

Advanced Number Theory · Superchallenge problem

Real numbers xx and yy satisfy sin⁡x+sin⁡y=1\sin x+\sin y=1 and cos⁡x+cos⁡y=32\cos x+\cos y=\dfrac32. Then cos⁡(x−y)=mn\cos(x-y)=\dfrac{m}{n} in lowest terms. Find m+nm+n.