海王星的发现是什么原理的具体应用