総延長30万キロの列車は、円周方向にローレンツ短縮があり、回転系の上の円周方向の列車は、
線路の慣性系からみて、総延長15万キロ短縮する。

線路の慣性系)から見た円形の線路の形が保存するので、 ←X
運動系からみたとき空間が歪んでいるので←〇

列車からみた円周は、15万キロに短くなる。

また1周にかかる時間がTだとすれば
T'=T/γ＝0.5T
でなければならない