Introduction
As the Special Theory of Relativity seems to contradict the common sense, it remains a somewhat magical topic for the regular people. The consequences of this theory seem to be so far removed from everyday life, that it's quite hard to admit them as the correct description of the surrounding reality.
Most people have their first contact with SR at school and its introduction there looks somewhat like this: near the end of the 19th century people discovered the electromagnetic waves. The equations describing these waves imply a specific speed of their propagation, denoted and equal to about 300 000 km/s. It was quite interesting, since nothing seemed to imply any frame of reference for this speed. Since all known waves required a medium to propagate, it was assumed that the electromagnetic waves are no different and travel in something called the aether, and that the speed arising from the equations is relative to the aether.
Once people decided that aether should exist, the logical next step was to try and detect it. One of the ideas was to measure the speed of the Earth relative to the aether. Some attempts were made, but the results were unexpected - it seemed that the Earth is not moving in the aether. It was strange, especially considering that the Earth changes its velocity in its motion around the Sun, so even if it did stand still in the aether at one point, it shouldn't at another one - but the measured speed was always 0. People then tried to modify the concept of the aether to explain the results and started performing more sensistive experiments. One of these was the famous Michelson-Morley experiment, which, just like the earlier attempts, failed to detect the motion of the Earth, too.
The scientists were rather confused with these results. It seemed that the speed of light was constant regardless of the motion of the observer, which was quite extraordinary. To better illustrate what is so strange about this situation, let us imagine that we are in a car standing at an intersection, and that there is another car in front of us. Once the traffic light turns green, the car in front of us starts moving and accelerates to 15 m/s, so its distance from us starts to grow by 15 meters every second. We start moving shortly afterwards. Once we are moving at 5 m/s, we expect the car ahead to be leaving us behind by 10 m every second, but once we check that, we are surprised to discover that the distance is still growing by 15 m/s. We accelerate to 10 m/s - and the distance is still growing by 15 m/s. We accelerate more and more, but we can't seem to start catching up to the car in front, even though our friend, a policeman, was standing with a radar near the road and told us that the speed of that car was always just 15 m/s. Light seemed to behave just like such a weird car.
The 20th century came and various people were proposing different explanations - among them were Lorentz, Poincare, and eventually Einstein. In 1905, Einstein presented a theory known today as Special Relativity, which was based on 3 assumptions:
- The space(time) is homogeneous and isotropic, ie. there are no special points or directions in the Universe.
- There are no special inertial frames of reference, the laws of physics are the same in all of them - this is the so called Galilean relativity principle.
- The speed of light is the same in all frames of reference - this was a conclusion from the Michelson-Morley experiment.
Thus the aether became unnecessary - from that moment on, was just a universal speed, independent of who is measuring it. Coincidentally, this also has some unusual consequences, such as time passing slower for moving observers, or contraction of moving objects.
There is still a loophole, though. One could argue - and some people do - that the third assumption is not adequately proven. The Michelson-Morley experiment could have been not sensitive enough, or it could give a null result under some specific circumstances, even though the speed of light is not really constant. Thus, SR can be (and, according to some, just is) wrong.
This is all true, but not many people are aware that this third assumption isn't actually needed to obtain SR. I'm going to show here how this is possible.
The derivation of SR
I'll just note here that the derivation below is heavily inspired by a lecture by prof. Andrzej Szymacha, which I actually attended during my first year of studies. He showed us a reasoning that is almost identical to what I'm going to present, but a bit more complex in my opinion, so I decided to make small modifications.
Let us outline the situation, then. Imagine that we have two observers, who we will denote and
. Both of them assign their own coordinates to the events in spacetime - they are
for
, and
for
. Both of them find themselves at a point with spatial coordinates equal to 0 in their respective coordinate systems, that is, we have
for
, and
for
. We also assume that both observers met in a single point at time
and that
is moving at a speed of
in direction
in
's frame of reference, so in
's frame the coordinates of
satisfy
.
Since we are only really interested in two directions - one temporal and one spatial - we will forget about ,
,
,
. They play no role in the conclusions, and it will simplify the reasoning a lot.
Another huge simplification will be to assume that the axes and
point in the opposite directions. This way the situations of
and
are perfectly symmetrical - both
moves away from
in the positive
direction, and
moves away from
in the positive
direction. This perfect symmetry lets us immediately conclude that
's speed has to be
in
's frame of reference, as everything looks exactly the same regardless of which observer is marked as
, and which one is
.
Let us move on to some more mathematical issues. For starters, let us note that the homogeneity and isotropy of spacetime mean that the transformation between the frames of reference must be linear, ie. and
can depend on at most the first powers of
and
. Why? If there were higher exponents in the equations, they would change their form in translations, that is, if we changed the choice of the point denotes as
. We couldn't declare all points as equally good then, at least one would stand out - and we are assuming that it isn't so.
Linear transformations are pleasant in the way they can be written with matrices. We will then represent our transformation from to
this way:
For the people not familiar with matrices - the notation above means exactly the same as this one:
Let us consider what we can deduce about the coefficients A, B, C, D.
First, since we know that the situation is symmetrical, we can immediately write:
The transformation from to
has to be exactly the same as the one from
to
, because, as we mentioned, switching the observators' places changes nothing in the situation. Hence, we can write:
This simplifies to:
In order for everything to fit, the following must hold:
The equations 2 and 3 immediately lead to the conclusion that . The first and the fourth one are equivalent, then.
Denoting the transformation matrix as , we get:
What's next? Let us remember that we mentioned that is the same as
. Since we can read
from the matrix, we get:
Dividing by t, we will get . We can substitute this into
and extract
:
The transformation then takes the form:
This is a lot already, but we still don't know what is. In order to find out, we have to introduce some more complications.
First of all, let us give up on symmetry. The transformation in SR is usually written under the assumption that the axes and
face the same direction. To achieve this, it is enough to flip the sign of
. How do we do that?
Since we assumed , after flipping the sign we will get
. So, in order to get the transformation with axes facing the same direction, it is enough to flip the signs of the bottom coefficients in the matrix. We will denote this "flipped" matrix as
:
Let us also note that if we change the sign of the velocity (ie. it will be instead of
), we will get
. If we now also flip the sign of
, we are back in the same situation in
's frame (opposite speed and opposite axis, so the observer is moving away in the positive
direction again).
can't change, then. This means:
From this we can conclude that .
The second part of the whole ordeal is introducing a third observer. We will call him and we will say that he moves at a speed of
relative to
, ie. we have
for
. What is his speed relative to
? Let us denote it by
, which will mean
. In order to transition from
to
, we need to make a transformation by
:
From this we get:
We substitute from the first equation to the second and we get:
Still with me? So now the other way round: moves at
relative to
, and at
relative to
, so we transform by
from
to
:
So:
This gives:
Phew. We calculated in two ways. However, it is still the same
, so both results must be the same. The denominators must be the same, then:
After subtracting 1 and dividing by we get:
So now we are reaching the climax. The left-hand side only depends on , and the right-hand side only on
, which are two independent parameters. If we set a specific
, the left-hand side will be determined, but
is still subject to change. Despite that, the right-hand side cannot change, because it must still be equal to the other one. This means that both sides must be constant, equal to a number we will call
:
Solving this for leads to the result:
We can thus write the final transformation:
All is great, but what exactly is ...?
Let us first consider the consequences of various possible values of .
Zero value
This case is the simplest one. When , the transformation boils down to:
This is nothing else than the Galileo's transformation! So if the constant turns out to be zero, it will mean that people have known the correct transformation since the 17th century.
Negative value
This is also an interesting case. When the value of is negative, we can assume that it's
. The transformation looks like this, then:
Let us introduce new variables: and
. We get then:
Let us define an angle such that
. This reduces the transformation to:
But! We know from trigonometry that:
So, we get:
This is just a rotation matrix for the angle ! So, in the case of a negative
, time is just another spatial direction, and changing the velocity by
is a rotation by the angle of
.
Positive value
As it turns out, is actually positive in reality (I will tell you in a moment how we know). We can then denote
, where
is some constant in units of velocity. This constant has a special property. In order to see what it is, let us revisit the transformations of velocities.
We already transformed velocities when deriving the matrix coefficients. Let us do it again, then - assume that an object moves at a speed relative to
(so it satisfies
) and see how it moves relative to
:
Let us write again:
We get:
Dividing side by side, we get:
Let us see what happens when :
So, if an object moves at a speed relative to
, it is also moving at
relative to
, regardless of what the relative speed of
and
is.
is then a kind of a universal speed, independent of the frame of reference.
In the positive case we can also do a trick like what we did in the negative case, and introduce a value called "rapidity" such that:
. Introducing, analogously,
, we get:
It is a matrix of a transformation analogous to a rotation, but in a so-called Minkowski spacetime. I won't go into details here, but this idea turns out to be very useful in SR.
Measuring 
Now we know what different values of mean, but we still don't know what is its value in reality. We do have a nice description of the phenomena that should be happening for various values of
, though, so we can try to measure it. Specifically, we know how to add velocities:
One of the first measurements of was done in 1851 by a French physicist Armand Fizeau, but he didn't know back then that such a constant can exist, nor that it can be deduced from his measurements ;) What he did was measure the speed of light in the air, in water and in flowing water.
The speed of light in water is , where
is the refractive index of water. He expected to get a value of
in water flowing with speed
, according to Galileo's transformation, but he actually got
. Let us see what we can deduce about
from this.
If we assume that is small, we can approximate the formula for adding velocities:
where "..." stands for higher powers of , so numbers that are even smaller.
When , we get:
Since was a lot larger than
in Fizeau's setup, this approximately equals:
For this to agree with Fizeau's results, it must be that . What is not very surprising, the assumption that the speed of light is universal gives exactly
.
Conclusions
We got the Special Theory of Relativity without assuming that the speed of light is constant. To be precise, we got a result that there is a universal speed, which is approximately equal to the speed of light - but all experiments performed so far agree with the theory in which it is exactly the speed of light.
We have shown, then, that we can obtain SR not even assuming that the speed of light is the universal speed. Nevertheless, the experiments indicate that there indeed is a universal speed in nature and that it is the speed of light with very high accuracy (the original Fizeau experiment might not have been this precise, but 150 years have passed since then and we have much more precise results now). So even if it did turn out that the speed of light can depend on the frame of reference - which isn't entirely out of the question - it means nothing for phenomena that are such a pain to SR's opponents like time dilation and Lorentz contraction, or the existence of a universal speed. These phenomena arise from something much more general than just a constant speed of light, and in order to significantly change their interpretation, a discovery much larger than just variability of the speed of light would be needed.
It might be good to remember about this the next time you encounter someone who would try hard to convince you that SR is a scientific conspiracy ;)