by mathematical calculations , he narrowed down where in the sky such a planet would be located , and in 1846 , with the help of german astronomer johann galle , leverrier actually discovered neptune .