MathNet 2012 Câu hỏi 48

Các số thực $x,y\in(0,\pi)$ thỏa mãn
$$\cos2x\cos y-\cos2y\cos x=\cos y-\cos x.$$
Chứng minh rằng $x=y$.