Lorentz Transformation and time dilatation
ISSN: 2689-7636
Annals of Mathematics and Physics
Research Article       Open Access      Peer-Reviewed

Lorentz Transformation and time dilatation

Miodrag Mateljević*

Faculty of Mathematics, University of Belgrade, Studentski Trg 16, Belgrade, Republic of Serbia
*Corresponding authors: Miodrag Mateljević, Faculty of Mathematics, University of Belgrade, Studentski Trg 16, Belgrade, Republic of Serbia, E-mail: miodrag@webmail.matf.bg.ac.rs, miodrag@matf.bg.ac.rs
Received: 26 December, 2023 | Accepted: 09 January, 2024 | Published: 10 January, 2024
Keywords: Lorentz transformation; Invariant speed of light; Special relativity theory and Lorentz factor

Cite this as

Mateljević M (2024) Lorentz Transformation and time dilatation. Ann Math Phys 7(1): 016-022. DOI: 10.17352/amp.000104

Copyright Licence

© 2024 Mateljević M. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

We consider two inertial frames S and and suppose that frame moves, for simplicity, in a single direction: the X -direction of frame S with a constant velocity v as measured in frame S.

Using homogeneity of space and time we derive a modified Lorentz Transformation (LT) between two inertial reference frames without using the second postulate of Einstein, i.e., we do not assume the invariant speed of light (in vacuum) under LT.

Roughly speaking we suppose: (H) Any clock which is at rest in its frame measures a small increment of time by some factor s=s(v). As a corollary of relativity theory (H) holds with Lorentz factor 1/γ. For s=1 we get the Galilean transformation of Newtonian physics, which assumes an absolute space and time. We also consider the relation between absolute space and Special Relativity Theory, thereafter STR.

It seems here that we need a physical explanation for (H).

We introduce Postulate 3. The two-way speed of light in x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ and z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaaaaa@3895@ -directions of the frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are c and outline derivation of (LT) in this setting. Note that Postulate 3 is a weaker assumption than Einstein's second postulate.

Introduction

The work is in progress and in this introductory paper, we will outline a mathematical model motivated by the special theory. We hope that work in this direction can contribute to a better understanding of Special Relativity Theory (STR).

The reader should have in mind that Physics is not Mathematics, and in Physics notions are not always defined rigorously as in Mathematics. Physics works by making mathematical models and judges them by how well they describe reality1. Mathematical models have an independent interest in mathematics and can help to clarify some phenomena in reality, and experimental verification of claims is important for physics [1].

Most physicists agree with Relativity Theory (RT) and some of them consider that it is the greatest triumph of the human mind.

--------------------

1According to legend, someone asked Einstein what is time, and he answered, "It's what a clock measures."

--------------------

Some scientists criticize the Foundations of the Relativity Theory, the lack of logical and physical grounding for fundamental concepts in the special and general relativity theory, such as time, space, the relativity of simultaneity, the second postulate, etc.

Bearing these criticisms in mind, we try to make a mathematical model motivated by the special theory of relativity (STR), in particular without using the second postulate of Einstein, and to consider it. The first principle of relativity (without the second) along with homogeneity of space and time and isotropy of space naturally gives rise to two possibilities, either we have Galilean transformation where space and time are absolute, or general Lorentz Transformation (LT) which includes Lorentz Transformation with a boost invariant speed c as the upper limit of all speeds. Most physicists believe that reality corresponds to LT, but pure mathematics from our assumption cannot decide that. Some promoters of the theory of relativity think probably in a metaphorical sense that Light has supernatural properties (and use the name ''god particle''); e.g. as far as I know for the sound the second postulate does not matter.

Although most physicists accept the theory of relativity, there is a significant number of scientists who are critics of this theory [2-9]. In addition to the mentioned works, our research is also motivated by several works [10-18] that do not assume the second postulate. Bearing these papers in mind, we try to make a mathematical model motivated by the special theory of relativity (STR) which does not rely on the second postulate of Einstein. The purpose of our work is to clarify the situation from a mathematical point of view and develop a theory based on hypothesis (H), which we call time dilation and which is a substitute for the second postulate. As a corollary of our approach, we show that the two-way speed of light is invariant in all inertial frames.

