他们用笔尖预测了一颗行星，却被人抢先发现，这是怎么回事？

你知道吗？太阳系中有一颗行星，它不是靠望远镜发现的，而是靠数学计算预测的。它就是海王星，被称为“笔尖下发现的行星”。那么，为什么要用数学来寻找行星呢？又是谁最先发现了海王星呢？这背后有一个惊心动魄的故事。