特殊相対論での長さについてのアプローチでは、
1）四次元長の普遍性で示す方法
　(Δx')^2-(cΔt')^2=(Δx)^2-(cΔt)^2
を利用して、どちらかのΔt=一定でのΔxを示ｂｷ。

2）計量を用いて積分する方法
x'=γ(x-βct)
ct'=γ(-βx+ct)
であれば、dt=0で、
dx'=γdx
dt'=-γβ/c dx
であるから必要な長さ、時間経過は簡単に計算できる。