У меня эта формула получилась, но не "раскрытием выражения

", как там написано, а иначе.
Берём 4-ускорение в мгновенно сопутствующей системе отсчёта

(пользуюсь системой единиц

) и преобразуем обратно по Лоренцу в неподвижную систему отсчёта. Получаем

где

- общепринятое сокращение для уменьшения писанины. Теперь, с другой стороны, имеем по определению (с учётом

для дифференцирования вдоль мировой линии):

а так как 4-скорость имеет компоненты

то получаем

Это мы можем покомпонентно приравнять к (*) (которое, собственно, выражает равенство

но уже преобразованное), и из равенства компонент номер 1, получить

что нам и было нужно.