38 votos

¿Puede un disco de área $1$ ser completamente cubierto por seis discos de áreas $\frac12,\frac13,\frac14,\frac15,\frac16,\frac17$?

¿Puede un disco de área $1$ ser completamente cubierto por seis discos de áreas $\frac12,\frac13,\frac14,\frac15,\frac16,\frac17$? Los discos pueden superponerse.

Hice un gráfico de Desmos donde puedes mover los discos.

Hasta ahora este es mi mejor esfuerzo (las ecuaciones se pueden ver cuando abres el gráfico de Desmos):

enter image description here

Aproximadamente el 99.96% del disco grande está cubierto. Hay pequeños espacios cerca del perímetro.

No importa cómo coloque los discos, siempre parece haber espacios. Parece imposible cubrir el disco grande, pero no sé cómo demostrarlo.

(En el gráfico de Desmos, los discos tienen todas sus áreas multiplicadas por $\pi$ pero eso no importa.)

Hecho relacionado: Un cuadrado de área $1$ puede ser cubierto por seis discos de áreas $\frac12,\frac13,\frac14,\frac15,\frac16,\frac17$, pero por muy poco.

Esta pregunta fue inspirada por la pregunta "¿Cuál es el disco más grande que será completamente cubierto por discos colocados al azar de áreas $1,\frac12,\frac13,\dots$ con probabilidad $1$?".

10voto

RavenclawPrefect Puntos 121

Es imposible.

Mostraremos esto exhibiendo un subconjunto del disco grande que los discos más pequeños no pueden cubrir más del $99.91\%$ incluso si contamos las coberturas con multiplicidad, lo cual es mucho más fácil de verificar. Específicamente, elegiremos un conjunto de cuatro anillos extremadamente delgados centrados alrededor del origen, ajustando sus grosores relativos para que la demostración de la imposibilidad funcione. También reescalamos para que el disco central tenga un radio de $1$ y los discos más pequeños tengan radios en el conjunto $R = \{1/\sqrt{2}, 1/\sqrt{3},\ldots,1/\sqrt{7}\}$.

Por la Ley de los Cosenos, la fracción de un anillo centrado en el origen de radio $x$ cubierto por un disco de radio $r$ cuyo centro está a una distancia $d$ del origen es

$$\frac{\arccos\left(\frac{d^2+x^2-r^2}{2dx}\right)}{\pi}$$

donde limitamos la salida de $\arccos()$ si su entrada está fuera del rango $[-1,1]$.

Si observamos $x=1$, es decir, el perímetro del disco, podemos observar la fracción de perímetro cubierta por cada disco como función de $d$:

enter image description here

Sumando los máximos de estas fracciones para cada $r\in R$ nos da una fracción total de cobertura de $1.0173$, lo cual aún no descarta las posibilidades pero sugiere que no tenemos mucho margen para alejarnos del perímetro.

Generalizando un poco más, agregaremos tres anillos más, por lo que observaremos $X =[x_1,x_2,x_3,x_4=1]$. Luego ponderaremos estos anillos por $W = [w_1,w_2,w_3,w_4]$, donde normalizaremos $W$ para que sume $1$. Si podemos encontrar valores de $X$ y $W$ tales que

$$\sum_{r\in R}\max_{d\in[0,1+r]}\left(\sum_{i=1}^4\frac{w_i}{\pi}\arccos\left(\frac{d^2+x_i^2-r^2}{2dx_i}\right)\right) < 1$$

entonces sabremos que el problema es imposible, ya que en cualquier solución válida la suma de las fracciones cubiertas a lo largo de cada anillo (y por lo tanto cualquier suma ponderada de las mismas) necesitaría exceder 1. (También podríamos pensarlo como usando una suma con peso igual en una región 2D, donde convertimos cada anillo en un anillo de espesor $\epsilon w_i/x_i$ - para un $\epsilon$ suficientemente pequeño, esto tendrá un comportamiento arbitrariamente cercano al ajuste anterior.)

Alimenté esta función en scipy.optimize.minimize con la restricción de que todos los pesos sean no negativos y arrojó la solución $X=[0.05,0.2384,0.3932,1], W=[0.01785, 0.04577, 0.02912, 0.90725]$. Con estos parámetros, la suma ponderada máxima es alrededor de $0.999005$. Los puntajes ponderados para cada disco como función de $d$ están graficados a continuación:

enter image description here

3voto

Cx0 Puntos 11

Aquí hay algunos resultados numéricos que sugieren que es imposible la cobertura.

Escribí un programa para generar puntos $P_1$ y $P_2$ y luego construir sucesivamente todos los demás puntos y círculos como se muestra. Queda un pequeño vacío.

enter image description here

El círculo $C_1$ es $x^2+y^2 = 1$. El círculo $C_2$ tiene centro en $ (0.5 \pm \delta, 0 )$ - con $ \delta = 0.01$ - a partir del cual se construye $P_1$. $P_2 (x_2,y_2)$ se construye con $ x_2 = \pm \delta$. Todos los demás puntos y círculos se construyen en el orden: $(C_6, C_4, C_3, C_5$ y $C_7)$.

Después de $10^9$ generaciones aleatorias, el vacío más pequeño encontrado tiene un área del 0.1754% del área de $C_1$.

Los centros de los círculos correspondientes son: $ C_1 (0,0), C_2 (0.5009,0.0000), C_3 (-0.6327,-0.0210), C_4 (-0.4046,0.7151), C_5 (-0.3917,-0.6770), C_6 (0.3779,0.8310) \text{ y } C_7 (0.2589,-0.8278).$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X