Complément 1.5

Page 50 - Autre obtention de l'invariant "temps propre".



Le point  ` M(x,y,z) ` est  sur  le cône de lumière  ` x = ct `  dans le référentiel  ` Oxyz ` ,    ` z `  non représenté.

C'est aussi le point  ` M'(x',y',z') `  sur le cône de lumière  ` x' = ct' `  et dans le référentiel  ` O'x'y'z' ` ,    ` z' `  non représenté,
la vitesse de la lumière étant la même quel que soit le référentiel.

On a donc les relations :

        ` x^2 + y^2 + z^2 = c^2t^2 `                             sur le cône
et :
        ` x^('2) + y^('2) + z^('2) = c^2t^('2) `                      sur le cône aussi         

En prenant   ` y = y^' `   et  ` z = z^' ` ,

et en soustrayant les deux relations ci-dessus, il vient :

        ` x^2 - x^('2) = c^2 t^2 - c^2 t^('2) `
d'où :
        ` c^2 t^('2) - x^('2) = c^2 t^2 - x^2 ` 

Avec la notation relativiste  ` c = 1 ` , on arrive à :

        `color(blue)( t^('2) - x^('2) = t^2 - x^2 = tau^2 )`                 notre relation cherchée.