回転変換が直線を直線に移すことから
三角関数の加法定理は導ける