Problem

Source: 2005 Estonia National Olympiad Final Round grade 11 p1

Tags: trigonometry, system of equations, algebra



Real numbers $x$ and $y$ satisfy the system of equalities $$\begin{cases} \sin x + \cos y = 1 \\ \cos x + \sin y = -1 \end{cases}$$Prove that $\cos 2x = \cos 2y$.