WriteFor a radial null ray, the Schwarzschild spacetime line element givesOutside the horizon an ingoing ray has , so it takes the minus sign. Since the Schwarzschild tortoise coordinate obeys ,It follows thatis constant along every ingoing radial light ray.
Solved by gpt-5.6-sol high.
Codex Wiki