Il y a plein de manières d'y arriver, c'est juste l'équivalent en hyperbolique d'une formule classique en euclidien (cf. message #79) ; les démos sont similaires à celles faites en euclidien.
Une méthode est juste de faire le produit scalaire. Soit A l'événément origine, B l'événement rebroussement, C l'événement origine, on a vectoriellement AC = AB+BC, d'où AC² = AB²+BC²+2 AB.BC, le produit scalaire de deux vecteurs temporels est |AB|.|BC|.cosh êta en minkowskien, par définition de êta, à un signe près dépendant de l'orientation temporelle des vecteurs. Cette méthode se passe complètement de référentiel ou de système de coordonnées...
Suffit de penser en termes géométriques pour que ce genre de chose soit clair, et bien comprendre la RR pour faire ensuite la traduction en physique! (Pour moi le point difficile a été la relation entre êta et l'accélération ressentie...)
-----