El M etodo de Exhauci on y el c alculo de a reas: Sab an los antiguos griegos calcular integrales?

Juan Antonio Pichardo Corpus 06 de Mayo de 2013

Resumen Se describe el m etodo de exhauci on, dando ejemplos con base en los trabajos de Eudoxo (V-IV a.d.c.) y Arqu medes (III a.d.c.). Se usa notaci on moderna, evidenciando algunos antecedentes hist oricos de conceptos matem aticos y su implicaci on con el desarrollo de ideas m as modernas (XVII-XIX) como los l mites y en su caso la noci on de integral denida.

1.

Introducci on

Antes de describir el m etodo es preciso se nalar que el t ermino exhauci on no est a aceptado por la real academia de la lengua espa nola (RAE, 2013), se puede entender como rellenar o agotar, en el caso espec co de un c rculo es tratar de llenarlo con pol gonos regulares, como se aprecia en la gura 1, donde se muestra una secuencia de un c rculo con pol gonos inscritos, iniciado con un cuadrado, luego un oct agono y enseguida un hexadec agono.

Figura 1: C rculo con pol gonos inscritos Dijksterhuis (1987) divide los m etodos de exhauci on en tres tipos: Por aproximaci on, en el que una sucesi on de pol gonos regulares se inscribe en la gura curva en cuesti on y se establece que la diferencia de a reas entre la gura curva y el pol gono regular al nal de la sucesi on, de lados sucientemente grande, es menor que una cantidad dada. 1

DCTS

Por compresi on-diferencia, en la que se encierra la gura curvil nea mediante sucesiones de pol gonos regulares inscritos y circunscritos, tales que la diferencia entre ellos puede hacerse menor que cualquier cantidad dada, al igual que el anterior una cantidad muy peque na. Por compresi on-divisi on, semejante al anterior, salvo que ahora la raz on entre las a reas de los pol gonos se acerca a 1 m as que cualquier raz on preasignada. Parafraseando el primer m etodo, dada una gura curvil nea S, el c alculo de su a rea a(S), se trataba de determinar por medio de una secuencia de pol gonos P1 , P2 , ..., que llenaban S. De acuerdo con Edwards (1979) el m etodo fue ideado por Eudoxo de Cnido un matem atico griego (408-355 a.d.) al que Bell (1978) compara en su intelecto a los creadores de las teor as modernas de la continuidad y el innito como Weierstrass (1815-1897), Dedekind (1813-1916) e incluso Cantor (1845-1918), independiente de s la comparaci on tiene lugar o no, es un hecho que las ideas detr as del m etodo de exhauci on proveyeron una rigurosa alternativa a la vaga e inexplicable idea del l mite del a rea de un pol gono de n lados cuando n tiende a innito (Edwards 1979). Los griegos evitaban meticulosamente tomar el l mite expl citamente y ese virtual horror al innito probablemente es responsable de la claridad l ogica del m etodo de exhauci on. El segundo y tercer m etodo son atribuidos a Arqu medes de Siracusa (III a.d.c.), cient co griego que contribuy o al desarrollo de t ecnicas y m etodos de trabajo que apenas fueron superados en el siglo XVII con la invenci on del c alculo, Bell (1978) se nala que Arqu medes tuvo el concepto fundamental de las sumas l mites de las cuales surge el c alculo integral y adem as demostr o que pod a aplicarse. En este trabajo s olo se har a uso del m etodo en su primera versi on.

2.
2.1.

M etodos de Exhauci on
Principio de Eudoxo

Al parecer los griegos asumieron, intuitivamente (Edwards, 1979), que las a reas de guras curvil neas como el c rculo o la elipse, eran magnitudes del mismo tipo que las a reas de pol gonos, con dos propiedades intr nsecas: Monoton a: Si S est a contenida en T, entonces a(S) < a(T) Adici on: Si R es la uni on de dos guras que no se sobreponen S y T, entonces a(R) =a(S) +a(T) El punto esencial del m etodo de exhauci on de Eudoxo consiste en mostrar que el a rea de la diferencia entre la gura S y el pol gono inscrito Pn se puede hacer tan peque na como se desee escogiendo un n sucientemente grande. Como parte central del m etodo se encuentra la proposici on 1 del libro X de los elementos de Euclides, tambi en conocida como el principio de Eudoxo que dice: 2

DCTS

