Приведу свой вариант решения.
Следуя своему принципу - не таскать через всё решения тривиальных констант - запишу метрику в виде
Ищем геодезические, т.е. кривые
, удовлетворяющие вариационному принципу
. Перепишем последний в виде
, где
.
Для дальнейшего упрощения жизни заметим, что вообще-то
. И поэтому вариационные задачи
и
эквивалентны. Это, возможно, не очевидно, но легко проверяется выписыванием уравнений Эйлера для обеих задач. Так что можно положить
. (Этот фокус-покус без должного обоснования, е.м.н.и.п., приводится в винрарном МТУ).
Далее, выписывая условия экстремальности и приводя их в соответствие с тем же
(это позволяет фиксировать одну из двух свободных констант), получаем
Теперь можно играться в развал
башки надвое. Возьмём зависшее тело единичной массы и представим его 4-импульс в виде суммы 4-импульсов двух движущихся по двум разным геодезическим тел
Здесь все константы неотрицательны и, кроме того,
, раз уж мы собраемся отправить одну из частей в командировку на бесконечность.
Решая эту систему относительно
, находим
Максимум этого выражения достигается при
и оказывается равным
Теперь можно вернуться к столь милому многим сердцам
и получится то, что я написал выше.