Principio de Cavalieri

Ir a la navegaci�nIr a la b�squeda
No debe confundirse con la F�rmula de cuadratura de Cavalieri.

Dos pilas de monedas brit�nicas con el mismo volumen, ilustrando el principio de

Cavalieri en tres dimensiones
En geometr�a, el Principio de Cavalieri, es una aplicaci�n moderna del m�todo de
los indivisibles. Nombrado en referencia al matem�tico italiano Bonaventura
Cavalieri (1598-1647), se enuncia de la manera siguiente:1?

Caso bidimensional: sup�ngase que dos regiones de un plano (figuras planas) est�n
incluidas entre dos rectas paralelas en ese plano. Si cada recta paralela a estas
dos rectas interseca ambas regiones en segmentos de recta de igual longitud,
entonces las dos regiones tienen �reas iguales.
Caso tridimensional: sup�ngase que dos regiones del espacio tridimensional
(s�lidos) est�n incluidas 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.
Actualmente el principio de Cavalieri se considera como un paso inicial hacia el
c�lculo integral, y aunque se usa en algunas casos, como su generalizaci�n en el
Teorema de Fubini, los resultados que usan el principio de Cavalieri a menudo se
pueden mostrar m�s directamente a trav�s de la integraci�n. En la otra direcci�n,
el principio de Cavalieri surgi� del antiguo m�todo de exhaustaci�n griego, que
usaba l�mites pero no usaba infinitesimales.

�ndice
1 Historia
2 Ejemplos
2.1 Esferas
2.2 Conos y pir�mides
2.3 El problema del servilletero
2.4 Cicloides
3 C�lculo de integrales
4 V�ase tambi�n
5 Referencias
6 Enlaces externos
Historia

Bonaventura Cavalieri, el matem�tico al que el principio debe su nombre.

El principio de Cavalieri originalmente se llam� el m�todo de los indivisibles, el
nombre con el que se lo conoc�a en el Renacimiento. Cavalieri desarroll� una teor�a
completa de los indivisibles, elaborada en su Geometria indivisibilibus
continuousorum nova quadam ratione promota (Geometr�a, avanzada de una manera nueva
por los indivisibles de los continuos, 1635) y su Exercitationes geometricae sex
(Seis ejercicios geom�tricos, 1647).2?

En el siglo III a. C., Arqu�medes, utilizando un m�todo parecido al principio de

Cavalieri,3? pudo determinar el volumen de una esfera dados los vol�menes de un
cono y de un cilindro en su obra El m�todo de los teoremas mec�nicos. En el siglo
V, Zu Chongzhi y su hijo Zu Gengzhi establecieron un m�todo similar para determinar
el volumen de una esfera.4? La transici�n de los indivisibles de Cavalieri a los
infinitesimales de Evangelista Torricelli y de John Wallis fue un avance importante
en la historia del c�lculo. Los indivisibles eran entidades de codimensi�n 1, por
lo que se cre�a que una figura plana estaba hecha de una infinidad de l�neas de
dimensi�n 1. Mientras tanto, los infinitesimales eran entidades de la misma
dimensi�n que la figura que componen; por lo tanto, una figura plana estar�a hecha
de "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/8.

Ejemplos
Esferas

La secci�n transversal en forma de disco de la esfera tiene la misma �rea que la

secci�n transversal en forma de anillo de la parte del cilindro que se encuentra
"fuera" del cono.
Si se sabe que el volumen de un cono es {\displaystyle {\frac {1}
{3}}\left({\text{base}}\times {\text{altura}}\right)} {\displaystyle {\frac {1}
{3}}\left({\text{base}}\times {\text{altura}}\right)}, entonces se puede usar el
principio de Cavalieri para deducir el hecho de que el volumen de una esfera es
{\displaystyle {\frac {4}{3}}\pi r^{3}} {\displaystyle {\frac {4}{3}}\pi r^{3}},
donde {\displaystyle r} r es el radio.

