$\newcommand{\Reals}{\mathbf{R}}\newcommand{\Bd}{\partial}\DeclareMathOperator{\vol}{vol}$Las fórmulas no son un accidente, pero tampoco especialmente profundas. La explicación se reduce a un par de observaciones geométricas.
-
Si $X$ es el cierre de un conjunto abierto acotado en el espacio euclidiano $\Reals^{n}$ (como una bola sólida, o un politopo acotado, o una elipsoide) y si $a > 0$ es real, entonces la imagen $aX$ de $X$ bajo la aplicación $x \mapsto ax$ (escalamiento uniforme por un factor de $a$ alrededor del origen) satisface $$ \vol_{n}(aX) = a^{n} \vol_{n}(X). $$ Más generalmente, si $X$ es una variedad cerrada, acotada y lisa por partes de $k$ dimensiones en el espacio euclidiano $\Reals^{n}$, entonces escalar $X$ por un factor de $a$ multiplica el volumen por $a^{k}$.
-
Si $X \subset \Reals^{n}$ es una intersección acotada de $n$ dimensiones de semiespacios cerrados cuyas fronteras están a una distancia unitaria del origen, entonces escalar $X$ por $a = (1 + h)$ "agrega una capa de grosor uniforme $h$ a $X$ (modulada según su comportamiento en las intersecciones de hiperplanos)". El volumen de esta capa es igual a $h$ veces la medida de $n - 1$ dimensiones de la frontera de $X$, hasta términos añadidos de orden superior en $h$ (es decir, términos cuya contribución total al volumen de $n$ dimensiones de la capa es despreciable conforme $h \to 0$).
Si $X$ satisface la Propiedad 2. (por ejemplo, $X$ es una bola o cubo o símplex de "radio unitario" centrado en el origen), entonces $$ h \vol_{n-1}(\Bd X) \approx \vol_{n}\bigl[(1 + h)X \setminus X\bigr], $$ o $$ \vol_{n-1}(\Bd X) \approx \frac{(1 + h)^{n} - 1}{h}\, \vol_{n}(X). \tag{1} $$ La aproximación se vuelve exacta en el límite cuando $h \to 0$: $$ \vol_{n-1}(\Bd X) = \lim_{h \to 0} \frac{(1 + h)^{n} - 1}{h}\, \vol_{n}(X) = \frac{d}{dt}\bigg|_{t = 1} \vol_{n}(tX). \tag{2} $$ Por la Propiedad 1., si $r > 0$, entonces $$ \vol_{n-1}\bigl(\Bd (rX)\bigr) = r^{n-1}\vol_{n-1}(\Bd X) = \lim_{h \to 0} \frac{(1 + h)^{n}r^{n} - r^{n}}{rh}\, \vol_{n}(X) = \frac{d}{dt}\bigg|_{t = r} \vol_{n}(tX). \tag{3} $$ En palabras, el volumen de $n - 1$ dimensiones de $\Bd(rX)$ es la derivada con respecto a $r$ del volumen de $n$ dimensiones de $rX$.
Este argumento falla para cajas no cúbicas y elipsoides (por nombrar dos), porque para estos objetos, el escalado uniforme alrededor de un punto arbitrario no agrega una capa de grosor uniforme (es decir, la Propiedad 2. falla). De forma equivalente, agregar una capa de grosor uniforme no produce una región nueva similar (es decir, obtenida por escalamiento uniforme) a la original.
(El argumento también falla para cubos (etc.) no centrados en el origen, nuevamente porque el escalamiento "fuera del centro" no agrega una capa de grosor uniforme.)
En más detalle:
-
Escalar un rectángulo no cuadrado agrega "área más gruesa" a los lados cortos que al par de lados largos. De forma equivalente, agregar una capa de grosor uniforme alrededor de un rectángulo no cuadrado produce un rectángulo con proporciones diferentes al rectángulo original.
-
Escalar una elipse no circular agrega un área más gruesa cerca de los extremos del eje mayor. De forma equivalente, agregar una capa uniforme alrededor de una elipse no circular produce una región no elíptica. (El principio de que "la derivada del área es la longitud" falla drásticamente para las elipses: El área de una elipse es proporcional al producto de los ejes, mientras que la longitud del arco es una función no elemental de los ejes.)
1 votos
Me doy cuenta de que puede que no esté claro cuál es la generalización $n$-dimensional de esto, pero ¿quizás esto sucedería incluso en diferentes geometrías o espacios métricos?
6 votos
Es profundo. Mira la versión más general del teorema fundamental del cálculo es.wikipedia.org/wiki/…
1 votos
Ver sección 3 de TauDay.com para una explicación bastante elegante de esto y la razón del autor por la cual el área de un círculo debería ser $\frac{1}{2}\tau r^2$, en paralelo a las otras formas cuadráticas famosas $\frac{1}{2}m v^2$ y $\frac{1}{2}g t^2$, para dejar en claro que el área de un círculo es, de hecho, una integral de anillos en crecimiento de circunferencias.
6 votos
Y a continuación, explique por qué falla para el cuadrado... o para la elipse...
4 votos
Mencionaste que es verdad para la 2-esfera y para la 3-esfera, pero se debe tener en cuenta que también es verdad para la 1-esfera, que es el intervalo de -r a r, que tiene un volumen de 1 de 2r. La derivada de 2r con respecto a r es 2, que es la medida de su "superficie", la medida para ítems de 0 dimensiones siendo la misma que cardinalidad.
4 votos
@GEdgar: Entiendo el área de un cuadrado de 'radio' $r$ como $4r^2$ y el perímetro como $8r; la idea sigue siendo válida allí (por la misma razón de uniformidad que funciona en la esfera). Por supuesto, no funciona en rectángulos por la misma razón por la que no funciona en elipses...
0 votos
Estoy sorprendido de que no hubiera publicado una respuesta aquí antes, pero ahora lo he hecho; ver más abajo. Y humildemente sugiero que es mejor que la que tiene 20 votos hasta ahora, y esa también es buena.
0 votos
Parece que se sostiene para todas las dimensiones enteras (incluidas las dimensiones negativas), aunque no puedo afirmarlo para las dimensiones fraccionarias. Si extiendes las recursiones para volúmenes y áreas a 0 y menores (por ejemplo, V = pi^-1 y A = -1 pi^-1 en -1d; V y A = 0 en -2d; V = -1/2 pi^-2 y A = 3/2 pi^-2 en -3d), entonces encontrarás que coinciden con los resultados en keisan.casio.com/exec/system/1223381019
0 votos
Se me olvidó incluir los factores de r^-1, r^-2 y r^-3, respectivamente -- ¡mi error!