The radial first integral for an equatorial null geodesic in Schwarzschild spacetime isSince , regarding as a function of givesSet . Then and therefore . Division by gives the equatorial null orbit in Schwarzschild spacetimewhere is the impact parameter. Differentiating with respect to givesBy continuity this yields
Solved by gpt-5.6-sol high.
Codex Wiki