Articulo de referencia

El principio de Cavalieri

Esta animación ilustra el principio de Cavalieri en acción: si se tiene el mismo conjunto de secciones transversales que solo difieren en una traslación horizontal, se obtendrá ...

Esta animación ilustra el principio de Cavalieri en acción: si se tiene el mismo conjunto de secciones transversales que solo difieren en una traslación horizontal, se obtendrá el mismo volumen.
Según el principio de Cavalieri, ambos paralelepípedos tienen el mismo volumen. Esto permite demostrar que el determinante es multilineal .
Esto pone de relieve el principio de Cavalieri en dos dimensiones. Ambas regiones tienen la misma área a pesar de que las secciones verticales de la región inferior se desplazan siguiendo una onda sinusoidal.

En geometría , el principio de Cavalieri , una implementación moderna del método de los indivisibles , que lleva el nombre de Bonaventura Cavalieri , es el siguiente: [ 1 ]

  • Caso bidimensional: Supongamos que dos regiones en un plano están comprendidas entre dos líneas paralelas en ese plano. Si cada línea paralela a estas dos líneas interseca ambas regiones en segmentos de igual longitud, entonces las dos regiones tienen áreas iguales.
  • Caso tridimensional: Supongamos que dos regiones en el espacio tridimensional (sólidos) están comprendidas entre dos planos paralelos. Si cada plano paralelo a estos dos planos interseca ambas regiones en secciones transversales de igual área, entonces las dos regiones tienen volúmenes iguales.

Hoy en día, el principio de Cavalieri se considera un paso inicial hacia el cálculo integral , y si bien se utiliza en algunas formas, como su generalización en el teorema de Fubini y la representación en capas , los resultados que emplean el principio de Cavalieri a menudo pueden demostrarse de forma más directa mediante la integración. En sentido contrario, el principio de Cavalieri surgió del antiguo método griego de agotamiento , que utilizaba límites pero no infinitesimales .

Historia

El matemático italiano Bonaventura Cavalieri (1598-1647), de una publicación de 1682 de su Trattato della sfera

El principio de Cavalieri se denominó originalmente método de los indivisibles, nombre con el que se le conocía en la Europa renacentista . [ 2 ] Cavalieri desarrolló una teoría completa de los indivisibles, elaborada en su Geometria indivisibilibus continuorum nova quadam ratione promota ( Geometría, desarrollada de una manera nueva mediante los indivisibles de los continuos , 1635) y en sus Exercitationes geometricae sex ( Seis ejercicios geométricos , 1647). [ 3 ] Si bien la obra de Cavalieri estableció el principio, en sus publicaciones negó que el continuo estuviera compuesto de indivisibles para evitar las paradojas y controversias religiosas asociadas, y no lo utilizó para encontrar resultados previamente desconocidos. [ 4 ]

En el siglo III a. C., Arquímedes , utilizando un método similar al principio de Cavalieri, [ 5 ] logró calcular el volumen de una esfera a partir de los volúmenes de un cono y un cilindro en su obra El método de los teoremas mecánicos . En el siglo V d. C., Zu Chongzhi y su hijo Zu Gengzhi establecieron un método similar para calcular el volumen de una esfera. [ 2 ] Sin embargo, ninguno de estos métodos era conocido en la Europa de la Edad Moderna.

La transición de los indivisibles de Cavalieri a los infinitesimales de Evangelista Torricelli y John Wallis representó un avance fundamental en la historia del cálculo . Los indivisibles eran entidades de codimensión 1, por lo que se consideraba que una figura plana estaba formada por un número infinito de líneas unidimensionales. En cambio, los infinitesimales eran entidades de la misma dimensión que la figura que componen; así, una figura plana estaría formada por "paralelogramos" de ancho infinitesimal. Aplicando la fórmula para la suma de una progresión aritmética, Wallis calculó el área de un triángulo dividiéndolo en paralelogramos infinitesimales de ancho 1/∞. 

