Em 1772, o matemático Johann Titus e o astrônomo Johann Bode descobriram uma sequência matemática nas distâncias dos planetas a partir do Sol — essa sequência previa a possibilidade de um planeta orbitar entre Marte e Júpiter a 2,8 UA (unidades astronômicas) do Sol. Em 1801, o astrônomo italiano Giuseppi Piazzi descobriu um corpo indistinto nessa distância, ao qual ele deu o nome de Ceres, bem como outros corpos pequenos, nessa mesma adjacência, que foram chamados de asteroides ou planetas anões.

Considerando-se que as distâncias dos planetas, a partir do Sol, são proporcionais aos termos da sequência, de acordo com a tabela, pode-se afirmar que x é o quadrado de