|v| = |v↑| = ∫ d|v↑| = { ∫ d ( v↑・v↑) } ^(1/2) = {∫ (1/2)・2v↑・a↑ dt } ^ (1/2)

ここで条件よりv↑とa↑は常に同じ方向だから内積は