>>398
>ローレンツ変換の導出は任意の(ct,x)を想定して行うわけですよね。

そうだな。
しかしそれは、ある点(ct,x)に対するローレンツ変換を求めることではない。


あと大したことじゃないけど訂正。
ct' = γ(βx - ct)
→ct' = γ(-βx + ct)