Ich schicke voraus: Sei t ein beliebiger Zeitpunkt auf der t-Achse im G-System.
Faber (Seite 5) hat geschrieben:Seien folgende x-Koordinaten im System, in dem die Garage ruht:
x0: Tor, das das Automobil zuerst durchquert
x1: der Detektor
x2: Tor, das das Automobil zuletzt durchquert
sowie entsprechend die x'-Koordinaten im System, in dem das Automobil ruht:
x0': Tor, das das Automobil zuerst durchquert
x1': der Detektor
x2': Tor, das das Automobil zuletzt durchquert
Dann gilt mit der Lorentztransformation:
x0' = (x0 - v*t) / sqrt(1 - (v/c)^2)
x1' = (x1 - v*t) / sqrt(1 - (v/c)^2)
x2' = (x2 - v*t) / sqrt(1 - (v/c)^2)
Es gilt nun:
|x1' - x0'| = |(x1 - v*t) / sqrt(1 - (v/c)^2) - (x0 - v*t) / sqrt(1 - (v/c)^2)| <=>
|x1' - x0'| = |(x1 - x0)| / sqrt(1 - (v/c)^2)
Es gilt analog:
|x2' - x1'| = |(x2 - v*t) / sqrt(1 - (v/c)^2) - (x1 - v*t) / sqrt(1 - (v/c)^2)| <=>
|x2' - x1'| = |(x2 - x1)| / sqrt(1 - (v/c)^2)
Schließlich gilt:
|x1' - x0'| = |x2' - x1'| <=>
|(x1 - x0)| / sqrt(1 - (v/c)^2) = |(x2 - x1)| / sqrt(1 - (v/c)^2) <=>
|(x1 - x0)| = |(x2 - x1)| <=>
|x1 - x0| = |x2 - x1|
Resultat: |x1' - x0'| = |x2' - x1'| <=> |x1 - x0| = |x2 - x1|
