El mtodo de exhaucin en definitiva no es ms que un paso al lmite, que

aplicado al clculo de la longitud de la circunferencia afirma que el permetro

del polgono regular de lados inscrito en la circunferencia tiene longitud,
cuando es suficientemente grande, prcticamente igual a la longitud de la
circunferencia.
Aqu vamos a usar este mtodo de exhaucin para probar que . Para
ello, consideremos un tringulo equiltero de lado (como el que aparece a la
izquierda en la imagen posterior). Es evidente que los lados opuestos a la base
tienen longitud , y su suma ser .
A continuacin, sobre el tringulo anterior, construimos dos tringulos
equilteros de lado , segn vemos en el centro de la imagen siguiente. Ahora,
si sumamos la longitud de los lados opuestos a las bases, tenemos lados de
longitud , cuya suma es , mientras que las bases continan sumando .
Es fcil intuir las siguientes iteraciones de nuestra construccin. En la siguiente
etapa tendremos tringulos equilteros cuyos lados tienen longitud , de
manera que las longitudes de los lados opuestos a las bases siguen
sumando , mientras que la longitud de sus bases suma :

Al cabo de iteraciones, tendremos tringulos equilteros de lado ,y

si sumamos las longitudes de los lados opuestos a las bases
sern , y las bases seguirn sumando .
En nuestro caso, si seguimos realizando iteraciones de la construccin anterior,
resultar que en el lmite los tringulos equilteros construidos se aproximan
cada vez ms a la lnea que forman sus bases, por lo que sus longitudes han
de ser iguales. Pero la suma de las longitudes de los lados opuestos es
siempre , y las bases suman siempre . Ahora, segn el mtodo de exhaucin
en el lmite deben coincidir, de modo que ha de ser igual a .

Paramos un momento aqu para dejaros pensar. Dnde puede estar el error
(porque error tiene que haber)? Cmo podramos explicarlo? Bien, vamos con
la segunda parte del artculo: la explicacin que Ernesto nos da sobre esta
demostracin.

Para ver qu est ocurriendo con esta aparente paradoja, debemos formalizar
un poco los elementos con los que estamos jugando. En lugar de una sucesin
de tringulos podemos considerar una sucesin de funciones, cuya grfica
corresponde a cada una de las etapas de construccin. As, tendramos que las
funciones que corresponden a los lados opuestos a la base en los tringulos
son

donde denota la parte entera. Estas son las conocidas como

funciones dientes de sierra. Es evidente que , y que

De aqu se deduce fcilmente que la sucesin converge uniformemente a .

Como consecuencia, vemos que el mtodo de exhaucin falla
estrepitosamente: tenemos una sucesin de funciones que converge de la
mejor forma posible a otra funcin, pero la longitud de estas funciones no
converge a la longitud de su lmite.
Aqu es importante observar que estamos midiendo longitudes; para ello,
debemos recordar que el clculo de la longitud de una curva dada por una
funcin , entre los puntos de abscisa y viene dado por el funcional
integral

Esto nos puede dar una idea inicial de lo que est ocurriendo. Para calcular la
longitud debemos tener presente las derivadas de las funciones . Si alguien
est pensando en que eso no es posible, pues las funciones no son
derivables, en realidad eso no es problema, puesto que se trata de funciones
que son derivables a trozos, y por tanto la integral anterior se puede calcular
como una suma de integrales en los subintervalos en los que las funciones s
son derivables.
Pero la dificultad aparece cuando tomamos lmite, no en las funciones sino
en sus derivadas. Cul es el lmite de ? Si tomamos cualquier
punto , vemos que la sucesin no
tiene lmite, pues sus valores van a ser o . Es decir, la sucesin no
converge puntualmente.
No obstante, existe un concepto de lmite coherente con el lmite de y de sus
derivadas: la convergencia dbil. Para no entrar en cuestiones excesivamente
tcnicas, bastar decir que la convergencia dbil de funciones viene a ser
convergencia en media. Podemos decir que una sucesin converge dbil a
, y se denota por si

Adems, la convergencia fuerte, que sera la convergencia en norma, implica la

