Está en la página 1de 13

11

CONFEIH~NCl1".

1.

SURGIMIENTO DE LOS METODOS INFINITESIMALES

t.

lntrocluccin (Sobre las cantidades infinitesimales).

2.

Inicio de la matemtica como ciencia.


2. 1 Nmeros.razones y proporciones e n los pitagricos.

2.2

Magnitudes

inconmensurables

el descubrimiento de

ir racionales.
J. Surgimiento de las primeras ideas sobre infinitesimales.
3. 1 Hipcrates de Quios y
:J.2 Demcrito

la cuadratura de las lnulas.

de Abdera. -

1 . L. as p a r ad o j as el e Zen n .

Que el estudiante

sepa qu es una cantidad infinitesimal.


conozca los inicios de algunas teorias mate ffiticas en la Grecia antigua.
identifique

los

probJemas

de

ndole

infinitesimal.quienes trabajaron en ellos Y


q e mtodos empezaron a

utilizarse~.

Aleksandrov. Kolmogorov y otros .


. . . ''L.a

mA.temtica, c ontenido,mtodos Y

significac!)" .
Boy e r

Ca r l

Edward~;.

C.11

. . . "Histori a d e la mat e mtica''.


...

"Th e historical dev e Jopment of the


Calculus".

Ribnik o v, ~<.
SJrichez.

. .. "flistoria ele .las matemticas" .

Ca>'/os ... ~Anl1.51~ ,..-,ote,...,at1co

i:

1-