bidimensional

Cicloides

La sección transversal horizontal de la región delimitada por dos arcos cicloidales trazados por un punto en el mismo círculo que rueda en un caso en el sentido de las agujas del reloj sobre la línea inferior, y en el otro en sentido contrario a las agujas del reloj sobre la línea superior, tiene la misma longitud que la sección transversal horizontal correspondiente del círculo.

N. Reed ha demostrado [ 6 ] cómo hallar el área delimitada por una cicloide utilizando el principio de Cavalieri. Un círculo de radio r puede rodar en sentido horario sobre una línea situada debajo de él, o en sentido antihorario sobre una línea situada encima. Un punto del círculo traza así dos cicloides. Cuando el círculo ha rodado una distancia determinada, el ángulo de giro en sentido horario y el ángulo de giro en sentido antihorario son iguales. Por lo tanto, los dos puntos que trazan las cicloides se encuentran a la misma altura. La línea que pasa por ellos es, por consiguiente, horizontal (es decir, paralela a las dos líneas sobre las que rueda el círculo). En consecuencia, cada sección transversal horizontal del círculo tiene la misma longitud que la sección transversal horizontal correspondiente de la región delimitada por los dos arcos de las cicloides. Por el principio de Cavalieri, el círculo tiene, por lo tanto, la misma área que dicha región.

Consideremos el rectángulo que delimita un arco cicloide. Según la definición de cicloide, tiene un ancho de 2πr y una altura de 2r , por lo que su área es cuatro veces mayor que la del círculo. Calculamos el área dentro de este rectángulo que se encuentra sobre el arco cicloide dividiendo el rectángulo por la mitad en el punto donde el arco lo une, rotando una de las partes 180° y superponiendo la otra mitad del rectángulo con ella. El nuevo rectángulo, con un área el doble que la del círculo, consta de la región de "lente" entre dos cicloides, cuya área se calculó anteriormente como igual a la del círculo, y las dos regiones que formaban la región sobre el arco cicloide en el rectángulo original. Por lo tanto, el área delimitada por un rectángulo sobre un arco cicloide completo es igual al área del círculo, y así, el área delimitada por el arco es tres veces mayor que el área del círculo.

tridimensional

Prueba sin palabras de que el volumen de un cono es un tercio del volumen de un cilindro de igual diámetro y altura.
  1. Un cilindro y un cono tienen radio r y altura h .
  2. La relación de volumen se mantiene cuando la altura se escala a h' = r π .
  3. Descompón el cono en rodajas finas.
  4. Utilizando el principio de Cavalieri, transforma cada rebanada en un cuadrado de la misma área.
  5. Replica la pirámide dos veces.
  6. Combínalos formando un cubo para demostrar que la relación de volumen es 1:3.

Conos y pirámides

El hecho de que el volumen de cualquier pirámide , independientemente de la forma de la base, incluyendo los conos (base circular), sea igual a (1/3) × base × altura, puede demostrarse mediante el principio de Cavalieri si se sabe que es cierto en un solo caso. Inicialmente, se puede establecer en un solo caso dividiendo el interior de un prisma triangular en tres componentes piramidales de igual volumen. La igualdad de estos tres volúmenes puede demostrarse mediante el principio de Cavalieri.    

De hecho, el principio de Cavalieri o un argumento infinitesimal similar es necesario para calcular el volumen de conos e incluso pirámides, que es esencialmente el contenido del tercer problema de Hilbert : las pirámides y los conos poliédricos no se pueden cortar y reorganizar en una forma estándar, sino que deben compararse mediante métodos infinitos (infinitesimales). Los antiguos griegos utilizaban diversas técnicas precursoras, como los argumentos mecánicos de Arquímedes o el método de agotamiento, para calcular estos volúmenes.

paraboloides

El área de la sección transversal en forma de disco del paraboloide invertido es igual al área de la sección transversal en forma de anillo de la parte cilíndrica que se encuentra fuera del paraboloide inscrito.

