sin15°×COS15°=1/2*sin30°是怎么演变过来的