(Sobr(~

l. !f\iTRODL!CCION

Como

sabemos. todas

particulas
un
y

La~;

ms

cantidades inftni tosimales).

las

peque~as

cosas

de

la

naturaleza, desde las

hasta los cuerpos de mayor masa, estn en

estado permanente de creacin

aniquilacin, en un movimiento

cambio constante. Toda ciencia natural estudia algn aspecto de

este movimiento.
El

ANALISIS

proporciona
procesos

MATEMATICO

mtodos

de

para

cambio,

es
la

la

rama

de

la

investigacin

movimiento

matematica

cuantitativa de los

dependencia

que

de una magnitud

respectv a otras.
an disis matemtico ut i liza uri mtodo especiaL elaborado en

El
Ed

de

t r a n s e u r so de m s de 2 OOO anos e 1 e u :.:: 1


razonamiento; se trata del ME;TODO

esencia

Jo

mismo

en

su

1w

d i 0 f m dame n t a l

INFINLTJ~SJMA.L

lo que es en

.' s s u

forma moderna : el METODO DEL. "PASO AL

LIMITE" sencillamente mtodo de los limites.


La hi s toria del desarrollo del anlisis nos muestra que el
ms

simple

reduclrse el

importante

<~studio

de

cantidad

tipo

variable a la cual puede

de muchas otros caracteres

ele

cambio, son las

llamadas "cantidades infjnitesimales".


[s

l o an t

po r

l~

r io

q ue

el

e s t. u el i o d e 1 a s e a 11 L i d a el e s v a r i a L!l

t~

es llamado tambin anlisis infinitesimal.

Par a

responder

INFINITE S IMAL?,

la

pensemos

pregunta
en

un

interviene una cantidad variable x.

fenmeno

qu

e ''

~.6~JJ.l~l?

proceso en el cual

Durante ~ el

proceso.la cantidad

x puede a umentar o disminuir. Supongamos que en valor

cantidad

un a

absoluto.

la

en un momento suficientemente avanzaclo del proceso se

- 2-

hace tan pequea como se quiera

mantiene esa cualidad durante el

resto del proceso; x es entonces una cantidad infinitesimal.


Usualmente
como

se

sealando

tiende
hacia

las

confundir la palabra "infinitesimal"


dimensiones

de la cantidad estudiada

relacionndola con la representacin de una cantidad muy pequea o


despreciablemente

pequea.lo

cual

es

incorrecto,

pues

por

definicin "infinitesimal" se refiere ms que a las dimensiones de


la

cantidad,

al carcter de su variacin. Es por ello que es ms

correcto 11 amarlas : CANT 1DAD ES __::_u E

-~!_S~-~~_:'._YE~__I NDEF IN_~ DA~-~~-~-~-_ J

En palabras ms sencillas podemos decir entonces que :


el

ANALISIS

cuestiones

MATEMATICO
matemticas

puede

definirse

como el estudio de las

que emplean el concepto de infinito, tanto

en pequeo como en grande.


Puesto

que

el

moderno

mtodo

de los infinitesimales ( del

lmite) es el fruto de la persistente labor de muchas generaciones


sobre problemas que no podian resolverse por los sencillos mtodos
de la aritmtica, geometra y lgebra eleme;1tales. empezaremos por
examinar
cantidades

cales

eran estos

problemas

cuya solucin conduela a

infinitesimales, quienes trabajaron en estos problemas

y cales eran los mtodos que empezaron a utilizarse.

- 3-

2. INICIOS DE LA MATEMATICA COMO CIENCIA.


Las primeras manifestaciones del genio griego que parecian surgidas por generacin

espontnea.despertaron

en

los primeros historiadores un sentimiento de

asombro que les hizo hablar del ''milagro griego''. Pero en realidad esta creencia
slo

es

fruto

de

nuestra ignorancia de lo ocurrido en el milenio comprendido

entre la poca de papiros y tablillas cuneiformes y las primeras manifestaciones


de la cultura griega.
Consideramos
contactos

ms plausible que durante aquella poca los griegos mantuvieran

culturales

con

los

pueblos de Egipto y la Mesopotamia, adquiriendo

ciertos conocimientos que pudieron ser ms avanzados de lo que revelan los pocos
documentos hasta hoy hallados.
Nuestro
dice
de

actual

que

prcticos

reglas

antiguas civilizaciones orientales, nos

stas adquirieron un cmulo importante de conocimientos geomtricos Y

aritmtica

ciertos

conocimiento de las

elemental

y muy

demostraciones

usaban

en

la

solucin de problemas numricos

particulares, Su matemtica era una coleccin de soluciones a

problemas
generales

que

y de

reglas

de

clculo, no hay casi ninguna referencia a

o mtodos de procedimientos, no hay indicacin de nfasis en

lgicas

de

teorias,

es

decir,

su

matemtica

no

estaba

organizada en un sistema deductivo de investigacin.


La
y

~arte

terica de la matemtica tiene su origen en las escuelas cientificas

filosficas

helnica

adquiri

conocimiento de

de

la

Grecia

caracteres

antigua.
propios

mu

Es

indudable

que

la

civilizacin

distintos de lo que revela nuestro

la cultura egipcia y babilnica; caracteres que se manifiestan

particularmente en la matemtica.
En efecto, ya d8sde Tales de Milet? (624.548 a.c . ) se advierte el uso de
proposiciones

generales,

sintesis

de

la larga induccin de la etapa emprica

- 5-

Es

decir,

hacen del nmero el principio de todas las cosas. pero para ellos

nmero significaba un entero positivo.


En

la

nmero
en

matemtica

terica

griega

una

frnccln no era

consi~erada

como un

que escribimos a/b sino una relacin o razn a:b entre los nmeros a

trminos

modernos;

fracciones

surgen

medir

magnitud

una

repetir

a/b

al

y ~

era un par ordenado ms que un nmero racional.Las

dividir

aplicar

comparar magnitudes, ya que en el proceso de


una unidad

calcular cantas veces es posible

esta operacin) ocurreque la unidad de medida no siempre est contenida

un

nmero entero de veces en la magnitud a medir, por lo que el simple clculo

de

nmero

de

unidades

no

es suficiente. Surge la necesidad de fraccionar la

unidad de medida para poder expresar la magnitud con mayor exactitud.


De

la

comparacin

Considerando

el

de las fracciones o razones surgen las proporciones.

concepto de razn como primitivo, a la igualdad de dos razones

le llamaban proporcin y se deca a:b = c:d con el significado comn: a es igual


parte(s)
enteros

mltiplo

positivos

elementos

de

una

de

como lo es c de d, es decir, a,b,c


de

Euclides

d representan

tales

que

el

algoritmo

aplicado

a los dos

razn

~ra

un

proceso finito. Su definicin de igualdad de

razones, coincide con nuestra definicin de igualdad de fracciones; lo cual a su


vez es equivalente a darles un denominador comn.
Formalmente se define a:b = c:d si existen enteros m,n,p,q tales que a = mp,
b

= mq, c = np, d = nq. Y sobre esta definicin , los pitagricos desarrollaron

una teora elemental de proporcionalidad. (Resuelva el ejercici.Q_l)


El

punto

magnitudes
creen
de

una

de

vista

discreto

de

geomtricas (longitud.rea

los
y

nmeros

era

tambin aplicado a las

volmen). En particular los pitagricos

que dos segmentos cualesquiera son conmensurables, es decir son mltiplos


unidad

comn.

.
. .
, dP.
con esta supos1c
1on, 1~ teor1a
razones y proporciones

-6-

entre enteros se extiende y aplica a longitudes y reas de figuras simples :


por ejemplo, la razn de las longitudes a : b e s 2 : 3, la razn de las reas de
los

rectngulos

ffi

es

: 6, luego podemos hablar de proporciones entre


razones du diferentes tipos

a : b = A : B = 2 : 3

Y se pueden establecer conocidos resultados relativos a las reas


dados
altura

dos rectngulos con bases conmensurables a y b ,e igual


h

entonces

la razn A : B de sus reas es igual a la

b de sus bases. En efecto, que los segmentos a y b sean

razn a

conmensurables

significa que .existe una medida comn aplicable a

a ambos, es decir, existen enteros m,n, e tales que a = me


b

ne,

y por lo tanto

B=bh resulta

a : b = m : n, adems, puesto que A=ah

ah : bh = a : b

a : b.

(Resuelva los ejercicios 2 y 3)


2.2 MAGNITUDES INCONMENSURABLES y EL DESCUBRIMIENTO DE LOS

IRRACIONALES.
La

aparicin

de las fracciones

proporciones fu la primera

etapa de la interaccin entre aritmticay geometria, la siguiente


fue el descubriu1iento de los intervalos inconmensurables.
Dos intervalos se llaman inconmensurables si no existe ningn
intervalo
entero

de

que

pueda

veces

aplicarse
en

cada

uno de ellos un nm e ro

otras palabras, si su cociente no puede

e xpr esarse por una fraccin ordinaria.


Al

principio

se

pensaba qu e todo seg me nto debia tener una

longitud num ri ca .Si al dividir o medir un intervalo se llegaba a

-7-

partes
no

muy pequefias, stas se desechaban sin ms; en la prctica

tena

sentido hablar de una precisin infinita en el proceso

medida. Igualmente

de

que

crea

se

segmentos

dos

eran

conmensurables (medibles mediante una misma unidad de longitud en


nmeros enteros).
Son

los pitagricos quienes dedujeron a partir del teorema de

Pitgoras, la existencia de intervalos inconmensurables


El

descubrimiento

Metaponto

al

se

demostrar

inconmensurable con su

considera que fu hecho por Hipasos de


que

la

diagonal

de

un

cuadrado

es

lado~

~a

a,b,c

si

tringulo rectngulo y es

2
b

'2

son

los

lados

de

un

donde a = b resulta que

c2.. = 2a,2. luego ( c / a)2 = 2.


Lo
reducir
(c

=fi.

desagradable
esta

para

los pitagricos , ocurri al tratar de

razn (la razn duplicada) a una razn entre c Y a

a). Aristteles ofrece una demostracin indirecta que pudo

ser dada por Hipasos:


1.c no puede ser mltiplo de a (porque c>a Y
es c <a

a = 2a,luego 1<c / a <2.)

2. c/a debe entonces ser una fraccin p / q


donde p y q no tienen divisores comunes.
'2.

3 . En ton ces ( c / a) = p2 / q1. = 2 =? p'2 =2 q1 y p e s p a r .


4. Sea p
5.Si

2n =!';l(2nt = 2qz.:::7 q2 = 2n~ q es par.


y q son pares entonces p/q deba ser

r e ducible lo c ual contradice la hipt e sis.


6.

ESdcontradicci n prueba que


entero

ni

pitagricos)

