Eudoxio Y La Respuesta A La Primera Crisis

CONFERENCIA
EUDOXIO
# 2
Y LA RESPUESTA A LA PRIMERA CRISIS EN LOS FUNDAMENTOS DE
LA MATEMATICA
RESUMEN
1. Introduccin
2.Magnitudes inconmensurables
el lgebra geomtrica.
3. Eudoxio y las proporciones geomtricas.

4. Area y el mtodo de exhauscin.
OBJETIVOS GENERALES
Que el estudiante
sepa en qu consiste el lgebra geomtrica.

conozca
__ primera
la
respuesta
crisis
en
los
de
Eudoxio
fundamentos
de la
matemtica :
la introduccion de las proporciones
geomtricas,
el
semigrupo eudoxiano
de las reas,
el principio de Eudoxio
su aplicacin
al mtodo de exhauscin.
BIBLIOGRAFIA
C.,Boyer." Historia de la matemtica"
c.
1-1.
Edwards,Jr. "Ihe historical development

of the calculus "
K. Ribnikov. ''Historia de las matemticas".
la
- 1-
1.
1 NTRODUCC ION
La
geornetria pitagrica del siglo V a.c. estaba basada en

discret~
el concepto de nmero
en la
~eo~a
propor~ione~
de
que hemos discutido en la conferencia anterior.

Con
el
siglo
surgimiento
de
aparecieron
V)
terico-numrico
estaba
los
geomtricas.
Se
partes
de
la
utilizacin
de
irracionalidad ( a fines del
serias dificultades tanto en el plano
como en el geomtrico. Corno hemos visto. la
contradiccin
nmeros
la
sustentada por la concepcin griega de
el
carcter
impone
continuo
entonces
matemtica
formas
de
las
magnitudes
reexaminar todas aquellas
donde
elementales
era
de
imprescindible
la
los
de
conceptos
continuidad, paso al limite, etc ..

De
manera
esfuerzos
que
la
etapa
siguiente se distingue por los
por crear para las necesidade(; e.e .la investigacin
cientfica
una teoria matemtica general adecuada tanto para
los nmeros racionales como para las magnitudes irracionales.

En
cuanto se descubrieron los irracionales result que la
coleccin
de
ejemplo)
las magnitudes
eran
ms
racionales,
era
general
forma
en
geomtrica~_
(los segmentos, por
completas que el conjunto de los nmeros
entonces opordtuno construir un clculo ms

geomtrica.
Este
clculo
fu
creado Y
recibi el nombre de lgebra geomtrica.

La
para
por
teora
la
lo
de
proporciones con enteros no era suficiente
comparacin
tanto
utilizaban
el
no
de razones de magnitudes geomtricas Y
e ran
concepto
vlidas aqu e llas d e mo s tracion e s que

de
proporciones.1 Esta crisis en la
fundamentacin de la geometra fu resuelta por un estudiante
-2. -
de
la
Academia
de
Platn
en
Atenas,
quien
pronto
se
convertiria en el ms grande matemtico del siglo IV a.c.

Eudoxio
de
Cnido,
pruebas
conocidas
quien
de
va
los
introducir el rigor en las
resultados
de
Hipcrates
y de
Demcrito.
2. LAS MAGNITUDES INCONMENSURABLES Y EL ALGEBRA GEOMETRICA.

La primera respuesta griega a las cuestiones fundamentales
es
presentada en el lgebra geomtric de los libros JI y VI
de los Elementos de Euclides.

Los
elementos primarios del lgebra geomtrica fueron los
segmentos
de
recta.
Con
ellos
fueron definidas todas las
operaciones de clculo
--la suma se interpretaba como adicin de segmentos,
-- la
diferencia
como
la
eliminacin
de
una
parte
del
segmento igual segmento sustraendo,

- - el
product9
de
dos
segmentos
de
longitudes
a y b se
consideraba un rectngulo de lados a y b

-- el
producto
producto
de
de tres segmentos es un paraleleppedo, y el

un
nmero
mayor
de
factores
no
poda
considerarse,
- -la
que
divisin
la
dimensin
resultaba posible slo bajo la condicin de

del
dividendo
fuera
111ayor
que
la del
divisor. Ella se interpretaba como equivalente al problema de

anexin de reas
anexar al segmento c un rectngulo equivalent e
dado ab, e s decir, dado un segmento d e
longitud c, construir un rectngulo de lado c y
rea igual a ab.
al:~~:
~~
b
-3 -
La
resolucin
consiste
en
rectngulos
ab
rectngulo,
la
diagonal
rectngulo
be
la
construccin
del
prolongada
cual
hasta
es
la
de
la
un nuevo
diagonal
interseccin
se dice tambin que el rea
al segmento
El
en
adjuncin uno a otro de los
del lado b. Entoces ab = ex
prolongacin
resuelto
be
la
del
con
la
y el problema est
ab
ha sido aplicada
e ).
mtodo
de
anexin
permiti
resolver
problemas que
conducan a ecuaciones lineales.

En el lgebra geomtrica se consideraban las proposiciones
geomdtricas
Por
que
ejemplo,
interpretaban las identidades algebraicas .
la
identidad
2.
b )
'2.
'2.
= a
2 ab
b, se
de
lado a
b, es
interpretaba as
r- o. - f.- b __
T
?..
el
ob
ab
doble
As mismo
l.
del
ab donde a,b son longitudes dadasJse resuelve