Dadas dos magnitudes desiguales, si de la mayor se resta una magnitud mayor que su mitad, y de lo que queda otra magnitud mayor que su mitad, y se repite continuamente este proceso, quedar a una magnitud menor que la menor de las magnitudes dadas (Gonz alez, 2008, p. 119). En notaci on moderna se puede parafrasear como: sean M0 y las dos magnitudes 1 M0 , M2 < 1 M1 , etc. Entonces se quiere dadas y M0 , M1 , ..., una secuencia tal que M1 < 2 2 concluir que Mn < para alg un n. Para demostrarlo se har a uso de lo que se conoce hoy como la propiedad de Arqu medes, se escoge un N tal que (N + 1) > M0
1 Se puede ver que es a lo mas la mitad de (N + 1) , de ello se sigue que N 2 M0 > 1 M1 . De manera similar ahora es a lo m as la mitad de N , entonces (N 1) 2 M1 > M2 . Siguiendo de la mima manera, en cada caso restando (que es a lo m as la mitad) del lado izquierdo y reduciendo a la mitad el lado derecho, en N pasos se llega a la desigualdad buscada 1 (N (N 1)) = Mn1 > MN 2

2.2.

Uso del M etodo de Exhauci on de Eudoxo

Para evidenciar la aplicaci on del m etodo se mostrar a en el problema de agotar el c rculo por medio de pol gonos inscritos. Dado un c rculo C y un n umero > 0, existe un pol gono P inscrito en C tal que a( C ) a( P ) < Prueba: Se inicia con un cuadrado P0 = BCDE inscrito en el c rculo C, se escribe M0 = a(C ) a(P0 ). Doblando el n umero de lados se obtiene un oct agono regular P1 inscrito en C (ver g. 2)

Figura 2: C rculo con cuadrado y oct agono inscritos 3

DCTS

Continuando en ese orden, se obtiene una secuencia P0 , P1 , P2 , ..., Pn donde Pn tiene 2n+2 lados, entonces Mn = a(C ) a(Pn ), se quiere mostrar que: 1 Mn Mn+1 > Mn 2 (i)

