Proyecto de Clculo II - Verano 2015

SOBRE EL INFINITO Y ALGO MS

Instrucciones

 El proyecto debe ser realizado en un grupo de dos o tres estudiantes.

El grupo completo es responsable del contenido y la presentacin del
proyecto, de igual manera asume toda la responsabilidad del cumplimiento del cdigo de honor de la USFQ que ser estrictamente aplicado.
 Debe utilizarse un editor de texto cientco como Scientic Notebook,
LYX o LATEX.
 El proyecto debe ser un trabajo lo ms minucioso posible donde deben
estar todos los procedimientos explicados como si fuera un texto, de
forma tal que una persona que lo lea pueda entender todo el razonamiento.
 Al nal deben haber citas bibliogrcas de todas las fuentes utilizadas.
 El encabezamiento debe incluir el nombre de todos los integrantes del
grupo, la clase, el semestre, el profesor, la fecha de culminacin del
proyecto y el editor de texto cientco utilizado.
 La evaluacin tomar en cuenta la presentacin y la redaccin. El
proyecto trata del innito y de sus paradojas y esperamos que explican
al mximo como perciben esas paradojas.
 El proyecto ser entregado el da lunes 2 de mayo durante la clase.
El documento debe ser entregado impreso y enlazado y un archivo PDF
ser subido al D2L en las correspondientes secciones habilitadas en la
carpeta DEBERES en ese mismo da.
 Es decisin del profesor llamar a los integrantes del grupo a una defensa
oral en caso de ser necesario

SOBRE EL INFINITO Y ALGO MS

La idea de innito data quizs desde el inicio mismo de la civilizacin.
Basta con mirar al cielo para imaginarnos a los primeros hombres preguntndose si lo que miran en una noche despejada tiene n. Quiz esta pregunta
nos hemos hecho todos cuando fuimos nios. Otra pregunta muy frecuente
entre todas las culturas ha sido Cundo empez todo esto ?Es todo esto
eterno ? Me atrevo a decir que la idea de innito aparece vinculada al espacio
y al tiempo desde un inicio. Entre los griegos se discuta si un segmento de
recta puede ser dividido indenidamente o existe alguna "partcula" que ya
no puede ser dividida. En este caso la idea de innito aparece vinculada a
un proceso (el de divisibilidad de un segmento) y en algo "nito" como un
segmento de recta, Mmmm ! Intrigante ! no ?. Sin mayores introducciones
preero citar a David Hilbert (1862-1943), l deca : "El innito ! Ninguna
pregunta ha movido tan profundamente al espritu humano como esta. La
idea del innito ha estimulado el intelecto humano como ninguna otra y sin
embargo ningn otro concepto permanece con tanta necesidad de ser claricado ....".
Si se les preguntara a los estudiantes de Clculo 2 si han trabajado
con
la idea del innito Cul sera la respuesta ? lmites ? asmpotas ? 2 =
1, 41421356237309504880168872420969807856967187537694807317667973799... ?
1
n
Qu signica lim 1 +
? Cunto vale ese lmite ? Cmo enfrentar el
n
n

Z
Z
1
1
clculo de
dx ? y el de
dx ? Muchos estudiantes tambin han
2
x
x
1
v1 s
u
r
u
q

t
visto la bella ecuacin = 1 + 1 + 1 + 1 + 1 + Cmo entender esta ecuacin ? Se puede calcular el valor de exactamente ? Todo
parece indicar que todos hemos sido expuestos de una u otra manera a la
idea de innito. Ahora quiero explorar con ustedes algo ms, por ejemplo,
cmo enfrentar sumas como la siguiente 1 + 21 + 13 + 14 + 15 + + n1 + ?
Ser que su suma es un nmero real ? y si lo es, Cul es este ? Supongamos que esta suma es un nmero real que lo voy a llamar h, es decir
h = 1 + 12 + 13 + 14 + 15 + + n1 + . Observemos el siguiente clculo y razonamiento detrs de la siguiente frase matemtica : 1 + 12 + 13 + 14 + 51 + =
(1+ 12 )+( 31 + 14 )+( 51 + 16 )+ > ( 12 + 21 )+( 14 + 14 )+( 16 + 16 )+ = 1+ 12 + 13 +
Mmmm ! Qu nmero real h cumple con h > h ? Poner atencin a que la
2

