t' = \textrm{Zeitanzeige der bewegten Uhr} \
\textrm{      im System der ruhenden Uhr}

t = \textrm{Eigenzeit der ruhenden Uhr}

x

y

Bewegte Lichtuhr

Impulse bewegte Lichtuhr

Ruhende Lichtuhr

Impulse ruhende Lichtuhr

t = 0 (slider from 0 to 10, step 0.005)
v = 0.6 (slider from 0 to 1, step 0.01)
g(x) = If[-1 ≤ x ≤ 1, 15 - x^(2) / 4]
A: (0, 15)
B: (0, 0)
a = Segment(A, B)
C: (((30 * v) * t), 0)
D: (((30 * v) * t), 15)
b = Segment(D, C)
γ: 1 / (1 - v^(2))^(0.5)
α = 0.05235987755982988 rad (slider from 0 to 90°, step °)
tstrich: t / γ
Text3: "t = " + (LaTeX[t]) + " \,\textrm{ns}"
Liste1 = Sequence(If[t > (n * γ), ((((v * n) * γ) * 30), 0)], n, 1, 30)
Liste2 = Sequence(If[t > (((2 * n) - 1) * γ / 2), ((((v * ((2 * n) - 1)) * γ) * 15), 15)], n, 1, 60)
Liste3 = Sequence(If[t > (((2 * n) - 1) * γ / 2), LichtpulsDown[((((((2 * n) - 1) * v) * 15) * γ), 15), ((t - (((2 * n) - 1) * γ / 2)) * 30), α]], n, 1, 60)
Liste4 = Sequence(If[t > (n * γ), LichtpulsUp[((((n * v) * 30) * γ), 0), ((t - (n * γ)) * 30), α]], n, 1, 60)
Liste5 = Sequence(If[t > n, LichtpulsUp[B, ((t - n) * 30), α]], n, 1, 60)
Liste6 = Sequence(If[t > ((2 * n) - 1) / 2, LichtpulsDown[A, ((t - ((2 * n) - 1) / 2) * 30), α]], n, 1, 60)
Text4: "t' = " + (LaTeX[tstrich]) + "\,\textrm{ns}"
c = LichtpulsUp(B, (t * 30), α)
e = false
lbu = false
d = true
j = true
E = (37.07428273185449, 15.23522627704555)
r: 10
k = Circle(E, r)
q = Circle(E, r / 3)
l = OrthogonalLine(E, yAxis)
F = Intersect(k, l, 2)
F' = Rotate(F, 45°, E)
β = Angle(F, E, F')
Vieleck1, m, n, s, f_1, g_1, h_1, i_1, j_1, G, H, I, J, K, L = Polygon(F, F', 8)
k_1 = LineBisector(F, F')
M = Intersect(q, k_1, 1)
l_1 = LineBisector(G, F')
N = Intersect(q, l_1, 2)
Vieleck2, m_1, n_1, p_1, q_1, r_1, s_1, t_1, a_1, O, P, Q, R, S, T = Polygon(M, N, 8)
Vieleck3, g_2, o, h_2, p_2, i_2, q_2, j_2, r_2, k_2, s_2, l_2, t_2, f_2, m_2, f', n_2 = Polygon(G, O, H, P, I, Q, J, R, K, S, L, T, F, M, F', N)
f(x) = If[-1 ≤ x ≤ 1, x^(2) / 4]
p(x) = If[((30 * v) * t) - 1 ≤ x ≤ ((30 * v) * t) + 1, 15 - (x - ((30 * v) * t))^(2) / 4]
h(x) = If[((30 * v) * t) - 1 ≤ x ≤ ((30 * v) * t) + 1, (x - ((30 * v) * t))^(2) / 4]

Tool: LichtpulsDown
<Punkt>,<Radius>,<Winkel>
Input: E, r_1, α
Output: c

K: E - (r_1 * (sin(α), cos(α)))
L: E + (r_1 * (sin(α), (-cos(α))))
c = CircleArc(E, K, L)

Tool: LichtpulsUp
<Punkt>,<Radius>,<Winkel>
Input: B, r_0, α
Output: k

M: B + (r_0 * (sin(α), cos(α)))
N: B - (r_0 * (sin(α), (-cos(α))))
k = CircleArc(B, M, N)

Tool: Flash
<Punkt>,<Radius>
Input: E, r
Output: Vieleck3, f', f_2, g_2, h_2, i_2, j_2, m_2, n_2, o, p_2, q_2, r_2, t_2, s_2, l_2, k_2

r: 10
k = Circle(E, r)
q = Circle(E, r / 3)
l = OrthogonalLine(E, yAxis)
F = Intersect(k, l, 2)
F' = Rotate(F, 45°, E)
Vieleck1, m, n, s, f_1, g_1, h_1, i_1, j_1, G, H, I, J, K, L = Polygon(F, F', 8)
k_1 = LineBisector(F, F')
M = Intersect(q, k_1, 1)
l_1 = LineBisector(G, F')
N = Intersect(q, l_1, 2)
Vieleck2, m_1, n_1, p_1, q_1, r_1, s_1, t_1, a_1, O, P, Q, R, S, T = Polygon(M, N, 8)
Vieleck3, g_2, o, h_2, p_2, i_2, q_2, j_2, r_2, k_2, s_2, l_2, t_2, f_2, m_2, f', n_2 = Polygon(G, O, H, P, I, Q, J, R, K, S, L, T, F, M, F', N)