−2 sin ( (x+y)/2 ) * sin ( (x-y) / 2)
=−2 sin ( x/2 +y/2 ) * sin ( x/2 -y / 2)
=-2 * (sin(x/2)*cos(y/2)-cos(x/2)*sin(y/2) ) * (sin(x/2)*cos(y/2)+cos(x/2)*sin(y/2)
mit 3. binomi. Formel
=-2 * ( (sin(x/2)*cos(y/2))2 - (cos(x/2)*sin(y/2) )2 )
=-2 * ( (sin(x/2)2*cos(y/2)2 - (cos(x/2)2*sin(y/2)2 )
sin(x/2)2 durch 1-cos(x/2)2 ersetzen und sin(y/2)2 durch 1-cos(y/2)2
=-2 * ( (1 - cos(x/2)2 ) *cos(y/2)2 - (cos(x/2)2* ( 1-cos(y/2)2 ) )
= -2 * ( cos(y/2)2 - cos(x/2)2 *cos(y/2)2 - cos(x/2)2 + cos(y/2)2 * cos(x/2)2 )
= -2 * ( cos(y/2)2 - cos(x/2)2 )
= 2 * cos(x/2)2 - 2 * cos(x/2)2
und mit der Formel für cos(2a) = 2cos(a)2 - 1
bzw. 2 cos(a)2 = cos(2a) + 1
die auch aus dem Add.theorem folgt gibt das
= (cos(x)+1) - (cos(y)+1) = cos(x) - cos(y) .