co11struyendo
rea
ejercicio
igual
las reas de los

y de lado b, ms el
del rea del rectngulo de lados a y b
geomtri ca mente
es
cuadrado
igual a la suma de
cuadrados de lado a
rea
un
un
rectngulo
cuadrado
de
d e lado x , cuya
lados a
b (Resolver
1 ),
El mtodo de anexin de reas fu extendido al caso en que

la resolucin del problema conduce a una ecuacin cuadrtica.
ejemplo,
Por
dado
un
segmento
AB
de
longitud
a,
la
construccin en la proposicin I.44 (proposici n 44 del libro

de
los
Elementos
d e un r ect ngulo con base AB
rea
'2-
igual a un cuadrado dado de lado b, nos d una solucin a
ax.::P
Esto corresponde a la divisin geomtrica y decimos que

,
2.
el area dada ~ ha sido aplicada al segmento AB.
A
rl6
-4-
2. EUDOXIO Y LAS PROPORCIONES GEOMETRICAS.

Sean
Y b
magnitudes
longitudes.reas
magnitudes
volmenes),
geomtricas,
necesariamente
geomtricas
ambas
razones
proporcionales a
los
enteros
positivos
relaciones siguientes:
un segundo par de
mismo
b = e : d
tipo
pero
no
si, cualesquiera sean
n se cumple .ma y
na
(3) na
slo una de las
mb
ne
md.
< mb y ne < md.
dos magnitudes inconmensurables a y b , sta definicin
efectivamente
conjuntos
cuales
del
c,d
na> mb y ne> md.
(1)
(2)
dos
sean
mismo tipo (ambas
del tipo de las primeras. Eudoxio define entonces
las
Dadas
del
se
divide
el
campo de los nmeros racionales m/ n en
disjuntos:
cumple
(1)
el
sea
conjunto
<
m:n
de aquellos para los
a:b , y el conjunto U de
aquellos para los cuales se cumple (3) m:n > a:b . Una separacin
de
los
nmeros
tal
que
todo
ahora
llamada
Richard
racionales en dos subconjuntos disjuntos L y U
elemento
de L es menor que todo elemento de
es
"cortadura
Dedekind
de Dedekind", a partir de 1862 en que

------------------ -
defini un nmero real precisamente como
cortadura e n los nmeros racionales. (ver e j e r c icio 3).

La teora general de proporciones de Eudoxio se presenta en el
libro
intrpduce
de
la
arquimediana
los Elementos. En la d e finicin #4 de este libro se

propiedad
que
hoy
es
conocida
como
propiedad
de los nmeros reales, pero que fu enunciada antes
por Eudoxio. Esta propiedad es fundamental en todo el anlisis en

su forma clsica:
Dadas dos magnitudes geomtricas a y b que soncomparables

entonces existe un nmero natural n tal que na > b.
- 5-
3. AREAS Y EL METODO DE EXHAUSCION.

Quedaba
otro
problema
importante
sin
resolver
el de la
comparacin de figuras rectilneas y curvilneas.

Para
Eudoxio
precisar
el lenguaje y antes de exponer el principio de
para
clculo
el
de
reas
volmenes, damos algunas
definiciones:
se
dice
por
si
que dos figuras poligonales "tienen la misma rea"
la
tcnica
de
aplicacin
de
reas
ellas
pueden
transformarse en el mismo rectngulo.

Esta
todas
de
es
las
una
relacin de equivalencia que separa la clase de
figuras poligonales planas en un conjunto A de clases
equivalencia.Dada
una figura poligonal P d e notamos a(P), A, la
clase de e quivalencia que contiene a P y la llamanos rea de P.

El conjunto A de las reas tiene una estructura llamada
semigrupo eudoxiano:
sean
a,b,c A
a) asociatividad
a +(b+c) = (a+b)+c.
b)conmutatividad
a+b = b+a.
e) a >b entonces a+c >b+c para todo e

d) exist e
tal que na >b.
n~N
Se asume que las

