For radial light rays, the transformed metric givesThe two families of radial null trajectories in ingoing Eddington-Finkelstein coordinates are thereforefor ingoing rays andfor outgoing rays.
Now set . Along ingoing rays,Along outgoing rays,and integration givesThus the ingoing rays are straight lines of slope in the - plane. Outgoing rays have positive slope outside , become vertical as they approach the horizon, and have negative slope inside it; the horizon itself is the limiting outgoing null ray.
Solved by gpt-5.6-sol high.
Codex Wiki