Demuestre la Ley de composicin de velocidades, defina a la velocidad invariante y

obtenga su expresin matemtica.

Teorema de composicin de velocidades. Para sistemas ET cualesquiera, S1, S2 y S3,
poniendo v = v(S2,S1), u = v(S3,S2), w = v(S3,S1), se cumple la siguiente frmula
, que siempre tiene sentido: w=(v+u)/(1+kvu)
Demostracin. Para el caso en que los tres ET-sistemas dados tengan origen comn, se
trata de un simple clculo de producto de matrices que, adems, ya ha sido hecho. E
n efecto, en la segunda parte del teorema fundamental se han tomado en considera
cin las matrices M(S1,S2), M(S2,S3) y M(S1,S3), con las mismas notaciones que aho
ra, y se encontr para la ltima de ellas, como producto de las dos anteriores en el
orden indicado, la matriz que
figura a continuacin, donde hemos tomado en cuenta que ahora se verifica h=k: M(s
1,s3)=( ab(1+kvu) abk(u+v), ab(v+u) ab(1+kuv))
Pero, por otra parte, podemos aplicar a esta matriz el Lema fundamental, de dond
e se deduce que ab(1+kvu) distinto 0 y que v(S3,S1) es el cociente entre ab(v+u)
y ab(1+kvu). Como ya sabemos que a y b son no nulos, se pueden simplificar y se
obtiene la tesis.
Observacin 1. Por la parte final del teorema precedente queda demostrado que, par
a ETsistemas cualesquiera S1, S2 y S3, con v = v(S2,S1) y u = v(S3,S2), se verif
ica que 1+ kuv distinto 0.
En efecto, vimos que, por el Lema fundamental, se debe verificar; a distinto 0,
b distinto 0, ab(1+kvu) distinto 0, de donde se deduce 1+kvudistinto 0.
Este resultado parece imponer una restriccin en el caso de k distinto 0, pues, un
a vez dada v, u no puede tomar el valor que resultara de despejar u de la igualda
d 1+ kuv = 0. O sea que u no puede tomar el valor 1 / kv. Esto, que a primera vis
ta puede parecer una curiosidad, implica que, si v = v(S2,S1) y u = v(S3,S2), la
velocidad u no puede ser igual a 1 / kv. Esta curiosidad se aclara en la Observa
cin 2.
En el caso de k = 0 el denominador 1+ kuv, se reduce a 1 y entonces no puede anu
larse.
Observacin 2. Si k distinto 0 y si S1 y S2 son ET-sistemas tales que v(S2,S1) = v
, entonces el coeficiente angular del eje espacial de S1 respecto de S2 es -1/kv
, o sea v(x1,S2) = -1/kv; y en consecuencia buscar un ET-sistema S3 tal que v(S3
,S2) valga 1/kv equivale a buscar un ETsistema cuyo eje temporal coincida con el
eje espacial de S1, lo que es imposible en virtud del comentario sobre el Axioma
2 hecho en 1.1.8.3.
Esto se demuestra a partir de la matriz de pasaje, teniendo en cuenta que la vel
ocidad de S1 respecto de S2 es v(S1,S2) = -v: M(s2,s1)=(a -kva, -va a)
Como la segunda columna corresponde a las coordenadas del vector unidad espacial
de S1 respecto de S2, el coeficiente angular de este vector, y en consecuencia
tambin del eje espacial de S1 respecto de S2, es -a/kva, o sea -1/kv (puesto que
a distinto 0). En consecuencia, si un ET-sistema S3 tuviera respecto de S2 la ve
locidad 1/kv, el eje temporal de este sistema
coincidira con el espacial de S1, lo que est prohibido por el Axioma 2. Luego, la
aparente curiosidad presentada en la Observacin 1 se aclara as: la velocidad -1/kv
correspondera a un ET-sistema cuyo eje temporal coincidiera con el eje espacial
de S1, pero tal ET-sistema no existe; por tanto la frmula de composicin de velocid
ades para ET-sistemas vale sin
restriccin alguna.