In the book Relativity, Gravitation and Cosmology by Ta-Pei Cheng, page 106-7, the Eddington-Finkelstein coordinate system is described as a coordinate system set up using a photon falling radially towards the gravitational source at the origin as the observer.
It was then said that the null geodesic $ds^2=0$ in the Eddington-Finkelstein (EF) coordinate system is a $45^\circ$ straight line. Why is that so? The author later on derived this result in a circular way. Is it possible to prove this statement by only using physical arguments?
Edit: The author "derived" this result in the following cicular way:
Start with the fact that the null geodesic is a $45^\circ$ straight line in the EF coordinate system $(\bar{t},r) $. Thus $c\bar{t}=-r+\text{constant}$ is the worldline for an infalling photon.
Compare this with the worldline of an infalling photon in Schwarzschild coordinates $(t,r) :$ $ct+r^*\ln|r-r^*|=-r +\text{constant}$. ($r^*$ is the Schwarzschild radius)
Thus to get EF coordinates from Schwarzchild coordinates, one just make the coordinate transformation of $ct\rightarrow c\bar{t}=ct+r^*\ln|r-r^*|$.
Use this coordinate transformation on the Schwarschild line element $ds^2$ to get the EF line element.
Using the EF line element, the result $c\bar{t}=-r +\text{constant}$ is verified to be true for an infalling photon.