Teorema de Erdős–Anning

O Teorema de Erdős–Anning afirma que um conjunto infinito de pontos no plano que têm distâncias mútuas inteiras pode existir se e somente se todos os pontos estão em linha reta. O nome é uma homenagem a Paul Erdős e Norman H. Anning, que o provaram em 1945.

Uma maneira alternativa de enunciar o teorema é que um conjunto de pontos não colineares no plano com distâncias inteiras pode apenas ser ampliado adicionando-se um número finito de pontos adicionais, antes que não se possa adicionar mais pontos. Mais especificamente, se um conjunto de três ou mais pontos não colineares tem distâncias inteiras, nenhuma excedendo algum número d, então no máximo ${\displaystyle 4(d+1)^{2}}$ pontos a distâncias inteiras podem ser adicionados ao conjunto.

• Anning, Norman H.; Erdős, Paul (1945), «Integral distances», Bulletin of the American Mathematical Society, 51 (8): 598–600, doi:10.1090/S0002-9904-1945-08407-9 
• Este artigo foi inicialmente traduzido, total ou parcialmente, do artigo da Wikipédia em inglês cujo título é «Erdős–Anning theorem», especificamente desta versão.

• Weisstein, Eric W. «Erdos-Anning Theorem». MathWorld (em inglês)