>>797
c^2dt'^2=(c^2-v^2)dt^2

dt’の係数はc^2になってますけど