Also per Additionstheorem für den Kosinus hast du
cos(x+y)=cosxcosy−sinxsiny(1)
cos(x−y)=cosxcosy+sinxsiny(2)
(1)−(2) : cos(x+y)−cos(x−y)=−2sinxsiny
Setze nun
u=x+y,v=x−y⇒x=2u+v,y=2u−v
Einsetzen:
cosu−cosv=−2sin(2u+v)sin(2u−v)
Nun folgt mit 0≤v<u≤2π die gewünschte Aussage.
Für das Argument zu sinx>0 auf (0,2π] müsste ich wissen, wie ihr den Sinus definiert hat.