Aus der Lorentztransformation kann man das Additionstheorem für Geschwindigkeiten (in Bewegungsrichtung) herleiten:

v_ges = (v1 + v2)/(1+ v1v2/c^2)