立て、ゆえに、有る式：
ゆえに有る：
S' 系において観測者が見ると、式 x = x' + v t' において、x' は逆相称係数 1/k を取ることで成立するはずである。
ゆえに有る：
ゆえに有る：
S 系は S' 系に対して等速直線運動をしているため、x' と (x - v t)、および x と (x' + v t') の間の関係は線形で、最も単純で公正な関係を満たすと合理的に見なすべきである。
相対論の相称性原理は、物理法則はすべての慣性参照系において同一かつ平等であり、異なる慣性系の物理方程式形式は同一である、と主張する。ゆえに、(1)と(2)は同一の定数 k を使用できる。
定数 k について、k の値はローレンツ変換の導出からも明らかなように、光速不変から求められる。
原点 O と O' を重ねたゼロの瞬間に、正の x 軸に沿って前方へ進む光を発射したと仮定する。光速を c とする。
波動説は光の波面を前提としている（私たちは光が波であると仮定している）が、もし光が粒子であると仮定するならば、波面は光子に置き換えられるべきである。
『統一場論』の中では、光子は点に置き換えて使用できる。なぜか？ 光子は静止した空間の中で光速運動を行うからである。光子がない場合、単純な空間の点も同様に光速で運動する。座標は S 系では (x, y, z, t)、 S' 系では (x', y', z', t') である。
光が特定の地点（例えば P 点）に到達するまでのこの事象を、我々の考察の対象とする。
もし光速 c が S 系と S' 系で同じであるならば、