First, we give a brief overview of the above-mentioned papers. Recall the usual derivation of (LT) (e.g., Einstein's original work, see also [5,16,19-24]) is based on the second postulate (the invariance of the speed of light). However, it turns out that the starting point can be (as is described, for example, in the second volume of the Course of Theoretical Physics by Landau and Lifshitz [25]), the assumption: that the influence that one particle exerts on another can not be transmitted instantaneously. Hence, some researchers conclude that there exists a theoretical maximal speed of information transmission that must be invariant, and it turns out that this speed coincides with the speed of light in a vacuum. Newton called the idea of action at a distance philosophically "absurd", and considered that gravity had to be transmitted instantaneously by some agent (the thing that takes an active role or produces a specified effect).

In a 1964 paper [17], Zeeman considered the causality-preserving property: A bijection, f , of space-time is said to be causal if, for all points x,y in space-time, y-x is time-like and forward-pointing if and only if f(y)-f(x) is also time-like and forward-pointing. This condition is weaker in a mathematical sense than the second postulate (the invariance of the speed of light) but it assures that the coordinate transformations are the Lorentz transformations. Goldstein obtained a similar result using inertiality (the preservation of time-like lines) [18].

Guerra and Abreu considered questions of absolute space and relativity [11]. In particular, they assume that there is one frame where the one-way speed of light in a vacuum is the same in all directions of space and equal to c. This frame can be identified with the rest frame, and it is shown that this frame is unique. They have denoted this rest frame as Einstein’s frame.

They show that the meaning of the Principle of Relativity is not incompatible with the existence of a preferred, absolute, frame. Further, they establish that the one-way speed of light in a vacuum is not c in moving inertial frames (the two-way speed of light of course is) and simultaneity is absolute, contrary to what results in Einstein's relativity. The general expressions for the transformation of coordinates between inertial frames are obtained. Therefore we believe that it makes sense to consider models that modify the second postulate and that in the future there will be new theories that better approximate reality.

Our consideration is concerned with the abstract notion of time. We suppose time measuring devices at every point of a frame that read ''time'' as scalar which has properties of real numbers. In one part of the manuscript, we suppose homogeneity of space and time without Postulate 2, and in the other part we consider some result of STR's supposed Postulate 2.

In [13], Datta presents a new derivation of rotation-free Lorentz Transformation (LT) between two inertial reference frames without using the second postulate of Einstein, i.e., he does not assume the invariant speed of light (in vacuum) under LT. He finds a general transformation rule between two inertial frames where a speed, invariant under that transformation, arises naturally. This idea first came into light by a mathematician Ignatowski [14] around 1910. For additional literature on the subject, we refer to [13]. Therefore, the principle of relativity along with homogeneity of space and time and isotropy of space naturally gives rise to two possibilities, either we have Galilean transformation where space and time are absolute, or we have Lorentz Transformation with a boost invariant speed c as the upper limit of all speeds. According to Datta, most physicists believe (Nature works in accordance with LT) is the second possibility. It has interesting corollaries and it happens that c is the speed of an Electromagnetic wave in a vacuum. Our consideration is also based on the validity of velocity reciprocity, see [16]. Velocity reciprocity means that the velocity of an inertial frame S with respect to another inertial reference frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ is the opposite of the velocity of S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with respect to S.

Definition and background

Reference frames and relative motion

Reference frames play a crucial role in relativity theory. The term reference frame as used here is an observational perspective in space that is not undergoing any change in motion (acceleration) (so, at rest or constant velocity), from which a position can be measured along 3 spatial axes say x,y,z. In addition, a reference frame has the ability to determine measurements of the time t of events using a "clock" (any reference device with uniform periodicity).

An event is an occurrence that can be assigned a single unique moment and location in space relative to a reference frame: it is a "point" in spacetime (x,y,z,t). Since the speed of light is constant in relativity irrespective of the reference frame, pulses of light can be used to unambiguously measure distances and refer back to the times that events occurred to the clock, even though light takes time to reach the clock after the event has transpired.

For example, the explosion of a firecracker may be considered to be an "event". We can completely specify an event by its four spacetime coordinates: The time of occurrence and its 3-dimensional spatial location define a reference point. Let's call this a reference frame S. An event is something that happens at a certain point in spacetime, or more generally, the point in spacetime itself. In any inertial frame, an event is specified by a time coordinate t or sometimes ct and a set of Cartesian coordinates x,y,z to specify position in space in that frame. We use notation a = (t,x,y,z) and a'=( t , x , y , z ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaCyyaiaaiEcacaaI9aGaaGikaiqadshagaqbaiaaiYcaceWG4bGbauaacaaISaGabmyEayaafaGaaGilaiqadQhagaqbaiaaiMcaaaa@4196@ . Subscripts label individual events.

Standard configuration

To gain insight into how the spacetime coordinates measured by observers in different reference frames compare with each other, it is useful to work with a simplified setup with frames in a standard configuration. With care, this allows mathematical simplification without loss of generality in the conclusions that are reached. In Figure 1 below, two Galilean reference frames (i.e., conventional 3-space frames) are displayed in relative motion. Frame S belongs to a first observer O, and frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ belongs to a second observer O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ . The x,y,z axes of frame S are oriented parallel to the respective primed axes of frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . The frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ moves, for simplicity, in a single direction: the x-direction of the frame S with a constant velocity v as measured in the frame S. The origins of frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are coincident when time t=0 for frame S and t =0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiaaicdaaaa@3A10@ for frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ .

Since there is no absolute reference frame in relativity theory, the concept of "moving" doesn't strictly exist, as everything may be moving with respect to some other reference frame. Instead, any two frames that move at the same speed in the same direction are said to be comoving. Therefore, S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are not comoving.

By e we denote euclidean distance in R3.

Einstein synchronisation (or Poincaré-Einstein synchronisation)

Throughout this paper we suppose that clocks in any inertial frames satisfy the hypothesis of continuity of time (HCT): For every ϵ>0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuGacqWF1pG8caaI+aGaaGimaaaa@4507@ there is δ>0 such that if e(A,B)< δ and a light signal is sent at time t1 from clock 1 at A to B and it arrives at time t2 at B then | τ 2 τ 1 |<ϵ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGiFaiabes8a0naaBaaaleaacaaIYaaabeaakiabgkHiTiabes8a0naaBaaaleaacaaIXaaabeaakiaaiYhacaaI8aWefv3ySLgznfgDOfdaryqr1ngBPrginfgDObYtUvgaiuGacqWF1pG8aaa@4CB1@ .

Einstein synchronization (or Poincaré-Einstein synchronization) is a convention for synchronizing clocks in inertial frames at different places by means of signal exchanges. This synchronization method was used by telegraphers in the middle 19th century but was applied to light signals by Henri Poincaré and Albert Einstein, who recognized its fundamental role in relativity theory. Its principal value is for clocks within a single inertial frame.

Consider synchronisation in an inertial frame S. According to Albert Einstein's prescription from 1905, a light signal is sent at a time t1 from clock 1 at A to clock 2 at B and immediately back, e.g. by means of a mirror. Its arrival time back at clock 1 is t2. This synchronisation convention sets clock 2 so that the time t3 of signal reflection is defined to be

τ 3 = τ 1 + 1 2 ( τ 2 τ 1 )= 1 2 ( τ 1 + τ 2 ). MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiXdq3aaSbaaSqaaiaaiodaaeqaaOGaaGypaiabes8a0naaBaaaleaacaaIXaaabeaakiabgUcaRmaaleaaleaacaaIXaaabaGaaGOmaaaakiaaiIcacqaHepaDdaWgaaWcbaGaaGOmaaqabaGccqGHsislcqaHepaDdaWgaaWcbaGaaGymaaqabaGccaaIPaGaaGypamaaleaaleaacaaIXaaabaGaaGOmaaaakiaaiIcacqaHepaDdaWgaaWcbaGaaGymaaqabaGccqGHRaWkcqaHepaDdaWgaaWcbaGaaGOmaaqabaGccaaIPaGaaGOlaaaa@52CD@

The same synchronisation is achieved by transporting a third clock from clock 1 to clock 2 "slowly" (that is, considering the limit as the transport velocity goes to zero). The literature discusses many other thought experiments for clock synchronisation giving the same result.

The problem is whether this synchronisation does succeed in assigning a time label to any event in a consistent way.

As far as we know most physicists do not accept attempts to negate the conventionality of this synchronisation.

Definition 1: Consider an inertial frame S. Suppose that a light signal is sent at a time t1 from clock CA at A to clock CB at B and immediately back, e.g. by means of a mirror, and that its arrival time back at clock CA is t2. If τ 2 τ 1 =2e(A,B)/c MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiXdq3aaSbaaSqaaiaaikdaaeqaaOGaeyOeI0IaeqiXdq3aaSbaaSqaaiaaigdaaeqaaOGaaGypaiaaikdacaWGLbGaaGikaiaadgeacaaISaGaamOqaiaaiMcacaaIVaGaam4yaaaa@459A@ , where e denotes Euclidean distance, we say that clock CA and CB are in the average two-way synchronisation. If clocks in an inertial frame S satisfy the Hypothesis of Continuity of Time (HCT) and any two clocks in S are in the average two-way synchronisation, we say that clocks in S satisfy the two-way synchronisation condition.

From a mathematical point of view, we think that this issue deserves further consideration. In particular let us direct the reader to the work Malament David B [26], where a symmetrical relation of causal connectability is used.

For our purposes the following definition is convenient

Definition 2: Let S be reference frame with the origin O. We flash light from O at moment 0(when the clock there shows time 0) and when a flash of light reaches the clock at M, it begins running. In this setting, we say that clocks in S are synchronized in a standard way with respect to the origin.

Question 1: Suppose that frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are in a standard configuration and clocks in S are synchronized with respect to the clock Co at the origin O (here we use that the speed of light is c in S between O and arbitrary point M). Let t = t x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiqadshagaqbamaaBaaaleaacaWG4baabeaaaaa@3B84@ is time of clock C O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBaaaleaaceWGpbGbauaaaeqaaaaa@395E@ when O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ is at position x in S and t=tx is time of clock Cx. It seems that is defined without use Postulate 2 (i.e. that the speed of light is c in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ ). Is t=γ t MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDaiaai2dacqaHZoWzceWG0bGbauaaaaa@3BF6@ in this setting?

Using notation in the above question, by Homogeneity of space and time, we find t x 2 t x 1 =λ( t x 2 t x 1 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaWaaSbaaSqaaiaadIhadaWgaaqaaiaaikdaaeqaaaqabaGccqGHsislceWG0bGbauaadaWgaaWcbaGaamiEamaaBaaabaGaaGymaaqabaaabeaakiaai2dacqaH7oaBcaaIOaGaamiDamaaBaaaleaacaWG4bWaaSbaaeaacaaIYaaabeaaaeqaaOGaeyOeI0IaamiDamaaBaaaleaacaWG4bWaaSbaaeaacaaIXaaabeaaaeqaaOGaaGykaaaa@497E@ and therefore t =λt MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiabeU7aSjaadshaaaa@3C03@ . Let the rod R of length l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaaaaa@3887@ is at rest in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . Then the length l of the rod R in S is independent of the position of the beginning point of the rod. If two rods of length l 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaWaaSbaaSqaaiaaigdaaeqaaaaa@396E@ and l 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaWaaSbaaSqaaiaaikdaaeqaaaaa@396F@ are at rest in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ , then l 2 / l 1 = l 2 / l 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBamaaBaaaleaacaaIYaaabeaakiaai+cacaWGSbWaaSbaaSqaaiaaigdaaeqaaOGaaGypaiqadYgagaqbamaaBaaaleaacaaIYaaabeaakiaai+caceWGSbGbauaadaWgaaWcbaGaaGymaaqabaaaaa@415B@ . Hence l=a l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBaiaai2dacaWGHbGabmiBayaafaaaaa@3B25@ and therefore x=a x +vt MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacaWGHbGabmiEayaafaGaey4kaSIaamODaiaadshaaaa@3E13@ . Note that in STR a=λ= γ 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaai2dacqaH7oaBcaaI9aGaeq4SdC2aaWbaaSqabeaacqGHsislcaaIXaaaaaaa@3F2E@ .

In general, we can ask:

Question 2: Let S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ be frames in standard configuration with reference devices in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with uniform periodicity which measure ''time'' and consider some signal which is independent of frames. Are there devices that measure the same speed of signal in both frames?

STR is based on two postulates:

Postulate 1: The laws of physics are invariant (identical) in all inertial frames of reference (that is, frames of reference with no acceleration).

Postulate 2: The speed of light in a vacuum is the same for all observers, regardless of the motion of the light source or observer.

Let γ= 1 1 v 2 / c 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaaGypamaalaaabaGaaGymaaqaamaakaaabaGaaGymaiabgkHiTiaadAhadaahaaWcbeqaaiaaikdaaaGccaaIVaGaam4yamaaCaaaleqabaGaaGOmaaaaaeqaaaaaaaa@40F3@ and γ inv = 1 v 2 / c 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdC2aaSbaaSqaaiaadMgacaWGUbGaamODaaqabaGccaaI9aWaaOaaaeaacaaIXaGaeyOeI0IaamODamaaCaaaleqabaGaaGOmaaaakiaai+cacaWGJbWaaWbaaSqabeaacaaIYaaaaaqabaaaaa@433A@ . In STR the Lorentz transformation for frames in standard configuration can be shown to be (see for example [13,19,25,27,28] and literature cited there):

If an observer in S records an event t,x,y,z, then an observer in S records the same event with coordinates t , x , y , z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGilaiqadIhagaqbaiaaiYcaceWG5bGbauaacaaISaGabmOEayaafaaaaa@3DCF@ and we have

t =γ( t vx c 2 ),     (2.1) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiabeo7aNnaabmaabaGaamiDaiabgkHiTmaalaaabaGaamODaiaadIhaaeaacaWGJbWaaWbaaSqabeaacaaIYaaaaaaaaOGaayjkaiaawMcaaiaaiYcacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabIcacaqGYaGaaeOlaiaabgdacaqGPaaaaa@49A5@

x =γ( xvt ),      (2.2) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeo7aNnaabmaabaGaamiEaiabgkHiTiaadAhacaWG0baacaGLOaGaayzkaaGaaGilaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabIcacaqGYaGaaeOlaiaabkdacaqGPaaaaa@4862@

y =y,     (2.3) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmyEayaafaGaaGypaiaadMhacaaISaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGOaGaaeOmaiaab6cacaqGZaGaaeykaaaa@41B1@

z =z,       (2.4) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaGaaGypaiaadQhacaaISaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabIcacaqGYaGaaeOlaiaabsdacaqGPaaaaa@42FA@

Where v is the relative velocity between frames in the x-direction, c is the speed of light, and

γ= 1 1 v 2 c 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaaGypamaalaaabaGaaGymaaqaamaakaaabaGaaGymaiabgkHiTmaalaaabaGaamODamaaCaaaleqabaGaaGOmaaaaaOqaaiaadogadaahaaWcbeqaaiaaikdaaaaaaaqabaaaaaaa@404A@

is the Lorentz factor.

The homogeneity of space and time

Through this paper (if we do not state otherwise) if we refer to two frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ in relative motion v we suppose that:

(H0): S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are frames in standard configuration.

In particular, it means that the frame moves, for simplicity, in a single direction: the positive x - direction of frame S with a constant velocity v as measured in frame S.

If in addition, we suppose Postulate 2, then we have LT:

x =γ( xvt ),      (3.1) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeo7aNnaabmaabaGaamiEaiabgkHiTiaadAhacaWG0baacaGLOaGaayzkaaGaaGilaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabIcacaqGZaGaaeOlaiaabgdacaqGPaaaaa@4862@

t =γ( t vx c 2 ).       (3.2) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiabeo7aNnaabmaabaGaamiDaiabgkHiTmaalaaabaGaamODaiaadIhaaeaacaWGJbWaaWbaaSqabeaacaaIYaaaaaaaaOGaayjkaiaawMcaaiaai6cacaqGGaGaaeiiaiaabccacaqGGaGaaeiiaiaabccacaqGGaGaaeikaiaabodacaqGUaGaaeOmaiaabMcaaaa@4AEF@

We suppose here that the synchronisation is achieved in a frame S by transporting clocks from the origin which shows time zero when the clock Co shows time zero to the position x "slowly" (that is, considering the limit as the transport velocity goes to zero).

It is convenient to use notation and the setting described by: (A) Let x'_0 be a point which is fixed at and time intervals between events E1 = (x1,t1) and E2 = (x2,t2) which coincide with E'1=(x'0, t'1) and E '2=(x'0, t'2).

Consider for a moment that (LT) holds. Next from (LT1), we find x= x /γ+vt MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2daceWG4bGbauaacaaIVaGaeq4SdCMaey4kaSIaamODaiaadshaaaa@3F8D@ and if we substitute in (LT2), we have t =t/γ x v/ c 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiaadshacaaIVaGaeq4SdCMaeyOeI0IabmiEayaafaGaamODaiaai+cacaWGJbWaaWbaaSqabeaacaaIYaaaaaaa@422A@ and therefore

t'_2 t'_1=( t 2 t 1 )/γ. MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeiDaiaacEcacaGGFbGaaeOmaiabgkHiTiaacckacaqG0bGaai4jaiaac+facaqGXaGaaGypaiaaiIcacaWG0bWaaSbaaSqaaiaaikdaaeqaaOGaeyOeI0IaamiDamaaBaaaleaacaaIXaaabeaakiaaiMcacaaIVaGaeq4SdCMaaiOlaaaa@4A0E@

Motivated by this formula using the notation in the setting described by (A) we can consider a more general hypothesis:

t'_2 t'_1=λ( t 2 t 1 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeiDaiaacEcacaGGFbGaaeOmaiabgkHiTiaacckacaqG0bGaai4jaiaac+facaqGXaGaaGypaiabeU7aSjaaiIcacaWG0bWaaSbaaSqaaiaaikdaaeqaaOGaeyOeI0IaamiDamaaBaaaleaacaaIXaaabeaakiaaiMcaaaa@48B0@ , where λ is independent of x 0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaWaaSbaaSqaaiaaicdaaeqaaaaa@3979@ .

Also motivated only by the homogeneity of space and time (without the second postulate) we can suppose that in the setting described by (A):

( H 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisamaaBaaaleaacaaIXaaabeaaaaa@393E@ ): t'_2 t'_1=λ( t 2 t 1 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeiDaiaacEcacaGGFbGaaeOmaiabgkHiTiaacckacaqG0bGaai4jaiaac+facaqGXaGaaGypaiabeU7aSjaaiIcacaWG0bWaaSbaaSqaaiaaikdaaeqaaOGaeyOeI0IaamiDamaaBaaaleaacaaIXaaabeaakiaaiMcaaaa@48B0@ , for arbitrary x 0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaWaaSbaaSqaaiaaicdaaeqaaaaa@3979@ , t'_1,t'_2, where λ=λ(v) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaaGypaiabeU7aSjaaiIcacaWG2bGaaGykaaaa@3E19@ .

By symmetry from (H1) it follows

t'_2- t'_1

Thus for frames in a relative motion (H1) is equivalent to (H2).

To compare the general transformation obtained from (H2) it is convenient to introduce α= λ 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqySdeMaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaaaaa@3D79@ .

We call α= λ 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqySdeMaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaaaaa@3D79@ the general coefficient of the time dilatation.

If in particular λ= γ inv MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaaGypaiabeo7aNnaaBaaaleaacaWGPbGaamOBaiaadAhaaeqaaaaa@3EB4@ , then (H1) has the form

(L) t_2'-t_1= γ inv (t_2-t_1) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeiDaiaab+facaqGYaGaae4jaiaab2cacaqG0bGaae4xaiaabgdacaaI9aGaeq4SdC2aaSbaaSqaaiaadMgacaWGUbGaamODaaqabaGccaaIOaGaaeiDaiaab+facaqGYaGaaeylaiaabshacaqGFbGaaeymaiaaiMcaaaa@4AAF@ .

If (H2) holds with α=γ we say that clocks in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ satisfy the Lorentz time dilatation condition (L-TD).

(L-TD) follows from the second postulate and it is a substitution for it. Namely, if (L-TD) holds, then the two-way speed of light measures along x-axis and x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ -axis in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ respectively is c.

Various experiments confirmed both time dilation and the twin paradox, i.e. the hypothesis (L-TD). Bailey et al. (1977) [29] measured the lifetime of positive and negative muons sent around a loop in the CERN Muon storage ring. This experiment confirmed the hypothesis that clocks sent away and coming back to their initial position are slowed with respect to a resting clock (time dilation and the twin paradox). It is interesting that Albert Einstein and Max Born tried to explain the aging concerning the twin paradox as a direct effect of acceleration. But it turns out that neither general relativity nor even acceleration, are necessary to explain the effect.

Question 3: But we do not know whether there is a convincing explanation based on reality why clocks in motion are satisfying relation (L-TD).

Symmetry in the physical sciences

We are going to use symmetry (as that term is understood in the physical sciences) in the next deduction, and note that this procedure is generally accepted in physics. As for rigor in the mathematical sense, see Question 4.

Now we consider that the hypothesis (H2) holds and derive modified (LT).

Proposition 3.1: Let S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ be frames in standard configuration and suppose that S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ moves in a single direction: the x-direction of frame S with a constant velocity v as measured in frame S and that (H1) holds. Then x = λ 1 (xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiIcacaWG4bGaeyOeI0IaamODaiaadshacaaIPaaaaa@4230@ .

This can be considered as a generalization of LT.

Proof: We advise the reader to follow the proof using Figure 2. We can suppose that events E=(x,t) and E =( x , t ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmyrayaafaGaaGypaiaaiIcaceWG4bGbauaacaaISaGabmiDayaafaGaaGykaaaa@3D50@ . t >0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGOpaiaaicdaaaa@3A11@ , coincide and fix for a moment M=x and M = x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmytayaafaGaaGypaiqadIhagaqbaaaa@3A38@ . Let x0=vt. Therefore there is a point x0 such that events (x0,t) and (0, t 0 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGikaiaaicdacaaISaGaamiDamaaBaaaleaaceaIWaGbauaaaeqaaOGaaGykaaaa@3C54@ coincide. Set M0=x0.

To visualize imagine that the rod R is placed along O M MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaGabmytayaafaaaaa@3948@ in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ .

The length of the rod R in S is (1) l = x-x0=x-vt.

Next, by symmetry we can consider that S moves in a single direction: the x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ -direction of frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with a constant velocity -V as measured in frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . Thus we can imagine that M is moving to the origin O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with velocity -V. Next suppose that when M arrives to coincide with the origin O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ , the devices at S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ show time t1 and t 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaWaaSbaaSqaaiaaigdaaeqaaaaa@3976@ respectively. Observer in S measures the length of the rod as l=v(t1-t) and observer in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ measures l =v( t 1 t ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaGaaGypaiaadAhacaaIOaGabmiDayaafaWaaSbaaSqaaiaaigdaaeqaaOGaeyOeI0IabmiDayaafaGaaGykaaaa@3F96@ . In this setting clock CM which is at rest in S shows the increment of time t1-t and by (H2) t 1 t=λ( t 1 t ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDamaaBaaaleaacaaIXaaabeaakiabgkHiTiaadshacaaI9aGaeq4UdWMaaGikaiqadshagaqbamaaBaaaleaacaaIXaaabeaakiabgkHiTiqadshagaqbaiaaiMcaaaa@4322@ and therefore l=v( t 1 t)=vλ( t 1 t )=λ l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBaiaai2dacaWG2bGaaGikaiaadshadaWgaaWcbaGaaGymaaqabaGccqGHsislcaWG0bGaaGykaiaai2dacaWG2bGaeq4UdWMaaGikaiqadshagaqbamaaBaaaleaacaaIXaaabeaakiabgkHiTiqadshagaqbaiaaiMcacaaI9aGaeq4UdWMabmiBayaafaaaaa@4BAD@ . Thus by (1) l= (x-vt) equals x λ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaeq4UdWgaaa@3A47@ . Hence x = λ 1 (xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiIcacaWG4bGaeyOeI0IaamODaiaadshacaaIPaaaaa@4230@ .

Question 4: We used symmetry in the previous inference. It seems that in the mathematical sense, we need to give an additional explanation. Why we can consider that S is at rest and draw some conclusions, and then consider that they (S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ ) can change roles and apply it to S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . For example, if S is a fixed system, it seems we cannot apply symmetry.

In addition, suppose that the rod of length l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaaaaa@3887@ is placed at rest in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ .

Now suppose that we have time measuring devices at every point of any given frame and that two frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are in standard configuration.

Proposition 3.2: If two frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are in standard configuration and (H2) holds, then

1. If the rod R of length l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaaaaa@3887@ is placed at rest in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . Then an observer in S measures l=λ l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBaiaai2dacqaH7oaBceWGSbGbauaaaaa@3BF3@ .

2. x = λ 1 (xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiIcacaWG4bGaeyOeI0IaamODaiaadshacaaIPaaaaa@4230@ .

3. t = λ 1 (t (1 λ 2 )x v ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiIcacaWG0bGaeyOeI0YaaSaaaeaacaaIOaGaaGymaiabgkHiTiabeU7aSnaaCaaaleqabaGaaGOmaaaakiaaiMcacaWG4baabaGaamODaaaacaaIPaaaaa@47F0@ .

4. We can adjust time measuring devices in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ such that the speed of light is the same in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ .

5. If λ= γ 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaaGypaiabeo7aNnaaCaaaleqabaGaeyOeI0IaaGymaaaaaaa@3D81@ , then (1 λ 2 )x/v=vx/ c 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGikaiaaigdacqGHsislcqaH7oaBdaahaaWcbeqaaiaaikdaaaGccaaIPaGaamiEaiaai+cacaWG2bGaaGypaiaadAhacaWG4bGaaG4laiaadogadaahaaWcbeqaaiaaikdaaaaaaa@4538@ . Thus we get LT.

Outline of proof: We can suppose that the end of the rod is at O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ at t =0 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiaaicdaaaa@3A10@ and x = l =A MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabgkHiTiqadYgagaqbaiaai2dacaWGbbaaaa@3CD1@ and that when A arrives at the origin O in S, the devices at S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ show time t1 and t 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaWaaSbaaSqaaiaaigdaaeqaaaaa@3976@ .

Then observers in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ measure that the length of the rod is l =vt1 and l =v t 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiBayaafaGaaGypaiaadAhaceWG0bGbauaadaWgaaWcbaGaaGymaaqabaaaaa@3C35@ respectively. By (H2) t 1 =λ t 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDamaaBaaaleaacaaIXaaabeaakiaai2dacqaH7oaBceWG0bGbauaadaWgaaWcbaGaaGymaaqabaaaaa@3DDB@ and therefore l=v t 1 =vλ t 1 =λ l MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBaiaai2dacaWG2bGaamiDamaaBaaaleaacaaIXaaabeaakiaai2dacaWG2bGaeq4UdWMabmiDayaafaWaaSbaaSqaaiaaigdaaeqaaOGaaGypaiabeU7aSjqadYgagaqbaaaa@450B@ . Next (xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGikaiaadIhacqGHsislcaWG2bGaamiDaiaaiMcaaaa@3CCD@ equals l= x λ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiBaiaai2daceWG4bGbauaacqaH7oaBaaa@3BFF@ . We can consider that S moves in a single direction: the x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ -direction of frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with a constant velocity -v as measured in frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . Hence by (1) x = λ 1 (xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaakiaaiIcacaWG4bGaeyOeI0IaamODaiaadshacaaIPaaaaa@4230@ . Here we can consider that x is at rest in S. Note here that 2) in Proposition 3.2 is stated as Proposition 3.1. [W]

It is suitable accordingly LT to introduce α= λ 1 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqySdeMaaGypaiabeU7aSnaaCaaaleqabaGaeyOeI0IaaGymaaaaaaa@3D79@ . By Proposition 3.1 x =α(xvt) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaGaaGypaiabeg7aHjaaiIcacaWG4bGaeyOeI0IaamODaiaadshacaaIPaaaaa@403C@ and by symmetry x=α( x +v t ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacqaHXoqycaaIOaGabmiEayaafaGaey4kaSIaamODaiqadshagaqbaiaaiMcaaaa@403D@ . Hence

t =α(t (1 α 2 )x v ). MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiabeg7aHjaaiIcacaWG0bGaeyOeI0YaaSaaaeaacaaIOaGaaGymaiabgkHiTiabeg7aHnaaCaaaleqabaGaeyOeI0IaaGOmaaaakiaaiMcacaWG4baabaGaamODaaaacaaIPaGaaiOlaaaa@4786@

Lorentz time dilatation

In [25], Cuvaj Camillo gave a Survey of Langevin's Work in Relativity.

Langevin's light-clock

Suppose that we have two inertial frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ in standard configuration with relative velocity v MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamODaaaa@3885@ and consider point M =(0,0,L) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmytayaafaGaaGypaiaaiIcacaaIWaGaaGilaiaaicdacaaISaGaamitaiaaiMcaaaa@3E45@ in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . We flash light signal from O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ to M MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmytayaafaaaaa@3868@ and reflects back to O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ in time interval t A MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDamaaBaaaleaacaWGbbaabeaaaaa@3975@ .

If the total round-trip time of the pulses in S is tB using Pythagorean theorem and the second postulate we get tB = γtA. Note that it follows directly from (L). Langevin, see for example [25], in order to explain time dilation visualize it by a thought experiment using a light-clock (originally developed by Lewis and Tolman in 1909.

Motivated by Langevin's approach we consider the following thought experiment: (B): Let's imagine straight lines long enough with rails (as track) and a train on rails moving at a speed v relative to the track. We can identify the frame xy-axis of S with track and frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ with train. Next, we can imagine a box (Rectangular prism) Q on a train of perfectly reflecting walls wherein a light signal reflects back and forth from opposite faces(which is a light clock). Box Q is posted on the train with bases faces A and B and height L MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaaaaa@3867@ such that

a) The horizontal box: the bases are parallel to yz-plane.

b) The vertical box: the bases are parallel to xy-plane.

We can imagine a "light clock" as a box of perfectly reflecting walls where a light signal successively reflects on opposite faces A and B.

It is interesting that Langevin considers the case a) and determines the Lorentz factor γ. Let C0 be a clock which is at rest on the base face A in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . In case b) we can use a moving frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ consisting of two mirrors at a distance L MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaaaaa@3867@ and that speed of light measured along a line orthogonal on x,y axis is c and Pitagorian theorem. Let t, t MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaaaaa@388F@ be the time of a light signal to move from A to A and reflects back to A in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ (measured by the clock C O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBaaaleaaceWGpbGbauaaaeqaaaaa@395E@ ) respectively. If we suppose that S is a fixed frame (we can not use symmetry here) and that the speed of light is c in z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaaaaa@3895@ -direction in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ then by Pitagorian theorem c 2 t 2 = c 2 t 2 + c 2 v 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yamaaCaaaleqabaGaaGOmaaaakiaadshadaahaaWcbeqaaiaaikdaaaGccaaI9aGaam4yamaaCaaaleqabaGaaGOmaaaakiqadshagaqbamaaCaaaleqabaGaaGOmaaaakiabgUcaRiaadogadaahaaWcbeqaaiaaikdaaaGccaWG2bWaaWbaaSqabeaacaaIYaaaaaaa@448C@ and hence t =t/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiaadshacaaIVaGaeq4SdCgaaa@3CAF@ .

In case a) suppose that T, T MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaaaaa@386F@ be time for a light signal to move from A to B and reflects back to A in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ (measured by the clock C O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBaaaleaaceWGpbGbauaaaeqaaaaa@395E@ ) respectively. Let L be height of the box measured in S. Then

T= 2Lc c 2 v 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivaiaai2dadaWcaaqaaiaaikdacaWGmbGaam4yaaqaaiaadogadaahaaWcbeqaaiaaikdaaaGccqGHsislcaWG2bWaaWbaaSqabeaacaaIYaaaaaaaaaa@405B@

and let V=2 L / T MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOvaiaai2dacaaIYaGabmitayaafaGaaG4laiqadsfagaqbaaaa@3C63@ be the two-way speed of light in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ . If V=c MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOvaiaai2dacaWGJbaaaa@3A14@ , then T =2 L /c MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaGaaGypaiaaikdaceWGmbGbauaacaaIVaGaam4yaaaa@3C70@ and using T =T/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaGaaGypaiaadsfacaaIVaGaeq4SdCgaaa@3C6F@ we find L =γL MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaGaaGypaiabeo7aNjaadYeaaaa@3BA6@ . We summarize:

Proposition 4.1: Suppose the setting described by (B) above.

1. In the case b) of the vertical box, if the speed of light is c in z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaaaaa@3895@ -direction in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ then t =t/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiaadshacaaIVaGaeq4SdCgaaa@3CAF@ .

2. In the case a) of the horizontal box, T= 2Lc c 2 v 2 MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivaiaai2dadaWcaaqaaiaaikdacaWGmbGaam4yaaqaaiaadogadaahaaWcbeqaaiaaikdaaaGccqGHsislcaWG2bWaaWbaaSqabeaacaaIYaaaaaaaaaa@405B@ . In addition, if the two-way speed of light in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ in x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ and z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaaaaa@3895@ -directions is c, then T =T/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaGaaGypaiaadsfacaaIVaGaeq4SdCgaaa@3C6F@ and L =γL MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaGaaGypaiabeo7aNjaadYeaaaa@3BA6@ .

Now we introduce a hypothesis that is a weaker assumption than Einstein's second postulate.

Postulate 3. The two-way speed of light in x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ and z MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOEayaafaaaaa@3895@ -directions S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are c.

Using the above consideration we can derive.

Proposition 4.2: Let S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ be frames in standard configuration and suppose that S is the rest frame and that S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ moves in a single direction: the x-direction of frame S with a constant velocity v as measured in frame S and that Postulate 3 holds. Then in the case a) of the setting (B), T =T/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaGaaGypaiaadsfacaaIVaGaeq4SdCgaaa@3C6F@ and L =γL MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaGaaGypaiabeo7aNjaadYeaaaa@3BA6@ .

Proposition 4.3: Let S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ be frames in standard configuration and suppose that S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ moves in a single direction: the x-direction of frame S with a constant velocity v as measured in frame S and that (L-TD) holds. Then the two-way speed of light measures along x-axis and x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaafaaaaa@3893@ -axis in S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ respectively is c.

Note that we do not suppose here that S or S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ is fixed frame.

Outline of proof: Consider the setting (B) described by the case a). Then by (L-TD) we have T =T/γ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmivayaafaGaaGypaiaadsfacaaIVaGaeq4SdCgaaa@3C6F@ and by symmetry we find L =γL MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmitayaafaGaaGypaiabeo7aNjaadYeaaaa@3BA6@ . Hence

T= 2Lc c 2 v 2 =2L γ 2 /c MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamivaiaai2dadaWcaaqaaiaaikdacaWGmbGaam4yaaqaaiaadogadaahaaWcbeqaaiaaikdaaaGccqGHsislcaWG2bWaaWbaaSqabeaacaaIYaaaaaaakiaai2dacaaIYaGaamitaiabeo7aNnaaCaaaleqabaGaaGOmaaaakiaai+cacaWGJbaaaa@46F4@

and

V=2 L / T = 2γL T/γ =2 γ 2 L/T=c. MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOvaiaai2dacaaIYaGabmitayaafaGaaG4laiqadsfagaqbaiaai2dadaWcaaqaaiaaikdacqaHZoWzcaWGmbaabaGaamivaiaai+cacqaHZoWzaaGaaGypaiaaikdacqaHZoWzdaahaaWcbeqaaiaaikdaaaGccaWGmbGaaG4laiaadsfacaaI9aGaam4yaiaai6caaaa@4C8E@

Remark 1: It seems that the proof works if we suppose only synchronization Hypothesis continuity of time (HCT) without some special synchronization. It seems that (L-TD) and (HCT) imply some kind of synchronization.

Let's imagine straight lines long enough with rails (as track) and a train on rails moving at a speed v relative to the track and imagine a box (Rectangular prism) Q on a train of perfectly reflecting walls wherein a light signal reflects back and forth from opposite faces (which is a light-clock). Here we consider the track as S and the system on the train as S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ .

In [20] Wu considers that Einstein’s Velocity Time Dilation is nothing but an imagination or a pure mathematical time.

A corollary of SRT is that at any given moment the travelling clock in the frame S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ is running slow in the ''stationary'' inertial frame S, but based on the relativity principle one could equally argue that S - clock is running slow in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ inertial frame. Roughly speaking clock which is at rest in its own frame is running slow. In relativity theory clock which is at rest in its own frame measures small the increment of time by the Lorentz factor 1/γ. It seems here that we need a physical explanation for it.

Recall in Langevin's thought experiment a "light-clock" is used.

Question 5: Whether a "light-clock" measures real physical time and whether an atomic clock, an ordinary clock measures the same time as a "light clock"?

Suppose that K and S are in relative motion and (L-TD) holds.

In this situation, we can use symmetry.

If event E 1 =(x,t) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaaBaaaleaacaaIXaaabeaakiaai2dacaaIOaGaamiEaiaaiYcacaWG0bGaaGykaaaa@3E1D@ in S coincide with event F 1 =(ξ,τ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBaaaleaacaaIXaaabeaakiaai2dacaaIOaGaeqOVdGNaaGilaiabes8a0jaaiMcaaaa@3FB0@ in K and when O arrives at ξ at moment t1 in K the clock C0 at O shows time t1 then x=(t1-t)v. By symmetry, we can imagine that ξ moves to O and arrives there at events F 2 =(ξ, τ 1 ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBaaaleaacaaIYaaabeaakiaai2dacaaIOaGaeqOVdGNaaGilaiabes8a0naaBaaaleaacaaIXaaabeaakiaaiMcaaaa@40A2@ which coincide with E2=(0,t1). By (L-TD) t1-t= γ (τ1) and therefore

(i) x=γ(ξvτ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacqaHZoWzcaaIOaGaeqOVdGNaeyOeI0IaamODaiabes8a0jaaiMcaaaa@41CA@ .

Absolute frame and absolute time

If we suppose that K is an absolute frame and that clocks in K are synchronized in a standard way with respect to origin (as in Definition 2), then the above-defined time in K can be considered as absolute time. In the frame K we denote the origin by and use coordinates (ξ, η, ζ, τ).

Proposition 4.4: Let K and S be two inertial frames in standard configuration with relative velocity V. Suppose that K is an absolute frame. We have two possibilities:

1. The time defined in K is considered as absolute time.

2. We can synchronize clocks in S with respect to the origin O.

In the case (1) x=ξvτ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacqaH+oaEcqGHsislcaWG2bGaeqiXdqhaaa@3EBE@ .

If in addition, we suppose Postulate 3 in the case (2) we get x=γ(ξvτ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacqaHZoWzcaaIOaGaeqOVdGNaeyOeI0IaamODaiabes8a0jaaiMcaaaa@41CA@ .

Outline of proof: Recall that we suppose that clocks in K are synchronized wrt the origin O * MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4tamaaCaaaleqabaGaaGOkaaaaaaa@393F@ as in Definition 2. In the case (1), we suppose that clocks in K define an absolute time. For example if point x in S coincide with ξ (with events (ξ,τ,)) we use the clock Cτ) to measure time in S (or that the clock Cx at x shows time t=τ).

If event (x,t) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGikaiaadIhacaaISaGaamiDaiaaiMcaaaa@3B9B@ in S coincides with event (ξ,τ) MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGikaiabe67a4jaaiYcacqaHepaDcaaIPaaaaa@3D2D@ in K and when O arrives at ξ at moment τ1 then we have

(i) x=( τ 1 τ)v=ξvτ MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiaai2dacaaIOaGaeqiXdq3aaSbaaSqaaiaaigdaaeqaaOGaeyOeI0IaeqiXdqNaaGykaiaadAhacaaI9aGaeqOVdGNaeyOeI0IaamODaiabes8a0baa@474D@ .

In case (2) we have STR with absolute frame.

We can not use symmetry between S and K, but using Proposition 4.2 we derive (ii). [W]

Question 6: Suppose that frames S and S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ are in a standard configuration and clocks in S are synchronized with respect to the clock Co at the origin O (here we use that the speed of light is c in S between O and arbitrary point M). Let t = t x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaGaaGypaiqadshagaqbamaaBaaaleaacaWG4baabeaaaaa@3B84@ is time of clock C O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBaaaleaaceWGpbGbauaaaeqaaaaa@395E@ when O MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4tayaafaaaaa@386A@ is at position x in S and t=tx is time of clock C x MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qamaaBaaaleaacaWG4baabeaaaaa@397B@ . It seems that t MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaafaaaaa@388F@ is defined without the use of Postulate 2 (ie. that the speed of light is c in S MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabm4uayaafaaaaa@386E@ ). In this setting whether t=γ t MathType@MTEF@5@5@+=feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbnvMCYL2DLfgDOvMCaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGak0Jf9crFfpeea0xh9v8qiW7rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiDaiaai2dacqaHZoWzceWG0bGbauaaaaa@3BF6@ ?

We plan to add further results in a forthcoming paper. In particular, we plan to consider the rest frame and use other hypotheses related to (L-TD) (and Postulate 2) and connect STR with hyperbolic geometry, the geometry of Minkowski space, and Möbius transformations.

Conclusion

The work is in progress and in this introductory paper, we have outlined a mathematical model motivated by the special theory. We hope that work in this direction will contribute to a better understanding of Special Relativity Theory (STR).

  1. Wigner EP. The unreasonable effectiveness of mathematics in the natural sciences. Richard Courant lecture in mathematical sciences delivered at New York University. May 11, 1959". Communications on Pure and Applied Mathematics. 1960; 13 (1): 1-14.
  2. Kanda A, Prunescu M, Wong R. Logical Analysis of Relativity Theory. arXiv:2006.15289v1 [physics. hist-ph] 27 Jun 2020. Presented at Physics Beyond Relativity 2019 conference Prague. Czech Republic. October 20, 2019.
  3. Reichenbach H. Axiomatization of the theory of relativity. 1969.
  4. Sekerin VI. C28 The theory of relativity is a hoax of the 20th century. Novosibirsk: Publishing house "Art-Avenue". 2007; 128:ISBN 5-91220-011-X
  5. Gift SJG. One-Way Speed of Light Relative to a Moving Observer. Applied Physics Research. January 2013; 5(1). DOI: 10.5539/apr.v5n1p135
  6. Why is a debate about twin(s) paradox so bad? 2022. https://www.researchgate.net/post/Why_is_a_debate_about_twins_paradox_so_bad
  7. Wu ETH. Special Relativity and Velocity Time Dilation - An Imagination or Just a Pure Mathematical Definition IOSR Journal Of Applied Physics (IOSR-JAP), e-ISSN: 2278-4861. 2021; 13: 2; 38-43.
  8. F. Smarandache, Absolute Theory of Relativity (ATR) (January 30, 2016). Available at SSRN: https://ssrn.com/abstract=2724981 or http://dx.doi.org/10.2139/ssrn.2724981
  9. Smarandache F. New Relativistic Paradoxes and Open Questions. Moroccan Society. 1983. https://fs.unm.edu/NewRelativisticParadoxes.pdf
  10. de Abreu R, Guerra V. Relativity - Einstein's lost frame, extra]muros[, Lisboa. 2006.
  11. Guerra V, de Abreu R. Special Relativity in Absolute Space: from a contradiction in terms to an obviousness. https://arxiv.org/ftp/physics/papers/0603/0603258.pdf
  12. Ahlfors LV. Mobius Transformations in Several Dimensions, University of Minnesota. 1989.
  13. Datta S. A Revisit to Lorentz Transformation without Light. 2022. ArXiv. /abs/2212.03706
  14. Ignatowsky WV. Das relativit atsprinzip. Arch. Math. Phys. 1911; 3,1.
  15. What is new about derivation of Lorentz transformation? ResearchGate. 2017, June 5. https://www.researchgate.net/post/What_is_new_about_derivation_of_Lorentz_transformation
  16. Moylan P. Velocity reciprocity and the relativity principle. American Journal of Physics. 2022; 90:126. https://doi.org/10.1119/10.0009219.
  17. Zeeman ECh. Causality implies the Lorentz group. Journal of Mathematical Physics. 1964; 5(4): 490-493, Bibcode:1964JMP.....5..490Z, doi:10.1063/1.1704140
  18. Goldstein N. Inertiality Implies the Lorentz Group. Mathematical Physics Electronic Journal. 2007; 13:ISSN 1086-6655.
  19. Levy J. The simplest derivation of the Lorentz transformation. 2006. ArXiv. /abs/physics/0606103
  20. Minguzzi E. Differential aging from acceleration: An explicit formula. Am. J. Phys. 2005; 73: 876-880. arXiv:physics/0411233
  21. Pal PB. Nothing but Relativity. 2003. ArXiv. https://doi.org/10.1088/0143-0807/24/3/312
  22. Einstein A, Lorentz HA, Minkowski H, Weyl H. Arnold Sommerfeld. ed. The Principle of Relativity. Dover Publications: Mineola, NY. 1923; 38–49.
  23. Walter SA. Poincaré on clocks in motion. Studies in History and Philosophy of Modern Physics. 2014; 47(1):131-141. doi 10.1016/j.shpsb.2014.01.003
  24. Lambare J. Comment on "On the linearity of the generalized Lorentz transformation. July 2023. DOI: 10.32388/XEFX76, LicenseCC BY 4.0
  25. Landau LD, Lifshitz EM. The Classical Theory of Fields. Butterworth-Heinemann. 1975; 2: ISBN 978-0-750-62768-9
  26. Malament DB. The class of continuous timelike curves determines the topology of spacetime. Journal of Mathematical Physics. 1977; 18(7):1399–1404. https://doi.org/10.1063/1.523436
  27. Landau LD, Lifšic iEM. Teoretičeskaja fizika III: Kvantovaya Mehanika, Moskva, Nauka. 1989.
  28. Cuvaj C. Paul Langeyin and the Theory of Relativity. Japanese Studies in the History of Science. 1971; 10:113-142.
  29. Bailey H. Measurements of relativistic time dilatation for positive and negative muons in a circular orbit. Nature. 1977; 268 (5618): 301–305.
 

Help ?