Sobre el innito...

y sus alrededores
Problemario
1er Maratn de Clculo
Prof. Javier Fernndez Garca

Septiembre 2005

Nota introductoria: ste y el siguiente Problemario

(Nmeros Reales), tienen una unidad, en realidad los dos son
sobre el innito y los dos son sobre los reales, variando tan
slo el nfasis en cada caso. La razn de ello es que resulta
difcil separar una y otra problemtica, no en balde el mayor
avance en la precisin de ambos conceptos ocurri de forma
prcticamente simultnea en la historia de las Matemticas.
La bibliografa utilizada en los tres Maratones correspondientes,
aparece al nal del siguiente Problemario.
3. En este problema, desarrollaremos un camino para
1. (i) Puede resultar que la suma de una innidad
obtener una aproximacin al valor de la longitud de la cir-
de nmeros estrictamente positivos nos resulte una cantidad
cunferencia (y con ello del valor de ;verdad?). Veamos:
nita?Puede ocurrir que la suma innita de cantidades tan
(i) Supongan que han calculado el valor Pn del permetro
pequeas como queramos resulte una cantidad innita?Qu
de un polgono regular de n lados inscrito en la circunferencia
sucede en los siguientes ejemplos? Den argumentos geomtri-
unitaria. Llamen Sn a la longitud de cada uno de esos lados
cos:
(es decir, Pn = nSn ): Pues bien: demuestren primero que si
1 1 1 1
(a) 2 + 4 + 8 + 16 + ::: construyen con base en el polgono anterior, el que tiene 2n
1 1 1 1 lados, la longitud
(b) 3 + 9 + 27 + 81 + :: q de cada
p
uno de estos nuevos lados estara
(c) 1 + 12 + 13 + 14 + ::: dada por S2n = 2 4 Sn2
Hint a (c): Dibujen la grca de la funcin f (x) = x1 para
x 1, construyan rectngulos inscritos con base unitaria, iden- D
ticando los trminos de la suma innita con las reas de tales C
A B
rectngulos. Comparen nalmente estas reas con las de otros
rectngulos inscritos de base 2, de base 4, de base 8, etc. colo-
E
cados a partir del 2. Qu observan?
(ii) Qu sucede con los nmeros de la forma 1 n1 con-
Hint: Obtengan en la gura el valor de DB en trminos de
forme hacemos crecer la n?Qu esperaran que ocurriera con
DE. Para ello expresen el valor del rea del tringulo 4ABD
el producto de todos esos nmeros desde n = 2?Qu resulta?
de dos maneras alternativas: tomando como base el lado AB
2. A qu es igual la suma 1 12 + 31 14 + :::?; Veamos: (su altura sera DC); y tomando como base el lado AD (su
altura sera -justiquen porqu- DB):
Igualen ambos valores, y trabajen algebraicamente un po-
quitn.
(ii) Obtengan el valor de S4 "a pie" y a partir de ello, de-
duzcan, utilizando (i), los valores de S8; S16 ; S32 ;...,S2n :
(iii) Justiquen a partir de lo anterior que, conforme hace-
mos n cada vez mas grande, la expresin
v s
u r
u q
n
t p
2 2 2 + 2 + 2 + ::: + 2
| {z }
(i) Demuestren que los sumandos de su serie, agrupados de n veces
dos en dos, son iguales a las reas de los rectngulos obtenidos
se aproxima tanto como queramos al valor de "por debajo".
como se sugiere en la gura.
(iv)Obtengan por esta va 5 valores cercanos a (tomando
(ii) Den un argumento geomtrico sencillo que muestre que 2; 3; 4; 5 y 6 races en la expresin anterior).
la suma innita es menor que 1. (v) De pasada observen que con todo lo anterior, "casi sin
(iii) Construyan ahora rectngulos inscritos como se sugiere sentirlo", probaron que los lados de los polgonos con 2n lados,
en la gura, obtengan sus reas, comprenlas con las de los con 5 2n lados y con 3 2n lados pueden ser encontrados com-
rectngulos sealados arriba y ...saquen conclusiones! (Ya que pletamente tan slo aplicando las operaciones de suma, resta,
le agarren bien la onda, describan con palabras el proceso de multiplicacin, divisin y extraccin de races cuadradas. To-
construccin de los rectangulitos...y el resultado). das ellas, operaciones suceptibles de ser realizadas tan slo con
regla y comps no es as?. En el Problemario de Reales volver-
emos sobre esto.
(vi) Hagan un desarrollo similar para polgonos regulares
circunscritos de 2n lados, obteniendo el valor correspondiente
Qn de su permetro.
(vii) Utilicen P16 y Q16 para dar una cota inferior y superior
para el valor de :
Volveremos tambin a todo esto en el Problemario de suce-
siones.
4. El clculo del rea del crculo es un viejo problema en
la historia de las matemticas. El matemtico y astrnomo
griego, Eudoxo de Cnido (405-355 A.C.) desarroll, para abor-
dar problemas como ste, el que se conoce como "mtodo de
exhaucin", que retomara despus Euclides en el libro XII de
sus Elementos. Se trata de un procedimiento de aproximacin
innita al valor del rea de una regin acotada por una curva
a travs de polgonos con rea conocida (en el problema an-
terior hicimos algo as pero para el clculo del permetro del
crculo). Este procedimiento tiene la enorme virtud de que se
puede generalizar a innidad de regiones acotadas por curvas
muy diversas (de hecho, es la base de lo que ms de veinte siglos
despus de Eudoxo sera denido como la integral de una fun-
cin). Sin embargo, para ciertas regiones (como es el caso del
crculo), hay caminos notablemente mas simples para obtener
su rea. Veremos slo dos de ellos (ambos presuponen que ya
se conoce el valor del permetro del crculo).
(i) El primero se debe a Nicols de Cusa (1401-1464), carde-
nal, lsofo y telogo alemn que refut la creencia geocntrica,
abriendo el camino a Coprnico, Kepler y Galileo en su argu-
mentacin acerca de que es en torno al sol que se mueven los
planetas, la Tierra includa, y no al revs. Pues bien, Nicols de
Cusa dividi el crculo en porciones delgaditas, como rebanadas
de pastel, y luego las coloc "en hilera", como se indica en la
gura.
Si las porciones son en efecto muy estrechas, cada una de
ellas sera casi triangular, con una altura prxima al radio del
crculo. Cunto valdra entonces el rea de todas estas por-
ciones? Hagan el clculo.
(ii) El segundo se basa en una idea ms general desarrollada
por el matemtico italiano Bonaventura Cavalieri (1598-1647),
idea que se conoce como Principio de Cavalieri : si dos g-
uras planas tienen la misma altura, y las secciones paralelas a
sus bases, a una misma distancia de stas, tienen longitudes
iguales, entonces las dos guras tienen la misma rea.
Con esta idea se pueden hacer maravillas. Veamos una posi-
ble "extensin" de ella para el caso del crculo. Supongan
que cortan el radio r en segmentitos pequeos y trazan cir-
cunferencias con los valores r1 ; r2 ; :::; rn de los radios menores
correspondientes:
Si "desdoblamos" cada una de las circunferencias de radio
ri ; nos quedan segmentos de recta de longitud 2 ri:
Tomen en el eje x del plano el intervalo [0; r] con su cor-
respondiente particin r1 ; r2; :::; rn : Y levanten verticalmente
sobre cada uno de estos valores el segmento de recta que cor-
respondera a la respectiva circunferencia "desdoblada". Qu
"curva" nos describen los extremos superiores de estos seg-
mentos?Qu gura nos queda "atravesada" verticalmente por
dichas secciones?Cul es entonces el rea del crculo?
Cmo ven? Se valdrn en general "extensiones" de este
tipo del Principio de Cavalieri?
5.(i) Construyan una "cadena" innita de subconjuntos de
N, cada uno subconjunto propio del anterior y cada uno nu-
merable.
(ii) Construyan una "cadena" innita de subconjuntos
de N, cada uno subconjunto propio del siguiente y cada uno
numerable.
(iii) Demuestren que el conjunto de los nmeros primos es
numerable (...que es innito: con eso bastara verdad? por
qu?).
6. El conjunto potencia de un conjunto A (se denota
Pot(A)) se dene como el conjunto cuyos elementos son to-
dos los subconjuntos de A.
(i) Obtengan el conjunto potencia de los conjuntos
A = f1; 2; 3g y B = fa; b; c; d; eg:
y cuenten el nmero de sus elementos en cada caso.
(ii) Demuestren que, en general, el conjunto potencia de
un conjunto arbitrario con n elementos tiene exactamente 2n
elementos.
Hint: Sea = fa1 ; a2 ; :::; an g un conjunto arbitrario con
n elementos. Al formar un subconjunto de lo que hacemos
es decidir cules elementos suyos incluimos en l y cules no.
Es como si nos preguntramos, elemento por elemento de , si
s lo incluimos o no lo incluimos en el subconjunto que quer-
emos construir. De modo que cualquier subconjunto de lo
podemos representar con una cadena de n "s" "no" com-
binados. Por ejemplo: el conjunto ?, que es un subconjunto
de , lo podemos identicar con la cadena "no,no,...,no"; el
conjunto fa2 ; a5 g , con la cadena "no,s,no,no,s,no,...no"
Entendemos?
Bien. Calculen la cantidad de estas cadenas que podemos
formar y ella ser la cardinalidad de Pot( ):
(iii) Demuestren que si = N; el conjunto Pot(N) tiene
exactamente la cardinalidad del (0; 1):
Hint: Representen en forma binaria los elementos del
(0; 1):(es decir, con expansiones "decimales" innitas en las
que slo utilicen 0s y 1s).
 7. Reproduciremos en este ejercicio una parte de la discusin 10.(i) Tracen un crculo de radio igual a la unidad. Inscriban