convergencia dbil. De este modo, la sucesin de funciones anterior
converge dbil a y sus derivadas convergen dbilmente a .
Ahora s podemos explicar matemticamente por qu falla el mtodo de
exhaucin en este caso. Para que el lmite de las longitudes de las
funciones de las sucesin sea igual a la longitud del lmite se ha de tener
continuidad del funcional longitud. Aunque el funcional integral descrito
antes es continuo respecto de la convergencia fuerte, no es continuo respecto
de la convergencia dbil, de hecho slo es semicontinuo inferior dbil, esto es,
si , entonces , que es justamente o que sucede en nuestro
caso. Si , entonces . O sea, que en realidad slo
podemos decir que .

Qu os ha parecido? Conocais esta demostracin falaz de que ?

Habais visto la explicacin alguna vez? Os animo a que nos contis vuestras
experiencias en los comentarios, as como que nos hablis de otras
demostraciones de que no hayamos citado aqu.
5.2 Arqumedes
Naci en Siracusa en el 287 a.C. y muri en el 212 a.C.. Se considera el
matemtico ms brillante de toda la Antigedad. Recibi su educacin en
Alejandra. Se afirma con toda justicia que el trabajo geomtrico
de Arqumedes fue el punto mximo de la matemtica alejandrina.

Arqumedes us resultados de Euclides y Aristeo. Demostr teoremas sobre reas

y volmenes por medio del mtodo de exhauscin, es decir, usando figuras
lneas inscritas y circunscritas para llenar el rea de un volumen. Sin embargo,
tambin utiliz el mtodo indirecto en algn momento de sus demostraciones.
Es decir, no lleg a dar el salto hacia el concepto moderno de lmite. Esto lo
realiza en su libro Sobre la esfera y el cilindro. Debe mencionarse que el
segundo libro de esta obra incluye resultados de lgebra geomtrica.

Es famoso en muchos campos. Se conoce muy bien el principio que lleva su

nombre y que afirma que al sumergirse un cuerpo en el agua, el agua ejerce
sobre ese cuerpo una presin vertical de abajo hacia arriba que es igual al peso
del agua desplazada. Se dice que aqu empez la hidrosttica.

Arqumedes realiz importantes estudios sobre palancas.

Obras de
Arqumedes. Una versin de 1 458, por Jacobus Cremonensis.

El mtodo de Exhauscin

El mtodo de Exhauscin nace del problema de comparar las figuras curvilneas

y las rectilneas. Como usted sabe, uno de los grandes problemas de la
Antigedad era cmo reducir el crculo, o longitudes curvas, a segmentos de
recta, y otro: cmo reducir cualquier lnea curva a lneas rectas y crculos (esto
se traduce como la construccin de figuras curvas usando solo regla y comps).
No obstante, el "mtodo de Exhauscin'' no fue llamado as por los griegos,
sera mucho tiempo despus que Gregoire de St. Vincent (1 589 - 1 667) lo
bautizara de esa manera.

En ese escenario fueron usados dos principios generales sobre los nmeros y
sus relaciones con el infinito, que aparecieron de diferente forma, y fueron
relevantes para la utilizacin del mtodo que analizamos.

Primer principio:
 "Cualquier cantidad, por ms pequea que sea, puede hacerse tan
grande como se quiera multiplicndola por un nmero suficientemente
grande''.

Este se puede formular de la siguiente manera:

"Dadas dos magnitudes diferentes y (con ) existe entonces:

a) un nmero tal que (esto se encuentra en el Libro V de

los Elementos de Euclides, Def. 4);

b) un nmero tal que donde es cualquier magnitud

de la misma clase (esto se llama el Axioma de Arqumedes, en el
trabajo Sobre la esfera y el cilindro deArqumedes Libro I)''.

Segundo principio:

"Si de cualquier magnitud sustraemos una parte no menor que su mitad, y si

del resto sustraemos de nuevo una cantidad no menor que su mitad, y si
continuamos repitiendo este proceso de sustraccin, terminaremos por obtener
como resto una magnitud menor que cualquier magnitud del mismo tipo dada
de antemano''.

Lo anterior se puede poner tambin as:

"Dadas dos magnitudes diferentes y (con , existe un nmero tal

que , donde