Esto se hace de la siguiente manera: consid�rese una esfera de radio {\displaystyle

r} r y un cilindro de radio {\displaystyle r} r y altura {\displaystyle r} r.
Dentro del cilindro est� el cono cuyo v�rtice est� en el centro de una base del
cilindro y cuya base es la otra base del cilindro. Por el teorema de Pit�goras, el
plano ubicado {\displaystyle y} y unidades sobre el "ecuador" de la esfera,
interseca la esfera en un c�rculo de �rea {\displaystyle \pi \left(r^{2}-
y^{2}\right)} {\displaystyle \pi \left(r^{2}-y^{2}\right)}. El �rea de la
intersecci�n del plano con la parte del cilindro que est� "fuera" del cono tambi�n
es {\displaystyle \pi \left(r^{2}-y^{2}\right)} {\displaystyle \pi \left(r^{2}-
y^{2}\right)}. Como puede verse, el �rea de cada intersecci�n del c�rculo con el
plano horizontal ubicado a cualquier altura {\displaystyle y} y es igual al �rea de
la intersecci�n del plano con la parte del cilindro que est� "fuera" del cono; por
lo tanto, aplicando el principio de Cavalieri, puede afirmarse que el volumen de la
media esfera es igual al volumen de la parte del cilindro que est� "fuera" del
cono. El volumen antes mencionado del cono es {\displaystyle {\frac {1}{3}}}
{\displaystyle {\frac {1}{3}}} del volumen del cilindro, por lo que el volumen
fuera del cono es {\displaystyle {\frac {2}{3}}} {\displaystyle {\frac {2}{3}}} del
volumen del cilindro. Por lo tanto, el volumen de la mitad superior de la esfera es
{\displaystyle {\frac {2}{3}}} {\displaystyle {\frac {2}{3}}} del volumen del
cilindro. El volumen del cilindro es

{\displaystyle {\text{base}}\times {\text{altura}}=\pi r^{2}\cdot r=\pi r^{3}}

{\displaystyle {\text{base}}\times {\text{altura}}=\pi r^{2}\cdot r=\pi r^{3}}
(La "base" est� expresada en unidades de "�rea", y la "altura" en unidades de
"longitud". �rea � longitud = volumen)

Por lo tanto, el volumen de la media esfera superior es {\displaystyle {\frac {2}

{3}}\pi r^{3}} {\displaystyle {\frac {2}{3}}\pi r^{3}} y el de toda la esfera es
{\displaystyle {\frac {4}{3}}\pi r^{3}} {\displaystyle {\frac {4}{3}}\pi r^{3}}.

Conos y pir�mides
El hecho de que el volumen de cualquier pir�mide, independientemente de la forma de
la base, ya sea circular como en el caso de un cono, o cuadrada como en el caso de
las pir�mides egipcias, o de cualquier otra forma, es (1/3) � base � altura, puede
establecerse por el principio de Cavalieri si solo se sabe que es cierto en un
caso. Puede establecerse inicialmente en un solo caso dividiendo el interior de un
prisma triangular en tres componentes piramidales de vol�menes iguales. Puede
demostrarse la igualdad de esos tres vol�menes por medio del 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 conos
poli�dricos no se pueden cortar y recomponer en otro s�lido est�ndar, y en su lugar
deben ser comparados por procedimientos infinitos (infinitesimales). Los antiguos
griegos utilizaron diversas t�cnicas precursoras, como los argumentos mec�nicos de
Arqu�medes o el m�todo de exhaustaci�n para calcular estos vol�menes.

El problema del servilletero

Art�culo principal: Problema del servilletero

Si se perfora un agujero de altura h 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 el denominado problema del servilletero, se demuestra por el principio de
Cavalieri que cuando un agujero se perfora directamente en el centro de una esfera
donde la banda resultante tiene una altura h, sorprendentemente, el volumen del
material restante no depende del tama�o de la esfera. La secci�n transversal del
anillo es a su vez un anillo plano, cuya �rea es la diferencia entre las �reas de
dos c�rculos. Seg�n el teorema de Pit�goras, el �rea de uno de los dos c�rculos es
p veces (r 2 - y 2), donde r es el radio de la esfera e y es la distancia desde el
plano del ecuador al plano de corte, y la del otro es p veces (r 2 - (h/2)2).
Cuando se restan estas dos expresiones, el r 2 se cancela; de ah� que la soluci�n
final no dependa de r.

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 gira en un caso en el sentido de las
agujas del reloj sobre la recta situada debajo de �l, y en el otro en sentido
antihorario bajo la recta superior, tiene la misma longitud que la correspondiente
secci�n transversal horizontal del c�rculo.
N. Reed ha demostrado 5? c�mo encontrar el �rea delimitada por una cicloide
utilizando el principio de Cavalieri. Un c�rculo de radio r puede rodar en el
sentido de las agujas del reloj sobre una recta situada por debajo de �l, o en el
sentido contrario a las agujas del reloj sobre una l�nea por encima de �l. Un punto
en el c�rculo traza dos cicloides. Cuando el c�rculo ha recorrido una distancia
determinada, el �ngulo a trav�s del cual habr�a girado en el sentido de las agujas
del reloj y el que habr�a girado en sentido antihorario son el mismo. Los dos
puntos que siguen a las cicloides est�n, por lo tanto, a la misma altura. La l�nea
que los atraviesa es, por lo tanto, 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 cicloide.
Seg�n el principio de Cavalieri, el c�rculo, por lo tanto, tiene la misma �rea que
esa regi�n.