de nuestro Maratn sobre el innito. en l un tringulo equiltero. En ese tringulo inscriban otro
(i) En nuestro primer Maratn, discutimos dos caminos al- crculo. En l, un cuadrado. Luego un crculo y un pent-
ternativos para probar que el conjunto de los nmeros reales no gono en l. Repitan este procedimiento indenidamente.Qu
era numerable. El segundo de ellos, lo que haca era encerrar sucede con los radios de los crculos? Se aproximan a cero?.
a cada nmero real del [0; 1] en un intervalito, y mostrar que (ii) Hagan lo mismo que en (i), pero circunscribiendo los
si fuese numerable podramos cubrirlo todo con una unin de polgonos regulares y los crculos. Qu pasa con los radios?
intervalos cuya suma de longitudes sera menor que 21 , lo cual 11. El algoritmo ms utilizado para calcular el mximo
era una contradiccin, recuerdan? Pues bien: demuestren, comn divisor entre dos enteros se conoce desde hace mas de
siguiendo un razonamiento anlogo, que el cuadrado unitario 2000 aos (Euclides, v 300 A.C.).
[0; 1] [0; 1] no es numerable. Y de pasada, propongan un Sean a; b dos enteros positivos dados, por ejemplo 105 y
apareamiento entre los puntos de dicho cuadrado y todo el 24:Dividimos el mayor entre el menor y obtenemos
plano R2 , que muestre que uno y otro conjunto de puntos tiene 105 9
exactamente el mismo nmero de elementos. =4+ :
24 24
(ii) Posiblemente ninguno de los dos resultados enunciados 9
antes nos resulte ya demasiado sorprendente a estas alturas. Ahora expresamos 24 como
Pero ahora pensemos en lo siguiente: vimos que en el paso de 9 1
N y Q a R, haba un "salto" en la cardinalidad. Y que existan = 24
24 9
conjuntos que tenan una cardinalidad mayor an que la de
R. Cul sera un conjunto que "naturalmente" podra ocur- para repetir el procedimiento
rrsenos como ejemplo de algo con mayor cardinalidad que R? 1
Pues el plano, R2 ! no es as? Cantor tambin crea lo mismo, = :
2 + 69
y durante tres aos trat de probarlo.Y cuando demostr que
no, que resulta que todo el plano tiene exactamente el mismo De modo que, hasta donde vamos tenemos que
nmero de puntos que la simple recta, le escribi en una carta 105 1
a Dedekind (1877): "Lo veo, pero no lo creo". Pues bien: in- =4+ :
24 2 + 96
tenten probar lo que prob Cantor.
Hint: Bastara con que argumentaran que en el cuadrado Repitindolo de nuevo:
(0; 1) (0; 1) hay exactamente el mismo nmero de puntos que 1 1
en el simple intervalo (0; 1), verdad? Pues bien, hagan lo =4+ 6 =4+ 1 :
2+ 9 2+ 1+ 63
siguiente: representen los puntos del (0; 1) con su expansin
decimal innita 0:a1 a2 a3 ::: , y los del cuadrado con parejas 105 1
=4+ :
ordenadas de este tipo. Qu sucede si combinan las expan- 24 2 + 1+1 1
siones decimales de la pareja ordenada, intercalando uno a uno 2

