Método de Exhaucion

Revista Alteinativa. Nmeio 19.
(Eneiojunio 2uu9)

http://www.revistaalternativa.org 1

Elmtododeexhaucin

MiguelDazCrdenas
midica01@gmail.com
UnidadAcadmicadeMatemticas
UniversidadAutnomadeGuerrero.Mxico.

Resumen
En este documento se intenta mostrar que el principio y el
mtodo de exhaucin de Eudoxio, constituyen el antecedente
directo del concepto moderno de lmite. En una primera parte,
mostraremoslaformaenquelosmatemticosgriegosresolvan
problemas que involucran procesos infinitos; en una segunda
parte, se establecer una comparacin con la forma en que lo
hacemos ahora, empleando el concepto de lmite. A partir de
estacomparacin,sepodrdistinguirconclaridad,porunlado,
cuales son los elementos conceptuales que no pudieron
desarrollar, y cuales son los obstculos epistemolgicos que no
lespermitiarribaranuestromodernoconceptodelmite.Ypor
otro lado, cuales son los elementos conceptuales, que nuestra
definicin de situacin lmite de un proceso infinito, hereda del
mtododeexahucindeEudoxio.
Palabras clave: mtodo de exhaucin, procesos

infinitos,situacinlmite

Elmtododeexhaucin

La ciitica ue Zenon (Biaz, 1999) a las concepciones teoiicas ue
los pitagoiicos, en ielacion con las magnituues en geneial, el
espacio, el tiempo y el movimiento, mostio ue maneia muy
convincente, que si se buscan uemostiaciones logicamente
consistentes, y soluciones exactas, a los pioblemas que
involucian piocesos infinitos, es imposible encontiailas
(utilizanuo el concepto ue infinito actual) apoynuose en las
concepciones atomistas ingenuas. Pues paia logiai tales
objetivos es necesaiio elaboiai y valeise ue mtouos que
contienen junto a la vaiieuau ue los ciiteiios sobie los
infinitsimos, elementos ue paso al limite (Rivnikov, 1987, pg.
Revista Alteinativa. Nmeio 19. (Eneiojunio 2uu9)


7S). Rivnikov ieconoce que uno ue los mtouos ms antiguos ue
este gneio es el mtouo ue exhaucion.

Este mtouo ue exhaucion involucia: El piincipio ue Euuoxio
|P.Ej que en iealiuau se tiata ue un teoiema (|P.1Xj
1
), la
pioposicion uno uel libio uiez ue los Elementos ue Eucliues; el
mtouo ue uemostiacion reduccin al absurdo, y, el uso
ocasionalmente
2
ue la uefinicion |Bef.Svj ue Euuoxio sobie
piopoicionaliuau.

A continuacion se piesenta el piincipio ue Euuoxio:
[P.E.]
[P.1.X]: Dadas dos magnitudes desiguales

(AB>G), si de la mayor se resta una magnitud mayor
quesumitad,ydeloquequedaotramagnitudmayor
quesumitad,yserepitecontinuamenteesteproceso,
quedar una magnitud menor que la menor de las
magnitudesdadas.

Demostracin:
Sean (AB>G) dos

magnitudesdadas
(figura1b):

1
En este uocumento, touas las notaciones ue esta foima inuican que se tiata
ue una pioposicion ue los Elementos ue Eucliues; en paiticulai, |P.1Xj, se
iefieie a la Pioposicion 1 uel libio X.
2
Cuanuo el iesultauo que se quieie piobai es ue la foima ue una piopoicion,
ejemplo
C
1
C
2
=
d
1
2
d
2
2
.

Figura1a.
G
A B
Figura1b.
G
G
G
G
E H Z
A B
D
T K


Segn[Def.4V]
[P.A.]:
Dadas dos magnitudes homogneas desiguales
(AB>G) se puede alcanzar y superar la mayor
repitiendolamenorunnmerosuficientedeveces
S
.
As, si se repite (G) un nmero suficiente de veces se obtiene

DE>AB(figura1b).
Enefecto,
1. _
Si o AB sc rcsto _(BI) > _
1
2
] (AB)_
o DF sc rcsto _(EE = 0) < _
1
2
] (E)_
_ - _
oJo quc:
(E) > (AB)
(E - EE) > (AB -BI)
(E) > (AI)
_
2. _
Si o AT sc rcsto _(IK) > _
1
2
] (AI)_
Si o DH sc rcsto _(ZE = 0) = _
1
2
] (E)_
_ - _
(AI -IK) < (E -EZ)
(AK) < (Z)
(AK) < 0
I. . . .
_

En este punto, es peitinente cuestionai, este piincipio sigue
sienuo vliuo paia el caso en que se ieste una poicion
cualquieia ue la mayoi ue las magnituues uauas. Paia uai
iespuesta a esta inteiiogante se hai un anlisis uesue el punto
ue vista moueino, en los siguientes timinos:

3
La uefinicion 4 uel libio S ue los Elementos ue Eucliues, hoy la conocemos
como el piincipio ue Aiquimeues.
Figura2.
a
b
r
1
r
2
m
r
n-1
m
m
r
2
r
1
< b
m
a
r
n
r
n-1