(esto se encuentra en los Elementos de Euclides, Libro X, Def. 1)''.

Podemos ilustrar los principios usados por los griegos de la siguiente manera,
usando un pasaje de nuestro libro Elementos de Clculo Diferencial. Historia y
ejercicios resueltos:

Tmese y
La primera forma del principio dice que se puede encontrar un tal que

entonces:

Se puede considerar mayor que 1000 y ya funciona.

Veamos, si entonces a

La segunda forma del principio:

Se debe encontrar un tal que

Es decir, de tal manera que

Este sirve; pues

Veamos ahora el segundo principio:

Sea y los mismos y de antes. Queremos encontrar un tal que

o que

Es decir:

Con obtenemos

Y entonces:

Polgonos y crculos

El Libro XI de los Elementos de Euclides incluye el mtodo de Exhauscin en los

18 teoremas sobre reas y volmenes que posee, especialmente de figuras
curvilneas acotadas por superficies. El mtodo se usa, por ejemplo, para
demostrar que algunas propiedades de los polgonos se dan en los crculos. Por
ejemplo, para probar si se tiene dos crculos que:

"la razn de sus reas es la misma que la que existe entre los cuadrados de sus
dimetros respectivos''.

El mtodo consista en:

aproximar el rea de los crculos con polgonos regulares inscritos y

circunscritos,
(y como esa propiedad se cumpla para los polgonos) entonces se
deduca que se cumpla para los crculos. Es decir, se cumpla para los
polgonos que:

"La razn de las reas de dos polgonos similares inscritos en crculos es

la misma que existe entre los cuadrados de los dimetros de los
crculos''.
El infinito

La idea es que el proceso se puede hacer de manera indefinida, aumentando el

nmero de lados de los polgonos. Entonces: las propiedades de los crculos se
pueden conocer estudiando los polgonos regulares (que resultan ms fciles de
"manejar'').
 Arqumedes, pintado por Fetti,
estampilla.

Es en este momento donde se ocupa el segundo principio que mencionamos

arriba, para poder garantizar ese salto de los polgonos de un nmero finito de
lados a un crculo (que sera como el lmite infinito de esos polgonos).

En resumen: el mtodo permita demostrar la posibilidad de aproximar reas

por polgonos, aumentando el doble de lados en cada ocasin.

Repetimos: fue Arqumedes quien ms lejos llevara el mtodo de Exhauscin.

Un ejemplo

Considere el siguiente ejemplo de cmo funciona el mtodo de exhauscin,

tomado de nuestro libro Elementos de Clculo Diferencial. Historia y ejercicios
resueltos:

A) Constryase un cuadrado inscrito y otro circunscrito al crculo

: rea del crculo

 : rea cuadrado inscrito

: rea cuadrado circunscrito

Un detalle importante es que

B) En la siguiente figura el cuadrado circunscrito se divide en 8 tringulos

iguales: .

Crculos y polgonos.

Es fcil ver que:

(cuatro tringulos hacen la mitad del cuadrado circunscrito).

Ahora obsrvese el rectngulo formado por

que tambin es la mitad del cuadrado grande.

La aproximacin de las
reas.

Claramente este rectngulo es mayor que la mitad del rea del crculo.

Entonces:

Ahora vamos a construir un octgono a partir del cuadrado

inscrito.

Esto se hace para mejorar la aproximacin al rea del crculo que haca el
cuadrado.
Si llamamos con la diferencia entre el rea del crculo y el rea del
cuadrado inscrito, vamos a mostrar que este octgono va a tener un rea que

cubre ms de la mitad de .

Es decir, la mejora de la aproximacin es muy precisa.

Para simplificar concentrmonos en el lado . Vea la figura siguiente.

Un lado.

B es el punto del crculo donde se biseca el arco ( , , se construyen

de igual manera).

El rea del rectngulo es claramente mayor que el rea del segmento de

crculo encerrado por

Entonces la mitad del rea del rectngulo es mayor que la mitad del
segmento de crculo mencionado.

Ahora, note que el rea del tringulo es la mitad del rea del rectngulo
.

Entonces:

Note que el rea del tringulo es lo que se aade al cuadrado para

formar el octgono a partir del lado .

