如果cdt=dx，则有c=dx/dt，在另一坐标系内仍有c=dx'/dt'，即仍有cdt'-dx'=0

光的间隔为0

比如A事件发生的同时A发出一束光，在B发生的时候到达B处。
因为同地发生的事情先后顺序在任何参考系都一样，所以任何参考系看都是A事件发生与A发光同时，B事件发生与B收光同时。
所以x=ct，x'=c't'，而光速不变c=c'，因此x²-c²t²=x'²-c²t'²＝0。类光间隔都是0是显然的。非0的间隔也保持不变可能需要先证洛伦兹变换