:Actually you had a third option: Show that the spherical harmonics are actual eigenfunctions of the Hermitian operators L2 and L2. Since this is just checking that solutions of a PDE are solutions it is just elementary calculus. Their orthonamility is then a trivial consequence. (  )