$\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 la clausura 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 transformació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 $k$-dimensional cerrada, acotada y de piezas suaves en $\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 dimensión $n$ de semiplanos cerrados cuyos límites están a distancia unitaria del origen, entonces escalar $X$ por $a = (1 + h)$ "añade una capa de espesor uniforme $h$ a $X$ (modulo comportamiento en las intersecciones de hiperplanos)". El volumen de esta capa es igual a $h$ veces la medida $(n - 1)$-dimensional del borde de $X$, hasta términos añadidos de orden superior en $h$ (es decir, términos cuya contribución total al volumen $n$-dimensional de la capa es despreciable a medida que $h \to 0$).
Si $X$ satisface la Propiedad 2. (por ejemplo, $X$ es una bola o cubo o simplejo 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 $(n - 1)$-dimensional de $\Bd(rX)$ es la derivada con respecto a $r$ del volumen $n$-dimensional de $rX$.
Este argumento falla para cajas no cúbicas y elipsoides (por nombrar dos) porque para estos objetos, el escalamiento uniforme alrededor de un punto arbitrario no añade una capa de espesor uniforme (es decir, falla la Propiedad 2). De manera equivalente, añadir una capa de espesor uniforme no produce una región nueva similiar a (es decir, obtenida por escalamiento uniforme desde) la original.
(El argumento también falla para cubos (etc.) no centrados en el origen, nuevamente porque el escalamiento "descentrado" no añade una capa de espesor uniforme.)
En más detalle:
-
Escalando un rectángulo no cuadrado añade "área más espesa" a los lados cortos que al par largo. De manera equivalente, añadir una capa de espesor uniforme alrededor de un rectángulo no cuadrado produce un rectángulo con proporciones diferentes que el rectángulo original.
-
Escalando una elipse no circular añade área más espesa cerca de los extremos del eje mayor. De manera equivalente, añadir 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 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 ocurrirí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
Vea la 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 otras formas cuadráticas famosas $\frac{1}{2}m v^2$ y $\frac{1}{2}g t^2$, para hacer obvio que el área de un círculo es, de hecho, una integral de anillos que crecen de circunferencias.
6 votos
Y a continuación explique por qué falla para el cuadrado... o para la elipse...
4 votos
Mencionaste que es cierto para la 2-esfera, y para la 3-esfera, pero hay que tener en cuenta que también es cierto 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 objetos de 0 dimensiones siendo igual a la cardinalidad.
4 votos
```html
@GEdgar : Yo identifico el área de un cuadrado de 'radio' $r$ como $4r^2$ y el perímetro como $8r; la idea continúa funcionando allí (por la razón de uniformidad esencialmente la misma que en la esfera). Por supuesto, no funciona en rectángulos por la misma razón que no funciona en elipses...
```
0 votos
Estoy sorprendido de no haber publicado una respuesta aquí antes, pero ahora lo he hecho; ver abajo. Y humildemente sugiero que es mejor que la que tiene 20 votos hasta ahora, y esa es buena.
0 votos
Parece valer para todas las dimensiones enteras (incluidas las dimensiones negativas), aunque no puedo decirlo para dimensiones fraccionarias. Si usted extiende las recursioness para volúmenes y áreas a 0 y menores (por ejemplo: -1d V = pi^-1 y A = -1 pi^-1; -2d V y A = 0; -3d V = -1/2 pi^-2 y A = 3/2 pi^-2), entonces encontrará que coinciden con los resultados en keisan.casio.com/exec/system/1223381019
0 votos
¡Olvidé incluir los factores de r^-1, r^-2 y r^-3, respectivamente -- mi error!