>>37の追加
dx'=0でのdt'は、
dx'=0で
γ dx-γβc dt=0
dx=βc dt
これを
dt'=-γβ/c dx+γdt
に代入すると
dt'=-γβ/c βc dt + γdt
=γ(1-β^2)dt
=1/γ dt

dx'=0で
dt=1/γ dt
となる。