Voy a suponer (sin ninguna base real salvo una cierta experiencia) que una solución óptima es aquella que parte de un punto en $(r, 0)$ sigue con otro punto cuya distancia a éste es exactamente 2, y así sucesivamente, hasta dar "toda la vuelta al círculo".
Para facilitarme la vida, voy a sustituir la pregunta por "En un unidad círculo, cuántos puntos con distancia $h = \frac{2}{r}$ ¿puedo encajar?" (Esa es la pregunta original, reducida por un factor de $r$ en todas las direcciones).
Bueno, necesitas un punto $$ P = (\sin t, \cos t) $$ con la propiedad de que $$ (1 - \sin t, \cos t) $$ tiene una longitud $h$ Así que \begin{align} h^2 &= 1 - 2\sin t + \sin^2 t + \cos^2 t \\ h^2 &= 1 - 2\sin t + 1 \\ h^2 &=2 - 2\sin t \\ h^2 &=2 - 2\sin t \\ 2-h^2 &= 2 \sin t \\ 1-\frac{h^2}{2} &= \sin t \end{align}
así que $t = \arcsin \left( 1 - \frac{h^2}{2} \right)$ .
Ahora vas a marcar los puntos en los ángulos $0, t, 2t, 3t, \ldots$ hasta que hayas dado casi toda la vuelta al círculo. Habrá dos casos:
-
$n = \frac{2\pi}{t}$ es un número entero. En este caso, el $n$ ángulos $0, t, 2t, \ldots, (n-1)t$ determinar los puntos que desea.
-
$n$ no es un número entero. En ese caso, el $n-1$ ángulos $0, t, 2t, \ldots (n-2)t$ determinar los puntos que desea.
Convirtiendo a su notación:
- Dejemos que $t = \arcsin(1 - \frac{2}{r^2})$ .
- Calcula $n = \frac{2\pi}{t}$ .
- Si $n$ es un número entero, entonces puede encajar $n$ puntos con todas las distancias parciales al menos $2$ .
- De lo contrario, puede encajar $\lfloor n \rfloor$ tales puntos. (Nota: $\lfloor n \rfloor$ denota el mayor número entero menor o igual a $n$ es decir, el resultado del "redondeo $n$ abajo").
Tenga en cuenta que si $r < 1$ , entonces en el paso 1 estás calculando el arcoseno de un número menor que $-1$ lo cual es imposible. Esto corresponde a la noción de que en un círculo más pequeño que el círculo unitario, no se pueden encontrar ni siquiera dos puntos cuya distancia sea al menos $2$ .