Use the Minkowski metric and coordinates . At a point, a smooth path is timelike if its tangent is a timelike vector, here meaning . It is lightlike if its tangent is a null vector: the same expression is zero and the tangent is nonzero. In these coordinates, a future-directed timelike tangent has spatial speed less than ; a lightlike tangent has speed .
For increasing parameter along a future-directed timelike curve, the elapsed proper time is
or when coordinate time is the parameter. A Lorentz transformation satisfies , so replacing by leaves the expression under the square root unchanged. Hence the integral is invariant. A monotone change of path parameter also leaves it unchanged by the ordinary substitution rule.
For the collinear boosts specified in the question, multiplication of the two -by- blocks and the hyperbolic addition formulas give
Thus the resulting rapidity is . Collinearity matters: boosts in different spatial directions do not in general combine into a pure boost of this form.
Using and the hyperbolic tangent addition identity,
Consequently the relativistic velocity addition rule is
When , expand the denominator:
The leading term is ordinary Galilean velocity addition. When both from below, the exact formula instead gives , rather than . Indeed, writing , , we have whenever .
The speed of one rocket in the other's rest frame is obtained by relativistic velocity addition:
The Lorentz factor is . By length contraction, the spatial length measured at simultaneous times in that rocket's rest frame is
This is the inertial-frame length measurement; a visual image assembled from light arriving at one instant is a different measurement.

Articles by others on the same topic (0)

There are currently no matching articles.