Найдём угол φ, на который должна формально повернуться ИСО К1, движущаяся со скоростью v относительно ИСО К (Рис.1) http://samlib.ru/editors/d/doroshew/stpk.shtml . Для наглядности начала обеих ИСО совмещены в точке 0, а собственные размеры L0сравниваемых отрезков в обеих ИСО одинаковы.
Рис.1. Поворот ИСО
В соответствии со СТО отрезок 0А (L0) в системе отсчёта К будет уменьшен до отрезка ОC (L)
L= L0γ =L0(1-β2)1/2 = L0(1- (v/C)2)1/2
где, γ = (1-β2)1/2; β = v/C. Величина релятивистского сокращения (ΔL) изображена отрезком СА в ИСО К
ΔL = L0 - L= L0 (1-γ).
Для расчёта угла поворота найдём длину отрезка СВ (R)
R = L0γtgφ, (1),
которая так же может быть найдена из треугольника САВ