c / a no es ni

fraccin (no es nmero para los

-8

3.SURGIMIENTO DE LAS IDEAS SOBRE INFINITESIMALES.


En

la

construccin

antigua,

muy

pronto

problemas

para

investigar

los

continuidad.El

de
se

las teoras matemticas en la Grecia


diferenci

una

clase

particular

de

la

solucin de los cuales, resultaba necesario

los

pasos al limite, los procesos infinitos, la

descubrimiento

de

la inconmensurabilidad de las

ya propuso la tarea de una explicacin racional~tales

magnitudes

,Jf ffo.WICW~nid.S

f'~Ob~l'tlO..S

~ . (nckJle. IOfl/\tres1rou/

problemas que tienen las siguientes caracteristicas :


a)

estn

relacionados con la prolongacin ilimitada del proceso

de bsqueda de una medida comn;


b) lo infinitamente pequea de la medida comn y
c)

con

que

sta

infinito de vece&
En

medida

determinacin

debe estar contenida un nmero

en las magnitudes que se comparan.

grupo

este

comn

de

de

problemas

longitudes,

estn

los

geomtricos

de

reas y volmenes, la solucin de

los cuales conduela a las dificultades mencionadas.

3.1 HIPOCRATES DE QUIOS Y LA CUADRATURA DE LAS LUNULAS.


