ローレンツ変換の矛盾がやばいその９

>>627
dτ^2=dt^2-(dx^2+dy^2+dz^2)/c^2
= dt’^2-(dx’^2+dy’^2+dz’^2)/c^2

こうすれば分かりますか？
同じ事象を考えていたとしても、dt=dt’とか、dx=dx’になる必要はないですね