desigualdad es estricta. Quiz lo que supusimos no es verdad, entonces no

existe tal nmero real h, es decir 1 + 21 + 13 + 41 + 51 + + n1 + no es un
nmero real. Podemos entonces concluir que 1 + 12 + 31 + 41 + 15 + + n1 +
es siempre mayor que cualquier nmero real positivo que pensemos ? Existe
Z
1
dx para obtener la misma conclusin
alguna forma de usar la integral
x
1

respecto a esta suma innita ? Puedes ver la relacin ?

En n, supongo que pudieron seguir el razonamiento y la idea detrs.
Supongo tambin que ustedes van a poner mucha atencin en lo que sigue
del proyecto pues la idea de innito estar presente. Estoy seguro que lo van
a disfrutar y van a sentir ese estimulo intelectual del que hablaba Hilbert.
I. Primera historia : Aquiles y la tortuga
Exista una interesante controversia entre Herclito y Parmnides (siglo V
aC). El primero argumentaba que el mundo est en permanente cambio. De
all viene la frase : "nadie se baa dos veces en el mismo ro". Parmnides,
por otro lado, insista que en el mundo no hay cambio. l crea en un todo
permanente. En particular, Parmnides y sus discpulos mantenan que el
movimiento no existe y que slo es una ccin en nuestra mente.
Zenon de Elea (siglo V aC), el discpulo ms conocido de Parmnides, utiliz
varios argumentos para demostrar que el movimiento no existe. Todos estos
argumentos suponen que el movimiento s existe, y luego llegan a un absurdo.
El siguiente argumento es conocido como la Paradoja de Aquiles y la tortuga.
Zenon cuenta la siguiente historia : Aquiles, el corredor ms veloz de su
poca, se enfrenta con la tortuga en una carrera. Aquiles muy gentilmente le
da a la tortuga algo de ventaja. Pero ha cometido un error al hacerlo, pues
ahora Aquiles jams podr alcanzarla. Para que Aquiles alcance a la tortuga,
primero debe llegar al sitio de donde la tortuga sali. Cuando lo logre, la
tortuga ya no estar all, sino ms adelante. Cuando Aquiles llegue a donde
estaba la tortuga, sta ya no estar all, sino ms adelante. As Aquiles perseguir a la tortuga para siempre sin alcanzarla nunca.
T y tu grupo estn encargados de convencer a Aquiles (que est perplejo)
de que Zenon est equivocado. Para el, debes resolver los siguientes ejercicios :
Supongamos que la velocidad de Aquiles es de a m.s1 y que la velocidad
de la tortuga es b m.s1 . Sea t0 = 0 el tiempo de partida de la carrera.
3

Sea t1 segundos el tiempo cuando Aquiles alcanza el punto de partida de la

tortuga ; sea t2 segundos el tiempo en que Aquiles alcanza el punto en que se
encontraba la tortuga en t1 , y as sucesivamente. En lo que sigue denimos
tj = tj+1 tj .

j
a) Explicar el signicado de t0 y t1 . Demostrar que tj = ab t0
b) Demostrar la identidad