Sabemos
siglo

que

no

ha sobrevivido ningn tratado matemtico del

V a.c., pero s{ se conoce un fragmento sobre Hipcrates de

Quios (430 a.c.) que Simplicio dice haber copiado literalmente de


la

"Historia

describe

de la matemtica" de Eudemo (perdida).El fragmento

parte

del

trabajo

referente

la

cuadratura

de

las lnulas.
Segn el fragmento, Hipcrates demostr el siguiente resultado:
11

la

razn

de las reas de dos crculos es igual a la razn de

los cuadrados de sus dimetros(o radios)"


Se
una

presume que Hipcrates dedujo este resultado (aunque no es


demostracin

rigurosa)

inscribiendo

polgonos

regulares

-9-

semejantes

incrementando
como

en

luego

completando

las

reas

de

los

crculos

indefinidamente el nmero de lados de los polgonos:

cada

paso,la

razn

de

las

reas de los dos polgonos

inscritos es igual a la razn del cuadrado de los radios de los dos


crculos,

podra seguirse que en el lmite lo mismo es cierto para

las reas de los crculos.


A partir de este teorema sobre los crculos consigui fcilmente
Hipcrates, la primera cuadratura rigurosa de una figura curvilnea
en la historia de la matemtica.
indica

aplic

como

cuadratura

de

cierta

(Resolver

Hipcrates
lnula

su

el ejercicio 4 el cual

teorema

para

obtener

la

figura limitada por dos arcos de

circunferencia de radios distintos.)


3.2 DEMOCRITO Y EL VOLUMEN DE UNA PIRAMIDE.
Algunos
problemas

cientficos

de

la antigUedad buscan la solucin a los

de ndole infinitesimal en la aplicacin a la matemtica

de las ideas filosficas atomsticas. Un ejemplo de este enfoque lo


constituye la escuela de filosofa de Demcrito de Abdera (460 a.e)
Segn

Demcrito todos los cuerpos estaban constituidos de pequeos

tomos,

las magnitudes primarias. Los cuerpos se diferencian entre

la

por

forma.posicin y mtodo de unin de los tomos que los

componen.
Segun Arqumedes, Demcrito fu el primero en descubrir el hecho
de

que el volmen de una piramide es un

misma

base

demostracin

de un prisma con la

que la pirmide, pero no di una

altura
rigurosa

ter~io

de este

re~ultado.

Una posible indicacin cte

cmo lleg Demcrito al resultado se justifica con la aplicacin

- lo de tcnicas infinitesimales:
quiz
puede

lo

que

demostr

Demcrito es que un prisma triangular

descomponerse en tres pirmides triangulares que tiener1, dos

a dos, igual altura e igual rea de la base, de lo que pudo deducir


el

resultado

ya

el

bases

sobre el volmen de la plrmide (los egipcios sabian

resultado) a partir de la hiptesis de que dos pirmides de


iguales y la misma altura son iguales. Esta ltima hiptesis

slo puede justificarse con mtodos


las

dos

infinitesimales~

Si

suponemos,

pirmides de bases y alturas iguales descompuestas en una

cantidad infinita d secciones transversales infinitamente delgadas


y

en

correspondencia

biunivoca

entonces

la

hiptesis anterior

4. LAS PARADOJAS DE ZENON.


Zenn
de

los

l'.'.J

Elea (450 a.c.) es uno de los adversarios cientificos

de

pitagricos

paradojas

son

continuas

de

de

las

ideas

ntomisticas.

Sus

famosas

el producto de los esfuerzos por obtener magnitudes


un

conjunto

infinito

de particulas infinitamente

pequefias. Aqui entendemos paradojas lgicas en el sentido de que un


argumento

que

parece

perfectamente slido alcanza una conclusin

absurdamente falsa.
Como

sabemos, los pitagricos planteaban una especie de atomismo

numric o
las

(el nmero era la sustancia o principio de todas de todas

cosas),

11naginados

de
como

manera

que

el

espacio

el tiempo pueden ser

constituidos por puntos e instantes.pero tanto el

- 11-

espacio
fcil

como
de

ltimos

el

tiempo tienen tambin otra propiedad, que es ms

intuir
que

que

forman

de
una

definir
pluralidad

caractersticas del punto geomtrico


Se

:la

continuidad.Los elementos

se

supona

que

tenan las

del nmero,

ha sugerido que fue contra este punto de vista contra el que

Zenn

dirigi

sus paradojas, de las que las ms conocidas son las

que se refieren a la imposibilidad del movimiento:


LA DICOTOMIA afirma la imposibilidad de realizar movimiento pues un corredor que
debe

recorrer

esa
de

una

distancia dada, deber recorrer en primer lugar la mitad de

distancia.pero

an antes de recorrer sta deber recorrer el primer cuarto

la

distancia

travs
hasta

de

una

el

inicial

an antes el primer octavo,

as indefinidamente a

cantidad infinita de subdivisiones el camino puede ser dividido

infinito y por ello es necesario superar consecutivamente un conjunto

infinito

de

"l.p-=1).
1

Asi

tramos

del camino (matemticamente, esto conduce a la negacin de

el corredor que quiere iniciar su carrera debe realizar un nmero

Y>; 1

infinito
agotar

de

etapas

ninguna primera en un tiempo finito.pero es imposible

sin

una coleccin infinita.

por lo tanto el mismo inicio del movimiento es

imposible.
la segunda paradoja es parecida a la anterior, salvo que

AQUILES Y LA TORTUGA
ahora

la subdivisin es en sentido progresivo en vez de regresivo; pues Aquiles

compitiendo

en

una

carrrera
de

probar

contra

una

que

Aquiles

tortuga

a la que le da una ventaja

inicial,

se

trata

alcanzar

ni

por

alcanzar

sucesivamente aquellos lugares donde un momento antes se encontraba la

supuesto

adelantar

nunca

por muy veloz que corra, no podr


a

la tortuga ya que l tiene que

tortuga, esto es, agotar una sucesin infinita de segmentos del camino
(Resolver el ejercicio 90 ) .

EJERCICIOS PROPUESTOS DE LA CONFERENCIA# !.


1

Establezca las siguientes implicaciones:


a) a:b

c:d

b) a:c