A continuaci on, usando el principio de Eudoxo, es decir que Mn < para alg un n sucientemente grande, pr acticamente se tendr a la prueba. La prueba de (i) es esencialmente la misma para cualquier n, as que no hay perdida de generalidad con tomar n = 0, siguiendo la notaci on de la gura 2 se tiene: M0 M1 = a(P1 a(P0 ) = 4a( EGB ) = 2a(BEE B ) 1 1 2a(BEE B ) > 2a(EGB ) = 4a(EGB ) = [a(C ) a(P0 )] 2 2 1 M0 M1 > M0 2 Donde EGB es el segmento circular delimitado por el lado DB del cuadrado P0 . En el caso general se obtiene 1 1 Mn Mn+1 = a(Pn+1 ) a(Pn ) > [a(C ) a(Pn )] = Mn 2 2 Donde a(C ) a(Pn ) es la suma de las areas de los 2n+1 segmentos circulares delimitados por los lados de Pn Este m etodo aparece en los Elementos de Euclides en las proposiciones 2, 7, 10 y 18 del libro XII (Fitzpatrick, 2008), para probar resultados como: la raz on de las areas de dos c rculo, volumen del cono, pir amide y la raz on de vol umenes entre dos esferas.

2.3.

Uso del M etodo de Exhauci on por Arqu medes

Para mostrar el uso del m etodo de Exhauci on por Arqu medes se ver a c omo realiz o la cuadratura de la par abola. El problema de cuadrar la par abola realmente consiste en encontrar el area de un sector parab olico como se muestra en la gura 3.

Figura 3: Sector parab olico Al punto P , el m as alejado de AB , se le llama v ertice del sector y el segmento AB es la base del sector. Para la epoca de Arqu medes hab an propiedades que se conoc an de un sector parab olico, como los siguientes: 4

DCTS

La l nea tangente a P es paralela a la base AB . La paralela al eje que pasa por P interseca a AB en su punto medio M . Cualquier cuerda EF paralela a AB es bisecada por el di ametro P M Con la notaci on de la gura 4(i), PN (N Q)2 = PM (M B )2

Figura 4: Im agenes de referencia para las propiedades y la demostraci on El paralelogramo AA B B circunscrito al sector parab olico se forma de manera natural, el a rea del tri angulo AP B es la mitad del paralelogramo y por lo tanto mayor que la mitad del a rea del sector parab olico AP B . Ahora considere los sectores parab olicos m as peque nos con bases P B y AP y v ertices P1 y P2 respectivamente, como se ven en la gura 4 (ii). De manera similar al sector mayor, las a reas de los tri angulos P P1 B y AP2 P son mayores que la mitad de las a reas de los sectores peque nos. Se puede agotar el a rea del sector parab olico original AP B inscribiendo pol gonos. El tri angulo AP B ser a el primero y AP2 P P1 B el segundo. Continuando de esa manera, adicionando en cada paso los tri angulos inscritos a los segmentos parab olicos que quedan del paso anterior. Ya que el area total de estos tri angulos inscritos es mayor que la mitad de los segmentos, siguiendo el principio de Eudoxo, dado un > 0, se puede obtener despu es de un n umero nito de pasos un pol gono inscrito cuya a rea diera del a rea del sector menos que . Considerando las propiedades del sector parab olico y bas andose en otras ideas b asicas del c alculo de areas m as o menos evidentes en la gura 4(ii) no es dif cil ver que: 1 a( P P1 B ) + a( AP2 P ) = a( AP B ) 4 5

DCTS

En general, se puede probar que la suma de las a reas de los tri angulos inscritos, adicionados en cada paso es igual a 1 de la suma de las a reas de los tri a ngulos adheridos 4 en el paso anterior, si escribe = a( AP B ), el pol gono Pn tiene area: a(Pn ) = + + 2 + ... + n 4 4 4 (1)

Consecuentemente, dado > 0, el a rea a(AP B ) del sector parab olico diere del lado derecho, de la igualdad anterior, en menos de si n es sucientemente grande. De acuerdo con Edwards (1979), Arqu medes dedujo la identidad: 1+ 1 1 1 1 1 4 + 2 + ... + n + n = 4 4 4 3 4 3 (2)

Entonces se podr a llegar a la conclusi on de que a(AP B ) = l m a(Pn ) = l m (1 +

n n

1 1 1 1 1 1 + ... + n + n ) = (1 + + ... + n + ...) 4 4 3 4 4 4

4 4 a(AP B ) = = a( AP B ) 3 3 Siguiendo a Edwards (1979), Arqu medes obtuvo intuitivamente la respuesta 4 de 3 manera similar, pero en lugar de tomar los l mites concluy o la prueba con una doble reducci on al absurdo. Si el resultado de Arqu medes se aplica al sector de par abola delimitado por y = x2 y 4 la l nea y=1, se encuentra que el area es 3 as que el area bajo la par abola en el intervalo 1 , como se aprecia en la gura 4. Para quienes tienen conocimientos b asicos 0 x 1 es 3 de c alculo se muestra la notaci on respectiva.

Figura 5: Area bajo el sector parab olico As , en general, el a rea bajo el segmento de par abola en el intervalo 0 x b es 1 b2 , 3 es decir, un tercio del a rea del rect angulo circunscrito, en el caso anterior, un cuadrado de lado 1. 6

DCTS

3.

Comentarios Finales

Claramente el m etodo de exhauci on es un antecedente importante de conceptos como el de l mite e integral, el uso de este m etodo le permiti o a Arqu medes obtener una 10 1 aproximaci on a entre 3 71 y 3 7 , aproximadamente 3,1408 < < 3,1428. Los m etodos de exhauci on no fueron superados hasta 2000 a nos despu es cuando se revisaron las ideas de Arqu medes desde un punto de vista m as cr tico, debido a la invenci on del c alculo. Para comprender este tipo de acontecimientos es necesario tener presente los cambios importantes que han tenido lugar en la reciente historia de las matem aticas. (Apostol, 2001). La obra de Arqu medes es importante porque m as all a de calcular a reas sugiri o un m etodo para denir el concepto de areas m as o menos arbitrarias (Ibid ). A su vez el m etodo de Exhauci on sugiere un camino para denir un concepto mucho m as general, que es la integral, la cual no s olo se utiliza para calcular areas sino tambi en para establecer conceptos como longitud de un arco, volumen, trabajo, entre otros.

Referencias
Apostol, T. (2001). Calculus Volumen I. C alculo con funciones de una variable, con una introducci on al algebra lineal. Segunda Edici on, novena reimpresi on. Revert e. M exico. Bell, E. (2010). Los Grandes Matem aticos. Losada. Buenos Aires. Dijksterhuis, E. (1987). Archimedes. Princeton Paperbacks. USA. RAE (2013). En http://www.rae.es/rae.html. Consulta: 19 de Abril de 2013. Edwards C. (1979). The Historical Development of the Calculus. Springer-Verlag. New York. Fitzpatick, R. (2008). Euclids Elements of Geometry. http://farside.ph.utexas.edu/euclid.html. Consulta: 19 de Abril de 2013. En

Gonz ales, P. (2008). La soluci on de Eudoxo a la crisis de los inconmensurables. En SIGMA Revista de Matem aticas No. 33. Gobierno Vasco, Espa na.