如果一个event发生在A观测者的坐标系下是(x,t),B观测者的坐标系与A观测者的坐标系曾在一个原点,但以速度u向右运动,那么B观测者测到的event坐标是(x’, t’)。在伽利略变换下(经典力学),我们可以得到:
x’=x-ut
t’=t
x=x’+ut
但是我们现在知道在光速恒定的情况下
x’=γ(x-ut) (1)
x=γ(x’+ut’) (2)
且x=ct, x’=ct’ (3)
我们把1,2式左右相乘,再代入3式,求出:
γ=1/(1-u^2/c^2)^½ (4),然后我们再把4式代回 (1)式,得到:
x’=(x-ut)/(1-u^2/c^2)^½. (5)
5式就是洛伦兹变换公式之一。从它可以看出A与B间的相对速度u不能大于c(光速),如果大于c,根号里的(^½)式子就会小于零,没有实数解。(QED)