b:c_:7 a = b

e) a:b

c:d

d) a:b

e : d '::::7 (a - b):b

2.

Sean

sus

a:c = b:d

= be

~ad

(c+d):d

(a+b):b

(c -d):d ,si a>b.

R y S dos rectngulos semejantes (es decir la razn de

bases

es

proporcional

la razn de sus alturas ).Si las

bases y las alturas de R y S son conmensurables, demuestre que la


razn de sus reas es proporcional a la razn de los cuadrados de
sus

respectivas

bases.

Tomando

mitades

obtenemos

resultados

anlogos para tringulos semejantes porqu ?.


3.

Un

polgono

iguales.

es

Defina

regular

si

tiene

lados iguales y ngulos

el concepto de polgonoSsemejantes, y demuestre

que la razn de las reas de dos poligonos regulares semejantes


(con

lados

conmensurables)

es

proporcional

a la razn de los

cuadrados de lados respectivos.


4.

Considere

semicirculo

un

rectngulo

issceles

determinado

por

segmentos
hecho
los
para

la

ABC.
hipotenusa

circunscrito

Sea

ADBE

del

un

un

segmento

tringulo
circular

tringulo.semejante

a los

circulares sobr e l os catetos de l tringulo. Utili ce el

de que segmentos circulares semejantes estn en reas como


cuadrados de sus bases (porqu ?)
mostrar

circulares

es

que

el

teorem ~

de Pitgoras,

el rea de la lnula ADBC entre los segmentos

igual

al

rea

del triangulo ABC

por lo tanto

igual a la mitad del rea del cuadrado sobre AB.


5. Complete la demostracin de la irracionalidad de{z dada por
Ar ic,tteles.

--

6.

Explique

--~----------

detalladamente

proceso

de

nmero

irracional

cmo

pudieron. haber

surgido

del

medicin de magnitudes, las fraccione y el porqu un


representa

la

longitud

de

un

segmento

inconmensurable con la unidad.


7.

formalmente

Muestre

que

el

descubrimiento

de

la

inconmensurabilidad de la diagonal y el lado de un cuadrado es un


problema de indole infinitesimal.
8. Demuestre que :3Jz.J
9.

Escriba

[2

{3

no son racionales.

una serie que matemticamente conduzca a la negacin

de lo afirmado en la paradoja de Aquiles y la tortuga.


10.

Suponiendo

que

no se dispone de una definicin rigurosa de

los conceptos de
I

11 :it"ea

Qe

f;

N, C<

O.N

de
c1e
4-

ll-Y'l2ri

e.rea~

Gua.les

ele rnc.S TY1'.\ r

c;.va le S.

También podría gustarte