2 * COS ((X+Y)/2)  *  COS ((X-Y)/2) 
= 2 * COS (X/2+Y/2)  *  COS (X/2-Y/2) 
= 2 * ( COS (X/2) * COS(Y/2) -  SIN (X/2) * SIN(Y/2) ) *( COS (X/2) * COS(Y/2) +  SIN (X/2) * SIN(Y/2) )
3. binomi. Formel
=2 * ( COS2 (X/2) * COS2(Y/2) -  SIN2 (X/2) * SIN2(Y/2) )
= 2* ( COS2 (X/2) * COS2(Y/2) -  (1 - COS2 (X/2)) * (1 -  COS2(Y/2) ) )
= 2* ( COS2 (X/2) * COS2(Y/2) -  (1 - COS2 (X/2)  -  COS2(Y/2) + COS2 (X/2) * COS2(Y/2)  )  )
= 2* ( COS2 (X/2) * COS2(Y/2) -  1 + COS2 (X/2)  +  COS2(Y/2) - COS2 (X/2) * COS2(Y/2)  )  
= 2* ( -  1 + COS2 (X/2)  +  COS2(Y/2)  )  
=  -  2 + 2*COS2 (X/2)  +  2*COS2(Y/2)   
jetzt die Formel für den halben Winkel anwenden
             cos( x/2) = ±√ (  ( 1 -cos(a) ) / 2   )   gibt 
=  -  2 + 2*(1+COS (X)) /2  +  2*(1+COS (y)) /2 
= COS(X) + COS(Y)   q.e.d.