从方程中解出来的海王星