The spacetime interval between two events E1(x1,y1,z1,t1) and E2(x2,y2,z2,t2) is defined
as
If △s is in reference frame S, then △s′ is in reference frame S′ moving at a velocity u along the
x-axis. Therefore, to show that the spacetime interval is invariant under a Lorentz transformation
we must show
with the reference frames related by The Lorentz transformation
The change in coordinates between events in the S′ frame is then given by
Squaring the terms yield
Substituting these terms into the spacetime interval gives
Adding the first two terms with common denominators together yields
Pulling out a −u2∕c2
Factoring out a c2(△t)2 − (△x)2 in the numerator
Finally, canceling terms gives
Hence, the spacetime interval is invariant under a Lorentz transformation.
References
[1] Carroll, Bradley, Ostlie, Dale, An Introduction to Modern Astrophysics.
Addison-Wesley Publishing Company, Reading, Massachusetts, 1996.
[2] Cheng, Ta-Pei, Relativity, Gravitation and Cosmology. Oxford University Press,
Oxford, 2005.
[3] Einstein, Albert, Relativity: The Special and General Theory. 1916.