How can one formally prove the orthogonality of hydrogen atom wave functions?
I understand how the angular part is orthogonal, and I know that the radial part is orthogonal iff the quantum number $l$ is the same for both radial terms, i.e. we have $R_{n,\ell},R_{n',\ell}$ (see related post). And because this is given by the angular orthogonality, the result follows.
What I'm missing is the formal proof, and also some reference on the fact that when integrating the radial part, the two Laguerres have different arguments, i.e. the integral is not $$\int_0^\infty \rho^{\alpha}e^{-\rho}L_n^{(\alpha)}(\rho)L_m^{(\alpha)}(\rho)d\rho$$ as in Wikipedia, but each wave function provides a different $\rho$ depending on the energy level $n$ via $\rho=\frac{2r}{na_0}$. This seem to translate to a nontrivial change in the expression for the integral.
I was also looking at the Rodriguez formula, and it seems the difference in arguments translates to nontrivial change of these terms as well.
This is why I'm looking for a thorough and detailed proof of the orthogonality of the radial part, assuming $\ell=\ell'$ from the spherical harmonics, which i was unable to find just by Googling or through our lecture notes.