tn = t0 + t1 + t2 + t3 + ... + tn1
c) Encontrar una frmula para tn en trminos de a, b y t0
d) Recordar o investigar qu es una progresin geomtrica y cul es la
suma de una progresin geomtrica. Supongamos que Aquiles es 10 veces
ms rpido que la tortuga. Utilizar este hecho para demostrar que tn T
cuando n y que Aquiles si alcanza a la tortuga. Demuestra en general
que Aquiles si alcanza a la tortuga siempre y cuando a > b. Por qu crees
que los griegos se hicieron tanto lo con la paradoja de Aquiles y la tortuga ?
II. Segunda historia : Una demostracin sorprendente
1. En el siglo 16, el avance en algebra era notorio en todo el mundo y dominaban ya las reglas de agrupacin, reescriban expresiones algebraicas, hacan
cambios de variables para resolver ecuaciones y disponan de un aparataje
bastante sosticado para resolver problemas. Sin embargo se quedaban entrampados en discusiones de cmo sumar expresiones como la siguiente :

S = a a + a a + a...
Algunos matemticos de la poca agrupaban de una forma y otros de
otra y obtenan resultados contradictorios. Por ejemplo, el gran matemtico
Leibniz, que descubri el clculo innitesimal al mismo tiempo que Newton
(Newton tena la sospecha que Leibniz le haba robado las ideas), calcul que
a
la suma era .
2
1. Encuentra una forma de agrupar los trminos de S para que la suma
sea 0. Encuentre dos formas de agrupar los trminos de S para que S = a y
S = a/2.
2. De la ltima forma de agrupar (la de Leibniz), podemos deducir que
la suma
1
S1 = 1 1 + 1 1 + 1 1.... =
2
4

De la misma manera, calculen la suma S2 = 1 2 + 3 4 + 5...

1
Usando el resultado de S1 , deduzcan que S2 = .
4
3. Consideramos la suma innita : S = 1+2+3+4+5.... Calculen S S2 .

1
4. Usando el resultado de 3, podemos deducir que la suma S = , es
12
decir que la suma de todos los enteros naturales es negativa ! ! Que piensan
de esa demostracin ?
En realidad, esa demostracin fue hecha por primera vez por el famoso
matemtico Leonhard Euler en 1735. Al principio del siglo 19, el matemtico
noruego Niels Henrik Abel deca : "Las series divergentes son una invencin
del diablo, y es una verguenza de usarlas sin demostracin." Haba entendido
que podemos hacer decir lo que queremos a esas series divergentes en funcin
de como las usamos.
Volviendo a esta breve historia sobre el innito, muchos matemticos famosos cayeron en la trampa del innito. Esto se debe a que la intuicin
humana no es buena consejera en materia de innito. Los dos ltimos ejercicios lo demuestran. No fue sino hasta nales del XIX y principios del XX
que la matemtica alcanz el rigor necesario para invalidar la mayor parte
de paradojas y contradicciones a su interior. Cuando la intuicin falla, toca
sentarse a calcular y que sea el rigor matemtico el que decida por nosotros. Imagnense como estuviramos si es que esto lo hubieran alcanzado la
sicologa, la poltica, la economa, etc. Cantor, el fundador de la teora de
conjuntos, encontr que no slo hay un innito, sino que existen mltiples
innitos. Cabe anotar que Cantor no muri en sus cabales.
III. Tercera historia : La curva copo de nieve
Esta curva es una curva fractal que fue inventada por el matemtico sueco
Helge von Koch que le dio su nombre. Es denida como el lmite de una sucesin de polgonos F1 , F2 , F3 ... El primer polgono es un tringulo equiltero
con una unidad de longitud por lado. Dividiendo a este tringulo en partes
iguales, y construyendo un nuevo tringulo equiltero sobre el segmento medio de cada lado y borrando las lneas comunes al primer tringulo y a los
nuevos, resulta el polgono estrellado F2 . Siguiendo este procedimiento se
5

puede construir la secuencia de polgonos F1 , F2 , F3 ... etc. (Ver Figuras).

a. Cul es el permetro de cada polgono ?

b. Cul es el lmite del permetro de Fn cuando n ?
c. Concluya que la gracia del copo de nieve es que es un rea nita que tiene
un permetro innito.