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.