A partir de la fin :
2cos(2x)sin(2y) + 1 =
cos(2(x+y)) + cos(2(x-y)) + 1
= cos(2x)cos(2y) - sin(2x)sin(2y)+ cos(2x)cos(2y) + sin(2x)sin(2y) + 1
= 2cos(2x)cos(2y) + 1
= cos(2x)cos(2y) + cos(2x)cos(2y) + 1 (A)
Or cos²(x+y) = 1 + cos(2 x+y) / 2
Donc cos²(x+y) + cos²(x-y) = (cos(2(x+y)) + cos (2(x-y)))/2 + 1
Or cos (a+b) + cos (a-b) = 2 cosacosb
D'où cos²(x+y) + cos²(x-y) = cos(2x)cos(2y) + 1
Donc A = cos²(x+y) + cos² (x-y) + cos(2x)cos(2y)
En partant de la fin c'était chiant 