下列哪个星体是人们依据万有引力定律计算出轨道而发现的?