Consid�rese el rect�ngulo que delimita un �nico arco de cicloide. De la definici�n

de cicloide, tiene un ancho de 2pr y una altura de 2r, por lo que su �rea es cuatro
veces el �rea del c�rculo. Calcular el �rea dentro de este rect�ngulo que se
encuentra sobre el arco cicloide dividiendo el rect�ngulo en el punto medio donde
el arco se encuentra con el rect�ngulo, girar una pieza 180� y superponer la otra
mitad del rect�ngulo. El nuevo rect�ngulo, de �rea dos veces m�s grande que el
c�rculo, consiste en la regi�n "lenticular" entre dos cicloides, cuya �rea se
calcul� anteriormente como la misma que la del c�rculo, y las dos regiones que
formaron la regi�n por encima del arco cicloide en el rect�ngulo original. Por lo
tanto, el �rea delimitada por un rect�ngulo sobre un �nico arco completo de la
cicloide tiene un �rea igual al �rea del c�rculo, por lo que el �rea delimitada por
el arco es tres veces el �rea del c�rculo.

C�lculo de integrales

Equivalencia de la "diferencia de las integrales de dos funciones" (A1), y de la

"integral de la diferencia de las dos funciones" (A2), de acuerdo con el principio
de Cavalieri
La idea subyacente tras el Principio de Cavalieri est� muy relacionada con el
c�lculo integral. Una muestra de ello puede encontrarse en el ejemplo del c�lculo
del �rea comprendida entre dos curvas dadas, en el que se cumple la siguiente
ecuaci�n:

{\displaystyle \int _{a}^{b}(f(x)-g(x))\,\mathrm {d} x=\int _{a}^{b}f(x)\,\mathrm

{d} x-\int _{a}^{b}g(x)\,\mathrm {d} x} {\displaystyle \int _{a}^{b}(f(x)-
g(x))\,\mathrm {d} x=\int _{a}^{b}f(x)\,\mathrm {d} x-\int _{a}^{b}g(x)\,\mathrm
{d} x}
Dado que el �rea {\displaystyle A_{1}} {\displaystyle A_{1}} entre las dos
funciones {\displaystyle f} f y {\displaystyle g} g es tan grande como el �rea
{\displaystyle A_{2}} A_2 calculada mediante la diferencia de las funciones
{\displaystyle x\mapsto f(x)-g(x)} {\displaystyle x\mapsto f(x)-g(x)}, entonces
{\displaystyle A_{1}} {\displaystyle A_{1}} y {\displaystyle A_{2}} A_2 cumplen el
principio de Cavalieri.

V�ase tambi�n
Teorema de Fubini (el principio de Cavalieri es un caso particular del teorema de
Fubini)
Referencias
Howard Eves, "Two Surprising Theorems on Cavalieri Congruence", The College
Mathematics Journal, volume 22, number 2, March, 1991), pages 118�124
Katz, Victor J. (1998), A History of Mathematics: An Introduction (2nd ed.),
Addison-Wesley, p. 477.
"Archimedes' Lost Method"
Zill, Dennis G.; Wright, Scott; Wright, Warren S. (2009). Calculus: Early
Transcendentals (3 edici�n). Jones & Bartlett Learning. p. xxvii. ISBN 0-7637-5995-
3. Extract of page 27
N. Reed, "Prueba elemental del �rea bajo una cicloide", Mathematical Gazette,
volume 70, number 454, December, 1986, pages 290�291