（其中formula_14表示时间坐标乘以光速c）决定的，每个函数都依赖于固有时formula_15。
时间膨胀.从时间膨胀中我们得知其中formula_18是洛伦兹因子，定义为而formula_20是经典速度矢量的欧几里德模：
四维速度的定义.一个四维速度是对应世界线的四维切向矢量，四维速度的世界线formula_22定义为其中formula_24是原时。由于光速在任意惯性系下保持不变，无法找到光子静止的惯性系，因此，对于光子而言，for