>>873
vを定数だと思って積分する。
cosの倍角公式を使う