ここにはいるはずだ。

具体的に言うとローレンツ変換？
s^2=x^2+y^2+z^2-(ct)^2

この(ct)^2にマイナスが付く理由を教えてくれ