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$