Question 552128
<pre>
This is one tough identity! It requires very unusual substitutions,
additions and subtractions of the same quantities.

2sin(x+y)sin(x-y) = cos(2y)-cos(2x)

                  = cos(y+y) - cos(x+x)
             
                  = cos(y+y+x-x) - cos(x+x+y-y)

                  = cos[(x+y)-(x-y)] - cos[(x+y)+(x-y)]
<font size = 1>
     Use the identities cos(A&#8723;B)=cos(A)cos(B)ąsin(A)sin(B)
     with A=(x+y), B=(x-y)</font>

= [cos(x+y)cos(x-y)+sin(x+y)sin(x-y)] - [cos(x+y)cos(x-y)-sin(x+y)sin(x-y)]    

= cos(x+y)cos(x-y) + sin(x+y)sin(x-y) - cos(x+y)cos(x-y) + sin(x+y)sin(x-y)

= <s>cos(x+y)cos(x-y)</s> + sin(x+y)sin(x-y) - <s>cos(x+y)cos(x-y)</s> + sin(x+y)sin(x-y)

                 = 2sin(x+y)(sin(x-y)

Edwin</pre>