Special Relativity
Special relativity rests on two postulates: the laws of physics are the same in every inertial frame, and the speed of light is the same for all observers no matter how fast they move.[1] That second point sounds harmless but is radical: to keep light's speed fixed for everyone, space and time must themselves bend. The consequences are time dilation (moving clocks run slow) and length contraction (moving objects shorten) — and, famously, the equivalence of mass and energy, . None of it shows up at everyday speeds; it only becomes dramatic as you approach .
The cleanest way to see why time itself must stretch is a light clock — a pulse bouncing between a floor and a ceiling mirror. Watch the same clock from the train and from the ground:
Both pulses move at the same speed. On the train the light just goes up and down; to someone watching the train rush past, it has to cover the diagonal — a longer trip for the very same tick. That extra distance is time dilation. Crank the speed up and watch the ground clock fall further behind.
Time dilation falls straight out of that longer diagonal.
Give the clock height . In the train's frame one tick — up and back — is light covering at speed , so the proper time of a tick is
From the ground the train moves at , so during ground time it advances while the light travels the two diagonals. Each diagonal has height and half the horizontal shift, so the light's total path length obeys
Square and gather the terms:
Divide inside the root by and use :
So one tick of the moving clock, , is seen from the ground as the longer time — time dilation, forced by nothing more than "light has the same speed for everyone."
The Lorentz transformation generalises this to all coordinates. For a frame moving at ,
Term by term: is the ordinary shift of a moving origin; the in front is the stretch we just derived; and the buried in the time equation is the genuinely new piece — it mixes position into time, which is exactly why two events that are simultaneous for one observer need not be for another.