e) monotonicidad
r e a~
tienen las propiedades siguient e s:
si la figura S est contenida en la figura T,

a(S)~a(T)
si
f)adit i vidad
y
Pasemos
uso
del
es
uni n
d e dos f i g uras disjuntas S Y
T, entonces a(R) = a(S) +a(T).

explicar
m todo
cmo Eudoxio l ogra hacer ms riguroso el
e xhauscin
geomtri c as.Recordemos
suge rido
ya,
r e ctiln e as.lo
la
que
los
para
el
hall az go d e magnitudes
matemti c os
anteriores
figuras
comparar
para
que
ms convenient e e ra i n s cribir
haban
curvilneas
y
circunscribir
-6-
figuras rectilneas (poligonales) a la figura curvilnea y proceder a

multipli c ar el nmero de lados o caras indefin i damente.con lo
que
las figuras rectilneas se van aproximando cada vez ms a la
curvilnea,pero
lo
razonamiento,ya
que
que
la
no
saban
era
cmo
cerrar
el
idea de lmite les era desconocida y lo
seguira siendo por ms de dos milenios.

As
por
planas,
de
la
puede
ejemplo,
la
para
el
caso
de la comparacin de reas
clave del problema est en probar que el rea
diferencia
hacerse
entre la figura S y los polgonos inscritos

pequea
tan
suficientemente
a(S-~)
grande.
Para
como
ello
se
quiera
escogiendo
se aplica repetidamente una
consecuencia de la propiedad arquimediana:

"" Pr inciPio de Eudoxio
Sean M
dos magnitudes dadas y M0 ,M 1
y~
que M1 <trt
M2 <lM,,
,M~,
... una sucesin tal
M3 <tMz' etc. Enton c es conclumos que
M,.,<E:
para algn N.
Para ver esto , tomemos un natural N tal que
como 2E < (N
+t)E: se sigue que NE-~ \M 0
(N+I)~
luego
> M1 Similarmente, (N-1 )~=NE:-fi:
de esta forma, a cada paso sustrayendo
Procediendo
> M0
>~;
del miembro
y parttiendo a la mitad el miembro derecho, en N pasos
izquierdo
arribamos a la desigualdad buscada

Apliquemos
el
principio
M~ < t
(ejercicio 7).
de Eudoxio en el procedimiento para
realizar la cuadratura del crculo por exhauscin, (la clave est

en
probar que dado un crculo C
y ~ > O,existe
P inscrito en e tal que a(C) - a(P) <
un polgono regular
~.
Demostracin:
Comenzamos con un cuadrado P0
crculo
C,
y escribimos
M0 = a(C) - a(P0
).
EFGH inscrito en el
Doblando el nmero de
)M
- 7-
lados obtenemos un octgono regular inscrito en
e:
Continuando de esta forma se tiene

