光時計をロケットの進行方向に沿って設置し, 光線をロケットの先端と後端を往復させ, ロケットの長さを測るとする.
まずロケットに固定された 系において, ロケットの長さ は往復時間を とすると
となる.
これを 系で見てみよう. 以下の - グラフで分かるように, 光時計は運動しているために往路と復路で経過時間が異なる.
まず往路を計算しよう. 系におけるロケットの長さを , 往路の経過時間を として
これを について解けば
同様に復路の経過時間を とすれば
なので, について解き
こうして 系における光線の往復時間 は
よってこれを について解けば
(1), (2) 及び 系と 系の間における時間の遅れの関係式 より
を得る.
は物体が静止しているときの長さであり, なので, 運動物体の長さは静止時よりも縮んでいることが分かる.