De esta forma el rea del octgono es la suma de las siguientes reas:

El octgono as construido permite mejorar la aproximacin en ms de la mitad

de la diferencia del rea del crculo y la del cuadrado inscrito.

Otros resultados

Mediante un polgono de 96 lados, Arqumedes mostr que

Por exhauscin mostr el rea de una elipse, el rea limitada por cada cuerda
en una parbola, y sobre el cono: su volumen y su superficie. Uno de los
resultados ms famosos en ese sentido se encuentra en la obra Sobre la esfera
y el cilindro:

"Una esfera cualquiera es igual a cuatro veces el cono que tiene como base un
crculo mximo de la esfera y altura igual al radio de la esfera''.
 Esfera y cilindro.

Y, tambin, se encuentra el siguiente:

"Cualquier cilindro cuya base es el crculo ms grande de una esfera y cuya

altura es igual al dimetro de la esfera, es (del volumen) de la esfera, y su

superficie junto con sus bases es de la superficie de la esfera."

Arqumedesquizo que este resultado con el cilindro circunscrito en la esfera fuera

colocado en su tumba. El romano Cicern relata haber encontrado en Siracusa,
aos despus, una tumba con esta inscripcin gravada. El asumi que se
trataba de la tumba de Arqumedes

El Axioma de Arqumedes mencionado antes ha sido usado por ms de dos mil

aos.

El trabajo llamado Sobre conoides y esferoides trata de algunas propiedades de

figuras de revolucin generadas por cnicas. Arqumedes al igual que Apolonio
realiz algunos trabajos sobre las secciones cnicas.

El mtodo

En otro libro titulado Cuadratura de la Parbola ofrece dos mtodos para

encontrar el rea de un segmento parablico. Sobre ste, Bell subraya el
tratamiento original que Arqumedesrealiza:
"El desprecio sublime de Arqumedes por todo lo convencional se ve en su trabajo
ms curioso. En el problema, que resolvi, de hallar el rea de un segmento
parablico. La demostracin es, por supuesto, rigurosa y equivale a una
integracin, algo disfrazada de exhaucin, en la demostracin oficial; pero es la
demostracin no oficial la que ofrece mayor inters. Esto sali a relucir en 1
906 cuando se encontr en Constantinopla una obra de Arqumedes en la que se
describa su mtodo heurstico. Para descubrir cul era el rea que se
buscaba, Arqumedestradujo el problema de geometra en otro equivalente de
mecnica. Habiendo resuelto este ltimo, afirma que el resultado no ha sido
'excesivamente demostrado'. Luego procede a dar una demostracin
geomtrica en la que, digmoslo de paso, realiza la primera suma de una serie
infinita en la historia. La serie es

y utiliza el hecho de que tiende a cuando se aproxima al infinito.

Haba ya sumado antes una serie finita,

[Bell, E.T.: Historia de las matemticas, p. 85.]

Este trabajo al que se refiere Bell, El mtodo, descubierto en una biblioteca en

Constantinopla en 1906, es uno de los ms famosos de Arqumedes. En esta
obra Arqumedes ilustra su procedimiento para encontrar el rea del segmento
parablico y, a diferencia de los procedimientos deductivos clsicos, utiliza
argumentos que son en esencia fsicos. Arqumedes us mtodos mecnicos para
encontrar teoremas sobre cilindros, esferas, esferoides y paraboloides de
revolucin.

En su prefacio o introduccin, se expresa esta aproximacin; dice Arqumedes:

"Reconociendo, como digo, tu celo y tu excelente dominio en materia de

