>>371
ds^2=x^2+y^2+z^2-c^2t^2
があらゆる慣性系で一定
すなわち
x^2+y^2+z^2-c^2t^2 = x'^2+y'^2+z'^2-c^2t'^2
があらゆる慣性系の間で成り立つ

これが特殊相対論の基礎だ