La imagen siguiente ilustra lo que se obtiene si se cruzan diez cilindros largos infinitos de radio unitario, cuyos ejes están alineados a lo largo de las diez diagonales de un dodecaedro, unos contra otros.
$\hspace1in$
La figura resultante es muy complicada. Consta de $180$ las caras del cuadrilátero y cada cilindro contribuyen $18$ caras. Las caras que provienen del mismo cilindro han sido coloreadas con el mismo color. Por ejemplo, todas las caras rojas se encuentran en un cilindro cuyo eje apunta a lo largo del $(-1,1,1)$ dirección. El $18$ Las caras de cualquier cilindro se dividen en dos grupos. Hasta el reflejo del espejo, $12$ son congruentes entre sí. Las restantes $6$ las caras son congruentes entre sí directamente.
Si se estudia la figura con atención, se observará que los cuadriláteros se disponen en $12$ pentágonos. Cada pentágono lleva $15$ cuadriláteros y estos pentágonos formando las caras de un dodecaedro. Como "dodecaedro", un vértice $U$ de la misma se encuentra a lo largo de la dirección $(-1,1,1)$ y otra cercana $V$ se encuentra a lo largo de la dirección $(0,\phi, \phi^{-1})$ donde $\phi$ es la proporción áurea.
Para simplificar el análisis, elija un nuevo sistema de coordenadas tal que $U$ se encuentra a lo largo del $z$ -eje y $V$ en el $yz$ -plano. es decir.
$$\begin{array}{rcl} (x,y,z)_U^{old} = \sqrt{\frac38} (-1,1,1) &\mapsto& (x,y,z)_U = \frac{3}{\sqrt{8}}(0,0,1)\\ (x,y,z)_V^{old} = \sqrt{\frac38} ( 0,\phi,\phi^{-1}) &\mapsto& (x,y,z)_V = \frac{3}{\sqrt{8}}(0,\frac23,\frac{\sqrt{5}}{3})\\ \end{array} $$
Si se "amplía" la figura desde la dirección del nuevo +ve $x$ -eje y realizar una proyección ortográfica al nuevo $yz$ -plano, se ve algo como lo siguiente:
$\hspace1in$
El $18$ caras rojas ahora se encuentra a lo largo del ecuador. El cilindro que las sostiene se convierte en $$\mathcal{C} \stackrel{def}{=} \{ (x,y,z) : x^2 + y^2 = 1 \}.$$ Además, el $18$ Las caras rojas pueden verse como la unión de $12$ polígonos no simples. Cada uno de ellos es congruente con el polígono no simple $\mathcal{P}$ con vértices $AHDIGDF$ (la que está resaltada con un borde blanco) o su imagen especular.
Para calcular el volumen de la intersección, primero tenemos que calcular el área de $\mathcal{P}$ . Como se muestra en la figura anterior, podemos romper $\mathcal{P}$ en $6$ triángulos en ángulo recto:
$$\mathcal{P} = \triangle ABF \cup \triangle BDF \cup \triangle AHC \cup \triangle HDC \cup \triangle DEG \cup \triangle DIE$$
Resulta que no es tan difícil calcular el área de este tipo de triángulo rectángulo en una superficie cilíndrica. Permíteme usar $\triangle ABF$ en $\mathcal{C}$ como ejemplo.
En primer lugar, la curva $AF$ se encuentra en la intersección de dos cilindros. Los ejes de estos dos cilindros apuntan a la dirección $OU$ y $OV$ respectivamente ( $O = (0,0,0)$ es el origen, justo detrás de $A$ en la figura anterior). A partir de la figura anterior, es fácil ver $AF$ se encuentra en el plano de igual distancia entre $U$ y $V$ . Dejemos que $\alpha = \angle BAF$ y $\beta = \angle VOU$ . La pendiente de $AF$ con respecto al ecuador viene dada entonces por
$$\tan\alpha = \cot\frac{\beta}{2} = \frac{1+\cos\beta}{\sin\beta} = \sqrt{\frac{1 + \cos\beta}{1 - \cos\beta}} = \sqrt{\frac{3+\sqrt{5}}{3-\sqrt{5}}} = \frac{3+\sqrt{5}}{2} = \phi^2$$
El punto $F$ es uno de los vértices del dodecaedro, no es difícil ver $\;z_F = \frac{3}{\sqrt{8}}\cdot \frac13 = \frac{1}{\sqrt{8}}$ .
Podemos parametrizar $AF$ por el mapa $$ [0,\theta_F] \ni \theta\; \mapsto\; (x,y,z) = (\cos\theta,\sin\theta,\tan\alpha\sin\theta ) \in \mathcal{C} \quad\text{ where }\quad \tan\alpha\sin\theta_F = z_F $$ Con esta parametrización, el área del $\triangle ABF$ en $\mathcal{C}$ está dada por:
$$\int_0^{\theta_F} \tan\alpha \sin\theta d\theta = \tan\alpha - \tan\alpha \cos\theta_F = \tan\alpha - \sqrt{\tan\alpha^2 - z_F^2} = \phi^2 - \sqrt{\phi^4 - \frac18 } $$
Como se puede ver en este ejemplo, dada la pendiente $k$ y la altura $h$ de de dicho triángulo rectángulo, su área en el cilindro puede calcularse utilizando la siguiente función: $$A(k,h) = k - \sqrt{k^2 - h^2}$$
Como se trata de cilindros de radio unitario, el volumen del cono abarca por $O$ y tal triángulo rectángulo es simplemente $\frac13 A(k,h)$ .
Por fuerza bruta, se pueden calcular las pendientes y alturas de los restantes $5$ triángulos en ángulo recto.
En resumen, tenemos:
$$ \begin{cases} \tan\angle BAF = \phi^2,\\ \tan\angle HAB = \frac{1}{\phi^2},\\ \tan\angle FDB = \tan\angle IDE = \sqrt{2},\\ \tan\angle CDH = \tan\angle EDG = \frac{1}{\sqrt{2}} \end{cases} \quad\text{ and }\quad \begin{cases} |z_F| = \frac{1}{\sqrt{8}},\\ |z_G| = |z_H| = \frac{1}{4\phi^2}\\ |z_I| = \frac{1}{2\phi^2} \end{cases} $$ A partir de esto, encontramos que el volumen de la intersección está dado por
$$\verb/Volume/ = \frac{10 \times 12}{3}\left[ \begin{align} & A\left(\phi^2,\frac{1}{\sqrt{8}}\right) + A\left(\sqrt{2},\frac{1}{\sqrt{8}}\right) + A\left(\frac{1}{\phi^2},\frac{1}{4\phi^2}\right)\\ + & 2 A\left(\frac{1}{\sqrt{2}},\frac{1}{4\phi^2}\right) + A\left(\sqrt{2},\frac{1}{2\phi^2}\right) \end{align} \right] $$ Con la ayuda de un CAS, se puede simplificar esto a $$\begin{align} \verb/Volume/ &= 5\left(24 + 24 \sqrt{2} + \sqrt{3} - 4\sqrt{6} - 7\sqrt{15} - 4\sqrt{30}\right)\\ &\approx 4.277158048659416687225951566030890254054503016349939576882... \end{align} $$ que se trata de $2\%$ mayor que el volumen de la unidad de la esfera.
0 votos
No es directamente relevante, pero puede ser interesante: math.stackexchange.com/questions/50953
0 votos
Las líneas que son centrales de los diez cilindros de radio $r$ están espaciados de manera que las líneas vecinas aterricen en puntos adyacentes a lo largo de un 20-gon regular. Esto permite calcular mediante trigonometría las longitudes necesarias para hallar el volumen de un trozo del volumen total mediante un método similar al del caso que ya has calculado. Hay un total de 40 piezas de este tipo.
0 votos
Para aclarar, ¿están todos los cilindros colocados de manera que sus líneas centrales estén en el $x$ - $y$ ¿Avión?
0 votos
@JustinBenfield No, el eje de cada cilindro está repartido "uniformemente" por $x-y-z$ espacio para que cada uno intersecte la cara de un icosaedro regular dos veces. Como cada icosaedro tiene 20 caras, y el eje se interseca dos veces, son diez cilindros.
0 votos
@Noah me he dado cuenta después...la versión en la que están todos $x$ - $y$ -plano es bastante factible con conocimientos de Calc 2 y algo de ingenio. Sin embargo, el problema que nos ocupa es mucho más complejo.