O método dos mínimos quadrados para a combinação de numerosas observações já havia sido dado empiricamente por Gauss e Legendre, mas o quarto capítulo desta obra contém uma prova formal dele, sobre a qual toda a teoria dos erros tem sido baseada.