海王星是通过数学计算得到的

天王星是外行发现。

海王鑫是通过数学计算得到的。

是歪打正着发现的，后来，发现计算根本是错误的。然后也被降为矮行星。