Proper velocity addition formula: where formula_3 is the beta factor given by formula_4. or in terms of logarithms: Proper velocity is useful for comparing the speed of objects with momentum per unit rest mass ("w") greater than lightspeed "c". The coordinate speed of such objects is generally near lightspeed, whereas proper velocity tells us how rapidly they are covering ground on "traveling-object clocks". This is important for example if, like some cosmic ray particles, the traveling objects have a finite lifetime. Proper velocity also clues us in to the object's momentum, which has no upper bound. For example, a 45 GeV electron
Velocity-addition formula appear there must be inverted here: This matrix rotates the a pure time-axis vector to , and all its columns are relativistically orthogonal to one another, so it defines a Lorentz transformation. If a fly is moving with four-velocity in the ship frame, and it is boosted by multiplying by the matrix above, the new four-velocity in the shore frame is , Dividing by the time component and substituting for the components of the four-vectors and in terms of the components of the three-vectors and gives the relativistic composition law as The form of the relativistic composition law can be