三角関数の加法定理：sin(x)編