$$\frac{\cos(2x)+\cos(2y)}{\sin(x)+\cos(y)} = 2\cos(y)-2\sin(x)$$
La pregunta comprobar la identidad. Me trató de simplificar la primera mitad, pensé tal vez podría ampliar y simplificar las fórmulas de ángulo doble.
Cambia a $$\cos(x)^2 - sin(x)^2 + cos(y)^2 - sin(y)^2$ $ e intentado algunas cosa como eso, pero estoy atrapado en ese momento. ¿Estoy aún en el camino correcto aquí, o forma de?