Hi rbj,
Many thanks for all the effort to answer my question.
I think the disconnection between your reasoning and my question is about the understanding of what role the light speed constancy plays in SR. It seems to me that you think that’s implied by the principle of relativity. However, this would mean that Einstein could do away one of the two of his postulates. Since Einstein did not do that, it then follows (blindly, or out of my laziness) that light speed constancy must be independent of and thus can’t be explained by the principle of relativity. But I am having a second thought.
I am not exactly sure why Einstein had to postulate light speed constancy. One explanation is as stated at
http://en.wikipedia.org/wiki/Introduction_to_special_relativity that the postulate is needed to establish Maxwell’s equation in the time-space 4D space. For the lack of knowledge on Minkowski's formula and my rusty math, I don’t know how this point worked out or what Minkowski’s equation postulates.
---
Therefore, by assuming that the universe has four dimensions that are related by Minkowski's formula the speed of light appears as a constant and it does not need to be assumed to be constant as in Einstein's original approach to special relativity. Notice that c is not explicitly required to be the speed of light. It is a consequence of Maxwell's electrodynamics that light travels with c. There is no such requirement inherent in special relativity.
---
Another explanation may have to do with “dependence on definition of units” as stated below from
http://en.wikipedia.org/wiki/Status_of_special_relativity. But I am not sure where “but then the invariance of c is non-trivial” would come from.
---
Because of the freedom one has to select how one defines units of length and time in physics, it is possible to make one of the two postulates of relativity a tautological consequence of the definitions, but one cannot do this for both postulates simultaneously because when combined they have consequences which are independent of one's choice of definition of length and time. For instance, if one defines units of length and time in terms of a physical object (e.g. by defining units of time in terms of transitions of a caesium atom, or length in terms of wavelengths of a krypton atom) then it becomes tautological that the law determining that unit of length or time will be the same in all reference frames, but then the invariance of c is non-trivial. Conversely, if one defines units of length and time in such a way that c is necessarily constant, then the second postulate becomes tautological, but the first one does not; for instance, if the length unit is defined in terms of the time unit and a predetermined fixed value of c, then there is no a priori reason why the number of wavelengths of krypton in a unit of length will be the same in all reference frames (or even in all orientations).
---
There is yet another possible explanation at
http://en.wikipedia.org/wiki/Status_of_special_relativity.
---
In fact Maxwell's equations combined with the first postulate of special relativity can be used to deduce the second postulate. Actually electromagnetism is greatly simplified by relativity, as magnetism is simply the relativistic effect obtained when the simple law of electrostatics is put into a relativistic Universe.
---
Perhaps Einstein did not want SR to depend on Maxwell’s equation and as such he would be able to show that Maxwell’s equation is a logical consequence of SR. But again, I don’t know how one would come to conclude “magnetism is simply the relativistic effect obtained when the simple law of electrostatics is put into a relativistic Universe.”
So it seems that we are very close to an agreement. Nevertheless, in addition to the mathematical consequence of Maxwell equation plus the principle of relativity, I’d like to know what mechanics is behind light to allow it travel that way, or “how does light travel at an invariant speed to anyone and everyone”? :)
EDIT: Just noticed that the last "explanation" actually is problematic given that Minkowski's formula is needed in addition to SR's 1st postulate to derive 'c' in SR.