Eigenzeit

SRT

$d\tau =\frac{1}{c}\sqrt{{\eta }_{\mu \nu }d{x}^{\mu }d{x}^{\nu }}=\sqrt{1-{\left(\frac{v}{c}\right)}^2}dt$