>>592
dτ^2=-ds^2=dt^2-dr^2=dt^2√1-(dr/dt)^2=√(1-V^2)dt^2

とかどっから出てきたんだって感じだけど。

苦しくない?