>>923
馬鹿で申し訳ないんですけど

(c^2-1)dt'^2+(c^2+1)dx^2-dy'^2-dz'^2

が不変量である根拠ってなくないですか？