>>58
補足
定常回転してる円盤上の円周の長さを、静止系からローレンツ変換して求めるには円周上が同時刻でなければ、円周の長さが定義できないことぐらいキミにもわかるよな。