我们希望用另一个惯性系
的坐标
和
来表示惯性系
的坐标
和
。我们将假设这两个系满足以下条件
- 它们的空间时间坐标原点重合(
与
标记相同的时空位置),
- 它们的空间轴平行,并且
相对于
以恒定速度
运动。
我们目前知道的是,在
中以恒定速度运动的任何物体,都会在
中以恒定速度运动。因此,变换
将
中的直线映射到
中的直线。特别是,
的坐标系将被映射到
中的直线。这告诉我们,虚线坐标是实线坐标的线性组合,

We also know that the transformation from
to
can only depend on
so
and
are functions of
Our task is to find these functions. The real-valued functions
and
actually can depend only on
so
and
A vector function depending only on
must be parallel (or antiparallel) to
and its magnitude must be a function of
We can therefore write
and
(It will become clear in a moment why the factor
is included in the definition of
) So,

让我们设置
等于
这意味着
由于我们关注的是静止在
中的物体的轨迹,
必须是常数。 因此,

让我们写下逆变换。 由于
相对于
以速度
运动,它是

为了方便我们,我们现在选择空间轴,使得
然后上述两个(相互逆)变换简化为


将第一个变换代入第二个,我们得到


-



第一个方程告诉我们
以及 
第二个告诉我们
以及 
结合
和
(考虑到
),我们得到 
使用
消去
,我们得到
和 
由于最后两个等式中的第一个意味着
,我们从第二个得到 
告诉我们
实际上必须等于 1,因为我们假设两个坐标系的坐标轴平行(而不是反平行)。
有了
和
得到
求解
关于
,我们得到
和
的表达式,它们完全取决于 

改进很大!
为了找到剩余的函数
,我们考虑第三个惯性系
它相对于
以速度
运动。将从
到
的变换结合起来,

以及从
到
的变换,

我们得到从
到
的变换。
![{\displaystyle t''=a(v)\left[a(w)\,t+{1-a^{2}(w) \over a(w)\,w}x\right]+{1-a^{2}(v) \over a(v)\,v}{\Bigl [}a(w)\,x-a(w)\,wt{\Bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aac5ef850e58cf4313f158ff823495cfda63278d)
-
![{\displaystyle =\underbrace {\left[a(v)\,a(w)-{1-a^{2}(v) \over a(v)\,v}a(w)\,w\right]} _{\textstyle \star }t+{\Bigl [}\dots {\Bigr ]}\,x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f598d3a652be5ce24fbf91ac01439a8d4772177d)
![{\displaystyle x''=a(v){\Bigl [}a(w)\,x-a(w)\,wt{\Bigr ]}-a(v)\,v\left[a(w)\,t+{1-a^{2}(w) \over a(w)\,w}x\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d163387fa694115abbe60fb231559ed50fe5046)
-
![{\displaystyle =\underbrace {\left[a(v)\,a(w)-a(v)\,v{1-a^{2}(w) \over a(w)\,w}\right]} _{\textstyle \star \,\star }x-{\Bigl [}\dots {\Bigr ]}\,t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae3bd80d12d1822ff47c0e945207167ce442828d)
从
到
的直接转换必须与从
到
以及从
到
的形式相同,即

其中
是
相对于
的速度。比较标有星号的系数,可以得到两个关于
的表达式,当然这两个表达式必须相等

由此可知
这告诉我们

是一个通用常数。将第一个等式解关于
可得

这使得我们可以将变换

转换为以下形式

奏响号角!我们已经成功地将五个未知函数简化为一个常数。