los dgitos de cada una de sus componentes? Podran ir "de El algoritmo siempre se detiene, pues los residuos van dis-
ida y de regreso" en un apareamiento as? minuyendo. El mcd es el ltimo residuo distinto de cero
(iii) Cambiara algo la situacin al pasar al espacio tridi- 24 6 9 3 6
=2+ ; =1+ ; = 2:
mensional R3 ? Y al espacio n-dimensional Rn ? (Se lo imag- 9 9 6 6 3
inan?). en nuestro caso, 3:
(iv) Reproduzcan la argumentacin correspondiente que Si esta forma del algoritmo de Euclides (restar repetidamente
mostrara que, sin embargo, la regla de apareamiento dada la parte entera e invertir) es aplicada a un nmero irracional,
en el inciso (ii) sera discontinua (de hecho, cualquier regla no puede terminar. p
que demos a este efecto resultara discontinua). (Observacin Por ejemplo si hacemos = 2 tenemos que
hecha por R. Dedekind a Cantor)
(1 + ) = + 2 = +2
8.(i) Construyan una innidad numerable de rectngulos
que "casi" no se intersecten, con la cual quede cubierto todo el = +1+1
plano. 1
por tanto = 1+ :
(ii) Pues bien: lo anterior no es posible hacerlo con una 1+
innidad no numerable de rectngulos. Es decir, si cubren De modo que, "sustituyendo y sustituyendo" (iterando, se
el plano con una innidad no numerable de rectngulos, por dice):
fuerza al menos una innidad de ellos mismos (que sera tam-
bin no numerable) tendra una interseccin comn que resul- 1 1
tara "gordita", es decir, que contendra un crculito completo. = 1+ =1+ 1
1+ 1+1+ 1+
Intenten explicar por qu.
(iii) Enuncien una propiedad equivalente en la recta. 1
= 1+
9. Prueben que el conjunto de los nmeros naturales es el 2 + 1+1
de cardinalidad innita mas pequea. Es decir, que si es 1
= 1+
cualquier conjunto innito, entonces #(N) #( ). Hint: Re- 2 + 1+(1+1 1
1+ )
cuerden la denicin dada por Dedekind y Cantor de conjunto
innito: aqul que puede ponerse en correspondencia biunvoca 1
= 1+ 1
con un subconjunto propio de s mismo. 2+ 2+ 1+1
 Si continuamos, obtenemos la frmula de Bombelli que data En las geometras de Bolyai y de Lobachevsky se asume que