(P., es unpol:c..o-no
una sucesin Po ,P 1 .P.......
c.
'
2nt-2 lado~.Denotemos
M~
de
a(C)-a(~)
M - M >!M l*l
y probemos que
r'l
HI
2.. n
(con ello se curnplirian las hiptesis

principio
del
concluimos que M
<e para n suficientemente
"
grande.
La
Eudoxio
de
de (*) es la misma esencialmente para cualquier n,
prueba
luego consideremos el caso n=O fcil de ilustrar en la figura.
M0
(\
r:~=
c ....
Me
M1
=-
o. ( P, ) -
> 7-.
a(
Q (
4 (,\ ( ti E F \:. ) -= 2 C\( E F != 'E ')

4 a(EKF) : :.l. [ o(C) - a. (Po)]::::~ M;:,
Po ) :.:
m) :: l
z..
e.se\ .seGf'f\enTo c12cv\All. dc..clopo,.- EF).
En el caso general se obtiene:

Mn - Mt'\ti :::
a(f~t' )-a(Pn))
[u(C) -o.(*'tl )j-;:
2.-
k Hn J
razonando de manera anloga.

El
resultado
rigurosa
del
que hemos probado es la base de la demostracin
teorema
de
Hipcrates
sobre
las
reas
de los
circulas, el cual aparece en los Elementos (XII.2).

Los griegos hicieron un uso esencial del principio de Eudoxio,
el
cual
magnitud
puede
establecerse
sustraemos
una
en
parte
palabras
no
si
de cualquier
menor que su mitad y si del
resto sustraernos de nuevo una cantidad no menor; que su mitad

continuamos
por
si
repitiendo este proceso de sustra c cin, terminaremos
ob t ener como resto una magnitud menor que cualquier magnitud
del mismo tipo dada previamente.

Asi, demostraron
curvilineas.
primera
teoremas
Arquimedes
demostracin
en
sobre reas y volmenes de figuras

particular
atribuye
Eudoxio la
satisfactoria de que el volmen de un cono
es un tercio del cilindro con la misma base y altura.
- 8-
EJERCICIOS PROPUESTOS DE LA CONFERENCIA # 2
* 1.Si
x es la semicuerda de un semicirculo de di6metro
aplique el teorema de Pitgoras para mostrar que

~o,
2.
Encuentre
la
construccin
geomtrica
3.
= ab.
conveniente
determinar una solucin a la ecuacin x~+ ax - b =
tJ
a+ b,
para
o.
Investigue en qu consiste la definicin de nmero real segn
las "cortaduras" de Dedekind .

:
4 . Demuestre
que s 1 a: b
c:d
entonces ad =be , en la teoria de
proporciones de Eudoxio.
~
5. Demuestre que a:b = c:d entonces a:c = b:d.

6. Considere dos rectngulos con bases a y b , y reas A y B. que
tienes igual altura. Aplique la definicin de proporcionalidad de

Eudoxio para demostrar que
~~tf
')J.,i//
A:B = a:b. ~
7.Deduzca del principio de Eudoxio que, si M,E y

positivos
dados entonces
Es necesario que r
8.
que
su
Demuestre
si
~~
r~ ~son
nmeros
M r <t para n suficientemente grande.
?.
udtilizando
la tcnica desarrollada por Eudoxio
Pes una pirmide triangular o un cono circular entonces
volmen es V(P) = 1/ 3 Ah donde A es el area de la base y h la
altura. Indicacin:
en dos prismas
en
el caso de la
pir~mide
dos pirmides semejantes.
haga una diseccin

Eudoxio Y La Respuesta A La Primera Crisis

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Eudoxio Y La Respuesta A La Primera Crisis

Diunggah oleh

Hak Cipta:

Format Tersedia

CONFERENCIA

Y LA RESPUESTA A LA PRIMERA CRISIS EN LOS FUNDAMENTOS DE

3. Eudoxio y las proporciones geomtricas.

sepa en qu consiste el lgebra geomtrica.

Edwards,Jr. "Ihe historical development

K. Ribnikov. ''Historia de las matemticas".

geornetria pitagrica del siglo V a.c. estaba basada en

que hemos discutido en la conferencia anterior.

irracionalidad ( a fines del

serias dificultades tanto en el plano

como en el geomtrico. Corno hemos visto. la

sustentada por la concepcin griega de

reexaminar todas aquellas

continuidad, paso al limite, etc ..

siguiente se distingue por los

por crear para las necesidade(; e.e .la investigacin

una teoria matemtica general adecuada tanto para

los nmeros racionales como para las magnitudes irracionales.

cuanto se descubrieron los irracionales result que la

(los segmentos, por

completas que el conjunto de los nmeros

entonces opordtuno construir un clculo ms

recibi el nombre de lgebra geomtrica.

proporciones con enteros no era suficiente

de razones de magnitudes geomtricas Y

vlidas aqu e llas d e mo s tracion e s que

proporciones.1 Esta crisis en la

fundamentacin de la geometra fu resuelta por un estudiante

convertiria en el ms grande matemtico del siglo IV a.c.

introducir el rigor en las

2. LAS MAGNITUDES INCONMENSURABLES Y EL ALGEBRA GEOMETRICA.

presentada en el lgebra geomtric de los libros JI y VI

de los Elementos de Euclides.

elementos primarios del lgebra geomtrica fueron los

fueron definidas todas las

segmento igual segmento sustraendo,

consideraba un rectngulo de lados a y b

de tres segmentos es un paraleleppedo, y el

resultaba posible slo bajo la condicin de

divisor. Ella se interpretaba como equivalente al problema de

rea igual a ab.

se dice tambin que el rea

adjuncin uno a otro de los

del lado b. Entoces ab = ex

conducan a ecuaciones lineales.

interpretaban las identidades algebraicas .

ab donde a,b son longitudes dadasJse resuelve

las reas de los

del rea del rectngulo de lados a y b

El mtodo de anexin de reas fu extendido al caso en que

construccin en la proposicin I.44 (proposici n 44 del libro

d e un r ect ngulo con base AB

igual a un cuadrado dado de lado b, nos d una solucin a

Esto corresponde a la divisin geomtrica y decimos que

2. EUDOXIO Y LAS PROPORCIONES GEOMETRICAS.

si, cualesquiera sean

slo una de las

< mb y ne < md.

dos magnitudes inconmensurables a y b , sta definicin

na> mb y ne> md.

mismo tipo (ambas

del tipo de las primeras. Eudoxio define entonces

campo de los nmeros racionales m/ n en