Релятивистское (Лоренцево) сокращение длины движущегося тела

l_r = l * saknis(1 - v^2 / c^2)
Найти Известно, что: