viaggio2
Author: fra

Diagramma spazio-tempo del razzo che si allontana ( riferimento S': coordinate degli eventi in rosso)
Sono riportati gli eventi in S ( in nero) e in S' ( in rosso):
O =O'= partenza dalla Terra
A e A'  = arrivo sul pianeta 
B e B' = partenza dal pianeta (  è possibile variare il tempo di permanenza sul pianeta, agendo su B)
C e C' = ritorno sulla Terra
F e F'  = evento simultaneo all'evento A per il razzo che arriva sul pianeta
H e H' = evento simulaneo all'evento B per il razzo che lascia il pianeta
In oggetti liberi è possibile variare la velocità del razzo, variando v, o la distanza del pianeta, variando s )

B = Point(s)
a = Distance(B, yAxis)
b = Distance(B, xAxis)
v = 0.75
r1: y = 1 / v x
A = Intersect(r1, s)
O = Intersect(xAxis, yAxis)
g = Segment(O, A)
D = Mirror(A, c)
a_1 = Line(O, D)
d = Line(A, a_1)
F = Intersect(d, yAxis)
r_2: y - b = -1 / v * (x - a)
C = Intersect(r_2, yAxis)
e = Segment(C, B)
f = Segment(B, A)
A_y = Distance(A, xAxis)
A_x = Distance(A, yAxis)
h = Line(A, xAxis)
i = Line(B, xAxis)
OA: sqrt(A_y^(2) - A_x^(2))
j = Segment(A, F)
E = Midpoint(C, O)
H = Mirror(F, E)
k = Segment(H, B)
m: y = -1 / v x
p: y^(2) - x^(2) = OA^(2)
A' = Intersect(p, yAxis, 1)
CO = Distance(C, O)
q: y^(2) - x^(2) = CO^(2)
C', I = Intersect(q, m)
n = Line(A', m)
r: (y - OA)^(2) - x^(2) = f^(2)
B', J = Intersect(r, n)
t = Segment(C', O)
a1 = Segment(C', B')
b1 = Segment(B', A')
c1 = Segment(A', O)
d1 = OrthogonalLine(A', yAxis)
F' = Intersect(d1, t)
C'_y = Distance(C', xAxis)
C'_x = Distance(C', yAxis)
OC': sqrt(C'_y^(2) - C'_x^(2))
T1: "OC' =" + OC'
B'_y = Distance(B', xAxis)
B'_x = Distance(B', yAxis)
B'C': sqrt((C'_y - B'_y)^(2) - (C'_x - B'_x)^(2))
T2: "B'C'=" + B'C'
A'B': sqrt((B'_y - OA)^(2) - B'_x^(2))
T3: "A'B'=" + A'B'
F'_y = Distance(F', xAxis)
F'_x = Distance(F', yAxis)
OF': sqrt(F'_y^(2) - F'_x^(2))
T4: "OF'=" + OF'
H_y = Distance(H, xAxis)
e1: y^(2) - x^(2) = H_y^(2)
H', K = Intersect(e1, m)
H'_x = Distance(H', yAxis)
H'_y = Distance(H', xAxis)
OH': sqrt(H'_y^(2) - H'_x^(2))
T5: "OH' =" + OH'
f1: y^(2) - x^(2) = OF'^(2)