NAS6大先生のご高説を拝聴するスレ

(cdτ)^2=(cdt)^2-(dx)^2
=(cdt)^2(1-(dx)^2/(cdt)^2)
τ^2=(t)^2(1-(v/c)^2)

(cdt)^2=(cdτ)^2/(1-(dx)^2/(cdt)^2)
t^2=τ^2/(1-(v/c)^2)

ほらね