>>110
係数なんてのは符号以外どうでもいいので
適当にまとめてしまって
dv/dt = - (v^2 -a^2)
の形の微分方程式を解くということになる。
これは、(v^2 -a^2) =(v+a)(v-a)で両辺を割って
1/(v^2 -a^2) は部分分数分解すればvで積分できる。