del ao 1572: ms de una lnea puede pasar por un punto exterior a otra, sin
intersectarla. Ms tarde, el matemtico alemn George Rie-
p 1 mann (1826-1866) construy otra geometra negando de otra
2=1+
2 + 2+ 1 1 forma el 5 Postulado: l supuso que dado un punto exterior
2+:::
a una lnea, no hay ninguna recta que pase por l sin intersec-
Este tipo de expresiones son llamadas "fracciones continuas". tarla.
Ingnienselas ustedes para obtener la fraccin continua de: Tendr alguna utilidad todo esto? Bueno, quizs sirviera
(i) La "razn dorada": como dato decir que la teora de la relatividad de Einstein se
basa en una geometra no euclidiana del espacio. Juguemos un
p
1+ 5 poco con una de esas "otras geometras" para ver cmo seran
2 las cosas en ellas.
Supongamos que nos movemos en la supercie de una es-
Sirve que buscan por ah la importancia que ha tenido este fera. El primer problema que tenemos es ver cmo podra ser
numerito en la historia.(En el Problemario sobre sucesiones, denido el concepto mismo de "lnea recta" en ella. Dados dos
hablaremos
p ampliamente de l) puntos en la supercie de la esfera, podemos construir una in-
(ii) 3 nidad de planos que la cortan incluyendo a esos dos puntos;
(iii) La duracin de un ao astronmico est dada por pero de todos ellos, hay uno slo que pasa por el centro de
(Euler, 1748) 365 das 5 horas 4855. la esfera, y que en su interseccin generara la circunferencia
Calculen el desarrollo de 5h 4855 (medido en das) en tr- mxima. Pues bien: si quisiramos preservar la propiedad de
minos de una fraccin continua. p que "la lnea recta es la distancia ms corta entre 2 puntos da-
12. Al probar la irracionalidad de 2 utilizamos el Teorema dos", entonces, ese plano es el que dene la distancia mnima
de Pitgoras. A la fecha estn registrados varios cientos de entre los dos puntos sobre la supercie de la esfera (distancia
demostraciones diferentes de este resultado. conocida como la longitud de la geodsica). Hagan dibujitos,
(i) Prueben ustedes a hacer la suya "propia" (me reero, para "sentir" este asunto.
simplemente, a que descubran una sin buscarla en un libro). As las cosas, denimos "lnea recta" en la supercie de la
(ii) Y ya en stas, prueben que el inverso del Teorema de esfera, como aquella perteneciente a la circunferencia mxima.
Pitgoras tambin es vlido. Dira as: "Si un tringulo de Denimos el ngulo entre dos lneas rectas, como el ngulo
lados a; b; c satisface la relacin a2 + b2 = c2 , entonces se trata entre los planos que pasan por el centro de la esfera a los cuales
de un tringulo rectngulo". pertenecen esas 2 lneas rectas.
13. En clase hablamos de varios resultados que presuponan Piensen entonces en un tringulo sobre la supercie de la
que las rectas "no tienen hoyos". Uno de los ms antiguos de el- esfera.
los, seguramente conocido por todos ustedes, es una propiedad (i) Demuestren, de entrada, que en la geometra euclidiana,
de la recta que Euclides formul como un axioma de toda la la suma de los tres ngulos interiores de cualquier tringulo es
geometra y que se conoce como el axioma de las paralelas (5 siempre igual 180 (viejo resultado conocido por ustedes).
Postulado). Podramos formularlo as: "Por un punto exte- (ii) Costruyan ahora un tringulo en la supercie de las
rior a una recta, pasa una nica recta que no la intersecta" esfera que tenga sus tres ngulos rectos.
(paralela, en el sentido clsico). El sentido de la discusin de- (iii) Construyan otros tringulos cuya suma de ngulos sea
sarrollada durante varios siglos en torno a este postulado, en diferente.
cierta manera se reproduce despus en otra discusin (sobre (iv) Cunto es lo mas que puede valer la suma de los 3
otra propiedad referida a otro concepto), abierta cuando Can- ngulos de un tringulo esfrico?
tor formul su hiptesis del continuo sobre conjuntos innitos (v) Trabajen con tringulos esfricos equilteros (para sim-
(de la cual hablamos en el Maratn). Echemos un vistazo ahora plicar) y hagan pequeitos, pequeitos sus lados. Qu va
a la primera de estas dos discusiones. sucediendo con la suma de sus ngulos? Hablen con sus com-
Durante muchos aos (tanto as como 2,000 aos) mu- paeros de Clculo IV, y pdanles que demuestren el resultado
chos matemticos creyeron que este postulado debera poderse correspondiente.
demostrar con base en los dems. Es decir, que era un "teo- (vi) Observen que, conforme los lados se hacen pequeos,
rema", no un "axioma". En 1733, un matemtico italiano, su tringulo esfrico se parece cada vez ms a un tringulo
Giovanni Girolamo Saccheri (1667-1733), intent ver a qu con- plano, de "los de siempre". Analicen entonces el resultado que
duca no suponer como vlido el postulado de las paralelas, y obtuvieron en (v), reexionen sobre l.
fue arribando a tales dicultades que termin asumiendo que
deba ser vlido. Pero sin darse cuenta, lo que hizo en reali-
dad sirvi para plantear la posibilidad de construir geometras
distintas a la de Euclides, en las cuales no se cumpliera el
postulado de las paralelas. Cerca de 100 aos despus, el
matemtico hngaro Jnos Bolyai (1802-1860) y el ruso Nicols
Lobachevsky (1793-1856) probaron cada uno por su lado que
podan ser construidas geometras consistentes en las que no se
cumpliera el 5 Postulado. Tales geometras se conocen como
"Geometras no-euclideanas", y hay en la actualidad una var-
iedad de ellas.