ローレンツ変換
長さの収縮を参照