¿Cuántas distancias exactamente iguales a 1 pueden aparecer entre puntos en el plano?

La conjetura de Erdős

Erdős observó que ciertas configuraciones basadas en rejillas cuadradas de puntos enteros producen muchos pares a distancia 1. A partir de estas construcciones propuso que el máximo real debería crecer casi linealmente con (n):

[
n^{1+o(1)}
]

Es decir, apenas un poco más que proporcional al número de puntos .

Los mejores resultados conocidos

Hasta ahora, los matemáticos solo han logrado acotar el problema entre dos límites:

límite inferior:  n^(1 + O(1/log log n))
límite superior:  O(n^(4/3))
conjetura:        n^(1+o(1))

El mejor límite superior general fue demostrado en 1984 por Joel Spencer, Endre Szemerédi y William T. Trotter, quienes probaron que el número de pares a distancia 1 no puede superar el orden de (O(n^{4/3})) .

Sin embargo, ese límite todavía está bastante lejos de la conjetura de Erdős, lo que significa que el problema sigue abierto.

Un ejemplo sencillo

Una forma de generar muchas distancias unitarias es colocar los puntos en una rejilla cuadrada (como en papel cuadriculado). En esta configuración:

• los puntos vecinos horizontales y verticales están a distancia 1
• aparecen muchos pares con esa distancia exacta

Estas construcciones muestran que es posible obtener más que un número estrictamente lineal de distancias unitarias, lo que inspiró la conjetura original de Erdős .

Un problema aún sin resolver

A pesar de décadas de investigación y avances en geometría combinatoria, nadie ha conseguido demostrar la conjetura ni cerrar completamente la brecha entre los límites conocidos.

Por eso, cuando alguien pregunta por una "demostración" completa del problema de la distancia unitaria de Erdős, la respuesta actual sigue siendo clara:

todavía no existe una prueba definitiva .

Este enigma continúa siendo uno de los problemas clásicos más famosos de la geometría discreta.