sin(a-pai/4)*sin(a+pai/4)
=(1/2)[cos(a-pai/4-a-pai/4)-cos(a-pai/4+a+pai/4]
=(1/2)[cos(-pai/2)-cos(2a)]
=(1/2)(0-cos2a)
=-(cos2a)/2