Consideremos un cilindro de radior{\displaystyle r}y alturah{\displaystyle h}circunscribiendo un paraboloidey=h(incógnitar)2{\displaystyle y=h\left({\frac {x}{r}}\right)^{2}}cuyo vértice se encuentra en el centro de la base inferior del cilindro y cuya base es la base superior del cilindro. Considere también el paraboloide.y=hh(incógnitar)2{\displaystyle y=hh\left({\frac {x}{r}}\right)^{2}}, con dimensiones iguales pero con su vértice y su base invertidos.

Para cada altura0yh{\displaystyle 0\leq y\leq h}, el área de sección transversal en forma de discoπ(1yhr)2{\displaystyle \pi \left({\sqrt {1-{\frac {y}{h}}}}\,r\right)^{2}}del paraboloide invertido es igual al área de la sección transversal en forma de anillo.πr2π(yhr)2{\displaystyle \pi r^{2}-\pi \left({\sqrt {\frac {y}{h}}}\,r\right)^{2}}de la parte cilíndrica que se encuentra fuera del paraboloide inscrito.

Por lo tanto, el volumen del paraboloide invertido es igual al volumen de la parte cilíndrica que se encuentra fuera del paraboloide inscrito. En otras palabras, el volumen del paraboloide esπ2r2h{\textstyle {\frac {\pi }{2}}r^{2}h}, la mitad del volumen de su cilindro circunscrito.

Esferas

El área de la sección transversal en forma de disco de la esfera es igual al área de la sección transversal en forma de anillo de la parte cilíndrica que se encuentra fuera del cono.

Si uno sabe que el volumen de un cono es13(base×altura){\textstyle {\frac {1}{3}}\left({\text{base}}\times {\text{altura}}\right)}, entonces se puede utilizar el principio de Cavalieri para derivar el hecho de que el volumen de una esfera es43πr3{\textstyle {\frac {4}{3}}\pi r^{3}}, dónder{\displaystyle r}es el radio.

Esto se hace de la siguiente manera: Consideremos una esfera de radior{\displaystyle r}y un cilindro de radior{\displaystyle r}y alturar{\displaystyle r}Dentro del cilindro se encuentra el cono cuyo vértice está en el centro de una de las bases del cilindro y cuya base es la otra base del cilindro. Por el teorema de Pitágoras , el plano situadoy{\displaystyle y}unidades por encima del "ecuador" interseca la esfera en un círculo de radior2y2{\textstyle {\sqrt {r^{2}-y^{2}}}}y áreaπ(r2y2){\displaystyle \pi \left(r^{2}-y^{2}\right)}. El área de intersección del plano con la parte del cilindro que está fuera del cono también esπ(r2y2){\displaystyle \pi \left(r^{2}-y^{2}\right)}Como se puede observar, el área del círculo definida por la intersección con la esfera de un plano horizontal situado a cualquier alturay{\displaystyle y}igual al área de la intersección de ese plano con la parte del cilindro que está "fuera" del cono; por lo tanto, aplicando el principio de Cavalieri, podría decirse que el volumen de la semiesfera es igual al volumen de la parte del cilindro que está "fuera" del cono. El volumen del cono mencionado anteriormente es13{\textstyle {\frac {1}{3}}}del volumen del cilindro, por lo tanto, el volumen fuera del cono es23{\textstyle {\frac {2}{3}}}el volumen del cilindro. Por lo tanto, el volumen de la mitad superior de la esfera es23{\textstyle {\frac {2}{3}}}del volumen del cilindro. El volumen del cilindro es

base×altura=πr2r=πr3{\displaystyle {\text{base}}\times {\text{altura}}=\pi r^{2}\cdot r=\pi r^{3}}

("Base" se expresa en unidades de área ; "altura" se expresa en unidades de distancia . Área × distancia = volumen .)

