>>793
そこからなぜ2cos(2x-3)になるのでしょうか…