Приведу свой вариант решения.
Следуя своему принципу - не таскать через всё решения тривиальных констант - запишу метрику в виде
![$$\[
ds^2 = \frac{{r - 1}}
{r}dt^2 - \frac{r}
{{r - 1}}dr^2
\]
$$ $$\[
ds^2 = \frac{{r - 1}}
{r}dt^2 - \frac{r}
{{r - 1}}dr^2
\]
$$](https://dxdy-01.korotkov.co.uk/f/4/5/2/4528ee97646b2a49f38c45d2d15630a682.png)
Ищем геодезические, т.е. кривые

, удовлетворяющие вариационному принципу

. Перепишем последний в виде

, где

.
Для дальнейшего упрощения жизни заметим, что вообще-то

. И поэтому вариационные задачи

и

эквивалентны. Это, возможно, не очевидно, но легко проверяется выписыванием уравнений Эйлера для обеих задач. Так что можно положить

. (Этот фокус-покус без должного обоснования, е.м.н.и.п., приводится в винрарном МТУ).
Далее, выписывая условия экстремальности и приводя их в соответствие с тем же

(это позволяет фиксировать одну из двух свободных констант), получаем
![$$\[
\left\{ {\begin{array}{ccl}
{\dot t &=& K\dfrac{r}
{{r - 1}}} \\
{\dot r^2 &=& K^2 - 1 + \dfrac{1}
{r}} \\
\end{array} } \right.
\]
$$ $$\[
\left\{ {\begin{array}{ccl}
{\dot t &=& K\dfrac{r}
{{r - 1}}} \\
{\dot r^2 &=& K^2 - 1 + \dfrac{1}
{r}} \\
\end{array} } \right.
\]
$$](https://dxdy-03.korotkov.co.uk/f/6/b/e/6be520ba45a5f075fc2e3a12ce53d2e382.png)
Теперь можно играться в развал
башки надвое. Возьмём зависшее тело единичной массы и представим его 4-импульс в виде суммы 4-импульсов двух движущихся по двум разным геодезическим тел
![$$\[
\left\{ {\sqrt {\frac{r}
{{r - 1}}} ,0} \right\} = m_ + \left\{ {K_ + \frac{r}
{{r - 1}},\sqrt {K_ + ^2 - 1 + \frac{1}
{r}} } \right\} + m_ - \left\{ {K_ - \frac{r}
{{r - 1}}, - \sqrt {K_ - ^2 - 1 + \frac{1}
{r}} } \right\}
\]
$$ $$\[
\left\{ {\sqrt {\frac{r}
{{r - 1}}} ,0} \right\} = m_ + \left\{ {K_ + \frac{r}
{{r - 1}},\sqrt {K_ + ^2 - 1 + \frac{1}
{r}} } \right\} + m_ - \left\{ {K_ - \frac{r}
{{r - 1}}, - \sqrt {K_ - ^2 - 1 + \frac{1}
{r}} } \right\}
\]
$$](https://dxdy-04.korotkov.co.uk/f/3/9/f/39f40110824cc743eb7e382443bc752c82.png)
Здесь все константы неотрицательны и, кроме того,

, раз уж мы собраемся отправить одну из частей в командировку на бесконечность.
Решая эту систему относительно

, находим
![$$\[
m_ + = \dfrac{{\sqrt {\dfrac{r}
{{r - 1}}} }}
{{K_ + + \sqrt {K_ + ^2 - 1 + \dfrac{1}
{r}} \left( {\dfrac{{K_ - }}
{{\sqrt {K_ - ^2 - 1 + \dfrac{1}
{r}} }}} \right)}}
\]
$$ $$\[
m_ + = \dfrac{{\sqrt {\dfrac{r}
{{r - 1}}} }}
{{K_ + + \sqrt {K_ + ^2 - 1 + \dfrac{1}
{r}} \left( {\dfrac{{K_ - }}
{{\sqrt {K_ - ^2 - 1 + \dfrac{1}
{r}} }}} \right)}}
\]
$$](https://dxdy-03.korotkov.co.uk/f/a/a/d/aad2b23d8cfb70cf178371bd64a4d9e782.png)
Максимум этого выражения достигается при

и оказывается равным
![$$\[
\max m_ + = \frac{{\sqrt {r - 1} }}
{{\sqrt r + 1}}
\]
$$ $$\[
\max m_ + = \frac{{\sqrt {r - 1} }}
{{\sqrt r + 1}}
\]
$$](https://dxdy-04.korotkov.co.uk/f/7/c/e/7ced4cb14d47ab6340e91802df63093482.png)
Теперь можно вернуться к столь милому многим сердцам
![$$\[
1 - \frac{{2GM}}
{{c^2 r}}
\]
$$ $$\[
1 - \frac{{2GM}}
{{c^2 r}}
\]
$$](https://dxdy-03.korotkov.co.uk/f/2/4/a/24ac67dc5438d88e36584d5593868a1182.png)
и получится то, что я написал выше.