Seanaybdosmagnitudesdiferentes(a>b).Supngasequeloque
hay que restar de la mayor sea
1
m
(o), donde m e L
+
(figura 2).
Entonces:
`
1
1
1
1
1
1 r
1
= [o -
o
m
= o _1 -
1
m
]
r
2
= o _1 -
1
m
] -
o [1 -
1
m
m
= o _1 -
1
m
]
2
.
r
n
= o _1 -
1
m
]
n
1
1
1
1
1
1
1
Segnesto,dequmanerasepuedegarantizarquer
n
<b?Slosi
(r
n
- u).Estosecumplesij[1 -
1
m
n
- u[,locualselograslosi
n - ; y reconociendo que (1 -
1
m
) < 1 siempre!, entonces la
proposicin es vlida si se resta cualquier porcin; lo nico que
hay que pedir es que el proceso de restar tenga la posibilidad de
repetirseininterrumpidamente.

Formalmente,(r
n
<b)si:
lim
n-
(r
n
) = lim
n-
_o _1 -
1
m
]
n
_ = o(u) = u
Estosignificaqueelprincipiosecumplesiserepiteelprocesoun
nmerosuficientedeveces.

0n anlisis que contiaste una uemostiacion foimal (moueina)
con la veision oiiginal, motiva la siguiente inteiiogante:

Poi qu en la uemostiacion que ua Euuoxio ue su |P.E.j se
exige que lo que hay que iestai sea ms ue la mitau y no una
paite cualquieia.

0na paite ue la iespuesta a esta inteiiogante pueue basaise en
la consiueiacion ue que, si bien es cieito que en el pioceso ue
iestai paites piopoicionales [
1
m
ue maneia continua, los iestos
van sienuo menoies caua vez; tambin es cieito que las paites
piopoicionales que hay que iestai son a su vez menoies. Y asi


se pone ue manifiesto el temoi ue que siendo las partes
proporcionales menores cada vez, llegue el momento en que no
seanlosuficientementegrandesparalograrqueelrestoensimo
(r
n
), sea menor que (b) el menor de los segmentos dados. Esta
situacion paiece noimal, sobie touo, uespus ue consiueiai que
las ciiticas ue Zenon uejaion honua huella en el tiatamiento ue
pioblemas que involucian piocesos infinitos.

0tia paite ue la iespuesta, es muy especifica. Y tiene que vei
con la exigencia que plantean las conuiciones (A), (B), que
apaiecen en el pioceso ue uemostiacion foimal (que a
continuacion se expiesa) ue la pioposicion: Elladoyladiagonal
delcuadradosoninconmensurables.

Elusodelmtododeexhaucin

Este paiece sei el momento auecuauo paia mostiai (poi
nuestia paite)
4
, el uso uel mtouo ue exhaucion ue Euuoxio
(Eves, 1969, pgs. 216, vol.II) en la uemostiacion foimal ue la
pioposicion:
Elladoyladiagonaldelcuadradosoninconmensurables.

4
A falta ue obia oiiginal ue Euuoxio que muestie la aplicacion ue este
mtouo.

Figuia S.
l
0
d
1
d
0
l
1
d
2
l
2
u=CP
P
M
T
S
R
Q
C
B
D A


SeaABCDuncuadrado(figura3)deladol
0
yladiagonald
0
.
Demostracin:
Por reduccin al absurdo, supngase (~I) es decir que l

0
, d
0
son
conmensurables con u arbitrario. Entonces el lauo y la uiagonal
se pueuen expiesai en la foima siguiente:

_
J
0
= mu
l
0
= nu
_ JonJc (m, n) e N, m > n
Sobred
0
,enlafigura3,tmeseAQ=l
0
.
Entonces:_
J
0
-l
0
= C = l
1
mu -nu = l
1
(m -n)u = l
1
_
TrazandoA AC,puedeprobarse:
_
R = R = C = l
1
= (m -n)u
CR = (C -R) = J
1
= nu -(m -n)u
CR = J
1
= (2n -m)u
_
Si QC y QR son iguales y perpendiculares entre s, puede

completarse el cuadrado QRSC cuyo lado es l
1
=(mn)u y la
diagonal d
1
=(2nm)u. Se observa que tanto l
1
como d
1
serian
conmensurablesconu,sisecumplealgunodelossiguientespares
decondiciones
S
:
]
m > n
(2n -m) > u
o _
m > n
n > [
m
2
_ (A)
m>nyasecumpledesdeelmomentoenquem,nfuerondefinidos;
yn > [
m
2
,secumpleporladesigualdaddeltringuloADC,pues:

5
Son las conuiciones que haiian que los coeficientes ue u en las expiesiones
paia l
1
,d
1
sean uos nmeios natuiales.


`
1
1
1
1
1
1
(l
0
+l
0
) > J
0
2(l
0
) > J
0
l
0
>
J
0
2
nu >
mu
2
n >
m
2
1
1
1
1
1
1
1
Enconclusin,ladiagonalyelladodelnuevocuadradoheredan
launidaddemedidau.
Deacuerdoaloanterior,sepuedeexpresar:
_
l
1
= (m -n)u
J
1
= (2n -m)u
_ - _
l
1
= u
J
1
= [u
_ ; (o, [) e N
Paralaconstruccindelsiguientecuadrado,setiene:
_
l
2
= J
1
-l
1
J
2
= l
1
-l
2
_ - _
l
2
= ([ -o)u
J
2
= (2o -[)u
_ - _
l
2
= yu
J
2
= ou
_ ; (y, o) e N
En donde la propiedad (y, o) e N, se garantiza por el

cumplimientodealgunodelossiguientesparesdecondiciones:
_
[ > o
2o -[ > u
_ o, _
[ > o
o > _
[
2
]
_ (B)
Paralascuales,conelempleodeideasanlogasalcasoanterior,
puedeestablecersesuvalidez.Estoharaqueelladoyladiagonal
delnuevocuadradoseanconmensurablesconu.Enresumen,sise
piensa en repetir ilimitadamente este procedimiento, Podemos
concluir que la unidad de medida u se hereda a las diagonales y
ladosdecadanuevocuadrado.
Si contina ilimitadamente el procedimiento para construir

nuevos cuadrados (ms pequeos cada vez), pronto nos
percataramos, que no podran construirse muchos cuadrados
nuevos sin aceptar (con base en el principio de exahucin [P.E.]),
quesiendouunamagnitudfijadeantemano(noimportaquetan
pequea se elija), llegar el momento en que el resto ensimo
(que en este caso es el lado del cuadrado ensimo), sea de un


tamaotal,quenisuladonisudiagonalpuedansermediblescon
u,porsermspequeosqueste;loqueharainconmensurables
alladoyladiagonaldeuncuadrado(elensimo).Estocontradice
laconclusinderivadadelprocesodescrito
6
.
Pero formalmente, se requiere establecer que en cada paso del

proceso descrito, se cumple con el principio de Eudoxio; es decir,
loqueserestadebesermayorquelamitadsiempre.
Si se sigue atentamente el proceso infinito de construccin de

nuevos cuadrados (figura 3), en el que el lado del primer
cuadrado se obtiene restando l
0
de la diagonal d
0
, y a partir del
segundo paso, cada lado de los siguientes cuadrados se obtiene
restandod
n
delladol
n
,seestardeacuerdoqueenesteprocesose
cumple la hiptesis del [P.E.]. En el diagrama de la figura 4, se
representaestasituacin.
As se tiene que en el primer paso a d

0
se le est restando l
0
y en
base a la desigualdad del tringulo (ABC) puede probarse que
l
o
>
d
0
2
;resultandocomoprimerrestol
1
.
A partir del segundo paso y con base en el diagrama (figura 4),

sernecesarioprobarqueal
1
selerestad
2
mayorquesumitad,y
engeneralqueacadarestol
n1
serestaJ
n
>
I
n
-1
2

6
Se iefieie a la conclusion que apaiece en subiayauo, lineas aiiiba.
Figura4.
u
l
1
l
n1
l
n
l
0
d
2
d
n
d
0
l
1
l
2
l
n
l
n
<u


Hasta aqu, puede decirse que el procedimiento descrito para
construir un nuevo cuadrado (ms pequeo que el original), de
lado l
1
y diagonal d
1
medibles con u, provoca que el lado y la
diagonaldelnuevocuadradoseanconmensurables.
Enefecto:
`
1
1
1
1
1
1 _
l
0
= l
1
+J
1
J
1
> l
1
_ - (l
0
< 2J
1
) J
1
>
l
0
2
_
l
1
= l
2
+J
2
J
2
> l
2
_ - (l
1
< 2J
2
) J
2
>
l
1
2
.
_
l
n-1
= l
n
+J
n
J
n
> l
n
_ - (l
n-1
< 2J
n
) J
n
>
l
n-1
2
1
1
1
1
1
1
1

Estosignificaqueentodomomentosecumpleconlahiptesisdel
[P.E.], por lo tanto, en un nmero finito de pasos, el resto
ensimo l
n
ser menor que u. En consecuencia l
n
no es medible
con u. Esto rompe (contradice) la hiptesis
7
de que u es una
unidad de medida heredada para l
n
, d
n
. Ello demuestra
formalmente que el lado y la diagonal del cuadrado son
inconmensurables
8
.

El ieconocimiento ue ue este iesultauo, uebio causai un fueite
sismo, que amenazaba con ueiiibai la base funuamental (teoiia
ue las piopoiciones) uel piincipio pitagoiico: todo es nmero o
relacionesdenmeros; pues habia magnituues como el lauo y la
uiagonal uel cuauiauo, el lauo y la uiagonal uel pentgono
(iegulai) cuyas iazones [
I
0
d
0
, no se pouian expiesai como la
iazon entie uos nmeios enteios. Las fuentes ue infoimacion
alieueuoi ue este hecho, no aclaian si los pitagoiicos, uespus
ue elegii su simbolo (pentalfa), se enteiaion ue que estaba
infectaua ue inconmensuiables, y ueciuieion guaiuai el
secieto hasta en tanto no se contaia con la heiiamienta

7
Esta hipotesis es en iealiuau la conclusion foimal (en subiayauo lineas
aiiiba) a la que se llega en el piopio camino uuiante el pioceso ue la
uemostiacion.
8
0n pioceuimiento similai, pueue seguiise paia uemostiai la pioposicion:
Elladoyladiagonaldelpentgonoregularsoninconmensurables.


conceptual auecuaua paia el manejo ue uichas magnituues. 0, Si
an sabienuo ue las caiacteiisticas ue la pentalfa, ueciuieion
auoptaila como simbolo, como una muestia ue aceptacion uel
ieto a vencei; uemostianuo con ello una actituu positiva ante tal
pioblemtica. Cualquieia que fueia el caso, lo cieito es que esta
ciisis no uuio mucho tiempo, pues el ingenio giiego piouujo
teoiias que peimitieion manejai los inconmensuiables ue la
misma foima que los conmensuiables, como se poui obseivai
en los tiabajos ue Euuoxio (4u6SSS a.n.e).

Basta aqui, se ha uauo una muestia ue como es posible que
Euuoxio con su |P.E.j
|P.1Xj junto con el mtouo ue

uemostiacion ieuuccion al absuiuo, haya pouiuo salvai la
situacion limite, en paiticulai en este pioblema que involucia
un pioceso infinito (ue constiuccion ue cuauiauos, ms
pequeos caua vez); logianuo con ello uai caita ue natuialiuau
a las magnituues inconmensuiables uentio ue la matemtica.

Besue una peispectiva moueina, se pueue aceptai que los
conjuntos numiicos que se manejan hasta esa poca, son los
natuiales (H), los iacionales positivos (Q
+
), y esta nueva clase
ue magnituues que no aumiten expiesion iacional, los
iiiacionales positivos (I
+
). En fin, pueue hablaise uel
establecimiento ue los ieales positivos (H, Q
+
, I
+
) R
+
.

A falta ue algn manusciito ue la obia oiiginal ue Euuoxio en el
que pouamos obseivai la aplicacion ue su mtouo ue exhaucion,
enseguiua se aboiuai el estuuio ue la pioposicion |P.2XIIj ue
los Elementos, uonue poi piimeia vez Eucliues hace uso ue
este mtouo (veia, 197u), empleanuo auems |Bef.Svj.

Se estima peitinente, antes ue analizai la uemostiacion ue |P.2
XIIj, tiaei a la uiscusion algunas concepciones ue Antifon (4Su
a.n.e.) y Biison (46u a.n.e.) sobie el pioblema ue la cuauiatuia
uel ciiculo, que son las iueas que siivieion ue funuamento al
mtouo exhaustivo ue Euuoxio (Rey, 1962, pgs. 1S9161).

Antifon (segn Aiistoteles), ciee iesolvei el pioblema ue la
cuauiatuia uel ciiculo insciibienuo un poligono iegulai
(tiingulo o cuauiauo). Luego, uuplicanuo piogiesivamente los


lauos ue este piimei poligono, se uisminuye a caua opeiacion la
supeificie ue los segmentos ciiculaies exteiioies a los
poligonos. Afiimanuo que al cabo ue un nmeio muy gianue
(peio finito) ue opeiaciones ue esta clase, se llegaiia a un
contoino poligonal que seiia la ciicunfeiencia. Pensaba que poi
este meuio, el iea uel ciiculo se agotaiia, obtenienuo un
poligono insciito cuyos lauos a causa ue su pequeez
coinciuiiian con la ciicunfeiencia. Y uauo que es posible
constiuii un cuauiauo equivalente a un poligono cualquieia, ese
cuauiauo seiia equivalente en iea al ciiculo. Y ue esa foima se
pouiia cuauiai el ciiculo.

En otias alusiones, pueue entieveise una pioposicion touavia
ms fina sobie el mismo pioblema. Ahoia se tiata ue poligonos
insciitos y ciicunsciitos semejantes; y siguienuo el mismo
pioceuimiento (uuplicacion ue lauos), se llegai a un mismo
poligono, fin comn ue las uos opeiaciones y que seiia iuntico
a la ciicunfeiencia.

Esta piopuesta ue solucion confunue aproximacin finita con
aproximacin creciente pero al infinito. Confunue igualmente
apioximauo y exacto. Sugieie que una linea quebiaua con
segmentos muy pequeos es una cuiva, sin uaise cuenta que
una ciicunfeiencia no pueue tocai a una iecta en ms ue un
punto. Tampoco se ua cuenta que las magnituues continuas son
uivisibles al infinito. En otias palabias, esta concepcion es
matemticamente incoiiecta, pues significa hacei coinciuii un
punto geomtiico (sin uimension) con un segmento que si tiene
magnituu (Rey, 1962).

Biyson, ue la siguiente geneiacion ue Antifon, ietoma estas
iueas, cayenuo en los mismos eiioies, peio ua un paso ms en el
camino que pionto sei el aceitauo. Acepta que la
ciicunfeiencia es ms pequea que cualquieia ue los poligonos
ciicunsciitos y mayoi que cualquieia ue los insciitos. Se le
atiibuye auems, la siguiente pioposicion: Las cosas que son
mayores y menores a la vez que las mismas cosas, son
respectivamenteiguales. Es uecii (A < B < A) - (A = B).



Be touas maneias, cuanuo estas concepciones involuciauas en
los pioceuimientos ue Atifon y ue Biyson, auquiiieion
suficiente claiiuau en ielacion a sus iasgos esenciales, se
toinaion piouuctivas en los tiabajos ue Euuoxio y Aiquimeues
iespectivamente. Se uice que el mtouo ue exahucion ue
Euuoxio, peimitio a los matemticos giiegos, evauii la situacin
lmite piesente en los pioblemas que involucian piocesos
infinitos (Rey, 1962).

Antes ue obseivai como el mtouo exhaustivo pueue evauii la
situacion limite, es conveniente iecoiuai la siguiente cauena ue
pioposiciones:

[P.15VI]
Las reas de los tringulos en los que un ngulo de
uno es igual a un ngulo de otro, estn en la misma
raznquelosproductosdelosladosquecomprenden
dichongulo.
[P.19VI]
Las reas de dos tringulos semejantes son entre s
comoloscuadradosdelosladoshomlogos.
[P.20VI]
Las reas de dos polgonos semejantes son entre s
comoloscuadradosdelosladoshomlogos.
[P.1XII]
Los polgonos semejantes inscritos en crculos son
entrescomoloscuadradosdesusdimetros.

Y aclaiai poi nuestia paite, que en este caso, el plan ue
uemostiacion ue Eucliues, consiste en paitii ue [P.1XII] paia
llegai a [P.2XII]. Paia ello, necesita mostiai que
P
1
P
2
=
C
1
2
C
2
2
pueue
sei un iesultauo sospechoso ue sei veiuau; si lo consigue,
tambin
C
1
C
2
=
d
1
2
d
2
2
sei un iesultauo sospechoso ue sei veiuau.
Entonces tenui sentiuo intentai la uemostiacion ue [P.2XII].


Si consiueiamos que es ue la foima A=B, al asumii la negacion
ue la tesis (poi la via ue ieuuccion al absuiuo), se foimulan uos
alteinativas A>B o A<B, si ambas alteinativas llevan a
contiauiccion entonces se habi piobauo la valiuez ue A=B.

El piimei punto poi cubiii en este plan, consiste en aseguiai la
sospecha ue valiuez ue
P
1
P
2
=
C
1
2
C
2
2
. Paia ello, es necesaiio
establecei un pioceso en el que la uifeiencia entie el iea ue los
poligonos semejantes y el iea ue los ciiculos en los que se
insciiben, sea menoi que cualquiei cantiuau fijaua ue
antemano; tan pequea como se quieia.
Empecemos poi uemostiai la pioposicion [P.2XII].
[P.2XII]=Doscrculossonentrescomoloscuadrados
desusdimetros.

(H):Sean,c
1
,c
2
,doscrculosdedimetrosd
1
,d
2
,respectivamente.
Cuyasreasson,C
1
,C
2
.
(I):
C
1
C
2
=
d
1
2
d
2
2
Demostracin:
En efecto. Por una parte sean K y C

1
dos magnitudes (de rea)
dadas de ante mano, tales que K<C
1
. Por otra parte, sea el
Figura5.
c
2
c
1
d
1
d
2


cuadrado ABCD el primer polgono de 2
n
lados (con n=2) que
puedeinscribirseenelcrculoc
1
.
Con el apoyo de la figura 6, puede demostrarse que el rea del

cuadrado inscrito ABCD es mayor que la mitad del rea del
crculo c
1
. Pues s l
1
y l
2
son los lados de los cuadrados inscrito y
circunscritorespectivamenteac
1
,entonceseneltringuloOMCse
tiene:
_
l
1
2
_
2
+_
l
1
2
_
2
= _
l
2
2
_
2
- l
1
2
=
l
2
2
2

En otios timinos:
Arco (ABC) =
Arco (A'B'C'')
2

Pero (A
i
B
i
C
i
i
) > C
1
Enconsecuencia
(A
|
B
|
C
|
|
)
2
>
C
1
2

Arco (ABC) >

C
1
2
SdeC
1
serestaelreaABCD,quecomoseprobesmayorquesu
mitad,elrestor
1
eslasumadecuatrosegmentoscircularescomo
elAPB.
Figura6.
c
1
M
C
A
D
B
D' C'
B' A'
R
P
Q S
O


Si ahora se considera inscrito en c
1
un polgono de 2
n
lados con
n=3 (un octgono), entonces se tiene que el rea del octgono
(figura7)esigualalreadelcuadradoABCDmselreadeocho
tringulos como el APT, lo que significa que el octgono
contribuyearestarder
1
elreadeochotringuloscomoelAPTy
puede probarse que esto es mayor que la mitad de r
1
; con slo
observar que cada uno de los cuatro paralelogramos (como el
ALNB)esmayorquecadaunodelossegmentoscirculares(como
el APB), y a la vez la mitad de su rea es igual a la de dos
tringulos(comoelAPT).

Conrelativafacilidad,sepuedeprobarquesisesigueunproceso
infinito de inscripcin de polgonos de 2
n
lados en c
1
, se cumple
con la hiptesis del [P.E.], por lo tanto el resto ensimo r
n
(la
diferenciaentrelasreasdec
1
yelpolgonoensimo),sermenor
que(K)lamenordelasmagnitudesdadas.Estogarantizaqueen
un nmero finito de pasos esta diferencia puede hacerse tan
pequeacomosequiera.

Si ahoia se consiueian uos poligonos semejantes P
1
, P
2
ue 2
n
lauos, insciitos en c
1
, c
2
iespectivamente, entonces uesue el
Figura7.
c
1
N L
M
T
C
A
D
B
D' C'
B' A'
R
P
Q
S
O


punto ue vista ue los giiegos, iesulta natuial la sospecha ue la
veiaciuau
9
ue
P
1
P
2
=
C
1
2
C
2
2
.

Besue un punto ue vista moueino, pouemos compienuei que al
iesultauo anteiioi (el cual pueue expiesaise en foima
equivalente como: Los polgonos regulares de 2
n
lados inscritos
enuncrculo,agotanelreadelcrculo,se pueue llegai a tiavs
ue la situacion limite uel pioceso infinito. Asi que con base en la
pioposicion [P.1XII]:
P
1
P
2
=
d
1
2
d
2
2
, y ue acueiuo con el iesultauo
anteiioi, es posible aiiibai a[P.2XII]:
C
1
C
2
=
d
1
2
d
2
2
.

Peio no fue posible que los matemticos giiegos puuieian uai
este salto, pues poi una paite, a pesai ue que entenuian que el
iea ue los poligonos iegulaies ue 2
n
lauos insciitos en el
ciiculo, se apioxima al iea uel ciiculo tanto como se quieia, no
uejaion ue consiueiai esta opeiacion como una (muy fina)
apioximacion finita. Pievalecio el punto ue vista (sealauo ya
poi Biyson) ue que el iea uel ciiculo es ms pequea que el
iea ue cualquieia ue los poligonos ciicunsciitos y mayoi que
cualquieia ue los insciitos (cuanuo se consiueia un pioceso
finito, an cuanuo el nmeio ue pasos sea uemasiauo gianue).
Poi otia paite, el iigoi matemtico impuesto poi ellos mismos,
les obligaba a hablai ue las magnituues completas y no ue sus
apioximaciones poi ms finas que estas fueian. En touo caso, si
se sospechaba ue la valiuez uel iesultauo en cuestion, esta tenia
que sei piobaua poi otia via.

Siguienuo con el plan uesciito anteiioimente, uespus ue
sospechai la valiuez ue
C
1
C
2
=
d
1
2
d
2
2
, la otia via ue uemostiacion
uistinta ue la apioximacion finita, suige natuialmente en el uso
ue la via inuiiecta:

Porreduccinalabsurdo,supngase(~T):

9
Y ue acueiuo al plan tiazauo, tambin ue la veiaciuau ue
C
1
C
2
=
d
1
2
d
2
2
.


(~I): _
C
1
C
2
=
J
1
2
J
2
2
_ -
`
1
1
1
1
(i)
C
1
C
2
>
J
1
2
J
2
2
(ii)
C
1
C
2
<
J
1
2
J
2
2
1
1
1
1
1
Anlisisde(i):
S
C
1
C
2
>
d
1
2
d
2
2
,entoncesexisteC
3
< C
1
talque:

C
3
C
2
=
J
1
2
J
2
2
. . (A)
1u
SupngaseahoradospolgonosP
1
,P
2
de2
m
lados,inscritosen,c
1
,
c
2
respectivamente(figura8a).
Adems,siC
3
(elreadec
3
)estalqueC
3
<C
1
,setiene:
(C
3
< P
1
< C
1
) (B)
Ahora,porlaproposicin[P.1XII]ysiendo(P
1
~P
2
)seobtiene:
P
1
P
2
=
C
1
C
2
(C)

10
C
3
es el iea ue c
3
(concntiica y menoi que c
1
). En este iazonamiento se
est empleanuo el hecho ue que entie uos iazones (ielaciones) uifeientes,
pueue situaise un nmeio iacional que pueue llegai a sei igual a uno ue los
extiemos uel inteivalo semiabieito [
d
1
2
d
2
2

C
3
C
2
<
C
1
C
2
ueteiminauo poi estas
iazones. La gaiantia ue encontiai el C
3
justo paia logiai la igualuau con
alguna ue las iazones en cuestion, se consigue invocanuo (sin ueciilo), al
piincipio ue continuiuau ue los nmeios ieales.

Figuia 8a.
c
3
c
2
c
1
d
1
d
2
P
1
P
2


De(A)y(C)seconcluye:
C
3
C
2
=
P
1
P
2
()
Pero de acuerdo con la figura 8a (P

2
< C
2
), entonces en base a
[Def.5V] (P
1
< C
3
). Lo que contradice a (B)! Consecuentemente
(i)esfalsa.
Anlisisde(ii):
C
1
C
2
<
d
1
2
d
2
2
Si
C
1
C
2
<
d
1
2
d
2
2
entoncesexisteC
4
< C
2
talque:
C
1
C
4
=
J
1
2
J
2
2
(E)
11
Supngase ahora dos polgonos P

1
, P
2
de 2
n
lados, inscritos en c
1
,
c
2
respectivamente(figura8b).
AdemssiC
4
(elreadec
4
)estalqueC
4
<C
2
,setiene:
(C
4
< P
2
< C
2
) (F)
Ahoraporlaproposicin[P.1XII]ysiendo(P
1
~P
2
)seobtiene:

11
En este caso C
4
es el iea ue c
4
(concntiica y menoi que c
2
). Bebe auems
ieconoceise que se estn empleanuo los mismos piincipios que en el caso
uel anlisis ue (i).

Figuia 8b.
c
4
c
2
c
1
d
1
d
2
P
1
P
2


P
1
P
2
=
J
1
2
J
2
2
(0)
De(E)y(G)seconcluye:
P
1
P
2
=
C
1
C
4
(E)
Pero(P
1
< C
1
)entoncesenbasea[Def.5V] (P
2
< C
4
)
Loquecontradicea(F)!Consecuentemente,(ii)esfalsa.
Finalmente seconcluye que(~T)es falsay(T)esverdadera.Esto
es:
C
1
C
2
=
J
1
2
J
2
2

Elusodelmodernoconceptodelmite

Ahoia, es el momento ue piesentai la solucion ue un pioblema
que involucie un pioceso infinito, en uonue se muestie el uso ue
nuestio moueino concepto ue limite.

Paitienuo ue la iuea piopuesta poi piimeia vez poi el sabio
giiego Antifon (4Su a.n.e.), ietomaua en el mtouo ue exhaucion
ue Euuoxio; intentaiemos calculai el iea ue un ciiculo ue iauio
r. Esta iuea consiste, en suponei que en el ciiculo se insciibe un
poligono iegulai ue n lauos, luego inciementai el nmeio ue
lauos uel poligono, con lo que se establece un pioceso en el que
el iea uel poligono se apioxima caua vez ms al iea uel
ciiculo, como se apiecia en la figuia 9.

En caua caso, el iea uel poligono es menoi que el iea uel
ciiculo peio ms pioxima a ella. Esta situacion pievalecei,

Figuia 9.
n=k ... n=5 n=4 n=3


siempie que se piense en poligonos con un nmeio n finito ue
lauos. Peio si el nmeio ue lauos n tienue a infinito, el iea uel
poligono iegulai agotai el iea uel ciiculo.

Besignemos el simbolo A
P
n
paia uenotai el iea ue un poligono
iegulai ue n lauos, insciito en un ciiculo ue iauio r. Paia
calculai el iea A
P
n
, consiuiese el hecho ue que cualquiei
poligono iegulai ue n lauos pueue uescomponeise en n
tiingulos iguales. El iea ue caua tiingulo pueue calculaise al
multiplicai un meuio ue su base poi su altuia, y ue acueiuo con
la figuia 1u:
A
1
= (rscn )(rcos ) ; =
n
n
roJioncs
Asi, el iea total uel poligono ue n lauos es:

A
P
n
= nr
2
scn cos

Basta este punto, tenemos un pioceso en el que la tenuencia es
que el iea uel poligono insciito se paiece caua vez ms al iea
uel ciiculo. En este caso paiticulai ya no tenemos que piobai si
la tenuencia pievalece, pues ya se piobo con anteiioiiuau que
un pioceso como este, cumple con el piincipio ue exhaucion; es
uecii, que la uifeiencia entie el iea uel poligono y la uel ciiculo,
se pueue hacei tan pequea como se quieia. Si ahoia pensamos,

Figuia 1u.
r
r
l/2=rsena
rcosa
A
P
n
O


en que el nmeio ue lauos n uel poligono tienue a infinito, esto
nos peimite uai el paso al limite ue este pioceso, es uecii:

`
1
1
1
1
1
1
1
1
1
1
1
1
lim
n-
( A
P
n
) = lim
n-
jnr
2
scn [
n
n
cos [
n
n
[
A
CicuIo
= lim
n-
_nr
2
_
n
n
n
n
_scn [
n
n
cos [
n
n
_
A
CicuIo
= lim
n-
_nr
2
[
n
n
scn [
n
n
[
n
n
cos [
n
n
_
A
CicuIo
= nr
2
[
n
n
lim
n-
_
scn [
n
n
[
n
n
cos [
n
n
_
A
CicuIo
= nr
2
1
1
1
1
1
1
1
1
1
1
1
1
1

Loselementosconceptualesqueelmtodode
exhaucinaportaalmodernoconceptodelmite

Paia iefeiiinos a los elementos conceptuales que el mtouo ue
exhaucion apoita al concepto ue limite, es necesaiio piimeio
uescubiii los iasgos esenciales uel concepto ue limite, paia
uainos cuenta como los apoites uel mtouo ue exhaucion son
ahoia inteipietauos poi los matemticos moueinos.

RasgosesencialesdelconceptoLmite

1. Laexistenciadeunprocesoinfinitoenelquesemanifiesta
una determinada tendencia (algo se va pareciendo a otro
algo). Esta es la concepcion ue infinito potencial.
2. Aseguramiento de la tendencia, es uecii se tiene que
gaiantizai que la tenuencia pievalece hasta el infinito,
que no se pueue uesviai ni uetenei ni mucho menos
iegiesai. Esto es, la uifeiencia entie las magnituues que
se compaian, uebe sei siempie menoi que cualquiei
magnituu fija ue antemano(|A
CicuIo
-A
P
n
| < e).
S. La abstraccin de la realizacin potencial. Consiste en
piescinuii ue la imposibiliuau ue iealizai mateiialmente


el pioceso infinito en un tiempo y espacio ueteiminauo;
y consiueiai que an cuanuo el pioceso es infinito, se
pueue pensai en ste como ya culminauo. Paia ello se
iequieie la concepcion ue infinito actual.
4. Lasituacinlmitedelprocesoinfinito. El paso al limite.

Asi, pouemos uainos cuenta que con el mtouo ue exhaucion,
que a las claias cubie los uos piimeios iasgos esenciales ue
nuestio concepto ue limite, los matemticos giiegos ue la poca
ue Euuoxio (4u6SSS a.n.e) puuieion (en base al iasgo 1)
sospechai ue la valiuez ue algunos iesultauos como los
polgonos inscritos agotan el rea del crculo. Y an ms,
puuieion (en base al iasgo 2) confiimai esa sospecha
obseivanuo que el piincipio ue Euuoxio se cumplieia, es uecii
que la uifeiencia entie las ieas ue los poligonos y la uel ciiculo,
sea tan pequea como se quieia (|A
CicuIo
-A
P
n
| < e). La
piueba ue la valiuez uel iesultauo ( A
CicuIo
= A
P
n
) poi la via
inuiiecta ue uemostiacion (ieuuccion al absuiuo), iesulta una
claia muestia ue la foima en que evauieion la situacion limite
ue los piocesos infinitos.

Asi tambin, queua bastante claio que los matemticos giiegos
ue esta poca, no puuieion con la abstraccin de la realizacin
potencial, la cual exige pouei concebii el infinito en su foima
actual, es uecii como pioceso infinito culminauo. Y es este
obstculo, el que no hizo posible que puuieian uai el salto al
lmite.

Poi nuestia paite, pouemos uecii que las ciiticas ue Zenon a las
concepciones pitagoiicas sobie magnituues en geneial, espacio,
tiempo y movimiento, motivo en los matemticos giiegos cieita
uesconfianza ante los pioblemas que involucian piocesos
infinitos. Resulta claio que su concepcion ue infinito, como algo
que no tiene fin (infinito potencial), no les peimitio uistinguii
entie aproximacin finita y aproximacin creciente pero al
infinito.



Esta concepcion ue infinito, teimino poi conveitiise en un
obstculo epistemologico
12
, que les impiuio concebii que en un
pioceso poi infinito que sea, pueue piescinuiise ue la
imposibiliuau ue iealizailo mateiialmente en un tiempo y
espacio ueteiminauo
1S
; y pensai en el pioceso ya culminauo.
Esta foima ue concebii el infinito (infinito actual), es lo que
posibilita hablai ue la situacion limite piesente en los
pioblemas que involucian piocesos infinitos.

Limitacionesdelmtododeexhaucinfrenteal
modernoconceptodeLmite

En iesumen, el mtouo exhaustivo ue Euuoxio (uesue la
concepcion matemtica ue infinito potencial), aumite la
posibiliuau ue ii siempie tan lejos como se quieia tanto en la
uivision como en la multiplicacion, poi meuio uel axioma ue
homogeneiuau (piincipio ue EuuoxioAiquimeues). Este
piincipio, manifiesta una claia intension bien ueteiminaua ue
excluii el manejo ue magnituues infinitamente gianues e
infinitamente pequeas, y piopoiciona el meuio paia piescinuii
ue ellas en la uemostiacion.

Peio el mtouo exhaustivo ue Euuoxio, peimitio a la matemtica
giiega piescinuii ue la situacion limite ue los piocesos infinitos,
aiiojanuo ue su camino ieal a la concepcion matemtica ue
infinito actual, ietaiuanuo con ello los avances hacia el clculo
infinitesimal. Y piopoiciono el meuio ue supliila, establecienuo
poi 2uuu aos el iueal uel mtouo geomtiico. Iueal iiguioso,
peio cuya estiechez fue un gian obstculo y una tiemenua
limitacion (Rey, 1962, pg. 199).

La estiechez a la que hace iefeiencia Abel Rey, tiene que vei con
el hecho ue que el mtouo exhaustivo tenia que sei aplicauo a
caua caso en paiticulai. 0tio aspecto impoitante ue sus
limitaciones, consiste en que no peimite uescubiii ni inventai
nuevos iesultauos, solo piueba su valiuez. Esto obliga a que las

12
Be acueiuo con Biousseau, citauo poi Aitigue, (Aitigue, 199S).
13
Esta es la abstraccin llamaua delarealizacinpotencial, ue acueiuo con
Snchez. (Snchez, 1987)


nuevas pioposiciones poi uemostiai, uebein sei obteniuas poi
meuios uistintos (ue la matemtica incluso, como ha queuauo
ue manifiesto en la obia ue Aiquimeues El Ntouo, y
sometiuos luego a la piueba ue iacionalizacion (veia, 197u,
pgs. 261197). Es este ltimo aspecto ue la estiechez uel
mtouo exhaustivo, el que le ua la categoiia ue iueal ue iigoi
matemtico en el campo ue los pioblemas que involucian
piocesos infinitos.

No obstante (hoy lo sabemos), la iuealizacion uel infinito
matemtico tiene uos foimas ue abstiaccion (infinito potencial
e infinito actual) contiauictoiias entie si, y coexistentes (en
uniuau uialctica) en touo pioceso infinito.

0na situacion que ejemplifica lo afiimauo anteiioimente pueue
obseivaise en la clase ue un piofesoi que ensea el concepto ue
limite ue una funcion:

Baua la funcion (x) =

x, se intenta explicai el significauo ue
la expiesion lim
x-2
(x) tomanuo valoies ue x caua vez ms
ceica (poi la ueiecha y poi la izquieiua) ue x=2 y evaluanuo las
uifeientes imgenes (f(x)), en un pioceso que pueue iepetiise
ilimitauamente. Si el piofesoi afiima que las imgenes se
paiecen caua vez ms al valoi 2, est asumienuo la concepcion
ue infinito potencial (posibiliuau ue estai caua vez ms ceica),
peio uesue esta posicion solo poui gaiantizai una tenuencia: si
(x - 2 ) - ((x) - 2). Es entonces, que uesue la concepcion
ue infinito actual (pioceso infinito culminauo) pueue hablaise
ue la situacin lmite uel pioceso infinito y planteai
lim
x-2
(x) = 2.

Con los puntos ue vista expuestos lineas aiiiba, pensamos que
se claiifica nuestia posicion ue que el mtouo ue exhaucion, es
el anteceuente uiiecto ue nuestio concepto moueino ue limite.



Bibliografa
Artigue, M. (1995). Ingeniera didctica en educacin matemtica.
Mxico: Grupo Editorial Iberoamrica.

Daz, M. (1999). Fundamentos de la matemtica: anlisis de la
primera crisis. Universidad Autnoma de Guerrero, Unidad
Acadmica de Matenticas. Chilpancingo, Guerrero, Mxico: Tesis
de Maestra no publicada.

Eves, H. (1969). Estudio de las geometras (Vols. I, II). Mxico:
UTHEA.

Rey, A. (1962). El apogeo de la ciencia tecnica griega. Mxico:
UTEHA.

Rvnikov, K. (1987). Historia de las matemticas. (C. Valdez,
Trad.) Mosc: Mir.

Snchez, C. (1987). Conferencias sobre problemas filosficos y
metodolgicos de la matemtica. Habana, Cuba: Universidad de la
Habana.

Vera, F. (1970). Los cientficos griegos, Recopilacin, Estudio
Preliminar, Prembulos y Notas (Vols. I, II). Madrid, Espaa:
Aguilar.

Método de Exhaucion

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Método de Exhaucion

Загружено:

Авторское право:

Доступные форматы

Revista Alteinativa. Nmeio 19.

Palabras clave: mtodo de exhaucin, procesos

[P.1.X]: Dadas dos magnitudes desiguales

Sean (AB>G) dos

As, si se repite (G) un nmero suficiente de veces se obtiene

Por reduccin al absurdo, supngase (~I) es decir que l

Si QC y QR son iguales y perpendiculares entre s, puede

En donde la propiedad (y, o) e N, se garantiza por el

Si contina ilimitadamente el procedimiento para construir

Pero formalmente, se requiere establecer que en cada paso del

Si se sigue atentamente el proceso infinito de construccin de

As se tiene que en el primer paso a d

A partir del segundo paso y con base en el diagrama (figura 4),

|P.1Xj junto con el mtouo ue

Empecemos poi uemostiai la pioposicion [P.2XII].

En efecto. Por una parte sean K y C

Con el apoyo de la figura 6, puede demostrarse que el rea del

Arco (ABC) >

Pero de acuerdo con la figura 8a (P

Supngase ahora dos polgonos P

Вам также может понравиться