Esbocemos la equivalencia del problema anterior:
- Dado $N \ge 2$ , encontrar $N$ puntos en el disco unitario cerrado tales que la distancia mínima $d$ entre cualquier par de puntos se maximiza.
y el "embalaje en círculo" problema:
- Dado $N \ge 2$ , lugar $N$ círculos de mayor radio igual posible $r$ dentro del disco unitario para que sus interiores tengan intersecciones vacías por pares.
La solución del segundo problema nos da la $N$ los centros de los círculos están todos dentro de un disco de radio $1-r$ y una distancia mínima entre dos centros cualesquiera de $2r$ . Dilatando estos puntos a ubicaciones dentro de un disco unitario se obtiene:
$$ d = \frac{2r}{1-r} $$
A la inversa, dada una solución del primer problema, cualquier par de $N$ puntos no están más cerca que $d$ por lo que los círculos alrededor de estos puntos de radio $d/2$ no tendrán interiores superpuestos y estarán contenidos en un disco de radio $1 + (d/2)$ . La contratación del disco contenedor al radio uno nos proporciona $N$ círculos empaquetados en el disco unitario que tienen el mismo radio:
$$ r = \frac{d/2}{1 + (d/2)} $$
Se ruega al lector que compruebe que la composición de estas expresiones racionales da una identidad, por lo que basta con comprobar la monotonicidad de cualquiera de ellas. Por ejemplo, podríamos reescribir esta última expresión:
$$ r = \frac{1}{(2/d) + 1} $$
Esto hace evidente que como $d$ aumenta, $r$ aumenta. De ello se deduce que las soluciones extremas del primer problema se corresponden con las soluciones extremas del segundo (y a la inversa).
Un tercer problema, cuya equivalencia con el segundo debería estar clara:
- Dado $N \ge 2$ , lugar $N$ Círculos de radio unitario dentro de un círculo delimitador del menor radio posible $R$ para que los interiores de los círculos unitarios no se superpongan.
Como señala @achille hiu, packomania es una buena fuente para los arreglos de círculos más conocidos. Según el artículo de Wikipedia enlazado arriba, el caso más pequeño para el que la optimalidad de tales arreglos es conjetural (no probado) es $N=14$ . La prueba de optimalidad para $N=13$ fue publicado por F. Fodor (2003), "The Densest Packing of 13 Congruent Circles in a Circle", Contribuciones al álgebra y la geometría (Contribuciones al Álgebra y la Geometría) 44:2, pp. 431-440.
0 votos
Desde Problemas no resueltos de Geometría: Problemas no resueltos de matemáticas intuitivas , p.110 : "¿Cómo de grande puede ser la menor distancia entre un par elegido de n puntos del círculo unitario?". Esto parece ser un problema abierto
0 votos
Aunque es un poco complicado, esto se puede reducir a un problema de embalaje $n$ círculos iguales dentro de un círculo mayor de tamaño fijo, por ejemplo, dentro de un círculo unitario.
0 votos
Sí, tenía la sensación de que estaría abierto...
0 votos
Prueba con packomania . Puede encontrar los envases más conocidos de $N$ círculos iguales en un círculo (completar hasta $N = 2600$ ) allí.