Matemáticas Recreativas para Estudiantes
Matemáticas Recreativas para Estudiantes
Cochabamba, 2008
Prefacio
Sin duda el autor muestra, a lo largo de su obra, el potencial que como joven científico
posee y que, apostamos sin temor, aportará a Bolivia la satisfacción de contar con
matemáticos sobresalientes. Basta, para convencerse de ello, observar la madurez
adquirida entre las primeras páginas y las últimas. Poco a poco, el formalismo y el rigor,
propios de la ciencia fundamento de las ciencias, aparecen cada vez con mayor
pertinencia.
Preferiría decir que este texto es una “lectura recreativa” el cual el estudiante (ya sea de
preparatoria o primer año de universidad) encontrará ameno y entretenido y pueda por
esta vía, al menos, encontrar “lo bello de las matemáticas”.
Uno particular para Mgr. Roberto Zegarra Urquidi, bajo cuya instrucción empecé a
forjar mi carácter de matemático.
Junio, 2008
Dodovrosky Medrano Rocha
A mis padres: Rudy Medrano y Bertha Rocha
A mis hermanos: Eunice y Ruddy
1 Lo bello de las matemáticas
Tópicos matemáticos 2
cuadrado E 2 E , lo que da una
ecuación de segundo grado, cuyas raíces son
E1 2; E 2 1 , aquí la respuesta que tiene
MÉTODO DE LA SECUENCIA sentido es 2 (una sucesión de números
positivos converge a un número positivo), por
REITERADA lo que E 2 .
1 x0 1
x3
1 1
1 x1 0,5
1 2
1
2 2
x3 0,666
3
1 3
xn x4 0,625
1 5
1
1 8
1 x5 0,615384615
13
1
1 13
2 x6 0,619047619
Esta última expresión es en la que hemos 21
convenido. Cuando aplicamos el método de la
secuencia reiterada no hacemos otra cosa
sino comparar magnitudes cuya semejanza 89
x10 0,618055555
(en todo caso igualdad) se hace más y más 144
evidente, toda vez que la secuencia tiende a
su límite (si lo tiene). En efecto, la sucesión
anterior, que es recursiva, tiene un límite tal 17711
que x n se confunde con x n 1 cuando
x 20 0,618033988
28657
n . Lo que se espera es que se verifique
la igualdad: Como se puede apreciar, es claro que para el
lim xn lim xn 1 x 20º término, la sucesión se va aproximando
n n
5 1
cada vez más al irracional , en efecto,
Donde el valor de x debe ser único si la 2
sucesión es convergente, y se llama “límite de eso es lo que vale con una precisión de 9
la sucesión”, esto no implica necesariamente decimales:
que: 5 1
lim xn 0,618033988
n
x o viceversa. 2
lim xn 1 Claramente, la sucesión en un principio no
n decrece ni decrece (es monótona) en forma
ordenada, empieza a ordenarse a partir de que
Suponemos que este límite existe, por tanto:
5 1
1 se va aproximando al irracional
x 2
1 x (Decrece ligeramente), es decir:
Se obtiene la ecuación:
x n 1 x n Para algún nk
x2 x 1 0
Cuyas raíces son: Y a partir de ese nk la sucesión estará
5 1 acotada inferiormente y tendrá un límite x.
x1 Examinemos el siguiente ejemplo:
2
x2
5 1 5) Sea la sucesión xn n1 , definida por
2 1
Desde luego, aquí la primera raíz tiene x n 1
sentido, no es posible afirmar que la sucesión recurrencia, de modo que x n
a y
converja a un valor negativo. Por tanto: a
5 1 x0 0 (a 1) . Hallar lim xn .
n
lim xn x
n 2 Por el criterio de la secuencia reiterada es
fácil obtener:
1 m
x1 a b m
a b
1 a
m m m
1 a a m
x2 a b mb
a m
a a b b2
a
b b2
lim xn x a a
m m m
n a b
b b 2 b3
1 x3 a m b a m b a m a
x
a 1 1
x ax x x m m m
a a a (a 1) b
b b2 bn
xn a a a a
mb m b m
También podemos examinar la sucesión por "n "raices
pasos:
n
1 lim bk
m m
n
1 lim xn x a k 1
a b 1
x1 a 2 n
a a
1 1 Y de modo más sencillo, por el criterio de la
2 secuencia reiterada:
x2 a a 1 1
a a2 a3 x b a m ba
mb m
a x b am x
1 1 1 x
2 3
x3 a a a 1 1 1 b m b 1 m
m
b 1
a a2 a3 a4 x a xx a x a
1 1 1 Hasta ahora hemos procedido de manera muy
2 n
xn a a a 1 1 1 alegre sin preguntarnos si los límites
a a2 a3 a n 1 calculados existen o no. Todo matemático
debe asegurarse que los cálculos que efectúa
De modo que: están respaldados por resultados demostrados
y verdaderos, por tanto para el ejemplo 2
tendríamos que demostrar que la sucesión es
1 monótona creciente acotada y por lo tanto
n
1 2 1
lim xn x lim k a converge a su supremo, es decir:
n n
K 2 a
1 a (a 1)
1
a Sea la sucesión xn 1 2 xn además
En una buena parte de los casos, es posible x1 2 , no es tan difícil probar que es
demostrar el resultado obtenido de la creciente, para ello usamos el principio de
simplicidad de operar que tiene el criterio de la inducción matemática (ver más adelante)
secuencia reiterada. En contraparte, hay casos n 1 22
Verdadero
en que el cálculo de una secuencia, sin usar el
Suponemos cierto para
criterio, se hace muy laborioso y hasta a veces
muy difícil. nk xk xk 1 , luego por hipótesis de
inducción tenemos:
Examinemos este último ejemplo xk xk 1 2 xk 2 xk 1
6) Dada la sucesión xn n1 de modo que 2 xk 2 xk 1 xk 1 xk 2
x n 1 b a m x n , x1 b a m (b 1) xn xn 1 n .
Por lo tanto es creciente, luego usando
nuevamente inducción podemos demostrar
Hallar lim xn . que 2 es cota superior de la sucesión i.e.
n
n 1 2 2 Verdadero
Por pasos: Suponemos cierto
nk xk 2
4 Lo bello de las matemáticas
32 32 32
MISCELÁNEA Nº1
64
3
64
Pruebe que las siguientes sucesiones
convergen y encuentre su límite aplicando el
método de la secuencia reiterada. 9) Simplificar:
5
B 23 25 23 2 5
5
5 x4
2) Calcular el valor de: x4
B
x4
F 5
2563 165 2563 16 11) Si A=B, determinar el valor de “x”
3) Halle:
A x xx xx x xN
2 2 2 n 2
"x"radicales
2 x x x 2 2x 3 x x 2 2x 3
2 3
x
= x3 , calcular: 21) Calcule aproximadamente:
3232 E 2 3 2 3 2 3
332
A x3 22) Dada la sucesión:
14) Calcular:
a1 3; a 2 3 3 ; a 3 3 3 3 ;
... , calcular:
3
3 y2
3 2
y2 a 2003 .a 2006
E 2
a 2004 .a 2005
y2
23) Siendo:
15) Calcular:
1 x 3 5 6 6
A
1
x Calcular:
n 1
xn
xn E 5 15 x 5 15 x
(0,5) 0, 25 5 25 25 2
E 1 2 1 2 1 2 1 2 3 2 2
1 2 3 2007
17) Señalar el conjunto solución de:
25) Hallar dos números enteros
3 x x x 2 consecutivos “ a ” y “ b ” tales que,
a b , y verifiquen la siguiente
18) Simplificar: relación:
b 1 b b b
3
6 3 6 3 6 a a a
a 1
4a a a
b b b
19) Simplificar:
6 Lo bello de las matemáticas
FRACCIONES Y EXPONENTES 1
a3 1 , calcular el valor de
(EJERCICIOS DIVERSOS) 1
1
1
1
El método de la secuencia reiterada es x
una herramienta muy útil para el cálculo a 69 .
de secuencias infinitas, más adelante
veremos como extender el uso de este
método y aplicarlo a secuencias finitas. Antes de efectuar el cálculo, veremos lo
Ahora nos ocuparemos de estudiar estos que pasaría si UD Pensara en tomar el
casos: termino a 69 como un valor próximo al que
seria igual la secuencia si fuera infinita,
Anécdotas: considerando que 69 fracciones de la
forma toman ese valor aproximado, UD se
1) calcular el valor al que se aproxima: llevaría una gran sorpresa:
1
2 P 1 P 2 P 1 0 , las raíces
E 1 P
2 de esta ecuación son:
1
2
1
1 1 3i
P ,
2
Aquí usamos el método de la secuencia Es decir sus soluciones son imaginarias,
reiterada: puede que esto nos haga pensar que la
sucesión no tiene un límite pero observe lo
2 siguiente:
E 1 E 2 E 2 0 , de aquí 1 x 1
E Para a1 1 ,
tenemos: E 2 x x
2) Calcular el valor de “ A” 1 1
Para a2 1 ,
1 x 1
1
2 x
2
A 2
1
Para a3 1 x,
Procediendo del mismo modo tenemos: 1
1 1 1
A 1
A 2
A 2 A 2 , por comparación 1
A 2. x
x 1
Para a4
No todos los aparentes problemas de x
secuencias infinitas tienen solución rápida
La secuencia a 4 es igual a la secuencia
por el método anterior, como se verá en
este problema: a1 , también se tiene que a 2 es igual a
a5 y a3 será igual a a 6 ,...etc. Es decir
los resultados son periódicos, muy similar
7 Lo bello de las matemáticas
con lo que ocurre con las potencias probar conjeturas o teoremas que se
imaginarias. consideran validos para una conjunto que
recorre los números naturales o desde un
Es decir la sucesión de Dodovrosky es elemento de éste conjunto. Por lo que
oscilante, entonces los valores que puede “razonamiento inductivo” en lo que se
tomar para cualquier “ n ” conocido serán: refiere a la matemática tiene otro sentido
que el de inducción matemática.
x 1 1
an , , x , para n . Con en análisis inductivo podemos partir
x x 1 de hechos particulares para llegar a uno
general (generalmente hablamos de una
Si n 1,4,7,10,....,3k 2 , converge a: “ley de formación”), debemos observar
como mínimo que se cumpla para
x 1
n 1,2,3 para luego poder generalizar. El
x análisis deductivo es, al contrario, la
aplicación del caso general a uno
Si n 2,5,8,11,....,3k 1. converge particular, en matemática también se
1 considera distinto el concepto de
a: “Deducción Matemática”, en este caso
x 1 se refiere a obtener mediante
conocimientos adquiridos con anterioridad
Si n 3,6,9,12,.....,3k , converge a: otros que se suponen nuevos que son
x. consecuencia directa de los anteriores.
3 4 1
4 3 4 4
x x x
Suponiendo n = 2 se obtiene:
1
1 2 1
15 4 2 1
1 3 3 1 4 42
1 4 6 4 1 x3 4 x3 x 16
x
1 5 10 10 5 1
Suponiendo n = 3 se obtiene:
1 13................13 1
63 4 3 1
Este es el famoso triangulo de Pascal, 4
para hallar la suma de sus elementos x3 4 x3 4 x3 x 64
x 43
empezaremos analizando casos
particulares: Para el caso general se tendrá:
Caso Suma total
4 n 1
1 1ª fila 1 21 1 4n
x
1 Que es el resultado pedido.
2
121 2ª fila 3 2 1 Para ser más rigurosos tendríamos que
probar este resultado por inducción
matemática (ejercicio), si el lector todavía
1 no esta familiarizado con esta idea, puede
121 omitir la demostración.
1 33 1 3ª fila 7 23 1
4) La siguiente expresión se llama
“función de Dodovrosky”, si n , la
Para un el caso general, osea la suma de 1
n función converge a:
"n" filas se tendrá S 2 1 , en 2
x 1
nuestro caso particular, nos piden:
1
214 1 16383
xn
3) Señalar el exponente de “ x ” luego de 1 x
simplificar:
1
x3
4
1
x2 x
34 34 3 4 3
E x x x ..... x x x
f ( x)
x
"n "radicales
1
1 x2 4,7,10,13,16,...., (3n 1)
f 2 x x x 1 1 Analizando la diferencia termino a término:
x x2 x4
4 7 10 13 16 19 22
1 +3 +3 +3 +3 +3 +3
1 x3
La regularidad es que cada término
1 x2 x después del primero se obtiene
1 1 1
f 3 x x x 2 4 6 sumándole 3 al anterior.
x x x x
Sucesión Cuadrática
Ejemplos: Anécdotas:
2,16,32,54,82, b)
n n n
Como la variación de termino a termino no
x x x x n n
es lineal, esto nos hace suponer que la
sucesión puede ser cuadrática, cúbica,
xx n xx nn
etc.
2 6 16 32 54 82 Anécdota:
4 10 16 22 28
6 6 6 6 1) Resolver la ecuación exponencial:
a) x x
xn n x
n
MISCELÁNEA Nº2
a1 a 6) Si f x es un polinomio completo y
a2 a a ordenado en forma creciente respecto
de “x”, del cual se han indicado tres
a3 a a a términos; si f x posee 8n términos:
calcular a n .
Calcular lim a n 2 2 2
n
f x n ax n a
anx
n 15
A 24
4) Si: f x 3 x 2 , calcular “M” 24
9) 3 y 2 3 y 2 3 y 2 y v
M f f f f x
"n "veces "n"radicales
5) Si:
80 n
Además: v ;y
Gx 2 x 3
3n 2
G f x g x = 4 x 3
G f x g x 7 Hallar el valor de: (n y )
Calcular:
9) hallar “ x ” en:
A f g f g f g 1
12 Lo bello de las matemáticas
n
3
43 4 " n" radic 6 326 32 " n" radic E
n 1
xn n n
2x 1
n2
n 1
n 2
2
10) Calcular el valor de:
1
2
1
1
1 2
3
5 2
4 16) Determinar “ x ” en:
7
6
8
(n 1) 40
A 3x
3 9
3 3
27
n 3 3
3 3 3
11) Demostrar:
17) Expresar en forma simplificada:
5
b
2 2
2
2890625 19) Calcular:
x2
xx 2 2 2
2
xx 4
22) Calcular:
13 Lo bello de las matemáticas
2x
nx
g x donde n ,
29) Si:
Si: 2x y 2 nx
Determine:
23) Al calcular:
g ( g ( g (... g ( x)...))); m
1
" m " parentesis
1
1 2 30) A partir de:
E 1 2
2 F ( x) 1 x x 2 x 3 x 4
Se tiene… Calcular: K F (0,6)
n 3 3
22
3
2 4 4
.4
. 4.
4 .4
x
xx ( n 1) veces ( n 24 ) veces
x 2 3
32) Resolver:
25) Simplificar el Producto:
4 5
4 5
x
1 x1 x
x x x x
1 A x 1 A 2 x 1 A nx
4 5
x = x1 x
a b a 2 b2 a n bn n
S 2 2 2 n n x
ab ab ab
x xx 22
27) Si el polinomio es completo de 3n
términos: 34) Determinar “ R ”, sabiendo que
M N en las siguientes relaciones:
Px 2nx2n (2n 1) x 2n1 (2n 2) x 2n2
M S S S
Calcular “n” N C C C
28) Si P( x) x 2 2 , Aclaración: aquí “ S ” representa una
medida angular en grados sexagesimales
Calcule:
y “ C ” en grados centesimales. Lo que se
pide es hallar un valor “x” expresado en
radianes “ R ” tal que cumpla con la
relación dada.
14 Lo bello de las matemáticas
S C
S C 2
S S C C ak
3 a
36) Determinar la medida de un ángulo 2 a
a
en radianes, si A B a a
n a
=
k 1 a
S
AS
S
S
S
S
S
C
BC
C = anti log a (1
3
23 n 3 )
C
C
C
C 40) Para la siguiente fracción:
a2
37) Calcular el valor de: M
a2
a
1 a
a2
1 a
1 a4 a2
1 a3 a
a5
recursiva o se define por recursividad si:
a3 an f an1 , an2 ,..., ank , este tipo de
a a6 sucesión es tal que cada término se puede
41) calcule UD
1 1 1
2 1
n 1 a
n n2
a a n2
2
m Aquí: a n a1 (n 1)d
m
m m
m Sucesión cuadrática:
m
m a1 , a 2 , a3 , a 4 , , a n
m
m +r +p +p.....
m +a +a
Aquí:
42) Deducir la formula para calcular: (n 2 3n 2)a
a n a1 (n 1)r
2
Progresión Geométrica
k
k
n k k n2 1 u1 , u 2 , u 3 , , u n
k *q *q...
k
k
k 2 k 1
Aquí: u n u1 q n 1
43) Sea f n x f ( f ( f ( x) ))
Entre muchos otros tipos de sucesiones
"n"veces
tenemos esas, que son las más
Hallar f n (x) , si: conocidas, pero hay saber que existen
tantos tipos de sucesiones como ingenio
x puede tener el hombre. Está por ejemplo
f ( x) la sucesión de Fibonacci:
1 x2
1,1, 2,3,5,...... tn tn 1 tn 2 , que
44) Expresar en forma simplificada:
como se ve es una sucesión recursiva.
También tenemos la sucesión de números
triangulares:
E 2 2 2 2 2 cos A
n(n 1)
1 , 3 , 6 , 10 , ,
2
Llamados así porque se forman a partir de
Tópicos matemáticos la suma de los elementos del siguiente
arreglo
SUCESIONES NUMÉRICAS
* * * * * * *
* * * * * * *
Las sucesiones numéricas son conjuntos * * * * * * *
de números, donde cada elemento tiene * * * * * * *
un orden asignado, es decir a cada * * * * * * *
elemento le corresponde un ordinal, el * * * * * * *
termino representativo de la sucesión * * * * * * *
recibe el nombre de termino enésimo o
termino general. En el primer triángulo se suma 1, en el
segundo se suma 3, en el tercero se suma 6,
Tipos más comunes de sucesiones etc.
numéricas No valdría la pena enumerarlas todas, por
que las hay de toda variedad y todo tipo.
Progresión Aritmética: Estas y muchas otras más son con las
cuales el estudiante esta familiarizado
a 1 , a 2 , a3 , , a n desde colegio.
+d +d
16 Lo bello de las matemáticas
Sumatoria notables
a) Progresión Aritmética
b) Progresión Geométrica
La fórmula de suma es
n u1 q 1
n
u
k 1
k
q 1
donde q es la razón.
17 Lo bello de las matemáticas
n
12 2 2 3 2 n 2 k 2
k 1
Aplicando la identidad se tendrá:
13 1
2 3 13 3.12 3.1 1
3 3 2 3 3 .2 2 3 .2 1
.....................................
.....................................
(n 1) 3 n 3 3n 2 3n 1
(n 1) 3 3(12 2 2 n 2 ) 3 (1 2 n) (n 1)
progresion aritmética
n(n 1)
(n 1) 3 3(12 2 2 n 2 ) 3 (n 1)
2
De donde resulta:
n(n 1)(2n 1)
12 2 2 3 2 n 2
6
b) Establecer la formula para hallar la suma:
n
13 2 3 33 n 3 k 3
K 1
Aplicando la identidad:
14 1
2 4 14 4.13 6.12 4.1 1
3 4 2 4 4 .2 3 6 .2 2 4 .2 1
................... .............................
................................................
(n 1) 4 n 4 4n 3 6n 2 4n 1
Al sumar miembro a miembro se tiene:
(n 1) 4(1 2 n3 ) 6(12 2 2 n 2 ) 4(1 2 n) ( n 1)
4 3 3
En el segundo miembro nosotros tenemos dos sumas que ya conocemos, reemplazando por
sus equivalentes se tendrá:
2
n(n 1)
1 2 3 n
3 3 3 3
2
De este modo es fácil deducir las formulas para potencias a la cuarta, quinta, etc., pero ha y
que tomar muy en cuenta que esta serie sólo es posible de calcularse cuando para una
determinada potencia p , previamente se conocen las sumas parciales para las anteriores
potencias p 1, p 2, ,1 , por lo que podemos afirmar que la serie “ p ” es recurrente.
18 Lo bello de las matemáticas
Una manera muy interesante de aplicar la serie “ p ”, es al cálculo de la suma de los productos
de los primeros números naturales.
1.2 1.2 2 2.3 2.3 2 n(n 1) n(n 1) 2 , tenemos ahora dos series y una de ellas la
conocemos:
1.2 2.3 n(n 1) 1.2 2 2.3 2 n(n 1) 2 , por lo que la serie dada se puede
escribir como:
n
n(n 1)(n 2)
k (k 1)(k 2)
k 1 3
S , calculemos el valor de “S” por separado:
n
n(n 1)(n 2)(n 3)
k (k 1)(k 2)
K 1 4
1 1 1 1 2 3 n 1
2 E 1 2 n 1 2 3 n 1
2 2 2 2 2 2 2
La otra serie es igual a la dada inicialmente, sólo le falta un término el cual vamos a
n
completar sumando a ambos miembros de la igualdad la can tidad
2n
n 1 1 1 1 2 3 n 1 n
n
2 E 1 2 n 1 2 3 n 1 n
2 2
2 2 2 222 2
progresión geométrica Esta es la serie dada "E "
1 n
1
n 2
n
2E E
2 1
1
2
Al despejar “E” resulta:
2n 1 n
E n
2 n 1 2
3) Calcular la suma de los elementos del siguiente arreglo:
21
22 22
23 23 23
24 24 24 24
2n 2n 2 n 2n
P
1 (1 1)2 (1 2)2 2 (1 3)23 1 ( n 1) 2n 1
2
21 Lo bello de las matemáticas
P
1 1 1 2 22 2.2 2 23 3.23 2 n 1 ( n 1)2 n 1
2
Hemos vuelto a formar nuestra Serie y también se ha formado una progresión geométrica.
Para completar nuestra serie P vamos a agregar el sumando n2 n a ambos miembros de la
igualdad, ordenando y separando adecuadamente tenemos:
P
n 2n 1
2 2
22 n 1
1.21 2.22 3.23 (n 1)2n 1 n 2n
2
serie geométrica P
P 2n 1 ( n 1) 2
n 2 12 2 2 3 2 n2
n
; a 1
n 1 a a a2 a3 an
12 2 2 3 2 4 2
D
a a2 a3 a4
2 2 32 4 2 5 2 n2
aD 12 2 3 4 n 1
a a a a a
Podemos hacer esta transformación:
aD 12
1 12 1 22 1 32
1 (n 1)2
a a2 a3 a n 1
y lo que sigue:
1 1 1 1 2 3 n 1 12 2 2 3 2 (n 1) 2
aD 1 2 n 1 2 2 3 n 1 2 3 n 1
a
a a a a
aa a
a
aa
serie geométrica serie aritmética geometrica , 1ª especie la serie " D "
Entonces se han producido 3 series, como se trata de hallar una suma límite, cuando se
n2
reproduce la serie D , vemos que le falta el término , el cual no es imprescindible aquí,
an
ya que estamos tratando con una serie infinita y no finita, además ése termino es un
n2
infinitésimo (cantidad muy pequeña), ya que se verifica lim 0 , porque según la
n a n
condición a 1 , por tanto la serie converge. Dado que el término es cuestión es muy
pequeño, se lo desprecia y la ecuación quedaría así:
1 n 1
aD 2 n 1
D
1 n2 a
1
a
La serie Aritmético-Geométrico, la calculamos así:
1 2 3 4
S
a a 2 a3 a 4
11 1 2 1 3
aS 1
a a2 a3
1 1 1 1 2 3
aS 1 2 3 2 3
a
aa a a
a
P .G decreciente al inf inito S
a a
aS S S
a 1 (a 1) 2
a a
aD 2 D
(a 1) (a 1) 2
Resolviendo la ecuación:
a (a 1)
D
(a 1) 3
23 Lo bello de las matemáticas
Tópicos matemáticos
Y su límite:
S 1
1 1
S ; Porque lim 0
a1 .r n a
n 1
1 1 1 1
1.2.3 2.3.4 3.4.5 n(n 1)(n 2)
Para este ejemplo aplicaremos el método de las fracciones parciales, tomemos en primer lugar
el término general de la serie:
1 A B C ( A B C )n 2 (3 A 2B C )n 2 A C
an
n(n 1)(n 2) n n 1 n 2 n(n 1)(n 2)
( A B C )n 2 (3 A 2 B C )n 2 A C 0n 2 0n 1
Obteniendo el sistema:
2 A C 1
1 1
3 A 2 B C 0 Al resolver da : A , B 1, C
A B C 0 2 2
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
n 2 2 n 1 n 2 n 1 2 n n 1 2 n 2 n 1 n 2 2
Reduciendo términos:
1 1 1 n(n 3)
S , esta es su suma parcial, su suma límite será:
4 2(n 1) 2(n 2) 4(n 1)(n 2)
n(n 3) 1 1
S Lim S Lim
n 4(n 1)(n 2) 4 4
25 Lo bello de las matemáticas
Tópicos matemáticos
n
2 (2n 1)(2n)(2n 1)
RELACIONES ADICIONALES (2k 1)
k 1
6
( 2k ) 2
2 2 4 2 6 2 ( 2n) 2
general de de una sucesión polinómica
K 1
"n " ter min os
Sea la sucesión polinómica
n
( 2k ) 2
2 2 (12 2 2 3 2 n 2 )
t1 t 2 t3 t 4 t5 tn k 1
a0 a1 a2 a3
n
b0 b1 b3 2 2n(n 1)(2n 1)
( 2k )
3
k 1
K 1
"
k " factores
Suma de los cubos de los primeros
n(n 1)(n 2) impares
Donde: C kn
k (k 1)(k 2) 3.2.1 n
3
(2k 1) n 2 (2n 2 1)
Es el número combinatorio. K 1
(2k 1) 2
12 3 2 5 2 (2n 1) 2
k 1 1) Calcular el número de esferas iguales de
radio R que se necesitan para construir una
Se obtiene a partir de la fórmula de la suma pirámide cuadrangular de lado 2nR , calcular
de los primeros números naturales, pero
previo se hace: además en términos de " n" y " R" la altura
de dicha pirámide.
Al ser n 2n 1
Al ser n 1 (2n 1) 1 2n 2) Calcular la suma de los elementos del
Al ser 2n 1 2n 1 siguiente arreglo:
De lo cual se tendrá:
26 Lo bello de las matemáticas
1
1 1 10) Calcular la suma de las cifras del
1 2 1 resultado:
1 3 3 1 2
888888 555 555
"2003"cifras "2003"cifras
x
5) Si: f ( x) , Calcular:
x 1 11) Hallar la suma de los elementos de la
siguiente matriz:
f ( f ( f ( f ( x))) )
2002 veces
6) Calcular:
1 2 3 4 9 10
2 3 4 5 10 11
1.2 1.2.3 1.2.3.4 1.2.3 29.30
2 2 2 2
3 4 5 6 11 12
1.2.3.4 31 2
4 5 6 7 12 13
7) Hallar la suma de las cifras del
resultado: 9 10 11 12 17 18
10 11 12 13 18 19
2
111
111
"n"veces 12) Determinar la suma de los elementos
del siguiente arreglo:
27 Lo bello de las matemáticas
12 1
2 2
2 2 3 3
5 2 5
3 3 32
2 2
7 2 2 7
9 2 2 2 9
n n n n 2
2 2 2
.................................
a n 2 2a n 1 a n
16) Calcular la suma de los números de la
fila “ n ” en :
23) Se tiene una sucesión que se define
mediante dos subsucesiones:
a n 2 a n 1 a n 10 Para todo n 1 y
“ n ” es una cantidad infinitamente grande.
además a 9 a11 10
Hallar:
1 2 x 3x 2 4 x 3
4 , si x a
a a 2 a3 a
1
39) Calcular la suma de la serie: 4 7
10 13 16
19 22 25 28
1 .2 2 .3 3 .4
2
3 x 4 x 2 , si x 1 ...................................
a a a ...........................................
a1 2005
a) Hallar la expresión para su término
general. a 2 20200505
a 3 2020200505 05
c) Si “ n ” se hace una cantidad tan
grande como infinito, ¿A que valor .................................
converge la secuencia?
20 19 18 5 4 3 3 8 13 18
S 2 3 4
11 11 11 11
20 19
48) Hallar la suma límite de:
20
2 26 242
42) Calcular la siguiente suma: S 1
3 2 3 6 310
S 1.3 3.5 5.7 49.51 49) El mayor número natural para el cual
la suma:
43) Hallar la suma límite de la serie:
1 1 1 1 1
Sn
2 6 12 20 n(n 1)
4 8 12 16
S
1 .3 3 .5 5 .7 7 .9 66
Satisface: Sn ; es...
71
50) Calcular:
30 Lo bello de las matemáticas
40
3x 9 3
3 3 3 27
3 3
3 3
1 1 1 1 1 1
1 2 2 1 2 2 1 2 2
2 3 3 4 4 5 56) Hallar el grado absoluto de:
1 1
1 2
2 3
1
19 20
2 . n .16 2
x yn
51) Calcular la suma de las cifras de las B 1
decenas de la siguiente suma:
n 1 x.x 4 .x 9 ...x n 2 2 n 1
1!2!3!4! n!
57) Demostrar que:
52) Indicar la suma de las cifras del
resultado:
9 99 999 999
999
Log b 1 i
i2
3
i 4
i i 5
"40"cifras " 4 n "ter min os
i unidad imaginaria
53) La figura está armada de manera que:
1 Es el padre de 2, 3 y 4 x 1
2 Es el padre de 5, 6 y 7 58) Si x x ; Calcular:
3 Es el padre de 8, 9 y 10, así y
sucesivamente.
1 x x
xx 2x
x2 x x x2 x 3x
x3 x x
5 6 7
2
8 9 10
3 4
11 12 13
A xx xx
..................................................
kx k 1
1 2 x 3 x 2 nx n 1
k 1
54) Resolver y dar el valor de “ x”
1
Los términos independientes están en P 1
n n
n
progresión aritmética.
L x n x n 1 x n 2 x 3 x 2 x P( x) ( x 1)( x 4 4)( x 9 9) ( x n n 2 )
1 2 3 n P ( x) ( x 22 1)( x 23 1)( x 24 1)
m
2 3 4 n 1
Hasta 20 términos.
Hallar el grado de:
69) Simplificar:
x mn
M
x .3 x .4 x " n" factores
1 x x2 xn x n 1
2 3 n 1 n 1
63) Hallar la suma de los grados relativos a a a a a (a x)
respecto a “x” e “y” en la siguiente
expresión: 70) Simplificar:
( x y )( x 2 y 2 )( x 3 y 3 ) ( x n yn )
M 1 x x2 xn
1 1 1 1 1 1
2 2 n n a x (a x) 2 (a x) 3 (a x) n 1
x y x y x y L
1 x x2 xn
a x (a x) 2 (a x) 3 (a x) n 1
64) Hallar el grado de la siguiente
expresión:
71) Cuántos términos tiene el siguiente
1 1
producto:
1 1
1 1 1 1
1 2 3
M n
x 2 .x 4 .x 6 x 2 n ( x n 5 x n 4 x n 3 x 7 x 6 ) x
(2 x 8 5 x 7 8 x 6 5 x 5 )
65) ¿Cuál debe ser el valor de “x” para
que la expresión sea de segundo
grado? 72) Simplificar la fracción:
M x a .x a 2 .x a 3 x a 4
32 Lo bello de las matemáticas
1 1 1 1
, , ,,
2 3 4 p 1
m 1
1 Calcular el valor de:
n
1 E S1 S 2 S 3 S P
m
n
n
78) Sea: a k x k x 4 2x 2 1 ,
k 0
1
n 1 Calcular:
m
1 n
m
n
a
K 0
k
Log a b Log a b Log a ( x 2 2 ) 2
86) Resolver:
2 3 x 2
( Log b) Log x .( Log b) Log x .( Log b) Log x ( Log b) Log x ( Log b) x x
88) ¿Cuál(es) deben ser las condiciones para que P x sea un polinomio completo y ordenado
entero en “ x ”?
2 3 n
P( x) a x logb p x logb p x logb p x logb p
89) Simplificar:
1 12 13 3
2 3 22 3 23 n 1
n n 1 n2 n 1 n3
Log 1 Log 2 Log n
1 1 1 3
2 2 2
3 3 n 1
n n 1 n n 1 n
si n
90) Simplificar:
1 1 1
E
Log a0 a1a2 an 1 Log a1 a0 a2 a3 an 1 Log an a0 a1 an1 1
a 0 , a1 , a 2 , , a n 0
91) Simplificar:
n
Log k 1 (k 2) Log k (k 1) Log k 2 k
Log
k 2 k ( k 2) Log k 1 ( k 2) 1 Log k 2 (k 1) Log k (k 1) 1 Log k 1 k Log k 2 k 1
M lo g b lo g b lo g b lo g b lo g b x si b 1
8
" n ra d ica les "
93) Efectuar “ A B ”
A Log 2
2 2 Log 2 2
2 2 2 Log 2 2 2 " n 1" radic.
2 2 2"n "radic .
94) Resolver:
n log a x n 1
2 log x 3 log a x 4
log a x a
log n 1 log n 1 1 log 3 (1 log 2 ) ( n 1)! (log a x ) n
95) Si:
1 1 1
1 23 1 33 1 n2
1 22 2 1 32 3 1 n2 n
2 2 3 3 n n
2 3 n
98) Calcular:
2 6 12 20
E 1 1 1 1 " n" sumandos
2 6 12 20
1 1 1 1
1 1 1 1
35 Lo bello de las matemáticas
1 1 1 1
64 2n1 1 1 1 1 1
2 2 22 22n
110) Hallar la suma de la serie:
104) Se escriben sin interrupciones la serie
de los números naturales a partir de 42,
1 1
prescindiendo de los que usan la cifra 3. n 2
n 1
n 2
¿Cuál es la cifra que ocupa el lugar 1993? n 1
1
1 2 3 n
2n n2 n
n 1
n 1 2
n 1
n(n 1)
107) Hallar la suma de la serie:
112) Hallar la suma de la serie:
1 1
arctg n arctg n 1
2n 1
n 1
n
n 1
2
(n 1) 2
108) Hallar la suma de la serie:
113) Sea la sucesión de números reales:
4n
1
2
Hallar la suma de la serie a
k 1
k , si existe.
n 1 1
n 2n 3
1
n 0 (n 1)(n 2)
1
(n a)(n 1 a)
n 0
Tópicos matemáticos
Es muy frecuente encontrarse con problemas referentes a series y sucesiones que se definen
recursivamente, se sabe muy bien que una sucesión o serie es recursiva cuando para definirse
requiere de al menos un término anterior a él.
Es decir:
an f an 1 , an 2 , , an k , k 0
Anécdota:
1) Sea la sucesión:
a1 , a 2 , a 3 , , a n , , definida así:
5
a1 b, b R , b 0
6
5
a n 1 a n , n 1
6
n
Sea la sucesión: S n n1, tal que : a k Sn
k 1
Como la primera sucesión viene dada por recursividad, es necesario encontrar otra sucesión que sea
equivalente a la primera, pero que de algún modo ya no sea recursiva y dependa solo del conjunto
de números enteros positivos, es decir de su dominio de función.
5
a n 1 b, n 1 , partiendo de un análisis inductivo tendremos:
6
2
5 55 5
Si n = 1 entonces: a 2 a1 b b
6 66 6
Si n = 2 entonces:
2 3
5 55 5
a3 a 2 b b
6 66 6
En general podemos inducir que:
n k
5 5
a n b Que en otro sentido es a k b , luego al reemplazar en la segunda sucesión se
6 6
tendrá:
n n k
lim S n , que si existe dado que la serie prescindiendo de la notación de sumatoria se puede escribir
n
como sigue:
5 5 2 5 3 5
n
b
6 6 6 6
Esta es la suma de los términos de una progresión geométrica decreciente, dado que la razón es
menor a la unidad, cuyo límite se calcula por:
5
lim S n b 6 5b
n 5
1
6
Productos infinitos
Al multiplicar consecutivamente los “ n ” primeros términos de una sucesión se obtiene una nueva
sucesión:
n
p1 . p 2 . p 3 p n p k
k 1
El símbolo para abreviar tal producto es (Pi mayúscula) que llamaremos “productoria”.
Una productoria se llama convergente, si existe el límite finito:
38 Lo bello de las matemáticas
n
lim pi lim Pn P y P es distinto de cero.
n n
i 1
Si P 0 y ninguno de los factores p n es igual a cero, el producto se llama divergente hacia cero;
en caso contrario el producto se llama convergente hacia cero.
En el cálculo superior se han de tratar a mayor profundidad estos productos. Es importante aclarar
que muchas funciones reales o complejas se pueden expresar como productos finitos o también
infinitos, así como también en series de potencias finitas e infinitas, como veremos más adelante.
x2
sen x x 1 2 2
n 1 n
4x 2
Cos x 1 2 2
n 1 (2n 1)
Las tablas de funciones trigonométricas, logarítmicas, etc., están hechas en base a Secuencias de
este tipo y series de potencias, aún más, las calculadoras modernas operan con estos algoritmos. Es
de ahí que es importante su aplicación.
Anécdotas:
1) En la secuencia de productos para el seno, tomando x , demostrar la “Fórmula de Wallis”
2
2n 2n
2 n 1 2n 1 2n 1
Simplemente acá reemplazamos x en la fórmula de producto para el seno de una función:
2
2
sen 1 24 2 Efectuando
2 2 n 1 n
Operaciones se tendrá:
4n 2 1 1
1
2 n 1 4n 2
2
(2n 1)(2n 1)
n 1 4n 2
2n 2n
2 n 1 2n 1 2n 1
39 Lo bello de las matemáticas
1
1 n
n2
2
1 1 1 1
1 2 1 2 1 2 1 2
2 3 4 n
Ahora vamos a realizar operaciones que no despiertan desconfianza alguna:
2 2 1 3 2 1 4 2 1 5 2 1
2 2 2 2
2 3 4 5
1 n2
Al simplificar factores queda:
2 n 1
Para calcular su valor, evaluamos su límite:
1 1 n2 1
1 n
n2
2
Lim
2 n n 1 2
n
1 2
1
2
n 0
1 1 1 1 1
1 1 2 1 2 3
2 2 2 2 2
1 1 1 1 1 1 1 1 1 1
1 1 2 1 4 1 2 3 4 5 6 7
2 2 2 2 2 2 2 2 2 2
1 1 1 1 1 1 1 1 1 1 1
1 1 2 1 4 1 8 1 2 3 4 5 6 7
2 2 2 2 2 2 2 2 2 2 2
El producto buscado es la suma de una serie geométrica decreciente al infinito, por tanto el producto
pedido valdrá:
2n
1 1 2
1
n 0 2 1 1
2
3) Llevar a cabo la siguiente demostración: (Pi según Francois Vieta).
2 2 2
2 2 2 2 2 2 2
Euler lo demostró analíticamente
En primer lugar tomando en cuenta la identidad trigonométrica del ángulo mitad tendremos:
x
2 cos 2 1 cos x
2
Luego los radicales los podemos escribir como sigue:
2 2 cos
4
2 2 2 2 cos 21 cos 2.2 cos 2 2 cos
4 4 8 8
2 2 2 2 2 cos 21 cos 2.2 cos 2 2 cos
8 8 16 16
2 2 2 2 cos n 1
2
"n "radicales
2 2 2 2 2
2
2 cos 2 2 cos 3 2 cos 4 2 cos 5 2 cos n 1
2 2 2 2 2
Al simplificar, en el denominador del segundo miembro quedará:
41 Lo bello de las matemáticas
1 1 1 1 1
2
cos 2 cos 3 cos 4 cos 5 cos n 1
2 2 2 2 2
Antes de continuar examinaremos el siguiente producto:
x x x x x
cos cos cos cos cos n
2 4 8 16 2
Probemos que este producto converge y tiene límite distinto de cero
x x
Tenemos la siguiente identidad trigonométrica 2 sen . cos senx , al despejar el coseno de la
2 2
x senx
fórmula del ángulo doble se tendrá cos , aplicando esta identidad al producto
2 x
2 sen
2
tendremos:
x x x x
senx sen sen sen sen n 1
2 4 8 2
2 sen x 2 sen x 2 sen x 2 sen x 2 sen x
2 4 8 16 2n
Simplificando se tendrá:
senx
x
2 n sen
2n
x
En este caso si n , la cantidad tiende a cero, haciendo un cambio de variable
2n
x x
z n
2n ahora si n la cantidad z 0 , luego calculamos el límite
2 z
x sen z
lim senz x lim x De esta forma demostramos que el producto converge hacia:
z 0 z z 0 z
x x x x x senx
lim cos cos cos cos cos n
n 2 4 8 16 2 x
Finalmente vamos a aplicar este resultado a nuestra demostración:
1
2 2
sen
2
2
Con lo que queda demostrada la igualdad.
42 Lo bello de las matemáticas
DETERMINANTES, NÚMEROS
IMAGINARIOS, DESIGUALDADES, a d g
a g
NÚMEROS COMBINATORIOS Y b e h Es el
FACTORIALES c i
c f i
menor complementario de “e”
Es este subtítulo dedicaremos los ejemplos
necesarios para resolver problemas de
determinantes, números imaginarios,
Al desarrollar el menor complementario de un
desigualdades, números combinatorios y
elemento, hay que tomar en cuenta que esta
factoriales. Todos presentados en forma de
determinante tiene signos. El signo de un
series y sucesiones.
elemento esta indicado por la suma de el
número de fila y el número de columna al que
pertenece dicho elemento, si la suma es par el
signo será positivo, si la suma es impar el
Determinantes
signo será negativo.
Una determinante es el número que se le
asigna a una matriz cuadrada (llamada así
En la determinante anterior, el menor
porque el número de filas coincide con el de
complementario “e” es de signo positivo dado
columnas), los métodos para efectuar su
que nºcolumna+nºfila = 2+2 = 4 es par.
cálculo son:
Una determinante de cualquier orden puede
La definición:
desarrollarse a partir de sus menores
a1 b1 complementarios.
a1b2 a 2 b1
a2 b2
Por ejemplo, desarrollar la determinante por
menores complementarios:
Para las de orden 3 es práctica la regla de
Sarrus:
a1 b1 c1
a1 b1 c1 a2 b2 c2
a1 b1 c1 a2 b2 c2 a3 b3 c3
a2 b2 c 2 a3 b3 c3 =
Para hacer este desarrollo elegimos cualquier
a3 b3 c3 a1 b1 c1 fila, por ejemplo la fila 1, ahora la
determinante será igual al producto de cada
a2 b2 c2 elemento de la fila elegida por su menor
complementario con su signo.
a1 b1 c1
(a1b2 c3 a 2 b3 c1 a 3 b1c 2 a 3 b2 c1 a1b3 c 2
a2 b2 c2
a 2 b1c3 )
a3 b3 c3
Para determinantes de orden superior a tres b2 c2 a c2 a b2
se aplica un método más general que es el de a1 b1 2 c1 2
Menores complementarios o Regla de b3 c3 a3 c3 a3 b3
Laplace.
Cantidades imaginarias
El menor complementario de un elemento en
un determinante, es otro determinante que Como sabemos las potencias de la unidad
resulta después de suprimir en el imaginaria se presentan en forma periódica
determinante, lo elementos que pertenecen a pudiendo tomar cuatro valores:
la fila y columna de dicho elemento:
43 Lo bello de las matemáticas
n 1 0 0 0
0 n2 0 0
n 0 0 n3 0 +0
0
0 0 0 1
1 2 3 4 5
3) Demostrar la siguiente desigualdad: 11 22 33 44 55
E i i i i i
1 1 1 1 6 7
1 n ( n 2) 66 77
2 3 4 n i i
1 1
E 3i 5i 2 7i 3 9i 4 (8n 1)i 4 n
3 n
4n
................
................
5) Calcular:
1 1
n n
Al sumar miembro a miembro las E i
i2i3
4 5
i 6
ii
desigualdades se tendrá: " 4 n "Sumandos
"n"veces
1 1 1 1 1111
1 6) Calcular:
2 3 4 n n
45 Lo bello de las matemáticas
E i 2i 2 3i 3 4i 4 ni n
2
7) Calcular: 13) Si 1, w, w son las tres raíces cúbicas de
la unidad, calcular el valor de:
E i 2 3i 4 5i 6 7i 8 (2n 1)i 2 n
1 w 1 w 2 w 54
8) Efectuar: E
1 C153 w C253 w 2 C5253 w52 w53
34 78
12 56 i n i i 2 i 3 i 4 n 1 ; reducir:
E i i 14) Si
( 4 n 3 )( 4 n 4 )
( 4 n 1) ( 4 n 2 )
i ( n 2)( n 2 )
C i
9) Calcular: 15) Calcular:
11
nn
E (1 i ) (2 i ) (3 i ) (4n i )
2 3 4n
in
n 1
16) Calcular:
2
10) Si 1, w, w son las tres raíces cúbicas de
n
la unidad, hallar el valor de “n” que cumple
con la siguiente identidad:
C (3k 2)i 3k 2 , n 4
k 1
17) Simplificar:
(1 w) (1 w 2 ) 2 (1 w 3 ) 3 (1 w 3n ) 3n
584 i 2 2i 4 3i 6 4i 8 8ni 16 n
F
3i 5i 2 7i 3 9i 4 (8n 1)i 4 n 4n
2
11) Siendo w, w las raíces cúbicas
complejas de la unidad, calcular el valor de: 18) Simplificar:
2
x
w50 E
w4 x 2
w3
w w2
E w 3
3
x 2
E (1 w w 2 w 3 w 25 )
(1 w 5 w10 w15 w 220
46 Lo bello de las matemáticas
3 3 3 3
23) Calcular:
"n"radicales
1 22 n
3 2n 1
1 3 2n 1
1 1 .3
2n a 1 1 1
1 a 1 1
1 1 a 1
20) Hallar las siguientes sumas de las
determinantes de Vandermonde:
1 1 1 a
24) Calcular:
1 1 1 1 1 1 1 1 1
1 2 3 2 3 4 3 4 5 1 n n n
1 4 9 4 9 16 9 16 25 n 2 n n
"n"Sumandos n n 3 n
21) Calcular:
n n n n
1 x2 x 0 0
34) Sabiendo que:
x 1 x 2
x 0
0 x 1 x2 0
k C15 C36 C58 C710 C1720
0 0 0 x 1 x 2
x
Calcular el valor de:
0 0 0 0 x 1 x2
42) Efectuar:
a ) ( x1 x 2 x n ) 2
...
C C C ..." n " veces ...
a ...
...
w
C C C C w
C C C A w
b ...
L
4
3 3 cm
2 3 cm
10 cm 1 3 cm
3) En la siguiente figura: 30 cm
49 Lo bello de las matemáticas
R R R
a R ...
10) Un foco de 0,5 funciona con 4
R R R R
amperios. ¿Cuántos focos en serie
R
funcionarán, si dicha red se alimenta con
R R R
b ... 24 10 5 J de energía durante 40 minutos?
... 4 A1 A2
3
A3 A4
2
A5 A6
1
A7 A8
...
16) Hallar el módulo de la resultante del
conjunto de vectores mostrados, si:
10 Tópicos matemáticos
a 0 a n 1
0,5n 1 LIMITES
1) Calcular el Límite:
17) Un atleta va de “A” hacia “B” con una
velocidad constante V1 y regresa hacia “A” ( x 1)( x 2 1) ( x n 1)
lim n 1
con una velocidad constante V2 ; y así n
(nx ) n 1 2
sucesivamente recorre “n” veces el segmento
AB , como se indica en la figura. Hallar la Para efectuar el cálculo de este límite,
velocidad media promedio y su velocidad
debemos tomar en cuenta que al multiplicar lo
promedio.
numeradores obtendremos un polinomio
v1 entero en “x” , que como bien sabemos tendrá
t1
A B como mayor exponente a la suma de los
v2 t2 exponentes de “X” en cada factor:
A B
v3 t3
A B exp.máximo 1 2 3 4 n
..
.
vn Esta suma es una progresión aritmética y
tn equivale a:
A B
L
n ( n 1)
máximo 2
18) Un rayo aparece en el cielo durante “p”
x x
el coeficiente del término que contiene el
segundos y describe la trayectoria que se
exponente máximo será uno, porque los
muestra en la figura. Supongamos que los
factores que se multiplican entre si tienen por
puntos A1 , A3 , A5 , están el línea recta al coeficiente la unidad. Ahora en forma práctica
igual que los puntos A2 ; A4 ; A6 ; , Hallar la el Límite se calculará por:
m 1 P( x) 1 m 1 1 P( x) m 2 1 P( x) 1
x x2 xn n lim
lim
n x m 1 1 P( x) m 2 1 P( x) 1
n x 1 1 P( x) 1
lim
En el numerador tenemos términos en
n
x( m 1 1 P( x) m 2 1 P( x) 1
progresión geométrica, por tanto podemos Al reemplazar por el valor de P(x):
escribir el límite como sigue:
x(a1 a2 x an x n 1 )
n
x( x 1) n
x( x 1) n( x 1) lim
n x ( m 1 1 P ( x ) m 2 1 P ( x ) 1)
n
lim x 1 lim x 1
a1 0 0 0 a
x 1 x 1 x 1 x 1 1
Simplificando: (1 1 1 1 1) m
" m " veces
x n 1 (n 1) x n Como queríamos demostrar.
lim
x 1 ( x 1) 2 4) Calcular el Límite:
(1 x n )(1 x m ) ( x 1) 2 (1 x x n 1 )(1 x x m 1 )
Para salvar la indeterminación dividiremos por Rufinni dos veces sucesivas (Es una división exacta
de acuerdo con el teorema del residuo):
n 0 0 0 0 0 m 0 0 0 mn
1 n n n n n n nm nm nm nm
n n n n n n nm nm nm nm nm
1 n 2n 3n 4n ( m n) n (m n)(n 1) mn
n 2n 3n 4n 5n (m n)n (m n)(n 1) (m n)(n 2) mn 0
Para calcular este límite se han formado dos sumas series, regresando al límite original después de
haber efectuado la división:
mm n 1
f ( x) kn (m n) (n k )
k 1 k 1 mn
lim
x 1 g ( x) mn mn
Este límite se calcula mucho más fácil aplicando le regla de L’Hopital, pero aquí nos interesa su
cálculo por medio de series.
4) Calcular: 12 32 (2n 1) 2
a ) lim
n 2 2 4 2 (2 n ) 2
1 1 1 13 23 n3 n
lim b) lim
n n 1 n2 2n
n
n3 4
13 43 73 (3n 2)3
Indicación:
c) lim 2
Aplicar la fórmula
n
1 4 7 (3n 2)
1 1 1
1 C ln n n
2 3 n 8) Calcular el límite:
n 1
( x a)2 f ) lim
n
n
2 4 2 8 22 2
x
(n 1) x n
c) lim
x 1 ( x 1) 2
10) Calcular el siguiente límite:
(m, n son números naturales )
3
lim x x 2 4 x 3 n x n 1
7) Calcular los límites que siguen: n
1 3 2n 1
lim 0
n
2 4 2n
54 Lo bello de las matemáticas
1
1
a
1
1 a
lim a
a 1 a
a
a
n 2n 1 n 1 2n2 n2
lim 2 a a2 1
a2 1
4
a3 a 1
n
15) lim n ( x a1 )( x a2 ) ( x an ) x
n
1 a 2a (n 1)a
lim x x x
n n
n n n
2 2 2
1 a 2a (n 1)a
lim x x x
n n n n n
lim sensensen
senx
n
" n " veces
n
x x2 xn
lim 1 e x
Si se sabe que: lim 1 x e
x
n
n n
2! n !
n
x n 1 xn2 x2
a ) lim
n ( n 1)! (n 2)! (2n)!
n x x x
b) lim (1 x)(1 x 2 )(1 x 4 ) (1 x 2 ) si x 1 c) lim cos cos cos n
n n 2 4 2
19) Reto:
( x)
Sea lim 1 donde
( x)
x 0
lim
x
n
(1 x 2 )(2 x 2 )(3 x 2 ) (n x 2 ) x 2 6
20) Calcular:
n2 2 1 n2 2 2 n2 2 3 n2 2 n n 1
2n 2n 2n 2n
lim 4 n
n
" n " radicales
x x x
lim
x
3
x x 2 4 x3
56 Lo bello de las matemáticas
...
MISCELÁNEA Nº 7
R
Aplicaciones en Física 2 R
1 R R
1) Si todas las resistencias son iguales a 1 ,
calcular la intensidad de corriente eléctrica que V
R R
circula por el circuito mostrado. La red se
R
alimenta con una diferencia de potencial de n R
2
V (n n)Voltios R R
V
...
Si todas las resistencias son iguales a 7. 7) Hallar la velocidad media del móvil en
la gráfica “v-t”:
...
V
V
vo
...
...
...
3) En el circuito:
Hay “n” conjuntos iguales, determinar cuantos
conjuntos de circuitos se tienen si por el t
circuito total pasa una corriente de 5 amperios.
1 2 3 4 n-1 n n+1
4) Si:
216
R y V n 2 volt , I (n 1) A
7
En el siguiente circuito se pide calcular el
valor de "n"
57 Lo bello de las matemáticas
-10 A 2 R .m.sen 30 º B 2 S
16) Si las unidades de “E” son segundos,
10) Se tiene “n” bolas en reposo. Si la bola ¿Qué unidades tendrá “B”?
“A”, que se mueve con una velocidad v 0 sobre
la superficie lisa mostrada, choca con la bola B n Ann 1 .Pnn 1
“1” y ésta a su vez choca con la bola “2”, y así
sucesivamente, ¿Con qué velocidad se mueve A0 A12 A23 Ann 1
la n-ésima bola? Todas las bolas son idénticas En
y los choques inelásticos, con un coeficiente P0 P12 P23 Pnn 1
de restitución igual a “e”.
vo = 0 Donde: A0 metros,
v=0 v=0 v=0 v=0
A 1 2 3 ... n P0 2 sen m / s 2
VA k n e n e n e
Donde:
58 Lo bello de las matemáticas
Q aceleración mE
sec 2 ( ) x x x
xi longitud C
m = masa
Vi velocidad E = presión
K i const . física C = cantidad de movimiento
cos 2
n 1
n 1
3) Calcular el producto:
x
cos 2 n
20) Hallar las dimensiones de “x” en el n 1
sistema técnico (M = masa)
11) Demostrar el siguiente producto:
x
M x senh x
x cosh 2
n 1
n
x
x
12) Si x 1 , calcular el producto:
21) Hallar las dimensiones de “x” en el
sistema técnico, en la siguiente 2n
ecuación dimensional: (1 x
n 0
)
13) Demostrar:
59 Lo bello de las matemáticas
3n 3n 2 21) Hallar la suma de los “n” primeros
n 1 3n 1 3n 1
3 3
términos de la serie en logaritmos
2 n
14) Calcular el producto:
log log log
S 2 2 2
n2 4 ln 10 2
ln 10 ln n 10
2
n 3 n 1
a
n 1
n
Tópicos matemáticos
SERIES TRIGONOMÉTRICAS
1
18) Reto: Sea ( x) x
, que es la
n 1 n Una serie de funciones de la forma:
función zeta de Riemann, y sea
p n (n 1,2, ) la sucesión de a0
a1 cos x b1 sen x a 2 cos 2 x b1 sen 2 x
números primos. 2
a
Demostrar que
0 (a n cos nx bn sen nx)
2 n 1
1
Recibe el nombre de "Serie Trigonométrica”.
1
1 x ( x)
n 1 pn
Los números constantes
a 0 , a n , bn (n 1,2,3) se llaman
coeficientes trigonométricos. La serie es
19) Reto: Demostrar que
convergente cuando su suma es una función
n 1
periódica de periodo 2 , puesto que
sen nx, cos nx son funciones periódicas de
n
(a bi)
i 0 2 periodo 2 , además que se cumplan los
Lim n 1
, criterios de convergencia.
n e
(a bi)
i 0 Si los límites de la sumatoria son entre 1 y n ,
donde a, b 0 la serie se convierte en un polinomio
trigonométrico.
En tópicos de análisis se estudian las series
20) Calcular la suma serie (si existe) de Fourier, una serie de Fourier sirve para
desarrollar ciertas funciones f (x ) por medio
1 1 1 de series trigonométricas ó polinomios
k trigonométricos, previo a ello es necesario
k 1 k 1 1 k 1 1
60 Lo bello de las matemáticas
Desde luego que para este ejercicio podíamos haber usado la fórmula propuesta anteriormente, el
resultado hubiera sido el mismo, claro que hubiésemos tenido que ponerlo en una forma tal que se
parezca al resultado que hemos obtenido con este procedimiento. Lo que pretendo mostrar es existe
la necesidad de memorizar la fórmula de la suma de funciones trigonométricas cuyos ángulos estén
en progresión aritmética. Más adelante deduciremos esta fórmula aplicando el mismo método que
aquí usamos.
En muchos casos donde se tenga que sumar series trigonométricas de este y otros tipos, es
ininteresante ver como el artificio aquí propuesto puede ayudarnos a resolver problemas
aparentemente complicados, como examinamos en este ejemplo, sólo necesitamos alguna fórmula
elemental de trigonometría y álgebra elemental.
62 Lo bello de las matemáticas
Anécdotas:
1) Simplificar:
89 2º
sen
J 2 sen(2º 88 2º ) sen89º sen90º cos 1º cot 1º
2º 2 sen1º sen1º
sen
2
2) Reducir:
n2 x
sen
E 2 cos( x nx ) , pero como
2x
sen
2
(n 1) x nx x sennx sen( x) senx
además : cos( x nx ) cos 1
Luego tendremos:
senx
E (1) 1
senx
3) Hallar el valor de:
Sea:
E sen
1
2
sen
º 2
2
º sen
2
44 2
º sen 45º sen
46
2
sen
º 47
2
sen
2
89
2
º sen 90º
A B
Entonces:
2
1
E A B 1 A B 1,5
2
Hay que notar que:
sen 46º cos 44º , sen 47 º cos 43º , , sen88º cos 2º , sen89º cos 1º
Por lo que:
63 Lo bello de las matemáticas
A B 44
Finalmente:
E 44 1,5 45,5
Para este problema vamos a aplicar un artificio que será en adelante muy importante para
resolver futuros problemas.
2 cos x S n 2 cos x cos x 2 cos 2 x cos x 2 cos 3 x cos x 2 cos 4 x cos x 2 cos nx cos x
2 cos xS n cos nx cos x 1 cos x cos 2 x cos( n 1) x cos nx cos x cos 2 x cos nx
cos( n 1) x
(2n 1) x x
sen sen
Sn 2 2 1
x 2
2 sen 2
2
(2n 1) x x (n 1) x
sen sen sen
Sn 2 2 2 cos nx
x x 2
2 sen sen
2 2
5) Calcular la suma límite de la siguiente serie de Fourier, demostrar así que es convergente.
2 S S 4 S 2 senx
2 senx 3S
2
S senx
3
65 Lo bello de las matemáticas
MISCELÁNEA Nº 9
1.3sen 3.5sen 2 5.7 sen3
1) Aplicando la definición de funciones (2n 1)(2n 1) sen n
hiperbólicas, deducir la fórmula de la suma
Si x 1 y además f1 2 x ;
6) Calcular la suma de los “ n ” primeros
Términos de la siguiente serie f n 1 ( x) 2 f n ( x) n 1
trigonométrica:
Sn 1 2 3 n
Sea la serie:
1 1 1 1
Pn
2 3 4 n 1
S n S1 S 2 S 3 S n
Qn 2 2 2 n 1 2
3 4
Series de Potencias
S n S m Sl
Son llamadas series de potencias, porque
son series cuyos términos vienen 2) linealidad y producto de series
expresados en función de potencias a)
determinadas. En su forma general se
representan por: m an n bn (man nbn )
n 1 n 1 n 1
a 0 a1 ( x a ) a n ( x a ) n Donde m, n son constantes.
Esta propiedad es conocida como
Cada término de la serie está expresada en linealidad en la sumatoria.
potencias de ( x a ) .
Su estudio es importante. De este tipo de
series se obtienen los desarrollos de
b) a b
n 1
n
n 1
n cn
n 1
funciones continuamente derivables por
medio de Series de Taylor. Cuando se Donde:
hace a 0 , se obtiene otra serie llamada
Serie de Mclaurin. c n a1bn a 2 bn 1 a n b1 , que son
Con las series de potencias se pueden
los productos de las combinaciones
expresar funciones algebraicas como
polinomios, por ejemplo, en serie de binarias de los términos en “ a ” y en “ b ”.
potencias; también las expresiones del
seno, coseno, sus funciones inversas y 3) La suma infinita:
otras funciones trascendentes se pueden
n
obtener como series de potencias. Los
desarrollos en series de potencias de las an lim ak
n 1
n
k 1
funciones trascendentales reciben el
nombre de desarrollos Fundamentales.
Esta aplicación consiste en pasar una serie
finita a una serie infinita, generalmente no
Tópicos matemáticos
se pueden aplicar directamente algunas
propiedades a una serie infinita, por lo cual
OPERACIONES CON SERIES debe convertirse la serie en una suma
finita. (Recordemos que sumar hasta el
infinito es una tarea humanamente
Para todas las series cuyo campo de
imposible y con el paso al limite sólo
existencia pertenece a los números reales
estudiamos cómo es el comportamiento de
están definidas las siguientes operaciones.
una suma infinita).
1) Toda serie puede ser separada
adecuadamente en otras series parciales.
68 Lo bello de las matemáticas
Si u n v n 1 v n (n 1,2,3) y 1 1 1 1
Sea una serie
a1 a 2 a 3 an
lim vn v , se tiene:
n
u
n 1
n v v1 armónica, al calcular las suma de sus
recíprocos o lo que es lo mismo, sus
La serie cuya suma se puede representar inversos:
como en la igualdad anterior recibe el
nombre de Serie Telescópica. a1 a 2 a 3 a n Se tiene una serie
1 aritmética.
En particular, si u n
a n a n 1 a n m
Casi todas las series armónicas son
divergentes, aunque el criterio necesario de
Donde los números a i (i 1,2,3, ) convergencia se cumpla en esta serie. Pero
forman una progresión aritmética con las series armónicas son convergentes
diferencia "d " , se tiene: condicionalmente o cuando tiene términos
alternados positivos y negativos.
1 1 Más adelante demostraremos que la serie
vn
md a n a n 1 a n m 1 1 1 1 1
armónica 1 es
2 3 4 n
Este caso de sumación de series es el caso
divergente.
más general del método de las fracciones
parciales, definida aquí con la rigurosidad
Para aplicar el método de Euler se utiliza la
matemática que le corresponde.
siguiente identidad:
2º) SERIES TRANSFORMADAS
1 1 1 1
1 C ln n n
En algunos casos se consigue expresar la 2 3 4 n
serie dada en forma de una combinación
lineal de otras series que más adelante Donde C 0.577216 .... Es la llamada
vamos a estudiar. Estas series que son
“conocidas”, se obtienen de los desarrollos constante de Euler y n 0 cuando
de funciones en series de Fourier, de n
Mclaurin y Taylor. 4º) DERIVACIÓN E INTEGRACIÓN DE
Entre muchas otras series conocidas UNA SERIE TÉRMINO A TÉRMINO.
tenemos:
A una serie de funciones, en nuestro caso
una función de una sola variable. Se le
puede aplicar la derivación e integración
término a término con el fin de reducir la
69 Lo bello de las matemáticas
/
Es lícito integrar y derivar término a término
n 1
f n ( x) lim f1/ ( x) f 2/ ( x) f n/ ( x)
n
una serie, siempre y cuando se lo haga
dentro de su intervalo de convergencia,
esto se debe tomar muy encuenta cuando
Derivar término a término la serie dada, se reemplaza en los límites de una
luego si existe la suma de la serie: integración.
n 1
inicial pedida, aplicamos la antidiferencial o Remarca.- En realidad estas operaciones
integral a ambos miembros: no son tan obvias, su demostración no la
expondremos acá.
/
Un método abreviado que nos permite
n 1
f n ( x) S ( x)dx
determinar la suma de series del tipo
1 x
3 n 1
n3 x n
1 x
4
También se
igualdades:
verifican las siguientes
x3 x5 x7
5º) MÉTODO DE ABEL sen x x
3! 5! 7!
(Del matemático Noruego Niels Henrik x2 x4 x6
Abel). Para calcular una serie numérica se
cos x 1
2! 4! 6!
la puede reducir a una serie de Potencias.
x x 2 x3
e x 1
1! 2! 3!
Si la serie a
n 1
n es convergente, se tiene
Que son los desarrollos de Maclaurin.
eix cos x i sen x (Fórmula de Euler)
n
a
n0
n lim
x 1 0
a x
n0
n Probablemente el lector ya conozca estas
expansiones en series de potencia, no
obstante más adelante se indicará como
Ahora la serie se reduce al caso elemental obtenerlas (notas introductorias a las series
de derivación e integración término a de Taylor).
término, porque transformamos
parcialmente la serie dada en una serie de
potencias. 7º) LA SERIE ARITMÉTICO-
GEOMÉTRICA
a
n0
n cos nx y a
n0
n sen nx
Donde a y u son los primeros términos
Si es posible se aplica el algoritmo de la de las progresiones aritméticas y
secuencia reiterada, previo una geométricas respectivamente y d y q
transformación de la serie, a menudo las razones.
convirtiendo un producto en suma en cada
término de la serie para formar (si es La
posible) la serie original y plantear luego la fórmula
suma serie como una ecuación, como se 1 a (q 1)(q n 1) d q (q n 1 1) (n 1)(q 1)
ha visto en el subtítulo de series
u q n 1 (q 1) 2
trigonométricas.
1 1 1 (1) n 1
1 n(n 1) x n 1
1 .2 2 .3 x 3 .4 x 2
3 .3 5 .3 2 7 .3 3 (2n 1).3 n 1 n 1
Llamemos S (x ) a su suma e integremos
término a término:
Para esta serie numérica vamos a aplicar el
método de Abel: S
S ( x) 2 x 3x
2
4x3
n 1 n 1 2 n 1
(1) (1) x 0
(2n 1).3
n 1
n 1
lim
x 1 0
(2n 1).3
n 1
n 1
S
Podemos volver a integrar la serie, pero
para no tener que derivar dos veces,
La notación que aparece en el límite nos hacemos la siguiente transformación:
indica que x toma un valor próximo a uno,
pero no igual a uno, es decir ligeramente
Sdx x(1 1) (2x x) (3x x2 )
2
menor a uno, gracias a ello es que cuando
derivamos término a término, justificamos
que la serie que resulta sea convergente. Hemos formado de nuevo nuestra serie
además de otra serie geométrica
Por lo que la serie tendrá la forma: convergente, por tanto:
x3 x5 x7 1
S lim x 2
3
Sdx x 1 1 x Sdx
x 1 0
3.3 5.3 7.3
Derivando término a término: x(2 x)
(1 x) Sdx
1 x
x2 x4 x6
S ' lim 1 2 3
x 1 0
3 3 3 x(2 x)
Sdx (1 x) 2
x S
dt x 1 1 1 2 2
S ( x) lim lim 1 ( x 2 )
S ( x) dx (x )
x 1 0 1 t 3 2 x 2
x 1 0
2.4
0 0
ln(1 x ) ln(1 x x 2 ) 1.3 2 3 1 x
S ( x) lim (x )
x 1 0
2 6 2.4.6 x 2
La serie dentro del paréntesis es el
1 2x 1 1 1
arctg arctg 1 x 2 , que se obtiene
3 2 3 2 desarrollo de
2
Finalmente: poniendo x en lugar de x en la serie
1 2 1 binomial.
S ln 2 arctg
3 3 2 Luego:
S 1 1 x2
6) Hallar la suma de la serie: 0 S ( x ) dx lim x
x 1 0
x x
1 1 .3 1 .3 .5 1 .3 .5 .7 Finalmente, para regresar a la serie
S 1 original, derivamos:
2 2 .4 2 .4 .6 2 .4 .6 .8
x2
1 x2
Previamente examinemos la serie binomial: 1 2
(1 x ) m 1
m
x
m( m 1) 2 m( m 1)( m 2) 3
x x
S ( x) lim 1 2 1 x 2
x 1 0 x x
1! 2! 3!
1
Si en ella ponemos m , entonces se
2
verifica: 1
1 1 2 1 .3 3 2
1 x 1 x x x S 11 2
2 2 .4 2 .4 .6 1
1 .3 .5 4 1
x S
2 .4 .6 .8 2
Por lo que podemos afirmar que la suma 7) Calcular la suma de la serie:
que se nos pide tendrá un parecido con
sen x sen 2 x sen nx
esta serie. Nuevamente aplicamos el S (1) n1
método de Abel: 1 2 n
Para Hallar la suma de esta serie
1 1.3 2 1.3.5 4 trigonométrica, haremos uso de la variable
S ( x) lim 1 x x
x 1 0
2 2.4 2.4.6 compleja.
Vamos ha examinar la suma de la siguiente
1.3.5.7 6
x serie de términos complejos:
2.4.6.8
Integrando término a término en su z2 z3 z4
intervalo de convergencia: S ( z) z , donde z
S 2 3 4
x 1 3 1.3 5 es un número complejo de la forma
S ( x)dx
0
lim
2 2.4
x 1 0
x
2.4.6
x
z cos x i sen x . En este caso
particular, la suma que se nos pide, se
1 .3 .5 7
x puede considerar como la parte imaginaria
2 .4 .6 .8 de la suma de la serie de términos
complejos S (z ) , en efecto:
Luego de unos arreglos evidentes:
(1) n 1 cos nx (1) n 1 sen nx
S ( z)
n 1
n
n 1
n
i
1
S ' ( z) 1 z z 2 z 3
(1)n1 sen nx sen x x
1 z arctg
Esto es posible por que la serie es n 1 n 1 cos x 2
convergente en el intervalo x .
Por integración se tendrá: sen x x
Obsérvese que tan .
S ( z ) ln(1 z ) 1 cos x 2
Adicionalmente, hemos obtenido la suma
La pregunta: ¿Cómo obtengo el logaritmo de la serie de cosenos, que corresponde a
de un número complejo?, se responde la parte real de la suma de la serie de
aplicando la fórmula de Euler: términos complejos:
x
(1 cos x) 2 sen 2 x 2cos
2 ( x ) .
sen x
arctg Esta es una serie cuya convergencia es
1 cos x evidente, curiosamente se la puede
x sen x comparar con la parte real de la suma de la
z ' 2 cos cos arctg serie de números complejos:
2 1 cos x
z z2 z3
sen x S 1 e z , donde
i sen arctg 1! 2! 3!
1 cos x z cos x i sen x .
Determinando su logaritmo natural:
e z e cos x i sen x e cos x e i sen x
De la fórmula de Euler:
x
ln z ' ln(1 z ) ln 2cos e i sen x cos( sen x) i sen( sen x)
2
e cos x e i sen x e cos x cos( sen x) i e cos x sen( sen x)
Parte real
Parte real Parte imaginaria
sen x
arctg i Deduciéndose:
1 x
cos
Parte imaginaria cos nx
Porque para cualquier complejo a bi , su
logaritmo natural de determina por la
n 0
n!
e cos x cos( sen x )
fórmula
b Por otra parte también obtenemos la suma
ln(a bi ) ln a 2 b 2 i arctg de la serie:
a
sen nx
Que se deduce de la fórmula de Euler.
(Debe observarse que sólo nos n 1
n!
e cos x sen( sen x)
interesamos en el valor principal del
logaritmo).
Por tanto la suma de la serie: 9) Hallar la suma de la serie:
(1) n 1 sen nx senn sennx
n 1 n
es igual a la parte n 1
n
imaginaria de la suma de la serie Previamente el producto lo volvemos en
compleja S (z ) . suma:
75 Lo bello de las matemáticas
cos( x ) cos( x )
cos( x ) x
sen( n )sen( nx) ln 2sen
2 2 n 1 n 2
La suma equivaldrá a: y finalmente:
1 cos( x ) 1 cos( x ) x
2 n 1
n
2 n 1
n
sen n sen nx 1
ln
sen
2
Únicamente vamos a examinar la segunda n 1 n 2 sen x
serie, por que el cálculo de la primera es 2
similar: 10) Hallar la suma de la serie:
(1) n 1
La serie:
cos( x )
n(n 1)
S 2 ( x)
n 1
n
Se puede
n 1
Aquí un
(1) n 1
, en valor absoluto la
comparar con la parte real de la serie de n(n 1)
variable compleja: descomposición de fracciones parciales del
n
z 1 1
n 1
n
, donde término general da un
n n 1
,
1 1
n ( n 2) 2
n 1
La serie que se ve involucrada es un
resultado conocido:
1 1
(n 1)(n 2) 2
n 1
n
xn
x
x 2 x3 x 4
2 3 4
1
ln
1 x
n 1
Para x 1 n 1
q n ein qei
n 1 n 1 1 qei
, la cual
x4
1
8
x 4 x 12 x 20 x 28 q n
cos Re i
, o sea
1 x n 1 1 qe
1 q cos
x8 q n cos
x 8 x 24 x 40 x 56 n 1 1 q 2 2q cos
1 x 16
16) Calcular la suma
............................... ...............................
x
.............................................................. arctan x arctan
1 1 2 x 2
De esta forma podemos decir que cada x
fracción produce series de potencias de arctan .
“ x ” únicas y diferentes de las demás, el 1 n 1 n x 2
conjunto suma de cada fracción equivaldría
a sumar: Recordando la igualdad
a b
2 n 1 arctan a arctan b arctan
x 1 ab
x x2 x3 x4 x5 Busquemos escribir cada sumando de la
2n
n 1 1 x serie como una diferencia de arcos
tangentes. Planteemos
Como “ x ” es menor a la unidad la serie es
convergente, y por tanto: a b x
2
, de donde
1 ab 1 n 1 n x
n 1
x2 x
2n
1 x a x n 1 ; b xn .
n 1 1 x
Entonces la serie se vuelve telescópica
15) Hallar las siguientes sumas
x
q n
sen n q sen q sen 2 q sen 3
2 3 arctg 1 n 1 nx
n 1
2
n 1
n
q n
cos n q cos q cos 2 q cos 3
2 3
lim arctg xk arctg x k 1 ,
n 1
n
k 1
x
Esta vez no se hará uso del método de la
secuencia reiterada, pero el lector
arctg 1 n 1 nx
n 1
2
lim arctg xn
n 2
observará que es posible calcular estas
sumas por dicho método. Consideremos la
siguiente serie de variable compleja:
78 Lo bello de las matemáticas
cos n 4
17) Calcular la suma n 3 !
n 1
Para nadie es un secreto que la geometría
es una de las disciplinas mas lindas de la
Recordando uno de los desarrollos más matemáticas, quizás por que exige una
importantes de Mclaurin mayor comprensión y capacidad de
análisis y reflexión. Por otra parte esta
x x x 2 x3 rama de la matemática también encuentra
e 1 , Necesitaremos
1! 2! 3! cosas muy interesantes relacionadas con
de la serie exponencial, puesto que la series matemáticas.
cos n 4
forma de n 3 !
n 1
lo dice a gritos, pero MISCELÁNEA Nº 10
cos n 4 cos cos 4 cos 2 4 cos 3 4
n 1
2e 4 1
n 3 ! 1!
2!
3!
3
n 3
18) Calcular la suma n 1
4n
La resolución sencilla y elegante es ver la a
serie como
3 3 3 3
n 3 1 n 3 2 1 03
n 1
4n
43 n 4 4 n 3 4 42 43
Es lo mismo que
3 n
n 3 1
1 33
n 1 4n
64 n 1
3
n
4 16
2) Se construye una espiral que tiene
como eje un triángulo equilátero de lado
De este modo aplicamos el resultado “ b ”, de acuerdo al siguiente gráfico. Si se
x3 4 x 2 x , haciendo cálculos tiene “ n ” arcos para realizar dicha
n 1
n3 x n
1 x
4 construcción, calcule UD el perímetro de
dicha espiral.
3
n 3 424
n 1 4 n
27
.
B C
Además el ángulo BAC 60 º
AREAS, VOLÚMENES DE
REVOLUCIÓN
11) En un cuadrado de lado “ a ” se traza Entre tantas otras aplicaciones que tienen
con centro en un vértice un arco de radio las series encontramos las de poder
“ a ”, en el sector BCD se inscriben las calcular áreas bajo curvas de funciones,
circunferencias tal como indica la figura, volúmenes de revolución y longitudes de
arcos (siempre y cuando conozcamos la
81 Lo bello de las matemáticas
Examinemos el ejemplo:
A lim f ( n ) x
x 0
Sea la función f (x ) de la cual deseamos n 1
saber el área comprendida bajo la curva y
el eje de las abscisas y las dos rectas Esta expresión que encontramos se llama
verticales x a , x b la definición de integral definida en el
sentido de Riemann. Se escribe así:
b
Anécdotas:
aa a 2a a na
V
nn n n n n
2
a
V 1 2 3 n
n
si xi 0 entonces n
Para darnos una idea de cómo calcular su
volumen imaginemos que hemos cortado la
parábola en pequeños “filetes cilíndricos” a 2 n(n 1) a 2
como el Vi de la figura cada uno con un
V lim
n
n 2 2
radio respectivo y i y una altura xi . Si
a 2
sumamos todos estos pequeños cilindros V
podemos aproximar el volumen de este 2
sólido por medio de la serie:
n Esta “anécdota” es la única que UD debe
Vi V1 V2 Vn
i 1
saber, se trata de una sola idea y debe
reproducirla cuando sea necesario, no
debe memorizar nada.
pero para que esta suma sea lo más
próximo posible al volumen real del sólido
de revolución, hacemos que los “filetes SOLUCIONES DE PROBLEMAS DE
cilíndricos sean lo más pequeños posibles” DISTINTA NATURALEZA
Por geometría es fácil darse cuenta que el
volumen de un pequeño cilindro es: 1) ¿En la figura, cuántos palitos hay?
2
Vi y x i
i
Ya no vamos ha analizar la naturaleza de
esta formula por medio de integrales.
199511999955111999999555......
n n n n
2n 1
S k 9 k 9 k 5 k
2n
1 1 1 1
7
S 12n(n 1) 5
3 8
1 6
Igualamos a 2880:
A 4
2880 12n(n 1) 2
240 n 2 n Se conjetura:
2
n n 240 0
1 2 1
A1
1 1 4(1)(240) 2 2
n
2 3
1
1 961 A2 4 7 2 .4 1
n
2 2 8 2 .4
5
La raíz cuadrada de 961 es 31. por tanto 3
1 6
n 16 , es decir se han empleado
A3 4 47 2.4.6 1
n(n 1)
136 dígitos por cada guarismo 2 48 2 .4 .6
2
de la cifra 1995, es decir en total se han
empleado N 4 136 544 dígitos. 2 n n!1
An
b) Para determinar el dígito que ocupa la
2 n n!
Este resultado se puede luego probar por
posición 1995, vamos a tomar un número
de partida, por ejemplo el “ 1 “: inducción matemática.
1995119999551119999995551111..... 6) Simplificar:
En e e e e e
3 4 n 2! 3! 4! n!
2n 2 2n 1 1995
Lo que debe saber ahora es que la serie:
2n 2 2n 1994 0
n 2 n 997 0 1 1 1
e 2
n(n 1) 997 2! 3! 4!
9) Calcular la suma:
n
u1 2 2 sen
2 (n 1) 4
n 0 n! 1 sen
2
4 2 sen
u2 2 2 2
Desarrollando la sumatoria: 2 8
1 2(2) 2 2 (3) 2 3 (4)
S Porque sen( x ) cos x y
1 1! 2! 3! 2 2 4 4
2 2 2 23
S 1
2 2 2 .2
un 2sen
4
8 16 ( 1)2n1
n 1
1! 2
! 3! 1! 2! Vemos que la sucesión el contener como
termino representativo la función seno, esta
e2 acotada. En efecto:
3 4
2 .3 2 .4 n
(1) k 1
3! 4! 1 sen
k 1
2 k 1
1 , por tanto la
sucesión si está acotada, y es decreciente
2 2 2 23 2 4 porque se verifica la desigualdad:
S e 2
1! 1! 2! 3! (1) n (1) n1
2 2 2 23
S e 2 2 1
sen
2 n sen
2n1
1! 2! 3!
Como esta acotada superior e
S e 2 2e 2
inferiormente, la sucesión tiene un límite
S 3e 2 único y converge con la serie alternada:
un 2 2 2 , o sea
u lim 2sen
n
4
8 16
( 1) n 1
2 n 1
u n 1 2 u n tal que u1 2 tiene
un límite igual a u 1 .
88 Lo bello de las matemáticas
1 1 4x
4 2 sen 1 u
u 2 sen
1 6
2
1 Donde u converge a una función real de
2 variable real, por tanto:
( x a ) n 1
Rn ( x ) Q( x)
............ .....................
(n 1)!
(n) El nuevo problema consiste en hallar el
Pn ( x) n(n 1) 2 1 C n valor de Q (x ) , su determinación no es
asunto que trataremos aquí, sin embargo
Hacemos las sustituciones respectivas, es se ha demostrado que:
decir lo dicho en principio:
Pn (a) f (a), Pn ' (a) f (a), Pn ' ' (a) f (a) ( x a ) n 1 ( n 1)
Rn ( x ) f ( )
(n)
, Pn (a) f (a). (n 1)!
Esta fórmula es llamada de Lagrange para
Es claro que tendremos: el término complementario o residuo. El
valor de se encuentra entre la vecindad
f (a) C 0 de extremos x y a , y puede ser
representado como sigue:
f ' (a ) C1
f ' ' (a ) 2.1C 2 a ( x a) donde 0 1
f ' ' ' / a ) 3.2.1C 3
La fórmula:
x a (x a)2
Pn (x) f (a) f ' (a) f ' ' (a)
f (n)
(a ) n(n 1)(n 2) 2.1C n 1! 2!
(x a)n (n) (x a)n1 (n1)
Aquí ya no hay mucho que pensar, resulta:
f (a) f a (x a)
n! (n 1)!
90 Lo bello de las matemáticas
x x2 x x 2 x3 xn
Pn ( x) f (0) f ' (0) f ' ' (0) e 1
x
1! 2! 1 2! 3! n!
3 5 7
x x x
x n ( n) x n1 (n1) sen x x
f (0) f x 3! 5! 7!
n! (n 1)!
x2n1
(1)n1
Es este caso particular de la fórmula de (2n 1)!
Taylor la que se conoce como Fórmula de
x 2 x 4 x6
Maclarurin. cos x 1
2! 4! 6!
En las series finitas es necesario x 2 n 2
considerar el residuo ó término (1)n1
complementario obtenido por la fórmula de (2n 2)!
Lagrange, pero para funciones infinitas x 2 x3 xn
convergentes que se pueden expresar ln(1 x) x (1)n1
como series de potencias, es común que 2 3 n
se pueda notar: 1 x 3 1.3 x 5
arcsen x x
2 3 2.4 5
Lím Rn ( x) 0
n 1.3.5 (2 n 1) x 2 n 1
Veamos como funciona esta fórmula de
2.4.6 (2 n) 2 n 1
Taylor. x3 x5 x7
arctg x x
1) Desarrollar en serie de potencias la 3 5 7
2 n 1
función f ( x) e x . ( 1) n 1
x
2n 1
Observemos en primer lugar que esta
función tiene derivada de orden n . Es necesario decir que no es necesario
Hallando las derivadas sucesivas se memorizar todas estas fórmulas,
obtendrá: prácticamente el concepto de la serie de
Taylor y Maclaurin son más que suficientes.
f ( x) e x , f ( 0) 1
Debe observarse que en las anteriores
x
f ' ( x) e , f ' ( 0) 1 series por considerarlas infinitas en sus
términos en n no consideramos el resto de
la serie. Importante es también ver que el
(n)
f ( x) e x , f (n)
( 0) 1 campo de existencia de las funciones:
e x ,sen x,cos x. es:
Al reemplazar en la fórmula de Maclaurin:
D x / x
x x2 x3 xn x n 1 x En cambio la función ln(1 x ) existe solo
ex 1 e para:
1 2! 3! n! (n 1)!
La serie es divergente para valores más D x / 1 x 1
grandes que uno de “ x ” pero para valores
de “ x ” menores que la unidad la serie es Y las funciones arctan x,arcsen x están
convergente, note UD que para x 1 la bien definidas para:
serie converge al número e .
D x / 1 x 1
La función seno, coseno y otras más
también pueden expresarse por medio de
series de potencias, UD puede cerciorarse Ahora veamos como podemos demostrar
de eso si sigue los pasos aquí indicados. algunos de estos y otros desarrollos:
91 Lo bello de las matemáticas
f ( x) sen x f (0) 0
2) Desarrollar en series de potencias la
función ax . f '( x) cos x f '(0) 1
f ''( x) sen x f ''(0) 0
f ( x) a x f (0) 1
f '''( x) cos x f '''(0) 1
f ' ( x) a x Ln a f ' (0) Ln a
f iv ( x) sen x f iv (0) 0
x 2 2
f ' ' ( x) a Ln a f ' ' (0) Ln a
f v ( x) cos x f v (0) 1
f ( n ) ( x) a x Ln n a f ( n ) (0) Ln n a Al reemplazar en la fórmula de Maclaurin:
Procedemos:
x 2 4 x 2 0 x1 0,59 ; x 2 3,41
2) Evaluar el límite: x3 x3
sen sen
lim m n lim mn 1 1
x3 x3 1 n
mn
x3 n m
x 0 x3 0
e x e sen x sen m n
n
m
lim
x 0
n 1
x 3
x 3
El otro límite lo tenemos que calcular por
medio de series:
m , m 1 e x e sen x
lim
x 0 x3
Primero vamos a calcular cada límite por
separado:
x3 x5
x
x 3! 5!
e e
lim
x 0 x3
3 5 7
x
x x x
e 1 e 3! 5! 7!
lim 3
x 0 x
2
1 x3 x5 1 x3 x5
x
e 1
1! 3! 5!
2! 3! 5!
lim
x 0 x3
2
3 5
1
1
x3 x5
lim e 1! 3! 5! 2! 3! 5!
x 1 x2 x2
6
x 0
Anécdotas:
93 Lo bello de las matemáticas
1(2)(3)
Para A1 : 1.2 2 evidentemente cumple.
3
Así suponemos que hemos llegado hasta n y que también se verifica:
n(n 1)(n 2)
An : 1.2 2.3 3.4 n(n 1)
3
Debemos mostrar que si hemos llegado hasta n es posible llegar hasta n 1 y con lo que
habremos probado la proposición:
(n 1)(n 1) 1(n 1) 2
An 1 1.2 2.3 3.4 n(n 1) (n 1)(n 2)
3
n(n 1)(n 2)
Pero sabemos que: 1.2 2.3 3.4 n( n 1)
3
n(n 1)(n 2) (n 1)(n 2)(n 3)
An 1 : (n 1)(n 2)
3 3
Vamos ha escribir de modo que se parezca a la proposición pedida:
(n 1)(n 2)(n 3) (n 1)(n 1) 1(n 1) 2
An 1 :
3 3
Con lo que queda probado.
Veamos:
An 1 : 3 2 n .3 2 7
An 1 : 3 2 n .3 2 3 2.7 3 2.7 7
An 1 : 3 2 (3 2 n 7) 7(3 2 1)
An 1 : 9(3 2 n 7) 7(8)
2n
Pero sabemos que 3 7 8c , por tanto:
An 1 : 9(8c) 7(8) 8(9c 7) , por lo tanto existe un c' 9c 7
Por tanto queda probada la proposición. Debe UD tomar muy en cuenta que aquí c ' es un
cuantificador existencial solo basta con probar que existe.
4 .2 2
1 sumando : 8 3(1) 5
1 .2
4 .2 2 8 .3 2
2 sumandos : 11 2(3) 5
1 .2 2 .3
4.2 2 8.3 2 12.4 2
3 sumandos : 14 3(3) 5
1 .2 2 .3 3 .4
4.2 2 8.3 2 (4n)(n 1) 2
n sumandos : 3(n) 5
1.2 2.3 n(n 1)
Pero esto no tiene validez si no se prueba por inducción matemática, al menos en este caso
debemos ver que si es posible recorrer los elementos inductivos 1, 2, 3,...., n, será también
posible llegar hasta n 1 y con lo que la sucesión siempre irá de esa forma.
Veamos:
Por definición
Podemos dividir tanto numerador y denominador por 1.2 2.3 3.4 n(n 1) y
distribuir de forma que nos convenga:
3(4n 4)(n 2) 2
(3n 5)
n(n 1)(n 2)
Pn 1 : 3n 8 3(n 1) 5 y queda probado.
3(n 1)(n 2)
1
n(n 1)(n 2)
4) Aplicando el principio de inducción matemática, demostrar
1 3 5 2n 1 1
P n : .
2 4 6 2n 3n 1
Verifiquemos que para n 1 P n sea cierto, en efecto
1 1 1
P 1
2 3 1 1 2
Supongamos que se cumple P n , i.e. tenemos como hipótesis
1 3 5 2n 1 1
P n :
2 4 6 2n 3n 1
Debemos mostrar que la siguiente desigualdad es cierta
1 3 5 2n 1 2n 1 1 2n 1 1
P n 1 : , como ya
2 4 6 2n 2 n 1 3 n 1 1 2n 2 3n 1 3n 4
que es equivalente a11n 10 n 2 . Por otro lado por hipótesis de inducción
1 3 5 2n 1 1
2 4 6 2n 3n 1
2n 1
Si multiplicamos ambos miembros de la desigualdad por
2 n 1
1 3 5 2n 1 2n 1 2n 1
2 4 6 2n 2 n 1 2n 2 3n 1
De donde por transitividad se tiene
1 3 5 2n 1 2n 1 2n 1 1
, y finalmente
2 4 6 2n 2 n 1 2n 2 3n 1 3n 4
1 3 5 2n 1 2n 1 1
P n 1 :
2 4 6 2n 2 n 1 3 n 1 1
96 Lo bello de las matemáticas
Por lo tanto P n , n n 1 .
5) Si n , demuestre que si sen 0 , entonces
sen 2 n
cos cos 2 cos 4 cos 2 n
n 1
.
2 sen
Considerémosla una proposición, digamos A n , es fácil ver que A 1 ya que
sen 2 2sen cos
cos cos . Supongamos que se verifica A n , tenemos que
2sen 2sen
mostrar que se cumple también A n 1 , entonces aplicando la hipótesis de inducción
cos cos 2 cos 4 cos 2n 1 cos 2 n y con algunas identidades
sen 2 n
2n sen
trigonométricas se evidente que
sen 2n 2sen 2n cos 2n
cos cos 2 cos 4 cos 2n1 cos 2n cos 2n
2n sen 2 2n sen
n sen 2n 1
cos 2
k 0
k
2n 1 sen
Que era a lo que queríamos llegar.
Por lo tanto A n , n n 1 .
n , demostrar
6) Para
1 2 3
Sn
n 1
n
n 1! 1
2! 3! 4! n ! n 1 ! n 1!
1 2! 1
Vayamos al problema. Se observa que S1 , supongamos que la fórmula es cierta
2 2!
paran , i.e. tenemos como hipótesis de inducción
1 2 3
Sn
n 1
n
n 1! 1 , veremos que pasa con S n 1 ,
2! 3! 4! n ! n 1 ! n 1!
escribiendo su suma
S n 1
1 2 3
n 1
n
n 1 haciendo álgebra
2! 3! 4! n ! n 1 ! n 2 !
n 1!1
n 1!
S n 1
n 1 n 1! 1 n 1 n 2 n 1! n 2 n 2 ! 1 que es a lo que
n 2 ! n 1! n 2 ! n 2 !
queríamos llegar. Por lo tanto S n , n n 1 .
97 Lo bello de las matemáticas
reales positivos X0,X1, ... ,X1995 que cumple maneras se pueden distribuir las n fichas
las condiciones: en el tablero (una ficha en cada casilla) de
modo que haya exactamente dos casillas
en las que el número rojo sea mayor o igual
i. X 0 X 1995
que el azul?
2 1
ii. X i 1 2Xi
X i 1 Xi 22) Sean n, p, q enteros positivos con n >
p + q. Sean x 0, x1,..., xn enteros que
verifican las siguientes condiciones:
Para 1 i 1995 .
1. x0 = x n = 0, y
17) Determine todos los enteros n>3 para 2. Para cada i, 1 i n, se tiene que,
los cuales existen n puntos A1,A2, ... ,An en o bien
el plano, y números reales r1,r2,...,rn que
cumplan las condiciones siguientes: xi - xi-1 = p,
n 1 cada región.
xi Para i 1, 2,..., n Llamaremos zonas de coincidencia a las
2 zonas de la hoja en las que el color que
usó coincide con el color que hay del otro
Demostrar que existe una reordenación (o lado de la hoja.
permutación) y1, y2, ... , yn de x1, x2, ... , Jorge gana si el área total de las zonas de
xn tal que coincidencia es mayor o igual que 1/n del
área de la hoja del papel. En caso
n 1 contrario, gana Martín.
y1 2 y2 nyn Demostrar que Jorge siempre puede ganar.
2
31) Para cada entero positivo n denotamos
27) Una matriz n x n (es decir, un tablero por d(n) el número de divisores positivos de
cuadrado de n filas y n columnas) se n (incluyendo 1 y n). Encuentre todos los
rellena con números del conjunto S={1, 2, enteros positivos k para los que existe
... , 2n - 1}, Tal tablero se llama matriz de algún n tal que
plata si, para cada i = 1, ... , n, la i-ésima
fila y la i-ésima columna juntas contienen
todos los números del conjunto S. d n2
Demostrar que: k
d n
(a) No existe ninguna matriz de plata para n
= 1997; 32) Diremos que un entero positivo n es
aceptable si los 2n números 0, 0, 1, 1, ..., n
(b) Existen matrices de plata para infinitos - 1, n - 1 se pueden ordenar de manera que
valores de n. para cada k = 0, 1, 2, ..., n - 1 haya
exactamente k números ubicados entre las
dos posiciones en que está colocado k (es
28) Una sucesión a1, a2, ... , a100 de 100
decir, entre los dos 0 no hay otro número,
números enteros positivos se llama
entre los dos 1 hay un número, entre los
apropiada si verifica las siguientes dos
dos 2 hay dos números, entre los dos 3 hay
condiciones:
tres números, y así siguiendo).
a. 1 a1 a2 ... a99 a100 1000; Demostrar que hay infinitos números n que
b. aj+1- aj-1 es divisible por 3 para todo son aceptables y hay infinitos números n
j=1, 2, ..., 99, es decir, a2-a1-1, a3- que no son aceptables.
a2-1, a4-a3-1, ..., a100-a99-1 son
todos divisibles por 3.
33) Se escribe una sucesión de números
enteros positivos menores o iguales que 56
Determinar la cantidad total de sucesiones (los números se pueden repetir), tales que
apropiadas. cada números escrito, excepto el primero y
el último, es mayor que el promedio de sus
dos vecinos (el de la izquierda y el de la
derecha). Determinar cuál es la mayor
29) Sea p un número primo impar. Para cantidad de números que puede haber
cada i=1, 2,..., p-1, denotamos con ri al escritos.
p 2
resto de dividir i por p . Calcular la suma
34) Sea n > 2 un entero dado.
r1 + r2 +...+rp-1.
Determinar la menor constante C para la
30) Se tiene una hoja de papel rectangular cual se verifica la desigualdad:
y n colores distintos. En una cara de la hoja
hay dibujadas líneas que la dividen en n 4
regiones y cada región está coloreada con xi x j x x C xi
2
i
2
j
un color distinto, como si fuera un mapa. 1i j n 1i n
En la otra cara de la hoja, Martín dibuja a
su antojo líneas que dividen la hoja en n Para todos los números reales
regiones. Jorge debe colorearlas usando
los n colores con un color distinto para x1 , x2 ,..., xn 0 .
100 Lo bello de las matemáticas
Para esta constante C, determinar cuándo números enteros positivos que sólo utilicen
se verifica la igualdad. estos primos en su descomposición.
Ramiro debe elegir algunos de los números
35) Se considera un tablero cuadrado de n de Marcos de modo que el producto de los
x n, donde n es un entero positivo par. El números que elija sea un cuadrado
2 perfecto. Determinar si es posible, para
tablero se divide en n cuadrados unitarios.
Decimos que dos cuadrados distintos del algún n, que Marcos elija sus n1 números
tablero son adyacentes si tienen un lado en de manera que a Ramiro le resulte
común. imposible cumplir con su objetivo.
Se marcan N cuadrados unitarios del 40) . El número A esta formado por 666
tablero de tal manera que cada cuadrado dígitos "3" (33333...33333) y el número B
(marcado o sin marcar) es adyacente a por esta formado por 666 dígitos 6. ¿Cuántos
lo menos un cuadrado marcado. dígitos tendrá el número A.B y cuál será
ese producto?
Determinar el menor valor posible de N.
41) Un turista, de visita en Cochabamba,
decide hacer un paseo por la ciudad. El
36) Decimos que un número natural es
alternado de orden n si sus últimas n cifras paseo se realiza por etapas. Cada etapa
se alternan en paridad. Por ejemplo, son consta de 3 segmentos, cada uno de ellos
o
alternados de orden 4 los números 1092, de longitud 100m, y dos giros de 60 a la
derecha, como se muestra en la figura.
6721, 541092, 31092, y no son alternados
Entre el último segmento de una etapa y el
de orden 4 los números 8072, 3418072,
primero de la siguiente, se hace un giro a la
7123345, 125. o
izquierda de 60 . ¿A qué distancia estará el
turista del punto inicial después de haber
Demostrar que para cada entero positivo n recorrido 1997 etapas?
k
existe un entero positivo k tal que 5 es un
número alternado de orden n.
b. Muestre que filas distintas poseen 47) Dado un entero n 2, considere todas
cantidades distintas de cuadros las sucesiones x1, x2,..., xn de números
amarillos. reales no negativos tales que
Qn es el simétrico de A respecto de Pn y la
recta que une B y Qn corta a la
circunferencia (C) en los puntos B y Pn+1
(no necesariamente diferentes).
61) Consideramos todas las sucesiones
finitas de términos positivos menores o
iguales que 3 y suma mayor que 100. Para Demostrar que es posible elegir P0 tal que
una tal sucesión a consideramos una se cumplan simultáneamente:
subsucesión cuya suma S difiera lo menos
posible de 100, y definimos el defecto de a i. El ángulo P0AB es menor que 1
por S-100. Hallar el máximo valor del ii. En la sucesión generada a partir de
defecto cuando a recorre todas las P0 hay dos puntos Pk y Pj tales que
sucesiones que se están considerando. el triángulo APkPj es equilátero.
62) Sea k un entero positivo. Demostrar 67) Se escribe las cifras de 1995 como
que para todo n>k se verifica lo siguiente: sigue:
64) Se define el conjunto de 100 números Donde [ ] denota la función parte entera.
1, 1/2, 1/3, ..., 1/100.
Se eliminan dos elementos cualesquiera a a. Demostrar que si para algún r, f( f(
y b de este conjunto y se incluye, en el f...f(n)...)) = 1995 (donde se aplica r
conjunto, el número a + b + ab quedando veces la función f), entonces n es
así un conjunto con un elemento menos. múltiplo de 1995.
Después de 99 de estas operaciones, b. Demostrar que si n es un múltiplo
queda sólo un número. de 1995, existe un r tal que f( f(
¿Qué valores puede tomar ese número? f...f(n)...)) = 1995 (donde se aplica r
veces la función f). Determinar r si
n = 1995 x 500 = 997500.
65) Pruebe que existe una sucesión a1 ,..., Aclaración: Parte entera de un número x,
ak ,..., donde cada a i es un dígito (o sea ai es el mayor número entero que es menor o
pertenece a { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 } ) y igual a x.
a0 = 6, tal que para cada entero positivo n Por ejemplo: [3,2] = 3; [4] = 4; [ -2,5] = -3.
el número
n-1
69) Considerar una sucesión de números
xn = a0 + 10a1+100a2+ ... +10 an - 1 reales definida por:
2 n
verifica que x n - x n es divisible por 10 . an + 1 = a n + 1/a n para n = 0, 1, 2, ...
66) Se considera una circunferecia (C) de Demostrar que, cualquiera que fuera el
diámetro AB=1 . Se elige un punto P0 en la número real positivo a 0, se cumple que
circunferencia, distinto de A, y a partir de P0 a1996 es mayor que 63.
se construye una sucesión de puntos P1,
104 Lo bello de las matemáticas
70) Una tienda vende envases con las cuales esto es posible y, para cada valor de
siguientes capacidades: 1 litro, 2 litros, ... k encontrado, dibujar una solución.
1996 litros. Los precios de los envases
satisfacen las dos condiciones siguientes: 73) Se dispone de 98 tarjetas. En cada
una de ellas está escrito uno de los
1. Dos envases cuestan lo mismo y números 1, 2, 3, ..., 98 (no hay números
sólo sí sus capacidades m, n (m>n) repetidos). Se desea ordenar las 98 tarjetas
satisfacen m - n = 1000. de modo tal que, al considerar dos tarjetas
2. Cada envase de m litros de consecutivas, la diferencia entre el número
capacidad (1 m 1000) cuesta mayor y el número menor escritos en ellas
1996 - m dólares. sea siempre mayor que 48. Indicar cómo y
de cuantas formas es posible efectuar la
Hallar todos los pares de envases de m y n ordenación.
litros tales que:
74) En Terra Brasilis existen n casas
a. m + n = 1996 donde viven n duendes, cada uno en una
b. el costo total del par sea el menor casa. Hay rutas de sentido único tales que:
posible,
c. con el par se pueda medir k litros, cada ruta une dos casas;
para todo k entero desde 1 hasta en cada casa comienza
1996. exactamente una ruta;
en cada casa termina exactamente
NOTA: Las operaciones permitidas para una ruta.
medir son:
Todos los días, a partir del día 1, cada
i. Llenar o vaciar cualquiera de los duende sale de la casa donde está y llega
dos envases. a la casa vecina. Una leyenda de Terra
ii. pasar líquido de un envase a otro. Brasilis dice que, cuando todos los
duendes vuelvan a la posición original, se
Se ha logrado medir k litros cuando la acabará el mundo.
cantidad de litros de un envase mas la
cantidad de litros del otro, es igual a k. a. Demuestre que el mundo se
acabará.
71) La sucesión 0, 1, 1, 1, ... , 1 contiene
1996 números, siendo el primero cero y Si n = 98, demuestre que es posible que los
todos los demás unos. Se eligen dos o más duendes construyan y orienten las rutas de
números cualesquiera de la sucesión (pero modo que el mundo no se acabe antes de
no toda la sucesión) y se sustituye uno de 300.000 años.
ellos por la media aritmética de los
números elegidos, obteniéndose así una 75) Dado un número natural n > 1,
nueva sucesión de 1996 números. definimos las siguientes dos operaciones.
Probar que, con la repetición de esta
operación, es posible obtener una sucesión Operación 1:
en la cual los 1996 números son iguales. Se calcula la parte entera de cada una de
NOTA: En cada operación no las n fracciones n / 1 , n / 2 , ... , n / n , y
necesariamente se debe elegir la misma luego se suman:
cantidad de números.
[n / 1] + [n / 2] + ... + [n / n].
72) Se pretende cubrir totalmente un
cuadrado de lado k (k entero mayor que
Operación 2:
uno) con los siguientes rectángulos: 1
Se calcula la parte entera de cada una de
rectángulo de 1 x 1, 2 rectángulos de 2 x 1,
n las n - 1 fracciones (n-1)/1 , (n-1)/2 , ... , (n-
4 rectángulos de 3 x 1, ... , 2 rectángulos
1)/(n-1) , luego se suman y se añade 2 al
de (n+1)x1, de tal manera que los
resultado:
rectángulos no se superpongan ni excedan
los límites del cuadrado.
Hallar todos los valores de k para los 2 + [(n - 1) / 1] + [(n - 1) / 2] + ... + [(n - 1) /
(n - 1)].
105 Lo bello de las matemáticas
78) Pablo elige un entero positivo n y ACLARACIÓN: Los múltiplos de 2001 son
escribe en el pizarrón los 2n+l números los números de la forma a . 2001, donde a
es un entero que puede ser positivo,
negativo o cero.
n / 1 , n / 2 , n / 3 , ... , n / (2n+1)
81) En el pizarrón están escritos los
(los denominadores aumentan de a 1 por
cuadrados de los primeros 101 números
vez).
enteros positivos:
84) Considere los conjuntos de n números ¿Cuántos números primos distintos tiene el
naturales diferentes de cero en los cuales conjunto {y1,y2,y3,... }?
no hay tres elementos en progresión
aritmética. 90) Sea N*={1,2,3,... }. Halle todas las
Demuestre que en uno de esos conjuntos funciones f: N* --a N* tales que:
la suma de los inversos de sus elementos
es máximo. i. Si x y entonces f(x) a f(y)
2
ii. f(y(f(x))= x .f(xy), para todos x, y en
85) Sea la función f definida sobre el N*.
conjunto {1; 2; 3; ... }
91) En cada casilla de un tablero de n x n
i. f(1)=1 hay una lámpara. Al ser tocada una
ii. f(2n + 1)=f(2n) +1 lámpara cambian de estado ella misma y
iii. f(2n)=3f(n) todas las lámparas situadas en la fila y la
columna que ella determina (las que están
Determinar el conjunto de valores que toma encendidas se apagan y las apagadas se
f. encienden). Inicialmente todas están
apagadas. Demostrar que siempre es
posible, con una sucesión adecuada de
86) Sea f una función, definida en el
toques, que todo el tablero quede
conjunto de los enteros mayores o iguales
encendido y encontrar, en función de n, el
que cero, que verifica las dos condiciones
número mínimo de toques para que se
siguientes:
enciendan todas las lámparas.
j
i. Si n=2 -1, para n=0, 1, 2, ... ,
92) Sean n y r dos enteros positivos. Se
entonces f(n)=0
j desea construir r subconjuntos A1, A2,... ,A r
ii. Si n 2 -1, para n=0, 1, 2, ... , de {0,1,... ,n-1} cada uno de ellos con k
entonces f(n+1)=f(n)-1. elementos exactamente y tales que, para
cada entero x, 0 x n-1, existen x1 en
a. Demostrar que para todo entero n, A1,x2 en A2,... ,x r en Ar (un elemento en
mayor o igual que cero, existe un cada conjunto) con
entero k, mayor que cero, tal que:
k
f(n) + n =2 - 1.
1990 x=x1+x2+... +x r.
b. Calcular f (2 ).
Hallar el menor valor posible de k en
87) Para cada entero positivo n, sea an el
función de n y r.
último dígito del número. 1+2+3+...+n
Calcular a1 + a2 + a3 + ... + a1992.
93) Demostrar que todo número natural
1.000.000
88) Dadas la colección de n números n 2 puede ser obtenido a partir de
reales positivos a1 a2 a3 ... an y la función 1 haciendo menos de 1.100.000 sumas;
107 Lo bello de las matemáticas
x0, x 1, ... , x k con k 1.100.000, x0=1, xk=n, 98) Sea n un entero positivo.
Consideremos la suma x1y1 + x2y2 + ... +
tal que para cada i=1,2,... ,k, existen r, s, xnyn, donde los valores que pueden tomar
con 0 r i, 0 s, i y x i=xr+xs. las variables x1, x2, ..., xn, y1, y2, ..., yn son
únicamente 0 y 1. Sea I(n) el número de
94) Sea n un número entero mayor que 1. 2n-adas (x1, x2, ..., xn, y1, y 2, ..., yn) para las
Determine los números reales cuales el valor de la suma es un número
impar y sea P(n) el número de 2n-adas (x1,
x2, ..., xn, y1, y2, ..., yn) para las cuales la
X1, X2, ... ,X n 1, y Xn+1 0 suma toma valor par. Probar que
C1 =C y para n a 1, si C n no pertenece al
Para todos los i, j con i j segmento AB, Cn+1 es el circuncentro del
triángulo ABCn.
Demuestre que
Determine todos los puntos C tales que la
a) n 4 sucesión C 1, C2,..., Cn,...está definida para
todo n y es periódica a partir de un cierto
punto.
108 Lo bello de las matemáticas
Nota (*): Una sucesión C1, C2,..., Cn,... es Demuestre que existe un entero k, 1 < k <
periódica a partir de un cierto punto si 2002, tal que a k < 0.
existen enteros positivos k y p tales que
Cn+p=Cn para todo n a k. 107) Demostrar que para todo número
primo p distinto de 2 y de 5, existen infinitos
102) De una progresión aritmética infinita múltiplos de p de la forma 1111......1
1, a1, a 2,... de números reales se eliminan (escrito sólo con unos)
términos, obteniéndose una progresión
geométrica infinita 1, a 1, a 2,... de razón q. 108) Se construye un triángulo como el de
Encontrar los posibles valores de q. la figura, pero empezando con los números
del 1 al 2000. Cada número del triángulo -
excepto los del primer renglón- es la suma
de los dos números arriba de él. ¿Cuál es
103) Sean S un conjunto de n elementos y el número que ocupa el vértice inferior del
S1, S2, ..., Sk subconjuntos de S (k > 2), triángulo? (Nota: Escribe tu respuesta final
tales que cada uno de ellos tiene por lo como producto de primos.)
menos r elementos.
1 2 3 4 5
Demostrar que existen i y j, con 1< i < j < k 3 5 7 9
tales que la cantidad de elementos 8 12 16
comunes de Si y Sj es mayor o igual que
nk 2028
4k l 48
109) Encuentre todos los enteros que se
1 2 9
104) Determinar el número máximo de escriben como /a1+ /a2+... /a9, donde a1, a2,
progresiones aritméticas crecientes de tres ..., a 9 son dígitos distintos de cero que
términos que puede tener una sucesión a1 pueden repetirse.
< a2 <...< an de n > 3 números reales. Probar que el número 1 se puede escribir
de una infinidad de maneras distintas en la
1 1 1
Nota: Tres términos a i, aj, ak de una forma 1= /5+ /a1+...+ /an, donde n y
sucesión de números reales forman una a1,a2,...,a n son enteros positivos y
progresión aritmética creciente si a i < aj < 5<a1<a2<an.
a k y a j - a i = a k - a j.
3k +1.
Como se había anticipado anteriormente, aquí no se pretende dar una teoría completa y
rigurosa de los recursos del análisis que permiten desarrollar una función por medio de series,
ya sea de potencias (Taylor y Mclaurin) o dado este caso, por polinomios trigonométricos
(Series de Fourier). Pero al estudiar el cálculo de series (Que es en lo que se pone más énfasis
a lo largo de este texto), es necesario conocer los cimientos de estos interesantes métodos del
análisis.
Suponiendo que es posible determinar estos coeficientes, los mismos serán llamados
Coeficientes de Fourier (En honor al matemático francés J. Fourier), y la serie que converja a
dicha función se llamará Serie De Fourier.
Una función monótona por trozos es aquella que en cada segmento a, b se puede dividir en
un número finito de intervalos (a, x1 ) ( x1 , x 2 ) ( x n1 , b) , de modo que la función sea
monótona en cada intervalo, es decir no creciente o bien no decreciente, como por ejemplo la
de la figura:
Siendo la función monótona y acotada por trozos, solo puede
tener puntos de discontinuidad de primera especie (o de salto
finito), por tanto si x c es un punto de discontinuidad de la
función, por definición existen los límites:
Lím f ( x) f (c 0), Lím f ( x) f (c 0)
x c 0 x c 0
Dado que c es un punto de discontinuidad de primera especie.
Esto no implica que la función necesariamente deba ser
discontinua.
Cualquier función que cumpla estrictamente estas condiciones puede ser representada por
Series de Fourier.
general podía ser representada por medio de una combinación de ondas más simples llevó a
desarrollar este importante tópico del análisis matemático. Veamos la gráfica de la siguiente
función:
1 si x 0
f ( x) Esta función, evidentemente cumple con la condiciones
1 si 0 x
necesarias para ser representada por medio de una serie infinita de senos ó cosenos (ó talvez
ambos), es decir tiene su serie de Fourier.
Es la función signo acotada en
el intervalo , ,
deacuerdo con Fourier, esta
función puede representarse
como una combinación de
ondas más simples, veamos:
0.5
sen 3 x sen 5 x
f x sen x
3 5
-6 -4 -2 2 4 6
1
Esta otra corresponde a:
0.5
sen 3 x sen 5 x sen 7 x
f x sen x
-6 -4 -2 2 4 6 3 5 7
-0.5
Hemos tomado ahora 4 términos.
-1
-1 Tomando 5 términos.
1
De la función:
0.5
sen 3x sen 5 x sen 7 x sen 9 x sen11x sen13x
f x sen x
3 5 7 9 11 13
-6 -4 -2 2 4 6
sea una serie de Fourier, puede aproximarse aún más si el número de términos sigue
creciendo.
Si una función cumple todas las condiciones arriba mencionadas, se dice que satisface las
condiciones de Dirichlet. Resumiendo:
Sea f x una función que satisface:
1.- f x está definida en el intervalo c x c 2l .
2.- f x y f ' x son continuas seccionalmente en c x c 2l .
3.- f x 2l f x , i.e. f x es periódica de periodo 2l .
Entonces en cada punto de discontinuidad se tiene
a0 n x n x
f x an cos bn sen (*)
2 n 1 l l
Donde
c 2l
1 n x
f x cos
an
l c l
dx
c 2l
1 n x
f x sen
bn
l c l
dx
Para demostrar de una forma no muy rigurosa este hecho, se debe multiplicar la ecuación (*)
m x
por cos e integrar ambos miembros de l a l (así se obtiene an ), tomando en cuenta
l
que la integral de seno y coseno es cero cuando los límites de integración son simétricos.
También le será útil el siguiente resultado
l
m x n x m x n x 0 m n
l
l
cos
l
cos
l
dx
l l
sen
l
dx sen
l m n
m x
De la misma forma se multiplica la ecuación (*) por sen y se integra ambos miembros de
l
l a l (así se obtiene bn ), a0 se determina trivialmente.
Pero esto no completa la prueba, adicionalmente se necesita mostrar que
l c 2l
F x dx F x dx para cualquier c .
l c
En efecto si hacemos x 2l , para cualquier d y e se tiene
e e 2l e 2l
F x dx F 2l d F x dx F 2l F por ser
d d 2l
d 2l
Dado que
Cuando se busca el desarrollo de una función que satisfaga las condiciones de Dirichlet, estas
normalmente se hallan definidas en el intervalo l , l y para que su desarrollo se simplifique
ya sea en series de senos ó cosenos, su intervalo se reduce a 0,l o l , 0 , de esta manera
la función será par ( F x F x ) o impar F x F x . Los coeficientes de la serie se
determinan por:
l
2 n x
an 0, bn
l F x sen l dx para series en seno de semiperiodo
0
l
2 n x
bn 0, an
l F x cos l dx para series en coseno de semiperiodo
0
IDENTIDAD DE PARSEVAL
Si F x satisface las condiciones de Dirichlet, se puede demostrar que
1 l
2 a2
l l
F x dx 0
2 an 1
2
n bn2
Anécdotas
1) Desarrollar en serie de Fourier la función F x x 2 , 0 x 2 si el periodo es 2 .
La función cumple las dos primeras condiciones de Dirichlet, la tercera no es muy visible, pero
es posible definir la función de manera que sea periódica. Adelantándonos a los que será su
desarrollo en serie de Fourier tendríamos
30
F x
25
20
15
10
4 2 2 4
-10 -5 5 10
c 2l 2
1 n x 1
F x sen x 2 sen nx dx
bn
l
c l
dx
0
114 Lo bello de la matemática
2
1 cos nx sen nx cos nx 4
x2 2x 2 2 3
n n n 0
n
30
20
10
-10 -5 5 10
an 0
l
2 n x 2
F x sen x x sen nx dx
bn
l 0 l
dx
0
2 4
2 2 2 cos n n sen n 3 n impar
n
n3 0 n par
8 sen x sen 3 x sen 5 x
Por lo tanto x x 3 3
3
1 3 5
Veamos el gráfico que se obtiene
8 1000 Sin2 n 1 x
Plot , x x, x, 2, 2
n1 2 n 13
115 Lo bello de la matemática
-10
b) Al extender la definición de F x para que sea una función par y sólo así admita desarrollo
de fourier únicamente en cosenos, se tiene
1
1 3 2
x x cos 0 x dx
a0
0 6 6
l
2 n x 2 2 n n cos n 2sen n
F x cos x x cos nx dx
an
l 0 l
dx
0
n3
0 n impar
1
2 n n cos n 2sen n
3
2
n par
n n
2
1
1 3 2
x x cos 0 x dx
a0
0
6 6
bn 0
Por lo tanto
2 cos 2 x cos 4 x cos 6 x
x x 2 2
2
.
6 1 2 3
La gráfica muestra claramente a la función.
2 1000 Cos2 n x
Plot , x x, x, 2, 2
6 n1 n2
-6 -4 -2 2 4 6
-1
-2
-3
2 x 0 x 3
3) Desarrollar en serie de Fourier la función F x , de periodo 6
0 3 x 0
116 Lo bello de la matemática
2 3
n x 6n sen n 6 cos n 6 6 cos n 1
n n
an
3 x cos 3 dx
0 n
n 2 2 2 2
3
2 n x 6sen n 6n cos n 6 cos n
n n
bn
3 x sen 3 dx
0 n
n 2 2
3 6 cos n 1 n x 6 cos n n x
2
n 1
n2 2
cos
3
n
sen
3
2 x 0 x 3
5
de F x
4 0 3 x 0
3 Se puede apreciar que en los puntos de discontinuidad
2
la gráfica no esta suavizada, esta corresponde al tomar
1
n 40 .
-10 -5 5 10
n 1 n 1
1 2 1 2 1 3
a)
n 1
n2
6
b)
n 1
n2
12
c)
n 1 2 n 1
3
32
1 4 1 6
5) Demostrar que a)
n 1
n 4 90
b)
n 1
n 6 945
a) Utilizando la identidad de Parseval en el problema 2
1 l
2a2
l
l
F x dx 0
2 a
n 1
2
n bn2
A menudo cuando se tiene una cierta habilidad para interpretar una integral definida a través
de su serie correspondiente, resulta muy práctico calcular el límite de su suma de Riemann.
Algunas anécdotas:
1) Calcular:
1 1 2 n
lim 1 1 1
n n n n n
Sabemos que una integral definida (Según Riemann) en dos extremos de una curva resulta de
la suma de pequeños rectángulos que van estrechándose más y más hasta “confundirse” con
118 Lo bello de la matemática
el área debajo de la curva, esta versión intuitiva de la integral definida resulta muy poderosa a
la hora de evaluar el límite de ciertas sucesiones y series, resulta que para efectos del cálculo,
se procura hacer la base de cada rectángulo lo más pequeño posible y hacer que sean casi
iguales (no necesariamente es así) de modo que se toma una base común para cada pequeño
rectángulo, esa base viene a ser como un “ factor constante “ que esta presente en cada
sumando, por eso al calcular este y otro tipo de sumas límites necesitamos identificar ese
factor constante y reconstruir en base a él, la función a integrar para evaluar la suma límite.
b a 1 0 1
Es fácil ver que el factor constante es x i
, procurando que sea lo más
n n n
pequeño posible, de este modo los límites de integración son 1 y 0. Ahora debemos examinar
lo que queda en cada sumando después de dejar de lado el factor constante, en efecto
1 2
alucinar tanto podemos dar con , , xi ,2xi , La
f ( xi ) 1 xi ya que xi
n n
1
2
función deberá ser f ( x ) 1 x . Pasando a Integral se tendrá 1 x dx
3
2 2 1 .
0
2) Calcular:
1p 2 p n p
lim , p 0 . Del mismo modo, por propiedad distributiva:
n n p 1
p p p
1 1 2 n
lim , ¿Qué coincidencia no? , de nuevo encontramos que
n n
n n n
1
xi , la cual pertenece a la función f ( x) x p , el límite pedido entonces viene de
n
1
p 1
integrar x dx .
0
p 1
3) Hallar:
1 1 1
lim , a simple vista no puedo encontrar mi factor constante,
n n 1 n2 nn
pero puedo obtenerlo dividiendo por "n" tanto a denominador como numerador de cada
sumando:
1 1 1
n 1 1 1 1 1 1
lim n n lim
n 1
1 2 1 1 1 n n 1 1 n 1 2 n 11
n n n n
b a 1 0 1
Nuevamente vemos que x i
n
n
, Al examinar la suma lim
n xi 0 f ( )x
i 1
i i
1 1 2
Podemos deducir que f ( xi ) porque xi , , xi ,2xi , , finalmente
1 xi n n
pasamos la suma a una integral:
1
dx
0
1 x
Ln 2
119 Lo bello de la matemática
1 2 n
2n 2 n
2n
4) lim
n n 1 1 1
n n
2 n
Este caso es un tanto especial porque debemos despreciar infinitésimos de orden superior, en
1 k
n n
1 2 1
efecto la suma límite pedida se puede escribir como lim y como lim nk 2
n
k 1
n 1 1 n k k
nk n
2 1
donde k también crece hasta hacerse muy grande. Por lo tanto siendo un infinitésimo de
nk
k
orden superior a podemos despreciarlo y la suma de Riemann es ahora más fácil de
n
encontrar:
n
1 kn 1
1
lim
n k 1
n
2
0
2 x dx
ln 2
n3 n3 n3
5) lim 4 4 4
n n 1
n 24 n4 n4
Notemos que la suma se puede escribir como
1
n
1 1
1
4 arctg 1 2 4 arctg 1 2 ln 17 12 2
lim
n n 1
k 1
k 2
n
0 1 x
4
8 2
Podemos hacer más simplificaciones, finalmente
2 2
8
ln 3 2 2
8
6)
1
lim sen cos 2 sen
2
cos2
2
sen
n 1 cos2 n 1
n n
n n n n n n
0
La suma de Riemann con x es
n
n
1 k k 1
cos3 x 2
lim
n
k 1
n
sen
n
cos 2
n 0
2
sen x cos x dx
0
2
cos x d cos x
3 0
3
xn
serie de potencias
n 0 n!
e x , ahora nuestro “Truco” será escribir el polinomio n 3 de la
n3 n
n 0 n!
x ( x 3 3 x 2 x )e x
La idea de escribir el polinomio como una suma de productos consecutivos era para lograr una
simplificación con el factorial del denominador. En general puede aplicarse este método para
P ( n) n
sumar series del tipo n!
x donde P (n) es un polinomio.
1
2) Calcular la suma de la serie: 1 2 3 n x
n 1
n
2
Escribimos la serie dada nuevamente n(n 1) x
n 1
n
, en lugar de integrar dos veces esta
2
serie podemos descomponer la expresión como sigue:
n(n 1)
2 2 2 xn xn
n(n 1) n n 1
Entonces la serie toma la forma 2
n 1 n
2
n 1 n 1
, al estudiar las
xn
series de potencias vimos que
n 1 n
Ln(1 x) , de donde se deduce:
1 xn xn Ln(1 x) x
n 1 1 2 3 n
xn = 2
n 1 n
2
n 1 n 1
= 2 Ln(1 x ) 2
x
n n
n 1x
n0
, De una forma más general podemos proceder como sigue:
n 1
Se sabe que x n0
1 x
si x 1 , derivando una vez la serie término a término en su
n 1 1
intervalo de convergencia se obtiene nx
n0
(1 x) 2
, podemos operar dentro de la
n x
serie y rescribirla así nx
n 0
(1 x) 2
, para poder integrar término a término se hace un
x
t n n 1 x
0 (1 t ) 2 dt
n 0 n 1
x
1 x
Ln(1 x) De donde finalmente:
n n 1 Ln(1 x)
n 1 x
n 0
1 x
x
x 2n
a)
n 1 n ( 2 n 1)
, esta serie de potencia puede integrarse o derivarse término a término en su
x 2n
2n 2n 1 2 n 2
f ( x) f ' ( x) x 2 n 1 f ' ' ( x) 2 x
n 1 n ( 2 n 1) n 1 n ( 2 n 1) 2n 1
2
2 x 2 n Para regresar a la función suma original debemos integrar dos veces,
n 0 1 x2
podemos proceder como en el anterior caso:
x x
2dt 1 x 1 t
f ' ( x) 2
Ln f ( x) Ln dt (1 x) Ln(1 x) (1 x) Ln(1 x)
0 1 t 1 x 0
1 t
x 2n
De donde es directo que (1 x) Ln(1 x) (1 x) Ln(1 x)
n 1 n ( 2 n 1)
x 3n
b) (n 1)
n 0 2n
, suponiendo que “x” toma valores para los cuales la serie dada es
n n
x3
3n 3 3
x x x 1 2 4
(n 1) 2 n
n 0 2
n
n 0 2
x 3
2
3
( x 2) 2
n 0 1 x3
2 1 2
Debe UD observar que la segunda serie se obtiene de una derivación término a término.
Además este resultado sirve sólo en el intervalo de convergencia de la serie, esto es cuando:
2 x3 2
En aquellos límites de sucesiones que aparecen como sumas que se incrementan con “ n ”
resulta útil aplicar para su cálculo el criterio de Stolz. Cuyo enunciado dice:
Sean las sucesiones x n y y n , Donde y n puede ser creciente o decreciente, tales que:
Lím x n Lim y n 0 o bien Lím y n , donde y n 0 n , si existe:
n n n
x x x
Lim n 1 n , entonces tenemos que Lím n .
n y
n 1 y n
n y
n
Una consecuencia muy importante del teorema de Stolz son los siguientes criterios de cálculo
de límites:
Sea an 1 una sucesión convergente con lim an a , entonces
n
a a2 an
Media aritmética: lim 1 lim an a
n n n
an 1
lim n an lim , an 0
n n a
n
Anécdotas:
Lím
12 2 2 (n 1) 2 12 2 2 n 2
Lím
(n 1) 2
1
3 3 2
n (n 1) n n 3n 3n 1 3
x x x
1 2 n
2) Hallar el límite lim 1 n
1 1
n
n n n
x
n!(n 1) n 2 n 3 n n
Reescribiendo el límite lim n n , luego aplicando Stirling
n
n ! n
x
2n !
x 2n 2 n e 2 n 2 (2n) x
(n 1) 2 sen
n 1 ,
lim luego hacemos la sustitución u y por lo tanto el límite
n 2n 1 n 1
2
sen u
2 2 sen u
equivalente será lim u lim
n 2 u 0 2 u u 2
1
u
1 2 3 3 n n
4) Hallar el límite lim
n n
Puesto que la sucesión nn 1 satisface las condiciones para aplicar el teorema de Stolz, se
n 1
xn x x n 1
tiene lim lim n 1 n 1 , (Aplique L´Hopital).
n yn n yn 1 yn 1
1 2 2 3 3 n n
5) Hallar el límite lim
n n2 n
Aplicando Stolz
1 2 2 3 3 n n
lim lim
n 1 n 1
1
2 2 2
n n n n
n 1 n 1 n n 2
Una manera de verificar el límite de la derecha es poniendo n 1 u , de modo que
u u 1
lim 1 1
u 1 2
u 2 u u 2 2u 1 u 2 u 2
2
1
6) Hallar lim 2 4 23 2 n 22 n 1
n 5n
Aplicando Stolz
2 n 1
2 n 1
1 22 n 1 1 lim 2 2 n 2
lim 2 4 23 2 n 22 n 1 lim n
, calculando el límite del
n 5n n 5 5
2 n 1
1 2
numerador L lim 2 2n2
L 2 , de donde lim 2 4 23 2 n 22 n 1 .
n n 5n 5
n
2k 2k
7) Probar que lim
n k 1
2k 1 2k 1 2
Recordemos que el límite pedido no es otra cosa que la fórmula de Wallis.
Notemos primero que el límite se puede escribir de otra manera más explícita
2 2
n n n 2 n 2
lim
1 2 4 6 2n
2
n 2
1 2 n ! 1 4 ne
lim lim
n 2 n 1
2 2n
2 n 2 n
n 2 n 1
1 3 5 2 n 1
n 2 n 1 2 n !
2n e
2
1 4 n n 2 n e 2 n 4 2 n 2 n
lim 2 n 2 n 2 n lim
n 2 n 1
2 n e 4 n n 2n 1 2
Conocida también como ley de emparedado. Nos dice que cuando una sucesión está acotada
por otras dos, las cuales son convergentes y tienen el mismo límite, entonces dicha sucesión
es convergente y además su límite es idéntico a de las dos sucesiones que la “aprietan”. En
símbolos:
Aplicación:
1 1 1
lim 2 , Par ver como usar la regla del bocadillo, vamos a
n n
(n 1) 2
(n n) 2
comparar el límite de la sucesión de la siguiente manera
1 1 1 1 1 1 1 1 1
(n 1) min 2 , 2
, , 2
xn 2 2
2
(n 1) max 2 , 2
, ,
n (n 1) (n n) n (n 1) ( n n) n (n 1) (n n) 2
1 1 1 1 1
(n 1) x n ( n 1)
(n n) 2 n 2 (n 1) 2 (n n) 2 n2
Aplicando límites:
n 1 1 1 1 n 1
lim 2
lim xn 2 2
2
lim 2
n 4n n n (n 1) (n n) n n
1 1 1
0 lim xn 2 2
0
n n (n 1) (n n)2
Hemos demostrado que la sucesión está “acotada” entre cero y cero por tanto:
1 1 1
lim 2 0
n n
(n 1) 2
(n n) 2
n
1
1) lim sen
n n 2 cos k
k 1
n
n
k 1
nx k nx k 1
2) lim ,x 0
n n2
3)
1 2 2 n 1
lim 1 sen 2 1 sen 2 1 sen
n 1
n
n n n n n n2
125 Lo bello de la matemática
1 1 1
4) lim sen sen sen
n
n 1 n 2 n n
1 4 9 n2 n
n 1 n 2 n n
5) lim n 2 6) lim
n 2 5 10 n 1 n n
1 1 1
1
1 cos sen1 2sen 3sen n sen
n n n n
2 3 n
7) lim 4e 8) lim
1 2 n
n n 3 2
n n
n
2 32 43
2
n 1
1 1 1 1 n n 1
9) lim 10) lim 1 2 3
n n 1 2 n n n2
sen1 sen 2 sen n 1 3 4 n2
11) lim 12) lim
n n2 n
16n 2 3 4 5 n3
ln 3 ln 6 ln 3n n
e n e2 n en
13) lim n 14) lim
n ln 5 ln10 ln 5n n n
1
1 cos n
n 2 ln 2 ln 3 ln n
15) lim 16) lim sen 2 cos
n
sen
1 n
n ln 3 ln 4 ln n 1
n
1n 3
2
n
6
n
n
3n
e sen e sen e sen
1 n n n
17) lim 1 tan tan 2 tan n 18) lim
n n 4n 4n 4n n n 1 2 n
sen sen sen
n n n
2 2 n n
sen sen sen
19) lim n 2
1 n 2 2 n 2 3 n 2 n 20) lim n n n n n n
2 n
n
n 2
1 n 2 3 n 2 5 n 2 2n 1 n n
1 cos 2 1 cos 2 1 cos 2
n n n
21) Verificar que
n
lim
n 1 e p 1
n p
n
n n 1 n 2 n p 1 n p
22) Verificar que
1 2 4 2n 1 2 4 2n 2
lim lim Sug. Usar Wallis
n n 1 3 5 2 n 1
n n 1 3 5 2 n 2 1
n n 1 n 2 2 1
1 2
22 n 2
2
Suponemos que el lector conoce las propiedades elementales de los números complejos
(conmutatividad, asociatividad,…, conjugado, etc.). En el siguiente párrafo se resume las
propiedades de uso frecuente y algunas aclaraciones.
TEOREMA DE MOIVRE
n
Si z , entonces z n r cos i sen r n cos n i sen n . Su demostración se
hace por inducción.
2 i 2 n 1 i
1 2 n 1
Para compactar la notación introducimos los símbolos 1; e n
;...; e n
para
denotar las raíces de la unidad.
n
n a
zk 1 n Para el producto de todas sus raíces.
k 1 a0
Si p qi es una raíz de la ecuación (*) entonces p qi es también una raíz.
Los números complejos con las propiedades definidas para la adición y multiplicación en
forman una estructura algebraica conocida como cuerpo, además son isomorfos a para la
2
adición, cuando decimos isomorfos establecemos que se comportan de manera muy similar a
los pares ordenados en . En este curso no vamos a entra en detalles acerca de los
2
isomorfismos. En la primera parte del texto vimos que los complejos admitían una
representación geométrica en el plano y que operar con ellos era como operar con vectores.
Algunas anécdotas:
1 n n 1
1) Probar que cos n cos n n cos n 2 cos n 4 Rn
2n 1 2!
0 Si n es impar
n!
Donde Rn
Si n par
n / 2 ! 2
ei e 1
Por la identidad de Euler, el coseno de un ángulo puede escribirse como cos ,
2
entonces aplicando el desarrollo binomial tenemos:
1 n ni
cos n n 0
e 1n e n 1i e i 2n e n 2 i e 2i
2
128 Lo bello de la matemática
1 n ni
cos n n 0
e 1n e n 1i e i 2n e n 2i e 2i
2
n n2 e 2i e n 2i nn1 ei e n 1i nn e ni
Es lo mismo que tener:
1 ni n 2 i n n 1 n 4 i n n 1 n 4i n 2 i ni
cos n e ne e e ne e
2n 2! 2!
Nos detenemos en el siguiente análisis:
sen
sen
2 3
sen sen
m 1 m
m m m m 2m 1
2 i 4 i 2 m 1 i
m 1 e 2 i / m
1 e 4 i / m
1 e 2 m 1 i / m
, dado que m an
Puesto que m 1
m
2 i 4 i 2 m 1 i z 1 a0
1 1e e e
m m m
1
m 2 22 m 2 sen 2
sen 2
2
sen 2
m 1
m m m
Después, tomando la raíz cuadrada positiva de ambos lados, obtenemos el resultado pedido.
129 Lo bello de la matemática
sen
sen
2 3
sen sen
m 1
m m m m
2m 1 sen 2
sen 2
2
sen 2
3
sen 2
m 1
2m 2m 2m 2m
m 1
k
Examinemos el producto sen 2 . Del problema anterior sabemos que
k 1 2m
m 1
2m 2m
z a z a 4maz z 2 a 2 cot 2 2km , en esta igualdad ponemos z a para
k 1
m 1 m 1
2m k
obtener: 2a 4ma 2 m 1 cot 2 2km que es equivalente a sen 2
22 2 m m , y
k 1 k 1 2m
PROBLEMAS ADICIONALES
sen 12 n 1
a cos cos cos n cos 12 n
sen 12
sen 12 n 1
b sen sen sen n sen 12 n
sen 12
3) Sea a1 , a2 , , an y b1 , b2 , , bn números complejos. Probar la desigualdad de Schwarz,
n
n 2
n
2
a b
k 1
k k ak bk
k 1 k 1
Donde la doble barra es la aplicación : 2 definida por z x yi x 2 y 2 ,
conocida también como norma euclidiana de z .
4) Sea ABCD...PQ un polígono de n lados inscrito en una circunferencia unitaria (de radio
unidad). Probar que el producto de las longitudes de las diagonales AC , AD ,...., AP es
1
4 n csc2 / n .
n 1
sen n
a 2n 1 cos cos kn
sen k 1
sen 2n 1 n
sen 2
b 2n 1 1 2
sen k 1 sen k / 2n 1
n
n cos 2
6) Demostrar que cos 2n 1 1 2 .
k 1 cos 2k 1 / 4n
Tratamos de buscar para la relación anteriormente definida una ecuación que identifique el
término n -ésimo únicamente en función de n , en particular buscamos una solución de la
forma un cr n donde c, r 0 . En efecto si sustituimos un cr n en la relación lineal
homogénea, tenemos Cn cr n Cn 1cr n 1 Cn 2 cr n 2 Cn k cr n k 0 , es decir
Cn r k Cn 1r k 1 Cn 2 r k 2 Cn k 0 Una ecuación polinómica de grado k , llamada
también ecuación característica.
Nosotros vamos a concentrarnos en un tipo especial de relación lineal homogénea, las lineales
a coeficientes constantes, en particular tenemos la de orden 2, es decir las del tipo
Cn cr 2 Cn 1cr Cn 2 c 0 . El siguiente teorema es importante para analizar RLH (relaciones
lineales homogéneas) de orden 2.
TEOREMA
132 Lo bello de la matemática
Sea un una sucesión que satisface la RLH un a1un 1 a2un 2 0 n 2 , con las
condiciones iniciales u0 c0 , u1 c1 , y sean y las raíces de su ecuación característica
t 2 a1t a2 0
Si , entonces existen constantes A y B tales que un A n B n n 0 es
solución general de la RLH.
Y si , existen constantes C y D tales que un Cn D n n 0 es solución de la
RLH. Las constantes A, B, C , D se determinan por las condiciones iniciales.
DEMOSTRACIÓN
a)
Para n 0 y n 1 por las condiciones iniciales se obtiene
c c
0 0 A 1 0
u0 A B A B c0
1 1
u1 A B A B c1 c c
B 1 0
n n
Por como se planteó las igualdades para obtener un A B , es obvio que se cumple
para u0 y u1 , suponemos por hipótesis de inducción que se cumple hasta un 1 , tenemos que
mostrar que se cumple también para un .
un a1un 1 a2un 2
a1 A n 1 B n 1 a2 A n 2 B n 2
A n 2 a1 a2 B n 2 a1 a2
A n B n
Tomando en cuenta que y son raíces de la ecuación característica, de donde es
inmediato que 2 a1 a2 0 a1 a2 2 y de modo idéntico a1 a2 2 . Por
inducción tenemos que s cierto para toda n 0 .
b) . Ejercicio
El teorema anteriormente demostrado es solamente un caso particular de uno ,desde luego ,
más general, podemos hasta cierto punto trabajar de manera muy sencilla con ecuaciones de
segundo grado, podemos también hacerlo con ecuaciones de tercer y cuarto grado y en
general con ecuaciones polinómicas de grado superior al cuarto, pero siempre que sus raíces
sean relativamente fáciles de encontrar, como en general se requieren métodos numéricos
para tal objetivo, el encontrar una solución de una relación lineal homogénea no es problema
tan trivial.
El método expuesto anteriormente es muy sistemático y un poco oscuro, pues no nos justifica
el porqué la solución de una ecuación de recurrencia lineal homogénea de orden dos a
coeficientes constantes tiene la forma un A n B n . La razón es la siguiente:
Consideremos en general una RLH de orden k a coeficientes constantes
Cn k un k Cn k 1un k 1 Cn k 2un k 2 Cn un 0 Puesto que Cn k 0 no perdemos
generalidad si hacemos un k n k 1un k 1 n k 2un k 2 n un , representando dicha
ecuación en forma matricial (El lector debe estar familiarizado con conocimientos elementales
de álgebra lineal) tenemos:
133 Lo bello de la matemática
un k n k 1 n k 2 n k 3 n 1 n un k 1
un k 1 1 0 0 0 0 un k 2
un k 2 0 1 0 0 0 un k 3
0 0 1 0 0
un 2 0 0 0 0 0 un 1
un 1 0 0 0 1 0 un
Supongamos además que se tiene las condiciones iniciales u1 c1 , u2 c2 ,..., uk ck ,
entonces si designamos por A a la matriz que contiene los coeficientes de la RLH, la solución
viene dada por
un k ck
un k 1 ck 1
un k 2 n
ck 2
A
un 2 c2
un 1 c1
Para calcular A diagonalizamos la matriz A (esto es siempre posible en ), i.e. la escribimos
n
1
en la forma A PBP , donde B es una matriz diagonal formada por los valores propios de
la ecuación característica de A y P es una matriz no singular cuyas columnas son los
vectores propios asociados a los valores propios de A . Con esta descomposición se tiene
An PBP 1 PBP 1 ... PBP 1 , puesto que el producto matricial es asociativo
n veces
1n
n
A P
n 2 P 1
kn
Remarca.- En general, como las matrices no son siempre diagonalizables en, este método
puede resultar muy limitante, pero se puede aliviar en algo esta dificultad con un conocimiento
adicional del álgebra lineal como la forma de Jordan, etc. Desde luego existen métodos más
sofisticados como el cálculo operacional (transformadas de Laplace, etc.) para resolver
relaciones de recurrencia más complicados, los cuales no trataremos acá.
Anécdotas
1 5 1 5
ecuación característica r 2 r 1 0 cuyas raíces son r1 y r2 y por el
2 2
n n
1 5 1 5
primer teorema la solución general viene dada por: f n A
2 B 2
, con las
condiciones iniciales f 0 0 , f1 1 encontramos la solución particular:
n n
1 1 5 1 5
fn .
5 2 2
Otra forma de hallar la solución consiste en expresar la ecuación en forma matricial:
f n 1 1 1 f n
, dado que las letras son un proceso de abstracción, no se pierde
f n 1 0 f n 1
generalidad en ver la ecuación con los subíndices modificados siempre que se lo haga en
f1 1
todas sus instancias. En este caso la condición inicial sería , intuitivamente se
f0 0
f n 1 1 1 1 1 1 1 f 0
observa ... f , la matriz asociada es diagonalizable
f 1 0 1 0 1 0
n 1
n veces
(verificar), entonces:
1
1 1 1 2 1 0 1 2
Si A , se tiene A , de donde
1 0 1 1 0 2 1 1
1
n 1 2 1n 0 1 2 1 5 1 5
A n , donde 1 y 2 , haciendo los
1 1 0 2 1 1 2 2
f n 1 1 1n 1 2n 1
cálculos necesarios, se obtiene , finalmente:
fn 5 1n 2n
n n
1 1 5 1 5
fn .
5 2 2
Remarca.- Este método ofrece muchas ventajas, ya que se puede fácilmente generalizar a
RLH a coeficientes constantes de orden mayor a dos; sólo se debe tener cuidado de los
posibles valores propios complejos, en tal caso se aplica la formula de Moivre (veremos un
ejemplo más adelante) y se elimina el valor complejo.
1 1
Y como en el ejemplo anterior tenemos las condiciones iniciales D1 1 1 y D2 0 ,
1 1
luego desarrollamos el determinante por la primera fila, tenemos que:
137 Lo bello de la matemática
1 1 0 0 0 0
0 1 1 0 0 0
0 1 1 0 0 0
, volvemos a desarrollar por la primera columna y
Dn 1 Dn 1 1 0 0 1 0 0 0
0 0 0 1 1 1
0 0 0 0 1 1
finalmente Dn Dn 1 Dn 2 , resolvemos esta ecuación de recurrencia lineal homogénea. Su
ecuación característica es r 2 r 1 0 , pero sus raíces son complejas y diferentes
1 i 3
r1,2 , las cuales escritas en forma polar son r1,2 cos i sen , por teorema
2 3 3
n n
sabemos que la solución general es de la forma Dn A cos i sen B cos i sen ,
3 3 3 3
aplicando Moivre:
n n n n , luego n n , donde
Dn A cos i sen B cos i sen Dn k1 cos k2 sen
3 3 3 3 3 3
k1 A B y k2 i ( A B ) , independientemente del valor de A y B , mediante las
1
condiciones iniciales se obtiene k1 1 y k2 , finalmente el valor pedido es:
3
n 1 n
det M n b n Dn b n cos sen .
3 3 3
4) matemáticas discretas (Grimaldi). Consideremos la red lineal de la figura, donde hay k
resistencias de 1 y 3 ohmios conectadas por medio de cables a un generador que proporciona
un voltaje constante V . Encuentre una fórmula para vn , 0 n k , que dé el voltaje en cada
punto como función de n.
1 1 1 I1
V 1 1 1 1 1
... ...
V
Por la ley de nodos de Kirchhoff sabemos que I I1 I 2 , por la ley de Ohm I , entonces
R
vn 2 vn 1 v vn
I , I1 vn 1 , I 2 n 1 . Por lo que tenemos:
3 3
v v v v
I n 2 n 1 vn 1 n 1 n vn 2 5vn 1 vn 0 , la ecuación característica de la RLH
3 3
2 5 21 5 21
es r 5r 1 0 y sus raíces son a y b , la solución general se
2 2
n n
plantea de la forma vn c1a c2b . Por otro lado destacamos que por las leyes de Kirchhoff y
Ohm se tiene en el penúltimo nodo v1 v0 / 3 v0 /1 o v1 4v0 , de manera que v0 c1 c2
y 4v0 v1 c1a c2b . Por lo tanto:
138 Lo bello de la matemática
b4 a4 b 4 n a 4 n
c1 v0 , c2 v0 , y vn v0 a b , además
ba a b b a a b
b 4 a k a 4 bk
V vk v0 , por lo que finalmente
b 4
b 4 a n a 4 bn
vn V k k
.
b 4 a a 4 b
5) Determinar una fórmula explícita para el término general de la sucesión
2 2 2 2 2 2
a1 10 , a2 10 12 ,..., an 10 12 nn 1 .
Podemos determinar fácilmente la relación de recurrencia asociada
2
n 2 2
an an 1 an 1 n es decir an an 1 n , una RLnH. La ecuación característica
n 1
de la RLH asociada tiene una raíz r 1 0 r 1 , por lo que la solución homogénea es de
h
la forma an A donde A es una constante.
El recetario dado para el caso, sugiere que planteemos la solución particular en la forma
an p Cn 2 Dn E n , ahora bien:
3 2
Cn3 Dn 2 En C n 1 D n 1 E n 1 n 2 , al identificar coeficientes se
1 1 1
obtiene C , D , E , por lo que la solución general es de la forma:
3 2 6
1 1 1 2
an n3 n 2 n A , donde A 0 de la condición inicial a1 10 . Finalmente la
3 2 6
1 3 1 2 1
solución buscada es an n n n n .
3 2 6
6) Se trazan n rectas en el plano de forma que cada una de ellas corta a todas las demás y no
existen tres que se intersequen en un mismo punto. Determinar una fórmula explícita para el
número un de regiones en que dichas rectas dividen al plano.
Obsérvese que cada vez que se traza una nueva recta, como ésta corta a las n 1 rectas
anteriores, debe atravesar n regiones del plano a las cuales divide en dos, es decir, cuando
trazamos la recta n -ésima añadimos n regiones.
Esto nos lleva a que
un un 1 n un 1 un n 1 con u1 2 . La RLH tiene por solución an A y una
h
an Bn C n luego:
p
solución particular de la RLnH debe ser
2
B n 1 n 2 C n 1 n n 1 , de donde al identificar coeficientes se tiene
1
B 12 , C 12 , por tanto un n 2 n A y como u1 2 se obtiene A 1 , por lo que
2
1
un n 2 n 1 n .
2
Observación.- Este problema en particular tiene una solución mucho más rápida y eficiente,
sugerimos al lector pensar en sumas notables (progresiones, etc.).
a) un 3un 1 5 7 n
La RLH asociada tiene como solución un h A 3n , como f n 5 7 n , se plantea
un p B 7 n (ya que 7 no es solución de la ecuación característica de la RLH asociada).
b) un 3un 1 5 3n
En este caso como 3 es solución de la ecuación característica de la RLH asociada, la solución
particular se plantea como un p B n 3n .
c) Supongamos que la ecuación característica de la RLH asociada tenga raíces r1 1 con
multiplicidad dos, r2 2 con multiplicidad uno, r3 3 con multiplicidad tres y que el término
“independiente” sea f n n 2 3n 2 2n 3 2 n n 1 3n n 2 3 5n
La solución particular ha de ser de la forma
un p An 2 Bn C n 2 Dn F n 2n Fn G n 3 3n Hn 2 In J 5n
Ya que
n 2 3n 2 y 1 es raíz doble An 2 Bn C n 2
2n 3 2 n y 2 es raíz simple Dn F n 2n
n 1 3n y 3 es raíz triple Fn G n3 3n
n 2
3 5n y 5 no es raíz de la ecuación característi ca Hn 2 In J 5n
Para terminar esta introducción a las relaciones de recurrencia, analizaremos el método de las
funciones generatrices, lo cual nos permitirá tener un nuevo recurso para resolver problemas
de recursión.
u0 , u1 ,..., uk 1
un 1un 1 2un 2 k un k 0
Supongamos además que tiene su función generadora f x u0 u1 x u2 x 2 . Hagamos
los siguientes cálculos
f x u0 u1 x u2 x 2 u3 x3 uk x k un x n
1 x f x 1u0 x 1u1 x 2 1u2 x3 1u3 x 4 1uk 1 x k 1un 1 x n
2 x 2 f x 2u0 x 2 2u1 x 3 2uk 2 x k 2un 2 x n
………………………………………………………………….
k x k f x k u0 x k k u n k x n
Sumamos miembro a miembro todas las igualdades y se ve que a partir de los términos de
grado k , la suma de los coeficientes verifica la relación de recurrencia y por tanto suman cero,
140 Lo bello de la matemática
Anécdotas:
x n f n x n f n1 x n f n2 0
n2 n2 n2
n
Hagamos algunas transformaciones más tomando en cuenta que x fn f x
n 0
( x n f n f 0 xf1 ) ( x x n f n f 0 ) ( x 2 x n f n ) 0
n 0 n 0 n 0
2
Lo que implica ( f x f 0 xf1 ) ( xf x f0 ) ( x f x ) 0 , resolviendo para f x se
x
tiene f x , ya que f 0 0 , f1 1 .
1 x x2
2) Hallar la función generadora de la siguiente sucesión
a0 3
2 si n es par
an 4an 1 8 si n es impar
Simplifiquemos la relación de recurrencia con las siguientes observaciones
a) Se sabe que:
Si n 2m o n 2m 1 , entonces
a2 m 4a2 m 1 2
a2 m 3a2 m 1 4a2 m 2 6
a2 m 1 4a2 m 2 8
Si n 2m o n 2m 1 , entonces
a2 m 4a2 m 1 2
a2 m 1 3a2 m 4a2 m 1 6
a2 m 1 4a2 m 8
Concluimos, por tanto, que para n 2 , se verifica an 3an 1 4an 2 6 (RLnH de orden
dos). Procediendo como en el caso anterior:
n
x a n 3 x x n 1an 1 4 x 2 x n 2 an 2 6 x n , impongamos que la serie x n
sea
n2 n2 n2 n2 n2
6x2
f x a0 a1 x 3x f x a0 4 x 2 f x 1 x
, simplificando y resolviendo
6x2
f x 1 3 x 4 x a0 a1 x 3 xa0
2
Sabiendo que a0 3 y a1 4 finalmente
1 x
3 8x x2
f x
1 4 x x 2 4 x3
n n
Otra manera es resolviendo la ecuación de recurrencia obteniendo an 4 1 1 , a partir
n n n
de lo cual f x an x n 4n 1 1x n 4 x x x n , i.e.
n 0 n 0
n 0 n 0 n 0
1 1 1 3 8x x2
f x .
1 4 x 1 x 1 x 1 4 x x 2 4 x3
Observación.- Es evidente que si encuentro la función generatriz de una relación de recurrencia
puedo encontrar su solución también.
f x
7 / 4 1/ 4 1/ 2
2
1 3x 1 x 1 x
1/ 2 1/ 2 1 2 x 3x 2 ,
Donde 2 entonces extraemos los coeficientes de cada
1 x
7 1 1
fracción obteniendo f x 3n n 1 x n , de donde por definición
n 0 4 4 2
7 3 n
an 3n .
4 4 2
4) Resolver el siguiente sistema lineal de relaciones de recurrencia lineales
an 1 2an 4bn
con a0 1, b0 0 n n 0
bn 1 4an 6bn
n 1 n n
x an 1 2 x x an 4 x x bn f x a0 2 xf x 4 xg x
n0 n0 n0
o su equivalente
x n 1b 4 x x n a 6 x x n b g x b0 4 xf x 6 xg x
n 0 n 1
n0
n
n0
n
Aunque no todas las matrices sean diagonalizables, por el algebra lineal sabemos que toda
matriz real o compleja es semejante a una matriz de Jordan. La forma de Jordan alivia esta
dificultad.
Veamos su utilidad:
Dada una matriz cuadrada A M n , n , supongamos además que su polinomio característico
tiene raíces 1 , 2 ,..., r r1 , r2 ,..., rm respectivamente, sabemos
con multiplicidades algebraicas
que A es similar a una matriz de Bloques de Jordan, es decir existe C M n , n no singular
1
(invertible) tal que A C J C . Aquí J es una matriz de jordan cuyas diagonales son los
valores propios de A , donde el tamaño de cada matriz de bloques de Jordan depende de la
multiplicidad de cada valor propio.
2 1 0 1
3
1 3 1 3 Al calcular las raíces de su polinomio característico 2 0 se
A
0 1 2 1
1 1 1 1
tiene 1 2 y 2 0 , la primera con multiplicidad 3 y la segunda con multiplicidad 1.
Entonces intuimos la forma de Jordan
1 1 0 0
0 1 1 0
J
0 0 1 0
0 0 0 2
Para hallar C supongamos que esta dada por C X 1 X 2 X 3 X 4 donde cada X j es
un vector columna, luego como A C J C 1 , entonces A C C J , i.e.
1 1 0 0
0 1 1 0
A X 1 A X 2 A X 3 A X 4 X 1 X 2 X 3 X 4
0 0 1 0
0 0 0 2
A X 1 A X 2 A X 3 A X 4 1 X 1 X 1 1 X 2 X 2 1 X 3 2 X 4
AX 1 1 X 1 AX 2 X 1 1 X 2 AX 3 X 2 1 X 3 AX 4 2 X 4 0
Entonces, el problema se reduce a resolver el sistema
A 1 I X 1 0
A 1 I X 2 X 1
A 1 I X 3 X 2
A I X 0
2 4
Observemos que la primera y cuarta ecuación son las ecuaciones para obtener los vectores
propios ordinarios de cada autovalor . Mientras que en la segunda y tercera ecuación X 2 y
X 3 son vectores propios generalizados asociados a 1 .
Estas ideas se generalizan de forma inmediata, creemos además que este ejemplo explica por
si sólo como se debe proceder en otros casos (es una sola idea).
n
Es notable que por su estructura diagonal B sea posible de evaluar, esto a su vez
deriva en un resultado muy importante, la potencia n -ésima de la matriz de Jordan:
144 Lo bello de la matemática
B n 0 0 0 0
1 1
n
0 B
2 2 0 0 0
J
n
n
0 0 0 B
m 1 m 1 0
n
0 0 0 0 Bm m
n n
Estudiemos entonces cómo calcular B . Se ha podido demostrar que B es una
0
n
n
1
n 1
n
r 2
nr 2
B
n
0
0 0 1
n n 1
0 0 0 n
La demostración se hace por inducción.
De esta manera obtenemos An C J C 1 C J C 1 C J C 1 C J n C 1 .
Centrémonos en nuestro problema principal de resolver una relación lineal de recurrencia de
orden k homogénea a coeficientes constantes.
Sea la relación:
S n k k 1S n k 1 k 2 S n k 2 1S n 1 0 S n
Sujeta a las condiciones iniciales S 0 c0 , S1 c1 ,..., S k 1 ck 1 , la matriz asociada a la forma
k 1 k 2 1 0
1 0 0 0
matricial es , cuyo polinomio característico es
A 0 1 0 0
0 0 1 0
k
P k 1 k 1
1 0 , suponiendo que tiene m soluciones distintas con
multiplicidades r1 , r2 ,..., rm respectivamente, sabemos que An C J n C 1 , n n 0 con
B n 0 0 0
1 1
n
0 B
2 2 0 0
n n
J
0 0 B
3 3 0
n
0 0 0 Bm m
rj columnas en C , de las cuales una esta dada por el vector propio ordinario y las restantes
rj 1 están dadas por los vectores propios generalizados asociados a j . Vamos a usar un
resultado probado del álgebra lineal.
Definamos la matriz
jk 1 0k 1 jk 2 0k 2 jk 3 0k 3 1j 10 0j 00
0 1k 1 0k 2 12 11
0 0 k21 32 22 (A)
H kj
0 0 0 kk 12 kk 22
0 0 0 0 kk 11
Donde H kj es una matriz de tamaño k k , que es el mismo tamaño de la matriz A . Esta
matriz contiene en la primera fila al vector propio ordinario asociado a j y en las filas
restantes se pueden leer los vectores propios generalizados asociados a j . El único cuidado
a tener es sobre las lecturas de los vectores generalizados, ilustremos estas palabras:
Los cálculos que siguen a continuación son tareas humanamente tediosas, es recomendable
que el lector use un programa de cálculo simbólico (Mathematica, maple; por ejemplo).
Anécdotas
2 1 0 0 2n n 2n 1 0 0
n
0 2 0 0 0 2 0 0 según (A)
J n
J n n 1
0 0 3 1 0 0 3 n 3
0 0 0 3 0 0 0 3
n
Lo que resta es encontrar la matriz C , sabemos que necesitaremos las matrices
23 2 2 2 1 3 3 3 2 3 1
0 3 2 1 y 2 0 3 2 1 ; de donde la matriz C estará dada por
H 41 H4
0 0 3 1 0 0 3 1
0 1
0 0 0 1 0 0
3 2
23 3 22 3 3. 3 8 12 27 27 2
125 3
125 36
125
81
125
2
1 4 3 18
2 3 2 3 4 4 9 6 ,
C 2 2.2
2 1 3 1 C 1
25 25 25 25
125
2 3
36 44
2 1 3 1
125 125 125
1 0 1 0 1 0 1 0 25
1
1
8 12
25
25 25
finalmente
S n 3 3
S n 2 C J n C 1 2 haciendo los cálculos necesarios
S n 1 1
Sn 1
X0
9 n 4 n 1 16 n n 1
Sn 2 n 2 3 n 3 n n 0
20 5 25
2) Resolver la siguiente relación de recurrencia Sn5 Sn4 38Sn3 18Sn2 405Sn1 675Sn
Sujeta a las condiciones iniciales S0 1, S1 4, S 2 S3 2, S 4 0 .
La matriz asociada es
1 38 18 405 675
1 0 0 0 0 cuyo polinomio característico es
A 0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
n n 1
3 1
0 0 0 3n n3n 1 2 3n 2 0 0
0 3
1 0 0 3n n 1
0 n3 0 0 , para hallar la matriz C nos
J 0 3 0 0 Jn 0
0 0 3n 0 0
0 0
0 5 1 n n 1
0 0 0 5 n 5
0
0
0 0 5 0 n
0 0 0 5
valemos de las matrices
148 Lo bello de la matemática
34 33 32 3 1 5 4 3
5 5
2
5 1
0 4 3 2 1 0 4 3 2 1
y H5 0 1 , siguiendo la receta
1 2
H5 0 0 6 3 1 0 6 3
0 0 0 4 1 0 0 0 4 1
0 0 0 0 1 0 0 0 0 1
construimos C :
4 3
34 4 33 6 32 5 4 5 3
4096 1
1024 63
2048 135
3475
1024 4096
3 2
1
27 5
33 3 32 33 5 3 5 256 0 128 32 525
256
C 32 23 1 5
2
2 5
C 1 1
64
1
16 13
32 15
16
225
62
3
3 1 0 5 1
4096
1
1024
63
2048 135
1024
621
4096
1 1 9 27 135
1 0 0 1 0 512 128 256 128 512
Y el problema se ha reducido a los cálculos
Sn 4 0
S
n 3 2
n 1
Sn 2 C J C 2
S n 1 4
S 1
n
Nótese que para obtener el resultado final no es necesario desarrollar completamente los
productos matriciales.
Finalmente
1055 n 577 n 1 421 3041 n 611 n 1
Sn 3 n3 n n 1 3n 2 5 n 5 n n 0
4096 256 128 4096 512
PROBLEMAS ADICIONALES
r r r r r
c c c
...
b1 b2 b3 bn-1 bn
2) A modo de rutina, resolviendo la relación de recurrencia dada, demuéstrese que su solución
general viene dada por:
3 n 4 n 1
a) un 2 3un 1 2un 3n ; u0 0, u1 1 ; un 1 2 3n
4 5 20
n n n 7 2 17
b) un 2 6un 1 9un 3 2 7 3 ; u0 1, un 2 ; un 3 2 n n 2 3n
18 18
149 Lo bello de la matemática
PROBLEMAS ADICIONALES
Valiéndose de las integrales definidas, hallar los límites de las siguientes sumas:
1 2 n 1
1) lim 2 2 2
n n n n
1 1 1
2) lim
n n 1
n2 n n
n n n
3) lim 2 2 2 2
n n 1
n 2 2
n n 2
1 2 (n 1)
4) lim sen sen sen
n n
n n n
1 n b a
5) lim f a k
n n
k 1 n
Hallar la suma de las series mostrando que son del tipo telescópica
(1) n 1 (2n 1)
n 1 n
1)
n 1 n(n 1) 4)
n 1 n2 n
n
2) 1 2
n 1 n ( n 1)( n 2) log 1 (1 n)
2n 1
n
5)
3) n
n 1
2
(n 1) 2
n
n 2 (log n ) log( n 1)
n 1
Evaluar los siguientes límites:
n n n
1) lim 2 2 2
n n 1
n 2 n n
1 2 n
2) lim 2 2 2
n n 1
n 2 n n
cos1 cos 2 cos n
3) lim
n n2
A continuación y para completar este manual de series y sucesiones, presentamos otro listado
de problemas. No todos están resueltos, una buena parte se dejan como ejercicio.
1) ¿En qué sentido debe ser el vector aceleración del ascensor mostrado si los bloques
1,2,3, , n son todos iguales de masa m , a excepción del bloque más grande que tiene una
masa M y el objeto que cuelga de la polea de peso p . Considere una situación ideal.
150 Lo bello de la matemática
1 a=?
2
n
2) Si todos los coches son iguales, calcular la expresión para la tensión n-ésima, calcular
además la aceleración del sistema y la fuerza que ejerce la cuerda sobre el primer y último
bloque:
3) Suponga que en una misma cuerda se hallan sujetos objetos de la misma forma y tamaño,
despreciando los efectos de fricción del aire, si los objetos al caer hacen el mismo ruido en
intervalos de tiempo iguales, ¿Cuál debe ser la distancia que los separa? , Hallar ésa distancia
en términos de "n"
4) Una pelota se deja caer desde una altura h , en la parte superior de un plano inclinado, si el
choque se considera plástico, ¿Qué relación hay entre las distancias recorridas en el plano
inclinado después del primer, segundo, tercer, etc rebote?
151 Lo bello de la matemática
5) Calcular:
(3 5 17 257 ) 1
2 2003
" 2003" factores
1111
....
111
222
...222
" 2 n "cifras "n "cifras
10) Una cantidad (por el momento definido como tal) se denomina idempotente si al
n
multiplicarse por si misma se reproduce, esto es e e , para algún número n N , probar
que la unidad compleja "i" es idempotente en el campo complejo, determinar los valores de
n para los cuales se verifica su idempotencia, además calcule:
1 i i 2 i 1992
a ) S 0 C n0 C n3 C n6
b) S1 C n1 C n4 C n7
Ecuación Solución
2
x a1 x b1 0 x0 , x1
x 2 a 2 x b2 0 x0 , x 2
2
x a 3 x b3 0 x 0 , x3
x 2 a n x bn 0 x0 , x n
Las soluciones de x2
a n
x
b n
0 son.....
n n
19) Hallar las sumas de las siguientes series:
2n n2 n
a) n 1 2 n 1 n(n 1)
2n 1
b) n
n 1
2
(n 1) 2
n 1 n
c)
n 1 n2 n
2n 3
d)
n 1
(1) n
(n 1)(n 2)
1
e) 4n
n 1
2
1
1 1
f) n
n 1
2
n 1
n 2
1 1 1 1 1 1 1
a) b)
1 .2 2 .3 3 .2 4 .5 1 .2 .3 3 .4 .5 5 .6 .7
2n 1 1 n2 2 n (n 1)
c) 2
n 1 n ( n 1)
2
d) n(2n 1)
n 1
d)
n 1 n!
e)
n 0
n!
1 (1) n n2 1 n (1) n n 3 n
f) n 1 n (n 1) 2 (n 2) 2
2
g)
n 0 n2 n 2
h) n 0 2 n n!
x i)
n 0 (n 1)!
x
n 2 2 n 4 n 1
(1) (2n 1) 2 n n x x (1) n 1 x 2 n
j) n 0 (2n)!
x k) n 0 (2n 1)!
l)
n 0 4n 1
m) n 1 n(2n 1)
2 2
a (a d ) a (n 1)d 1 x 1 .4 x 1 .4 .7 x
n) ( d 0) o)
n 1 d .2d nd 3 2 3 .6 2 3 .6 .9 2
(2n 1) x 2 n
p) n
n 1
2
x n 1
q)
n 0 n!
Evaluar las series dadas por el método correspondiente (Abel, trigonométricas, derivación e
integración término a término, etc.)
1 1 1 1 1 .3 1 .3 .5 1 1 1
a)
1 b) 1 c) 1
4 7 10 2 2 .4 2 .4 .6 3 5 7
sen(nx) cos nx sen nx.sen n
d)
n 1
n
e)
n 1
n
f)
n 1 n
sen 2 n .sen nx
cos( 2n 1) x
sen(2n 1) x
g) n 1 n
(0 )
2
h)
n 1 (2n 1) 2
i)
n 1 2n 1
sen nx cos nx cos nx
j) (1)
n 1
n 1
n(n 1)
k) (1)
n2
n
n2 1
l) n 0 n!
(n 1)!2 (2 x) 2 n
(n!) 2 n
m)
n 1
(2n)! n 0 ( 2 n )!
x
n)
1! 2! 3!
o)
x 1 ( x 1)( x 2) ( x 1)( x 2)( x 3)
a1 a1 a
p) 2 Suponiendo que x 0, a n 0 (n 1,2, ) y que la serie
a 2 1 a 2 x a3 x
1
a
n 1 n
es divergente.
x n 1
r)
n 1 (1 x n )(1 x n 1 )
si x 1
21) Examinando La derivada término a término de las series, deducir las fórmulas para las
sumas:
Pn 1 2 x 3 x 2 nx n 1
Qn 12 2 2 x 3 2 x 2 n 2 x n 1
S n senx sen 2 x sen nx
Tn cos x 2 cos 2 x n cos nx
S n cosh x 2 cosh 2 x n cosh nx
22) Deducir la fórmula para la suma:
1 x 1 x 1 x
Sn tg tg n tg n
2 2 4 4 2 2
23) El cálculo de una integral reiterada es muy similar al de una integral simple, se comienza de
la primera integral (De derecha a izquierda), se integra la primera integral con su variable
considerando a las otras variables constantes, ese resultado se vuelve a integrar pero ahora se
considera la variable de esta integral como variable principal, y a las otras constantes, así
sucesivamente. Hallar las siguientes integrales reiteradas:
1 1 1
a)
( x12 x 22 x n2 )dx1 dx 2 dx n
0 0 0
155 Lo bello de la matemática
1 1 1
b)
(x
0 0 0
1 x 2 x n ) 2 dx1 dx 2 dx n
absolutamente.
1x 2 x 3 x 2002 x 2005003 x
27) Sea n 1 . Las variables reales x1 , x 2 , , x n 1 satisfacen las siguientes desigualdades:
1 x1 x 2 x n 1 n n
x1 x 2 x
Encontrar el valor mínimo de la suma: n
x 2 x3 x n 1
28) La sucesión de números reales x 0 , x1 , x 2 está determinada recursivamente de la
31) Un n-ágono convexo P tiene todos sus lados de la misma longitud. Además cumple con
la siguiente propiedad: Existe un vértice A1 , a partir del cual todos los vértices pueden ser
nombrados consecutivamente A2 , A3 , , An en el sentido de las manecillas del reloj,
obteniéndose las siguientes desigualdades An A1 A2 A1 A2 A3 An 1 An A1 .
Demostrar que el polígono P es regular.
1 1 1
1
2
n n 1 3n
33) Encontrar todos los números reales c tales que la sucesión:
n c (n 1) c (n 2) c (1) n 2 2 c (1) n 11c
an Converge a un número real.
n
34) Demuestre la siguiente igualdad:
n
i
Lim
n
1 n
i 1
2
e
2 x2 3 z3
2 x x 3 z
x xx z z
xx x xx z z z zz zz
x z 97
2 4
x 2 x2 x x y 4 y4 y y
x xx y yy
xx xx yy yy
x y 272
4 y 4 y4 3 z 3 z3
y y yy z z zz
yy y y y z z z
y zz z 337
36) En la notación indicada para los números combinatorios, demostrar que se cumple:
n n n n
2n
0 1 2 n
37) Demostrar por inducción matemática que:
2 3 4 n 1
1 1 1 1 (n 1) n 1
1 1 1 1
1 2 3 n n!
Además verifique esta igualdad por deducción matemática (Esto es calcule UD).
38) Calcular la suma finita siguiente S 1.4 2.5 3.6 n(n 3) , demuestre su
resultado por inducción.
39) Probar por inducción matemática (si así lo requiera) las siguientes desigualdades:
1 1 1
1 2 n
2 3 n
1 1 1 1
1 2 2
4 9 n n
157 Lo bello de la matemática
e ix cos x isen x
a1 a 2 a3 a
42) Para la serie de n razones iguales: n k
b1 b2 b3 bn
Demostrar las siguientes propiedades:
a1 a 2 a3 a n n
a1n a 2n a3n a nn
a) kn b) k
b1b2 b3 bn n
b1n b2n b3n bnn
c) (a1 a 2 a n )(b1 b2 bn ) a1b1 a 2 b2 a n bn
d) n (a1 b1 )(a 2 b2 ) (a n bn ) n a1 a 2 a 3 a n n b1b2 b3 bn
nx n y n 3 x 3 y 3 2 x 2 y 2 xy c
( y xy ' ) n 2 ( xy ) n 1 9( xy ) 2 4( xy ) 1 0
y y ' x ( y ) y
De donde: y xy ' 0 y ' y' ' 2
además y ' , luego:
x x x
d2y 2y
2 y' ' 2
dx x
44) Hallar la primera derivada de:
x x
yx x , por la secuencia reiterada y bajo ciertas condiciones razonables tenemos
45) Resolver:
158 Lo bello de la matemática
Indicación:
x y
En primer lugar vamos ha probar que arctg x arctg y arctg , cosa muy
1 xy
sencilla. Veamos.
arctg x tg x
arctg y tg y
tg tg
Esto por definición, ahora emplearemos una identidad evidente: tg ( )
1 tg tg
47) Si a n es una sucesión en los números reales que tiene límite, Lim a n l (Finito o
a1 a 2 a n
infinito), demostrar que también Lim l
n
48) Aplicando la propiedad anterior, calcule el sig uiente límite:
Lim
log 2 3 3 n n
n
49) Si a n es una sucesión en los números reales que tiene límite, Lim a n l (Finito o
Lim n 1 2 3 n
159 Lo bello de la matemática
2 2 2 2 33 3 3 n n n n
Lím
n 2n
52) Evaluar el valor de la siguiente expresión de números complejos:
(1 i ) 4
(1 i ) (1 i )
E (1 i )
Solución:
abc
Sabemos que el semiperímetro puede expresarse por p , Por la fórmula de
2
Herón tenemos que el área del triangulo ABC es S p ( p a )( p b)( p c) , luego el
p ( p a )( p b)( p c) S
radio de la circunferencia inscrita es R1 , por otra parte:
p p
c.h 2S 2S 2S 2S ( p c)
S 1 h1 y h2 h1 2 R1 , por semejanza de además
2 c c p pc
se tiene:
160 Lo bello de la matemática
S 2S ( p c)
h1 R1 R1 h2 p pc S ( p c)
R2 , ahora examinemos el valor de R3 .
h2 R 2 h1 2S p2
c
2S 2S 2S p c
Podemos ver del gráfico que: h3 h1 2 R1 2 R2
c p p p
2 S ( p c)( p 1) h R R1 h3
h3 2
, por relación de semejanza se tendrá: 1 1 R3
cp h3 R3 h1
S 2 S ( p c)( p 1)
p cp 2 S ( p c) 2
R3 , si se procede del mismo modo para calcular el radio
2S p3
c
S ( p c) 3
de un cuarto círculo se tendrá R4 , ahora veamos en que relación están los
p4
S S ( p c) S ( p c) 2 S ( p c) 2
radios calculados R1 , R2 , R3 , R4 , , Es fácil
p p2 p3 p4
darse cuenta de que están en progresión geométrica, pero ¿Existe una suma límite? , en efecto
la hay, por que la serie dada es convergente, muestra de que:
n 1
S ( p c) n 1 S p c
Lím n
Lim 0 , puesto que si se trata de un triángulo
n p
n p p
p p c , por lo tanto el límite dentro de el corchete es igual a cero, ent onces se cumple el
Criterio básico de convergencia. La suma pedida es entonces:
161 Lo bello de la matemática
A lim
R12 R22 R2n
S
2 2
S S ( p c) p S p ( p a )( p b)( p c)
A lim 2
p p 1 p c c c
p
54) Calcular la suma:
Solución: La función parte entera expresa el valor entero de cualquier número real, así por
ejemplo: 0,9 0, 1,89 1, 2 2, etc. También es llamada función escalón (Por su
gráfica).
De este modo tenemos que la parte entera de cada raíz no cambia hasta que n , tome valore
de cuadrados perfecto y la parte entera de un cuadrado perfecto es su raíz cuadrada.
4
Entre 1 y 4 las partes enteras son: 2 3 1 k 2.1 (1 2) 2
k 1
k 2.2 (1 2 3)
K 1
2
k 2.3 (1 2 3 4)
K 1
2
n (n 1)
En general, entre
2
y
2
las partes enteras son:
n 1 n 2 n 2n n
2 2 2
, por tanto
n 1
k 1
k 2n 2 (1 2 n 1)
Por lo que:
S 1 2 3 (n 1) 2.1 2 2
2 .2 2 2 .3 2 2 n 2 1 2 n 1
Pero hemos supuesto que el último número de la suma k era un cuadrado perfecto, pero
2
no siempre puede ocurrir así, si k (n 1) , existe un resto que va desde:
(n 1) 1 k
2
, desde luego (n 1) 2 k (n 2) 2 , supongamos que k se
puede expresar como sigue: k (n 1) 2 m (m N ) m k (n 1) 2
por otra parte:
162 Lo bello de la matemática
(n 1) 1 (n 2) 2 (n 1) m n 1
2 2 2
y la suma:
"m "veces
Finalmente:
k
(2n 1)(n 1)n (n 1)(n 2)
n 1
n
3
2
m(n 1) , de donde "m" y "n" , se obtienen
2
de la ecuación: k ( n 1) m
S 1 2 3 320
Hacemos que el último sumando se exprese como un cuadrado perfecto más su resto por
exceso, como vemos el más próximo es 17, entonces 320 17 2 31 , de donde es fácil ver
que m 31, n 16 , ahora solo sustituimos en la fórmula:
k
(33)(17)16 (17)(18)
n 1
n
3
2
31(17) 3672
resolverlo. ¿Cómo lo hizo? (Obviamente Juan no sabia derivar ni integrar una serie término a
término).
Juan se topó con otra serie S1 ( x) , él pensó que esta serie no tendría por que ser diferente en
estructura al anterior, usó la misma idea para su cálculo:
S1 ( x ) x 2 x 2 3 x 3 4 x 4
S1 ( x )
1 (1 1) x (1 2) x 2 (1 3) x 3
x
S1 ( x )
x
1 x 2 x 2 3 x 3 ( x x 2 x 3 )
S1 ( x ) 1
1 S1 ( x )
x 1 x
2
x
S1 ( x )
(1 x) 2
Al final le quedó por resolver:
S ( x) x2 1
1 S x 2 2
x (1 x) 1 x
x 2 (1 x)
S ( x) . ¡Increíble Juan, lo hiciste!
(1 x) 3
57) Calcular la suma de la serie:
n n 1
2 2
x
n 0
y ( xy 1) . Como los exponentes de los sumandos están afectados por la
función parte entera, tenemos la necesidad de desarrollar la serie.
S 1 y xy xy 2 x 2 y 2 x 2 y 3 x 3 y 3 x 3 y 4 x 4 y 4
Ahora tenemos un panorama más claro de lo que está sucediendo. Note que generamos dos
series diferentes:
S 1 y xy 2 x 2 y 3 x 3 y 4 xy x 2 y 2 x 3 y 3 x 4 y 4
S1 S2
58) Si a 0 , calcular:
164 Lo bello de la matemática
a a a
a a a a a a
59) Calcular:
2 2 2 2 2 2
Indicación: Usar la igualdad de Vieta.
2 2 2 2 2 2
60) MOMENTO DE INERCIA DE UN CONO
Calcular el momento de inercia de un cono sólido uniforme de radio basal R , altura H y masa
M.
Un cono se puede considerar como una colección de
delgados cilindros cuyos radios varía desde R hasta
cero, y cuyo espesor se hace cada vez más y más
pequeño.
Si tomamos en cada pequeño cilindro un espesor:
H
x de modo que sea lo más pequeño posible, de
n
m M
densidad uniforme: i mi vi , donde
vi V
mi es la masa de un cilindro cuyo volumen será:
vi r 2 x .
El momento de inercia de un cilindro macizo es
1
I i mi r 2 , luego para hallar el momento de inercia total, debemos sumar los momentos de
2
inercia de cada cilindro y pasar esta suma a límites:
4 4 4 4
1 R 1 2R 1 3R 1 nR
I x x x x , dado que
2 n 2 n 2 n 2 n
H
x , al evaluar el límite:
n
1 1 24 34 n 4 4
I Lím H 5
R , Tomando en cuenta que
n 2
n
n
n5 n 4 n3 n
k 1
k4
5
2
3 30
, es decir:
n5 n 4 n3 n
4
1
I Lím H 5 2 3 30 R 4 1 H R H R 4 como M M
n 2 n5 2 5 10 V 1 2
R H
3
Se tendrá:
3
I MR 2
10
61) ENERGÍA CINÉTICA DE UN RESORTE CON MASA.
cinética debida al movimiento de sus espiras. Suponga que se tiene un resorte de masa M , el
cual después de alongarse (o comprimirse, en tal caso la fuerza restauradora es de la misma
magnitud) tiene una velocidad tal que su extremo libre se mueve con una velocidad v en un
instante dado. Calcular su energía cinética.
resorte se considera el sistema, y cada espira una partícula. Hecha las consideraciones de que
la velocidad se reduce uniformemente para cada espira, se tendrá:
2 2 2
1 2 v 2v nv M
K mi v mi v mi v mi v , como mi . Pasando a
2 n n n n
límites:
1 n 2 (n 1) 2 (n 2) 2 12 1 n(n 1)(2n 1)
K Lím Mv 2 3 Lím Mv 2
n 2
n n 2 6n 3
1
K Mv 2
6
62) CAMPO ELÉCTRICO DE UN ANILLO
Se tiene un anillo de radio interior a
De un grosor muy pequeño, el mismo
tiene una distribución superficial de
carga uniforme y una carga total Q ,
se desea conocer la magnitud y
dirección de el vector intensidad de
campo eléctrico situado en un punto
que dista x metros sobre un eje que
pasa por el centro del anillo y es
perpendicular a este.
x
cos A , pasando a límites:
x2 a2
K qx K e qx K e Qxn
E Lím e
Lím
n
x2 a2
3
3
x2 a2 n
n x2 a2 3
"n "veces
K e Qx
E 3
x2 a2 2
63) MOMENTO DE INERCIA DE UN DISCO CILÍNDRICO
xn
xn
2 x 3
x
x x3
n
x2
x
x 1
K 1
k ( k 1)
2
66) Demostrar:
1 1 1 1 1 3 1 3 1 3 5
2 x 2x (2 x) 5 (2 x) 7
x 1 1 x 2 24 246 2 4 6 8
x 1
x
1 a a a a 1 2 3 n 1 n
0 2 a a a 1 3 3 n 1 n
0 0 3 a a 1 2 5 n 1 n
det( A) det( B )
0 0 0 n 1 a 1 2 3 2n 3 n
0 0 0 0 n 1 2 3 n 1 2n 1
2 1 0 0 0 0
1 1 1 1 1 1
1 2 1 0 0 0
1 2 0 0 0 0
0 1 2 1 0 0
det( A) , det( B ) 0 1 2 0 0 0
0 0 0 0 2 1
0 0 0 0 1 2
0 0 0 0 1 2
72) Las determinantes de Vandermonde son de la forma:
1 1 1 1
a1 a2 a3 an
a12 a22 a32 an2
a1n 1
a2n 1
a3n 1
ann 1
Demostrar que el valor de este determinante es (a
1 i j n
j ai )
1 x1 x2 x3 x4 xn
x1 1 x2 x3 x4 xn
x1 x2 1 x3 x4 xn
1 x1 x 2 x n
x1 x2 x3 1 x4 xn
x1 x2 x3 x4 1 xn
1
cos n
cos(n 1) xn
n n n
(n 1) (n 1)
1
cos 3
cos 2
1
x3
1 x2 3 3 3
Lím 1 cos
n x
2 2 2
1
Si se cumple x cos
x
76) Uno cono recto tiene de base una circunferencia de radio R y su altura 4 R , se inscribe
una esfera dentro del cono y a continuación se inscribe otra esfera tangente a la primera y a la
pared interna del cono y así sucesivamente. ¿Cuál es el volumen total de todas las esferas
inscritas en el cono a medida que su número crece indefinidamente ?
f1 1, f 2 1, f n f n 1 f n 2 n 3
1 1 1
a)
f n 1 f n 1 f n 1 f n f n f n 1
1
b) f 1
n2 n 1 f n 1
fn
c) f
n2 f
2
n 1 n 1
n x4n
a) 1
n0 n!
n
1 2 n
b) 2n
n 0 6 2n !
n
1 2 n 1
c)
n0 4
2 n 1
2n 1!
3n
d) n
n0 5 n !
9 27 81
e) 3
2! 3! 4!
170 Lo bello de la matemática
2 3
f) 1 ln 2
ln 2
ln 2
2! 3!
79) Sea
x3 x 6 x9
u 1
3! 6! 9!
x 4 x 7 x10
v x
4! 7! 10!
x 2 x 5 x8
w
2! 5! 8!
80) Suponga que a1 cos , , b1 1 y an 1 1
2 an bn bn 1 bn an 1 .
2 2
Muestre que
sen
Lim an Lim bn
n n
81) Una sucesión an se define por recursión mediante las siguientes ecuaciones:
a0 a1 1 n n 1 an n 1 n 2 an 1 n 3 an 2
Calcule la suma a
no
n .
83) Usando el método de pasar la suma límite a una integral definida y otros, calcular los
límites de las siguientes sucesiones:
a ) an
n 2
1 n 2 2 n 2 3 ... n 2 n
, bn
n
e n e2 n en
n 2
1 n 2 3 n 2 5 ... n 2 2n 1 n
1 20n 2 20 n
ln ln
1 1 1 n n ln 21
b ) an , bn
n 1 n 2 2n 1 20n 2 20 n n 20 n
n
1 2
1 3 7 2 1
12 3 4 n 1
c ) an , bn 2 2 4
2 8
2 2n
n3 4 5 n2 5n
1 5n 2 2 4 2n n2 1 3 2n 1
d ) an , bn n
2
1 9n 2 4 n 4 7 3n 1 3n 2n 1 6 12 6n
171 Lo bello de la matemática
13 23 n3 n n n
e) an 4
, bn 2
2
2
2n n 1 n 1 n 2 n n
n 1
p
f ) an n 2 k 2 2 , bn n u1u1 .u2u2 ...unun u p 1
k 1 n
n
n 1
g ) an 2 2
, bn n an b an 2b (an nb siempre que esten bien definidas
k 1 k n n
n n n n
h ) an 2
2
2
2
1 2n 2n 4n 4n 2n 9 6n 2n n 2n n 2n 2
2 ln 2 ln 3 ln n
bn sen 2 cos
n ln 3 ln 4 ln n 1
PROBLEMAS RECREATIVOS
Estas figuras irregulares que se repiten en diferentes escalas es lo que en esencia se conoce
como fractales. Estas estructuras isomorfas están caracterizadas por un proceso recursivo que
permite generarlas.
Como se ve, muchas de ellas presentan diversas formas de materia biológica. En síntesis la
teoría fractal ha servido a muchas ciencias (no esencialmente matemáticas) que toman sus
conceptos y los aprovechan en sus respectivas áreas (Teoría del Caos).
Básicamente entenderemos un fractal como un objeto geométrico (ya sea físico o no) cuya
estructura básica se repite en diferentes escalas. Nosotros únicamente vamos a trabajar con
algunos fractales sencillos.
173 Lo bello de las matemáticas
3 3 2 3 3 2
S 2
a2 3
3
a 9 4 a , la cual es convergente e igual al área del
4 4 4 4
triángulo ABC . Sin necesidad de efectuar un solo cálculo, pero UD puede cerciorarse si lo
desea, aplicando la fórmula de suma geométrica decreciente infinita.
2) Para construir la curva “copo de nieve” se procede del modo siguiente: Los lados de un
triángulo equilátero se trisecan, la parte media de cada lado sirve de base de un nuevo
triángulo equilátero y así continuando el proceso indefinidamente. Si el lado del triángulo inicial
mide "L" , obtener el área de la región que limita dicha curva.
1
Cada uno con un área equivalente a parte de uno de la
9
1
primera generación, es decir parte del triángulo principal, así
81
sucesivamente. La suma total de las áreas será:
1 L2 3 1 L2 3 1 L2 3
S 6 12 24
9 4 81 4 729 4
L2 3
6
área hexagonal
15 2
S L 3 . Que es la suma de una serie geométrica decreciente
42
2
al infinito de razón absolutamente convergente.
9
2 2
1 1
S 12 , sin necesidad de hacer el cálculo
2 4
directo de la serie, podemos servirnos de un rectángulo de dimensiones 2 1 y aplicar el
principio fractal de modo siguiente:
2 2 2 2
1 1 1 1 4
3 1 3 3 4 12 , que es la suma pedida.
2
5) Hallar la suma del área sombreada para un , donde n se hace infinitamente grande.
175 Lo bello de las matemáticas
6) Usando el principio fractal, expresar el área del cuadrado mayor como una serie infinita.
Para nuestro entendimiento, llamemos “número principal” al número que inicia la secuencia
en el nivel uno, dichos números son 1, 2, 3, 4, 5, ... , es decir, el número principal es el primero
en aparecer antes de repetirse, y en efecto los números 1, 2, 3, ... aparecen por primera vez en
el primer nivel, luego, sus “clones” se repiten en un nivel distinto, observemos la posición que
ocupan cada uno de ellos:
Los números s que indican la posición, forman una sucesión
Número Posición cuadrática:
principal 1, 3, 6, 10, 15, 21 ,...
1 1 +2 +3 +4 +5 +6
2 3 +1 +1 +1 +1
3 6 2
El término general a n An Bn C , se determina
4 10
5 15 resolviendo el sistema:
6 21 A B C 1
. . 1 1
. . 4 A 2 B C 3 A , B , C 0
9 A 3B C 5 2 2
. .
n(n 1)
Por lo que an , donde n indica el número principal y
2
a n su posición. El problema consiste en determinar para que valor de n , a n toma una valor
n(n 1)
cercano a 1998, es decir tenemos la ecuación: 1998 n(n 1) 3996 , sin
2
involucrarnos en el cálculo de las raíces de esta ecuación de segundo grado, probemos el
producto de dos números consecutivos cuyo valor sea muy próximo a 3996 (fácil decir que
estará entre 60 y 70, porque 3996 se aproxima a 4000 que es igual a 400.10 y la raíz cuadrado
de 400 es 20 y de 10 es un tanto mayor que 3, por lo que 3.20 = 60 ) esos números como
vemos son 62 y 63 , en efecto 62.63 = 1953, son los que mejor se acercan, aunque por
defecto. Observemos también que entre el número principal 1 y 2 hay 1 número, entre los
números principales 2 y 3 hay 2 números, etc. Entre 62 y 63 habrá entonces 62 números, como
62 es par eso quiere decir que los números de bajada y subida coinciden en un vértice, como
se puede apreciar en la figura. De entre los 62 números existentes entre los principales 62 y
63, para completar los 1998 números hacen falta 1998 – 1953 = 45 números intermedios. El
número que ocupa el vértice entre los intermedios es 62/2 +1 = 32 y entonces harán falta 45 –
32 = 13, números de subida para dar con el que ocupa la posición 1998. Finalmente los
números de subida y bajada en una misma fila dan una suma constante, por ejemplo entre los
principales 4 y 5 las sumas son 1+ 5 = 2 + 4 = 6, y esta regularidad se cumple para
cualesquiera números de una misma bajada y subida, en particular la suma entre los
principales 62 y 63 es 1+ 63 = 64 y como esta suma debe ser constante 45 + x = 64 osea x =
19; teniendo en cuenta que los números de bajada indican el nivel , finalmente nuestra
respuesta es: el número que ocupa la posición 1998 es el 45 y se encuentra en el nivel 19.
177 Lo bello de las matemáticas
Si a1, a2,..., a12 es la permutación de los números 1, 2,..., 12 obtenida, consideremos las doce
sumas Si de ternas de números ocupando posiciones consecutivas, esto es,
S1 a1 a2 a3 , S 2 a2 a3 a4 ,, S12 a12 a1 a2
Es claro que cada número entre 1 y 12 aparece como sumando en exactamente tres de estas
sumas (por ejemplo, a2 aparece en S1, S2 y S12). Por lo tanto, si sumamos todos los S i,
obtenemos:
12
12 13
S
i 1
i 3(1 2 12) 3
2
234
Dividiendo 234 por 12, vemos que el cociente es 19 y el resto es 6. Luego (Principio de los
Casilleros), algún sumando S k debe valer por lo menos 20, como queríamos probar.
Suponga que se tienen infinitas cargas de la misma magnitud, distribuidas al lo largo de una
misma línea, es decir son colineales, las cargas están separadas 2 cm entre sí, y la primera
dista 2 cm del punto A . ¿Porque no es posible estimar la magnitud del potencial eléctrico en el
punto A , cuando todas las cargas son del mismo signo, tomando en cuenta que las cargas
más alejadas del punto, teóricamente en el infinito, no producen potencial? , que pasa si
alternamos los signos de las cargas, entonces ¿se podría estimar dicho potencial? las cargas
están medidas en Statcoulumbs.
Tenemos un dibujo de la situación planteada en el problema:
Si todas las cargas fueran iguales en signo, el
módulo del potencial eléctrico debida a estas
cargas, sería en valor absoluto:
Se dispone de 98 tarjetas. En cada una de ellas está escrito uno de los números 1, 2, 3, ...,
98 (no hay números repetidos). Se desea ordenar las 98 tarjetas de modo tal que, al considerar
dos tarjetas consecutivas, la diferencia entre el número mayor y el número menor escritos en
ellas sea siempre mayor que 48. Indicar cómo y de cuantas formas es posible efectuar la
ordenación.
Curiosamente, para resolver este problema no necesitamos ninguna fórmula de orden y
combinación, simplemente tenemos en nuestra cabeza dos números a y b tales que
a b 48 , lo que implica que a es el mayor número entre dos consecutivos, ordenémonos
en una tabla:
b a 48 b Números posibles de elegir
1 49 98 – 49 = 49
2 50 98 – 50 = 48
. . .
. . .
. . .
48 96 98 – 96 = 2
49 97 98 – 97 = 1
Números pitagóricos
n n n n n n
Pero, por hipótesis inductiva c a b es lo mismo c a a ( a b ) , al restar esta
desigualdad de la anterior, se obtiene:
c n c ac n b n (b a ) c n (c a ) b n (b a ) , lo que es muy cierto, por tanto queda
demostrado.
Observación:
n n
c bca ba ó c b , dado que c es hipotenusa. Al multiplicar miembro a
miembro estas desigualdades se obtiene la que demuestra la hipótesis.
El triángulo aritmético
Donde cada número es la suma de los dos que tiene encima (cada fila tiene un número menos
y en la última sólo hay un número). Razonar que el último número es múltiplo de 1993.
180 Lo bello de las matemáticas
Solución.
p 1 p 1 p 1
b p , 0 a0 a1 ....... a p 1 ;
0 1 p 1
p 1 p 1 p 1
b p ,1 a1 a2 ....... a p
0 1 p 1
entonces, el primer elemento de la fila siguiente será :
p p p
b p 1, 0 a0 a1 ....... a p (*)
0 1 p
en nuestro caso la primera fila tiene 1994 elementos, la segunda 1993, ... y la última
corresponde a p + 1 = 1994 y su único elemento será
1993
Al ser 1993 primo, es múltiplo de 1993 para todo k menor que 1993 y por tanto b1993 es
k
múltiplo de 1993.
Demostrar que para todo número primo p distinto de 2 y de 5, existen infinitos múltiplos de p de
la forma 1111......1 (escrito sólo con unos).
Veamos primero que p tiene infinitos múltiplos de la forma 999...9. Consideremos la sucesión:
9, 99, 999, ......,999...9 (el último tiene n nueves). Entonces se tiene:
2 3 n
9 = 10 - 1; 99 = 10 - 1; 999 = 10 - 1;.......999..9 = 10 - 1
p-1
en la sucesión hay infinitos términos de la forma 10 - 1 con p 2, p 5 y p primo.
p-1
Puesto que, por el teorema de Fermat: 10 - 1 1 (mód p) si p 2, p 5 la afirmación queda
demostrada.
Finalmente 999...9 = 9 · 111...1 entonces si p es primo con 9 (p 3), p divide al producto, es
primo con 9 luego divide a 111...1.
Queda el caso p = 3 que es evidente ya que los infinitos números: 111; 111111, .......... son
múltiplos de tres.
Una máquina de juego de un casino tiene una pantalla en la que se ofrece un esquema como
el de la figura. Para comenzar el juego aparece una bola en el punto S. A cada impulso que
recibe del jugador, esa bola se mueve hasta una de las letras inmediatas con la misma
C probabilidad para cada una de ellas. La partida termina al ocurrir el
primero de los dos hechos siguientes:
a) La bola vuelve a S y entonces el jugador pierde.
b) La bola llega a G y entonces el jugador gana.
A B Se pide la probabilidad de que el jugador gane y la duración media
de las partidas.
S D G
1/3 1/3
A
1/3
S 1/2
C D
A B A B
S C D G C D S C D C D G
1
La probabilidad de que el juego tenga longitud 2 es
3
1 1 1 2
La probabilidad de que el juego tenga longitud 4 es : • • •2 •2 2
3 2 3 3
1 1 1 1 22
La probabilidad de que el juego tenga longitud 6 es : • • • 2 • 2 • 2 • 3 , etc, en
3 2 3 3 3
general
2 n1
la probabilidad de que el juego tenga longitud 2n es:
3n
Entonces, la duración media M de un juego es la suma de cada longitud por la probabilidad
respectiva:
n
2 n1 2
M
n 1 3n
2n •n
n 1 3
Serie aritmético-geométrica que se suma por el mismo método que la geométrica:
2
2
2 M 2 3
M M 2 M 2•3 6
3 3 3 1 2
3
La probabilidad P de ganar será la suma de las probabilidades de ganar en 4 pasos más la de
que gane en 6 pasos...etc.:
182 Lo bello de las matemáticas
1 2 22 1
P 2
3 4 ....
3 3 3 3
Infinitos cuadrados perfectos en una progresión aritmética
Demostrar que si entre los infinitos términos de una progresión aritmética de números enteros
positivos hay un cuadrado perfecto, entonces infinitos términos de la progresión son cuadrados
perfectos.
Solución
Bastará probar que a partir de un cuadrado perfecto podemos construir otro. Sea la progresión:
2 2 2
a , a + d, a + 2d,......, a2 + kd......
2 2 2 2
Como (a + d) = a + 2ad + d = a + (2a + d)d, basta tomar k = 2a + d para obtener otro
cuadrado en la progresión.
Buscando el mínimo.
n 2 - 198n - 99 2 0 n 99 99 2 99 2 n 99 1 + 2 n 240 .
Si n < 240, es seguro que el conjunto no cumple la condición del enunciado pues
2 2 2
m (n+99) 2n
Cualquier otro conjunto que cumpla la condición, tendrá sus elementos respectivamente
iguales o mayores que los de éste. Este es, por tanto el que da lugar al mínimo S(A).
El número de triángulos que debe considerarse es el de variaciones ternarias con repetición de
3
los elementos de A, que es 100 = 1000000, con lo que el número de lados en total será de
3000000; de ellos habrá 30000 de longitud 240, otros tantos de longitud 241, etc. L uego
Calcular la suma de los cuadrados de los cien primeros términos de una progresión
aritmética, sabiendo que la suma de ellos vale -1, y que la suma de los términos de lugar par
vale +1.
a a 99d 50 1
Para calcular a y d resolvemos el sistema: que operado y resuelto
a d a 99d 25 1
sale:
a = -2,98; d = 0,06.
El resto es fácil de calcular. Los paréntesis son progresiones de primer y segundo orden.
2 2 2
1 + 2 + ...+ 99 = 4950; 1 + 2 +....+ 99 = 328350.
para n = 1, 2, 3, ...
Solución:
Supongamos f(1) = b. Entonces, f(1 + b) = 2b, como f es estrictamente crecie nte, se tiene:
y resulta que f(1), f(2),….f(1+ b) son b + 1 naturales, distintos, el primero vale b y el último 2b,
por tanto han de ser consecutivos.
resulta entonces:
f(1) = b, f(2) = 1 + b, f(3) = 2 + b,…, f(1 + b) = b + b.
c = f(n) < f(n + 1) <…< f(n + c) = c + c y los números f(n), f(n + 1), …, f(n + c) son consecutivos.
Así pues,
f(n) = n - 1 + f
Probar que existe una sucesión de enteros positivos a1, a2,…, an, … tal que
2 2 2
a1 + a2 +…….+ an
es un cuadrado perfecto para todo entero positivo n.
Solución:
2 2 2
Lo haremos por inducción sobre n, para n = 2 basta tomar a1 = 3; a2 = 4 con 3 + 4 = 5 .
2 2 2 2
Supongamos que a1 + a2 +…….+ an = k . Veamos que podemos encontrar un entero
positivo an+1 tal que k 2 a n21 p 2 .
En efecto, k 2 p 2 a n21 p a n 1 p a n 1 .
184 Lo bello de las matemáticas
Pongamos a p a n 1 ; b p a n 1 .
ab ab 2 ab ab
Tenemos: p ; a n 1 ; k .
2 2 2 2
La última expresión exige que a y b son de la misma paridad. Distinguiremos dos casos
2
1.- a y b son pares, entonces k = 4m . Tomado a = 2m; b = 2 queda:
k2 k2
p m 1 1; a n 1 m 1 1
4 4
2
2.- a y b son impares, entonces k = 2m + 1. Tomando a = 2m +1, b = 1 queda:
k 2 1 k 2 1
p m 1 1; a n 1 m
2 2
En ambos casos hemos encontrado an+1 entero verificando el enunciado.
Solución:
N
Condición a): z E 111·k; k N; 1 k 9
3
Condición b):
N n n 1 1 1 8z
z E 1 2 3 ... n z n 2 n 2z 0 n
3 2 2
(la otra raíz es negativa).
Juntando las dos condiciones, queda:
1 1 8·111·k
n
2
Como n es natural, el radicando ha ser cuadrado perfecto lo que ocurre sólo para k = 6 que
sustituido en la expresión anterior resulta n = 36.
Recuperando la condición a):
N N
z E 111·6 666 667 666 2001 N 1998
3 3
Por tanto el mayor N que cumple a) y B es N = 2000
Más funciones 1
Solución:
Supongamos que exista f : N N | f f n n 1 .
185 Lo bello de las matemáticas
f f 0 1; f f 0 f a 1
del mismo modo, f(1) = a + 1, f(a + 1) = 2, f(2) = a + 2,........
Supongamos que f(n - 1) = a + n - 1, entonces f( a + n -1) = a + n luego hemos probado por
inducción que
f n f a n 2a n
Entonces,
1
2a n n 1 a N
2
Hemos llegado a una contradicción y la condición supuesta es falsa con lo que queda
demostrada la inexistencia de la función f.
Más funciones 2
En el primer caso, se trata de ver cuántos unos puede tener como máximo un número menor o
igual que 2001 escrito en base 2. Ese número, escrito en base 2, es, obviamente, 1111111111,
10
que corresponde a n = 1023 = 2 - 1. Es f (n) = 10.
2001
En el segundo caso, razonando de manera análoga, se observa que la respuesta es n = 2 -
1.
Más funciones 3
g(2) = 1
g(2n) = g(n)
g(2n + 1) = g(2n) + 1
Sea n un número natural tal que 1 n 2002. Calcula el valor máximo M de g(n). Calcula
también cuántos valores de n satisfacen g(n) = M.
n ak 2k ak 1 2k 1 a1 2 a0 ak a1a0 2 ,
Donde aj = 0 o 1.
k
Probaremos por inducción que g n a j por inducción sobre k:
j 0
186 Lo bello de las matemáticas
Para k = 0 es cierto:
g 1 2 g 1 1 . Supuesto cierto para k, hay dos casos para k + 1:
k
g ak a1a0 0 2 g 2·ak a1a0 2 a j ,
j 0
k
g ak a1a01 2 g 1 2·ak a1a0 2 1 a j
j 0
Probar que para cualquier primo p distinto de 2 y 5 existe un múltiplo de p cuyas cifras son
todas nueves. Por ejemplo si p = 13, 999999 = 13·76923
Solución:
i
Sea ai el número compuesto por i nueves ai 99 9 . Supongamos que p tal que
p | ai i para probar por contradicción el enunciado.
Considérense en dicho caso los números a , a , a , en este conjunto sabemos que no
1 2 p
hay ningún ai 0 p (por hipótesis) . Por tanto al haber p números y sólo p – 1 restos
posibles módulo p, se sabe que existen m, n tales que am an 0 p .
Suponemos sin pérdida de generalidad que m > n y:
m
n
m
n n
p | am an 99 9 99 9 99 9 00 0 am n ·10 n
Como p 2 y p 5 p | 10 n 2 n ·5n p | am n y como am – n pertenece al conjunto
escogido por ser m – n < n y m – n 1 se ha llegado a una contradicción. Por ende:
Un arreglo numérico
Tenemos un conjunto de 221 números reales e cuya suma es 110721. Los disponemos
formando un rectángulo de modo que todas las filas y la prim era y última columna son
progresiones aritméticas de más de un elemento. Probar que la suma de los elementos de las
cuatro esquinas vale 2004
Solución
Denotaremos por aij al elemento de la fila i-ésima y columna j-ésima del rectángulo
Pongamos n para el número de filas, m para el de columnas y S para la suma de los n·m
elementos.
Con notación matricial queda:
4 S 4·110721
a11 a1n a1m anm 2004
n·m 221
Un polinomio sin raíces enteras
Sea P x un polinomio con coeficientes enteros, demostrar que si existe un entero k tal que
ninguno de los enteros P 1 , P 2 , , P k es divisible por k, entonces P x no tiene
raíces enteras.
Solución.
Por reducción al absurdo. Si n fuese una raíz, por una parte tenemos
P x x n Q x
y por otra siempre existen enteros q y r tales que n kq r , con 1 r k (basta hacer la
división entera y en el caso de ser resto cero se rebaja el cociente en una unidad), entonces
P r r n Q r kqQ r
en contra de lo supuesto en el enunciado.
Un problema de la IMO
Sea P (x) un polinomio de grado n 1 , con coeficientes enteros y sea k un entero positivo.
Considere el polinomio Q ( x ) P ( P ( P ( P ( x )) )) , donde P aparece k veces. Demuestre
que hay a lo sumo n enteros t tales que Q (t ) t .
Para resolver este problema guiémonos de una trayectoria genérica arbitraria (como la de la
figura de abajo), designemos por Pn las coordenadas
P1
P5 P2 del n -ésimo punto xn , yn , las siguientes igualdades
son obvias:
P9 1
Pn Pn4 Pn3
2
1
Pn 1 Pn 3 Pn 2
P8 P6 2
1
Pn 2 Pn 2 Pn 1
2
P10 1
Pn 3 Pn 1 Pn
2
P4 P3
P7
1 1
Al sumar miembro a miembro Pn Pn 1 Pn 2 Pn 3 Pn 4 Pn 3 Pn 2 Pn 1 k , donde k es
2 2
1
una constante a determinar, obviamente afirmamos que la suma Pn Pn 1 Pn 2 Pn 3 es
2
una constante porque esta relación se mantiene para otra sucesión de términos.
Pn-2
1
Entonces en Pn Pn 1 Pn 2 Pn 3 k , poniendo n 1
Pn+2 2
Pn+1
se obtiene
1 0 1 1 0 k1 3
Pn-1 k k1 2, k2 , en la
2 1 1 0 0 2 2
Pn-3 coordenada x haciendo paso a límite se tiene
Pn+3
1 4
lim xn xn 1 xn 2 xn 3 lim 2 , finalmente x ,
Pn n 2
n 7
Pn-4
3 4 3
análogamente y , i.e. P lim xn , yn , .
7 n
7 7
Increíblemente demostrable
US IP
Lo bello de la matemática
US IP
Lo bello de la matemática
US IP
Lo bello de la matemática
US IP
Lo bello de la matemática
US IP
Lo bello de la matemática
1/8
1/6
1/4
1/2
189 Lo bello de las matemáticas
Suponga que tiene una gran cantidad de libros, todos iguales y los apila en la orilla de una
mesa. Demuestre que es posible hacer esto de tal modo que el ejemplar de arriba quede
totalmente fuera de la mesa. De hecho, demuestre que el ejemplar de arriba puede sobresalir
cualquier distancia de la orilla de la mesa, si la pila tiene la altura suficiente. El libro de arriba
sobresale la mitad de su longitud del segundo de abajo; y el segundo hacia abajo, sobresale la
cuarta parte de su longitud del tercero; el tercero la sexta parte de su longitud con respecto al
cuarto, y así sucesivamente. (Intente esto con un mazo de cartas). Considere los centros de
masa.
a) Sea an una progresión aritmética con diferencia común 3 y primer término a1 1 , pruebe
1 1 1 2006
...
a1 a2 a2 a3 a2006 a2007 a1 a2007
b) Los números del 1 adelante están escritos en forma de espiral como se puede ver más
abajo. El 51 por ejemplo está en la 4ª columna a la izquierda de 1 que inicia la serie y dos filas
por debajo. Si continuamos la serie, ¿d ónde estará el número 2007 2006 ?
31 32 33 34 35 36 37
30 13 14 15 16 17 38
29 12 3 4 5 18 39
28 11 2 1 6 19 40
27 10 9 8 7 20 41
51 26 25 24 23 22 21 42
50 49 48 47 46 45 44 43
c) Llamemos número chato menor a un número tal que la suma de sus dígitos es múltiplo de 4.
Construir un número N tal que sus primeros 4 múltiplos N , 2 N ,3 N , 4 N , son todos chatos
menores. Llamemos número chato mayor a un número tal que la suma de sus dígitos es
múltiplo de 2007. Construir un número N tal que sus primeros 2007 múltiplos
N , 2 N ,3 N , , 2007 N , son todos chatos mayores.
d) Determinar la cifra de las decenas del número: 1! 2! 3! 2007!
e) Se construye la siguiente figura plana usando para cada lado un (único) palito de fósforo, en
la figura adjunta se usaron 43 palitos y tiene 4 pisos, ¿con 701 palitos, cuántos pisos se
pueden construir?
g) Sabemos que 100 factorial (100!) es la cantidad que se obtiene del siguiente modo:
100! = 100 · 99 · 98 · ... · 3 · 2 · 1
Calcular el exponente de la potencia máxima de 3 que sea divisor de 100!
2 3 4 5
9 8 7 6
10 11 12 13
17 16 15 14
18 19 20 21
… … …
…
¿En qué columna aparece el 2007?
i) Todos los números del 19 al 80 son escritos uno después del otro para formar el número
19202122...7980. ¿Es este número divisible entre 1980? Explique su respuesta.
P
C3
1 C2
C
C1 D
T
Problema geométrico 2
La figura adjunta representa una cantidad infinita de círculos que se aproximan a los vértices
de un triángulo equilátero. Cada círculo toca otros círculos y los lados del triángulo. Si los lados
del triángulo miden 1, calcule el área total que ocupan los círculos.
191 Lo bello de las matemáticas
El matemático árabe Al Karagi (X-XI), escribió un libro titulado “El libro suficiente sobre la
ciencia aritmética” en el cual demostró geométricamente (en escritura moderna) que
n 2
3 n
k 1
k k , ¿cómo lo hizo?
k 1
n n 1
Mostrar geométricamente que 1 2 n es también cosa sencilla. Como en el
2
anterior problema lo que se busca es asociar figuras geométricas a cada suma, por ejemplo si
nuestra intención es obtener la suma 1 2 n , podemos pensar que vamos a trabajar
2 2 2
con cuadrados, en efecto es así, pero la figura que se obtiene la tenemos que completar, esto
lo logramos “añadiendo” una nueva figura adecuada para que la figura resultante esté bien
proporcionada. En dibujos:
se le añade
números triangulares
a4
a3
a2
a1 42
2
3
1 2 22
Que traducida al lenguaje ordinario nos dice: El área de los cuadrados más el área de los
bloques horizontales es igual al área del rectángulo más grande (obviamente). Aplicando la
linealidad en la suma
1 n 2 1 n n n
n n 1 2n 1
2 k k k 2 1 2 n n 1 , despejando k 2
2 k 1 k 1 k 1 k 1 6
La parte entera de un numero real x , a veces denotado por x , es el mayor numero entero
que no sobrepasa a x . Por definición x x , esto implica que x 1 x , i.e. el número
x satisface las desigualdades x x x 1 . La ventaja de esta relación es que
podemos estimar con errores relativamente bajos la parte entera de un número, en efecto si
1 1 1
2 n 2 1 2 n 1 , poniendo n 1000 000 se obtiene
2 3 n
1 1 1
2 1000 000 2 1 2 1000 000 1
2 3 1000 000
Es decir 1998 y 1999 , de donde la parte entera es y 1998 .
193 Lo bello de las matemáticas
Algunos “trucos”
(*) Cuando tenemos una sucesión que viene expresada como producto de un número finito de
números naturales consecutivos, i.e. un n n 1 n 2 n k , la suma de los primeros
n n 1 n k n k 1
n términos de dicha sucesión es S n C , donde C es un
k2
constante a determinar (¿Por qué?). La prueba se hace por inducción matemática y se deja
como ejercicio al lector.
Anécdotas:
Primeramente vamos a “quitarles el disfraz” a cada suma y reescribir de una manera astuta sus
términos generales.
a) un n n 3 n 6 n n 1 n 2 6n n 1 10n , de este modo se puede aplicar
el resultado de arriba y tener (aplicando el principio de superposición):
n n 1 n 2 n 3 n n 1 n 2 n n 1
Sn C 6 10 , haciendo n 1 se
4 3 2
obtiene 28 C 6 12 10 C 0 , finalmente haciendo cálculos se obtendrá:
n n 1 n 6 n 7
Sn
4
b) un n n 4 n 8 n n 1 n 2 9n n 1 21n , de manera que
n n 1 n 2 n 3 21n n 1
Sn C 3n n 1 n 2 , haciendo n 1 se
4 2
encuentra C 0 ; por lo tanto,
1
Sn n n 1 n 8 n 9
4
n n 1
1 2 n
2
n n 1 2n 1
12 22 n 2
6
2
n n 1
1 2 n
3 3 3
2
194 Lo bello de las matemáticas
n n 1 2n 1 3n 2 3n 1
1 2 n
4 4 4
30
, etc. Sabemos muy bien que las sumas de potencias superiores se pueden obtener ya sea por
medio de la forma matricial de las ecuaciones de recurrencia que se obtengan o siguiendo un
proceso recursivo como se indicó en la primera parte de este texto. El siguiente cálculo ha sido
efectuado en el programa Mathematica para n 100
n
k100
k1 =
1 1
94598037819122125295227433069493721872702841533066936133385696204311395415197247711n
101 330
1
1886151940189950140958019789851360145743929486359212140564529273718554104542588225n3
442
5
1645616696517941672360017531510103065275262833283721440989517429807734047757850913243n
7 1
3499587543731869972014124130269577280310108931738563580941621380482207730998983400n
3
9 1
5756590770602260358191435854546355687935592199061165293809327512369296553174512270n
33
22726109441922580500884171178513217060966535175895522696891164745543825379273630900n11
174279494768949128332567900269065823948006393832155941056892677953319750396643530n13
1
32763231782690479430094326667965512714118411726258839136458009525242207746495320n15
13
1
61818849643420370751195413473815903604304015989562701728371699195513031845438795n17
3
1646768125535716650151479444626896852720685309728796535902988214135913420381350n19
1
877143330060751434255439975698188067238520258969202873053428399885044274486323n21
17
1
4025602264940138697692949939054474910168329446963893478400942931998024468600n23
5
1324370061036282771689106371621942824535634121628229346874477741034831785634n25
1
14895736277008181132334762623324412841085163414135218018322435135968555300n27
13
9414755251829274416159741243938295264430152396836676322311866541024925490n29
1
30742732793592509381106419132006507358047222774129415029742061713174600n31
2
2298625840008748358566711794822579277192552711582020488589661766598645n33
1
38128617994971540686928727825548132257444427285183833736253133613135n35
34
38422488837841697215283099397472598360568147579309143962750509312145n37
1
30103577433894512246858182453455658960106202076735695926771936400n39
13
9420573669003157380900304460100706657831264715697825695176843332n41
15840759067106242280101358431610862794065948614961249900612200n43
315842475566278652769794518433084752824523271431300286502772n45
5767327080295841139197376022940252009203992973424865954800n47
96804824377907625766958196667811374130544676298755358130n49
1
1498706385453929682015798775810793226761993483673927900n51
221
4744488025337486128368405614479224053627996335161411090n53
285364778376751604005684315162841204524238571322480n55 3529370266394983886455917920807642861607158198820n57
40717110829096195425403695982096491275834586600n59 439193198075153128312755784698960564940218084n61
1095274199011799727018355535070350711467369n65
4438979130223111934260052730572667315542800n63
26
107589814363898197258275769978834628505n69
376088893137055855489546763949785038575n67
34
25135966530951075573287359325147400n 188799122216630460039649535142290n 1342971292523623613254333982052n75
71 73
1060880788018803688873237n81
9059874211754038708880478210n77 58044394927135871743519800n79
3
6153690082202330694950n 83 192810104871174583331n 85
59847066039976600n87 301724227591010 n89
3 17
4366486651100 n91 272195 n97 2525 n99 101 n100
6736515170 n93 30174760 n95 n101
3 2 3 2
195 Lo bello de las matemáticas
Anécdotas:
a) Encuéntrese el término general de la serie y calcule su suma parcial
2 12 36 80 150 252
Formando los órdenes sucesivos de diferencias
un 2 10 n 1 6
n 1 n 2 3n 2 n , luego por la linealidad de la suma
2
2 2
3n n 3 n 2 n n n 1 , al aplicar las sumas conocidas.
b) Encuéntrese el término general de la serie y calcule su suma parcial
12 3 22 7 32 13 4 2 21 52 31
Por un lado formamos los órdenes sucesivos
3, 7, 13, 21, 31,...
4, 6 ,8, 10,...
2, 2, 2,...
Sn C
n 1 n n 1 n 2 n 3 n 1 n n 1 n 2 2 n n 1 2n 1 n n 1
5 4 6 2
Haciendo n 1 , se obtiene C 0 , finalmente haciendo los cálculos necesarios
n n 1 12n3 33n 2 37 n 8
Sn
60
n
p
(*) Dado que las sumas del tipo k
k 1
y sus formas “degeneradas” son problemas típicos y
Anécdotas
a) Hallar la suma parcial de la siguiente serie
12 22 n 4
La suma parcial será de la forma 1 2 n
4 4 4
A Bn Cn 2 Dn 3 En 4 Fn 5 ,
cambiando el objeto de abstracción n por n 1
4 2 3 4 5
14 24 n 4 n 1 A B n 1 C n 1 D n 1 E n 1 F n 1 ,
al restar la primera ecuación de la segunda
196 Lo bello de las matemáticas
4
n 1 B C 2n 1 D 3n 2 3n 1 E 4n3 6n 2 4n 1 F 5n 4 10n3 10n 2 5n 1
1 1 1 1
De donde identificando coeficientesF , E , D , C 0, B , i.e.
5 2 3 30
1 1 1 1
14 24 n 4 A n n3 n 4 n5 , poniendo n 1 se tiene A 0 , haciendo
30 3 2 5
n
algunas cálculos más se llega a 1 2 n
4 4 4
n 1 2n 1 3n 2 3n 1 .
30
b) Hallar la suma parcial de la siguiente serie
2
1 22 2 32 3 42 n n 1
2
Tenemos un caso degenerado con término genérico un n n 1 que es de grado tres,
podemos sospechar entonces que la suma parcial es de forma polinómica
2
1 22 2 32 3 42 n n 1 A Bn Cn 2 Dn 3 En 4 , cambiando el objeto de
abstracción n por n 1
2 2 2 3 4
1 22 2 32 3 42 n n 1 n 1 n 2 A B n 1 C n 1 D n 1 E n 1
Al restar la primera ecuación de la segunda
2
n 1 n 2 B C 2n 1 D 3n 2 3n 1 E 4n3 6n 2 4n 1 , identificado
1 7 7 5 5 7 7 1
coeficientes E , D , C , B , luego S n A n n 2 n3 n 4 , poniendo
4 6 4 6 6 4 6 4
n 1, A 0 , haciendo algunos cálculos más se llega a
n n 1 n 2 3n 5
Sn
12
Anécdotas
n
1 3 5 2k 1
a) hallar la suma parcial S n de la siguiente serie 2 4 6 2k 2
k 1
No es tan evidente que la serie sea telescópica, pero si nos concentramos en la forma de su
1 3 5 2n 1
término genérico un , vemos que es lícita la descomposición
2 4 6 2n 2
1 3 5 2n 1 1 3 5 2n 1
un
2 4 6 2n 2 4 6 2n 2
1 1 3 5 2n 1
Esto hace que la suma sea del tipo telescópica, de donde es trivial S n
2 2 4 6 2n 2
n
k
b) hallar la suma parcial S n de la siguiente serie 1 3 5 2k 1 2k 1
k 1
Al trabajar con su término genérico, podemos plantear
197 Lo bello de las matemáticas
n A n 1 B An B
un , i.e. tratamos de volverla
1 3 5 2n 1 2n 1 1 3 2n 1 1 3 2n 1
telescópica (de ser posible), entonces n An A B An B 2n 1 , al identificar
1
coeficientes A 0, B . Para ver mejor desarrollemos la suma de manera explícita:
2
1 1 1 1
un
2 1 3 5 2n 1 2 1 3 5 2n 1
1 1 1 1
un 1
2 1 3 5 2n 3 2 1 3 5 2n 1
1 1 1 1
u2
2 1 3 2 1 3 5
1 1 1 1
u1
2 1 2 1 3
1 1 1
De donde S n .
2 2 1 3 5 2n 1
n
k2
c) hallar la suma parcial S n de la siguiente serie 4k
k 1 k 1 k 2
n 1 2n
1 si n impar
2 n
1 2 n 1
1
d) Una serie numérica viene definida por un
1 n 1 2n
si n par
2 n
1 2 n 1
1
Calcular su suma parcial.
Como no podemos saber si el número de términos de la suma parcial es par o impar, lo que
podemos hacer es calcular individualmente la suma parcial en cada caso y luego “interceptar”
ambos resultados para hallar la solución general.
198 Lo bello de las matemáticas
2n 1 1 1
Vemos que cuando n es impar un n n 1 .
2 1 2 1 3 2 1 2 1
n n 1
2n 1 1 1
Y cuando n es par un n n 1 .
2 1 2 1 3 2 1 2 1
n n 1
1 1 1 1 1 1 1 1 1 1 1
3S 2 m 2 m 2 m 1 1 2 m 1
1 5 5 7 7 17 17 31 2 1 2 1 2 1
1 1 1 1 1 1 1 1 1 1 1
3S 2 m 1 2 m 1 2 m 2 1 2 m 2
1 5 5 7 7 17 17 31 2 1 2 1 2 1
En cada caso, la serie se vuelve telescópica y todos los términos vecinos se cancelan excepto
el primero y el último. Para interceptar ambos resultados tenemos un problema de signos, eso
lo corregimos fácilmente, entonces tenemos:
n 1
1 1
S n 1 n 1 n 1
3 2 1
(*) Cuando se busca la suma parcial de una serie, existe una alternativa básica que es pensar
en el método de la secuencia reiterada (que se expone al principio de este texto). Otra manera
de buscar dicha suma es observar su forma, si esta tiene la forma de una serie infinita
convergente es posible (en muchos casos) a partir de ella obtener su suma parcial i.e. en el
caso finito. Llamemos a este método el paso de una “serie infinita a una finita”.
Anécdotas
Los coeficientes de la suma son los números triangulares. Una alternativa es descomponer el
n n 1 n 1 n 2 n 1 n n 1
término general de la suma un x en un x x obteniendo dos series,
2 2 2
una de las cuales acabamos de calcular, pero además tendríamos que conocer la suma parcial
de la serie de término general un n 2 x n 1 lo cual complica un poco el problema. Esta es una
alternativa de las muchas posibles, pero es mejor si observamos la diferencia
n n 1 n 1 n
n , este hecho es notable puesto que si retraso los coeficientes de la
2 2
n n 1 n 1
suma S n 1 3 x 6 x 10 x un
2 3
x en un término obtengo la suma
2
anteriormente calculada, más explícito:
n n 1 n 1
S n 1 3 x 6 x 2 10 x 3 x
2
xS x 3 x 2 6 x 3
n 1 n x n 1 n n 1 x n
2 2
n n 1 n
Restando 1 x Sn 1 2 x 3x 2 4 x3 nx n 1 x
2
1 xn nx n n n 1 n
Y según el ejercicio anterior S n 3
2
x .
1 x 1 x 2 1 x
Una fracción del tipo , recibe el nombre de fracción continua. Cuando el numerador es distinto
de uno, se dice que es una “fracción continua generalizada” en ambos casos se tiene una
fracción fractal. La estructura matemática que presentan las fracciones continuas despertó el
interés de muchos matemáticos durante la historia, desde Euclides hasta Euler, y constituye un
de los temas más interesantes de la teoría de los números. El hecho de que un irracional no
pueda ser expresado como el cociente de dos números irreductibles entre sí, no significaba
que la procedencia de estos números tuviera que estar alejado de los racionales, ya con el
criterio de la secuencia reiterada hemos estudiado los ejemplos suficientes sobre la
convergencia de fracciones continuas en números irracionales como el número de oro, etc., de
hecho el matemático árabe Omar Kayam fue uno de los primeros en observar esto. Veremos a
continuación su enfoque e importancia desde el punto de vista de la teoría de los número s.
El matemático Bombelli, aplicaba las fracciones continuas para calcular raíces cuadradas, por
ejemplo:
4
13 3
4
6
6
Lagrange resolvió la ecuación de Pell-Fermat x 2 dy 2 1 , para lo cual empleó las
fracciones continuas.
Más interesante aún es ver que los números irracionales como y e pueden representarse
como una fracción continua. En efecto se verifican las convergencias:
200 Lo bello de las matemáticas
1 1
1 e 2
2 2(3) 1
3 1
2(3) 2
3 2
1(2) 3
1 3
4(5) 4
3 4
3(4) 5
1
5(6)
3
Como muchas otras fracciones continuas, su convergencia es lenta. Naturalmente nos
podemos dar cuenta de que el método de la secuencia reiterada ya no puede aplicarse acá,
porque si bien son fracciones continuas infinitas, su regularidad no permite usar ese criterio.
(Obsérvese además que el método de la secuencia reiterada nos conducía a ecuaciones
polinómicas, las raíces de dichas ecuaciones se denominan “números algebraicos”. Desde
luego ni ni e los son).
Para quien desee conocer más artículos interesantes sobre fracciones continuas una primera
lectura podría ser:
1
a0
1
a1
1
a2
a3
a0 , a1 , , an , lim
n
a0 , a1 , , an
Pn
Si no simplificamos la fracción, las expresiones Pn y Qn de a0 , a1 , , an reciben el
Qn
nombre de n -ésimas convergentes de la fracción continua. El siguiente teorema se verifica:
La prueba de este teorema se la hace por inducción matemática y queda como ejercicio para el
lector.
Remarca.- Este teorema nos da la posibilidad de construir un algoritmo para generar las n -
ésimas convergentes de una fracción continua.
Cuando la fracción continua es simple (i.e. sus coeficientes son números enteros) la fracción
continua converge a un numero real (Omitimos la demostración de esta afirmación ).
Existen métodos prefabricados para dado un número real, obtener su desarrollo en fracción
continua, todos están basados en el algoritmo euclidiano de la división .
Anécdotas
174 1 1 1 1 1 1 1
251 251 1 77 1 1 1
1
1
1
1
1
1
1
174 174 174 20 1 1 1
2 2 2 2
77 77 17 1 1
3 3 3
20 3 1
1 1
17 2
5
3
174 1 1
0,1, 2,3,1,5,1, 2
251 1 1 1
1
1 1
2 2
1 1
3 3
1 1
1 1
2 1
5 5
3 1
1
2
1 1 1 1 1
b) 3 1 3 1 1 1
1
3 1
3 1 1 1
1
y
1 1
3 1 2 2 3 1 2 3 1
como volvemos a trabajar con 3 1 , el proceso se repite. Finalmente
3 1,1, 2,1, 2,1, 2...
c) Para este caso separamos 6 en la forma 6 2
6 2 , esto porque buscamos una
diferencia de cuadrados con el menos valor positivo posible.
1 1 1 1 1
6 2
6 2 2
1
2
62
2
6 2
2
1
2
1
2 2 2
6 2 2 2 2 62
6 2
1
6 2 y como volvemos de donde empezamos 6 2 , continuando el
1
2
4 6 2
proceso tenemos 6 2, 2, 4, 2, 4, 2, 4,...
VOCABULARIO
202 Lo bello de las matemáticas
Una fracción continua de la forma a1 ,..., an , b1 ,..., bk , b1 ,..., bk ,... a1 ,..., an , b1 ,..., bk ,
recibe el nombre de periódica. La sucesión b1 ,..., bk se llama periodo de y la sucesión
a1 ,..., an es el preperíodo de . Suele también, decirse que el entero positivo k es el periodo
de . Si la fracción continua es de la forma b1 ,..., bk se dice periódica pura.
EJERCICIOS ADICIONALES