El Enrrabadore-mor wrote:
The only thing I can guarantee is that the derivative
of the above solution of the integral, gives the function
used by Tom Roberts in first place.[...]
The right solution must be:
\tau = 1/2*(v(t)/c)*sqrt(1-v(t)^2/c^2) + 1/2*arcsin(v(t)/c)

This cannot possibly be correct. Differentiate your expression by t and
you must get a factor of v'(t) (i.e. dv(t)/dt), but there is no such
factor in the original integral.


Tom Roberts