У меня эта формула получилась, но не "раскрытием выражения
", как там написано, а иначе.
Берём 4-ускорение в мгновенно сопутствующей системе отсчёта
(пользуюсь системой единиц
) и преобразуем обратно по Лоренцу в неподвижную систему отсчёта. Получаем
где
- общепринятое сокращение для уменьшения писанины. Теперь, с другой стороны, имеем по определению (с учётом
для дифференцирования вдоль мировой линии):
а так как 4-скорость имеет компоненты
то получаем
Это мы можем покомпонентно приравнять к (*) (которое, собственно, выражает равенство
но уже преобразованное), и из равенства компонент номер 1, получить
что нам и было нужно.