Hurkyl said:
The equation is well-defined, if that's what you mean. In the spirit of the discussion thus far, I'd have to say we currently have no reason to think that the equation would be correct in SR; v=c violates the hypotheses of our derivation.
Well, we have the derivation before us, and there was no reason to forbid v=c in the derivation. v = \infty certainly must be forbidden, but not v=c. The reason v cannot be infinite, is because as the relative speed v increases, the angle between the sides of the isosceles triangle approaches 180 degrees, at which point the distance D would have to equal zero. But D is nonzero by stipulation. In fact, the only stipulation made about the relative speed, was that it be nonzero (so that we have a triangle in F2).
As we perform algebraic steps, we certainly must be careful not to divide by zero, or WE make an error.
The next thing to say, is that you certainly were correct about my assumption about D, namely that there is no length contraction in a direction perpendicular to the velocity. You also correctly saw that the relative velocity vector was perpendicular to the photon's velocity vector in the lab frame. As for D not contracting, that is unobjectionable as far as I can see, and as for the relative velocity vector, the direction is just one of the stipulations of the experiment.
But, I am sorry to say, v=c is not forbidden by nature, nor was it forbidden in this wonderfully simple derivation of the time dilation formula. Special relativity has an insurmountable problem to contend with, which is namely that photons cannot move relative to one another.
The logic finishes off this way:
Premise 1: If c=c` then (photons can't move relative to one another).
Premise 2: Photons can move relative to one another.
Conclusion: Not (c=c`)
The truth of premise 1 is known deductively, you in fact derived the result for us.
The truth of premise two is known inductively, through our common sensory perception.
The conclusion is sequitur, via the natural deduction known as modus tollens.
Kind regards,
The Star Thrower