>>511
なんでそんな自明な事を聞くのだろうかというのは置いておいて
長いまっすぐな線路なら特殊だね

ローレンツ変換ｆ（）は
｜ｔ'｜＝γ｜１　　−ｖ／ｃ＾２｜｜ｔ｜
｜ｒ'｜　　｜−ｖ　１　　　　　｜｜ｒ｜
γ=1/√(1-(v/c)^2)

tについては
ｔ'＝γ（ｔ−ｒｖ／ｃ＾２）
ｔ'＝γｔ−γｒｖ／ｃ＾２
ｔについて解いて
ｔ＝（１／γ）ｔ’＋ｒｖ／ｃ＾２

時間の進み方（固有時間）は（１／γ）ｔ
固有時間からの時刻のずれは（ｒ／ｃ）（ｖ／ｃ）

rについては
ｒ'＝γ（ｒ−ｖｔ）
ｒ'＝γｒ−γｖｔ
rについて解いて
ｒ＝(1/γ)ｒ'＋ｖｔ

固有長さは（１／γ）r
距離のずれはｖｔ