filosofa, amn de que sabes apreciar, llegado el caso, la investigacin de
cuestiones matemticas, he credo oportuno confiarte por escrito, y explicar en
este mismo libro, las caractersticas propias de un mtodo segn el cual te ser
posible abordar la investigacin de ciertas cuestiones matemticas por medio
de la mecnica. Algo que, por lo dems, estoy convencido, no es en absoluto
menos til en orden a la demostracin de los teoremas mismos. Pues algunos
de los que primero se me hicieron patentes por la mecnica, recibieron luego la
demostracin por geometra, habida cuenta de que la investigacin por ese
mtodo queda lejos de una demostracin; como que es ms fcil construir la
demostracin despus de haber adquirido por ese mtodo cierto conocimiento
de los problemas, que buscarla sin la menor idea al respecto. <... Por esta
razn, aun el caso> de los teoremas referentes al cono y a la pirmide, cuya
demostracin fue Eudoxo el primero en hallar, a saber: que el cono es la
tercera parte del cilindro y la pirmide es la tercera parte del prisma, con la
misma base e igual altura, conviene atribuir buena parte del mrito a
Demcrito, el primero que enunci esto sin demostracin acerca de dichas
figuras. Tambin en mi caso sucede que el descubrimiento de los teoremas que
ahora doy a conocer ha tenido lugar de modo semejante al de los precedentes.
Y he querido publicar el mtodo una vez perfilado para que no den en pensar
algunos que hablaba por hablar al haberme referido a l anteriormente y, al
mismo tiempo, porque estoy convencido de que puede representar una
contribucin no poco provechosa a la investigacin matemtica. Pues supongo
que algunos de mis contemporneos o sucesores llegarn a encontrar por el
mtodo expuesto otros teoremas que a m todava no se me han ocurrido.

As pues, expongo en primer lugar el resultado que tambin fue el primero en

manifestarse por va mecnica, a saber: que todo segmento de una seccin de
cono rectngulo es cuatro tercios del tringulo que tiene la misma base e igual
altura, y seguidamente, uno por uno, los resultados tratados de la misma
manera. Al final del libro formulo las demostraciones geomtricas de los
teoremas cuyos enunciados te haba enviado con anterioridad.'' [ Arqumedes: El
Mtodo, pp. 35-36]
 Arqumedes. Mquina
para hundir barcos. En un detalle mural en el Stanzino delle Matematiche en la
Galleria degli Uffizi (Florencia, Italia).

En su trabajo Sobre las espirales, no solo se reduce a utilizar figuras rectilneas

sino tambin pequeos sectores circulares que son inscritos o circunscritos para
realizar la aproximacin. Siempre termina utilizando el mtodo indirecto para
completar sus demostraciones.

Si se hace un balance del trabajo matemtico de Arqumedes, puede decirse que

sus conclusiones en cuanto a slidos, reas o longitudes no son especialmente
decisivas, ni tampoco su mtodo. Sin embargo, hay consenso en que se trata
de problemas novedosos y originales. Su trabajo en la mecnica, en
hidrosttica, s son originales completamente, en particular el hecho de ofrecer
pruebas de naturaleza matemtica en torno a asuntos juzgados casi siempre
como meramente prcticos.
 Obras de Arqumedes, en libro por
George Cooke, Londres 1807.

Para Bell:

"Su trabajo ms original fue, quizs, sus matemticas aplicadas. En este

campo, hasta donde se sabe hoy, fue un iniciador. Menaechmo y otros haban
aplicado con xito el mtodo del 'agotamiento' a problemas difciles (el
mismo Arqumedes menciona a Eudoxio y atribuye a Demcrito la exposicin del
resultado para el volumen de una pirmide), pero ninguno haba aplicado la
mecnica a las matemticas. Antes de Arqumedes no existi la mecnica
cientfica. Es posible que hubiera reglas empricas, pero stas estn en un
universo diferente. Su descubrimiento de la ley de flotacin cre prcticamente
la ciencia de la hidrosttica y su formulacin de la teora de la palanca hizo lo
propio para la esttica. Tan potentes fueron sus mtodos que determin las
posiciones de equilibrio y de estabilidad de un paraboloide de revolucin
flotante en diferentes posiciones. Fiel a la tradicin griega, Arqumedes bas su
mecnica en postulados. Sus determinaciones de centroides fueron casi tan
difciles como las que hay en la actualidad en un curso de clculo. Por ejemplo,
hall el centroide de un semicrculo, un hemisferio, un segmento de esfera, y
un segmento recto de un paraboloide de revolucin. No es, pues, extrao, que
los musulmanes sintieran por Arqumedes una veneracin casi supersticiosa.
Durante dos mil aos no hubo nadie que pudiera comparrsele.'' [Bell,
E.T.: Historia de las matemticas, pp. 84-85]