sin(a+45°)sin(a+15°)+cos(a+45°)cos(a+15°)
=cos(a+45°)cos(a+15°)+sin(a+45°)sin(a+15°)
=cos[(a+45°)-(a+15°)]
=cos(a+45°-a-15°)
=cos30°
=√3/2