海王星於17世紀時已有觀測記錄，在1846年9月正式被柏林天文台發現，是唯一一顆通過數學計算預測而非實際觀測發現的行星。天文學家利用天王星軌道的攝動現象推測出了海王星的存在與可能的位置，最終被證實，因而其被稱為「筆尖上算出的行星」