The short-wavelength approximation to the Schrödinger equation