Por lo tanto, el volumen de la semiesfera superior es23πr3{\textstyle {\frac {2}{3}}\pi r^{3}}y la de toda la esfera es43πr3{\textstyle {\frac {4}{3}}\pi r^{3}}.

El problema del anillo para servilletas

Si un agujero de alturah{\displaystyle h}Si se perfora directamente a través del centro de una esfera, el volumen de la banda restante no depende del tamaño de la esfera. Para una esfera más grande, la banda será más delgada pero más larga.

En lo que se denomina el problema del anillo de servilleta , se demuestra mediante el principio de Cavalieri que cuando se perfora un agujero directamente a través del centro de una esfera donde la banda restante tiene alturah{\displaystyle h}El volumen del material restante, sorprendentemente, no depende del tamaño de la esfera. La sección transversal del anillo restante es un anillo plano, cuya área es la diferencia entre las áreas de dos círculos. Por el teorema de Pitágoras, el área de uno de los dos círculos esπ×(r2y2){\displaystyle \pi \times (r^{2}-y^{2})}, dónder{\displaystyle r}es el radio de la esfera yy{\displaystyle y}es la distancia desde el plano del ecuador hasta el plano de corte, y la del otro esπ×(r2(h2)2){\textstyle \pi \times \left(r^{2}-\left({\frac {h}{2}}\right)^{2}\right)}Cuando se restan estos, elr2{\displaystyle r^{2}}cancela; por lo tanto, la falta de dependencia de la respuesta final der{\displaystyle r}.

Generalización a medidas

Dejarμ{\displaystyle \mu }ser una medida enΩRnorte{\displaystyle \Omega \subset \mathbb {R} ^{N}}. Entonces el principio de Cavalieri sería transcrito paraF:ΩR+{\displaystyle f\colon \Omega \to \mathbb {R} ^{+}}integrable comoΩFdμ=0μ({incógnitaΩ:F(incógnita)>t})dt.{\displaystyle \int _{\Omega }f\,\mathrm {d} \mu =\int _{0}^{\infty }\mu {\bigl (}\{\,x\in \Omega :f(x)>t\,\}{\bigr )}\,\mathrm {d} t\;.}Para una funciónF{\displaystyle f}enΩ{\displaystyle \Omega }con valores enR{\displaystyle \mathbb {R} }, sabemos que se puede reescribir como la diferencia de dos funciones positivasF=F+F{\displaystyle f=f^{+}-f^{-}}, dóndeF+{\displaystyle f^{+}}yF{\displaystyle f^{-}}denotan las partes positivas y negativas deF{\displaystyle f}respectivamente.

Véase también

  • Teorema de Fubini (el principio de Cavalieri es un caso particular del teorema de Fubini)

Referencias

  1. Eves, Howard (1991). "Dos teoremas sorprendentes sobre la congruencia de Cavalieri". The College Mathematics Journal . 22 (2): 118– 124. doi : 10.1080/07468342.1991.11973367 .
  2. 1 2 Zill, Dennis G.; Wright, Scott; Wright, Warren S. (2011). Cálculo: Primeros trascendentales (4.ª ed.). Jones & Bartlett Learning . pág. xxvii. ISBN   978-0-7637-5995-7.
  3. Katz, Victor J. (1998). Historia de las matemáticas: Una introducción (2.ª ed.). Addison-Wesley. pág. 477. ISBN   9780321016188.
  4. Alexander, Amir (2015). Infinitesimal: Cómo una peligrosa teoría matemática dio forma al mundo moderno . Gran Bretaña: Oneworld. pp. 101–103 . ISBN  978-1-78074-642-5.
  5. "El método perdido de Arquímedes" . Enciclopedia Británica .
  6. Reed, N. (diciembre de 1986). "70.40 Demostración elemental del área bajo una cicloide". The Mathematical Gazette . 70 (454): 290– 291. doi : 10.2307/3616189 . JSTOR i285660 .