>>296
sinの半角公式
sin(x)cos(x)=(sin(2x))/2