Captulo 5

Los nmeros naturales

5.1

Introduccin

El estudio sistemtico de los nmeros naturales puede hacerse por diferentes vas. Por
ejemplo, haciendo la construccin mediante la teora de conjuntos, o a travs de una presentacin axiomtica, sustentada en los axiomas de Peano. Aqu se har una presentacin
ms informal, buscando sobre todo aprovechar el conocimiento que el estudiante tiene, de
las propiedades bsicas de los nmeros naturales. La presentacin comienza enunciando
el principio de induccin, y tratando de familiarizar al lector con este principio, por medio
de ejemplos y la deduccin de otros resultados como consecuencia del mismo. El lector
interesado en la presentacin axiomtica, puede consultar el apndice.

5.2
5.2.1

El principio de induccin
Enunciado y ejemplos

La idea intuitiva del principio de induccin es que N es el menor conjunto que satisface:
(a) 0 2 A:
(b) Para todo n 2 A se tiene n + 1 2 A:
Un conjunto A se llama inductivo si satisface estas dos propiedades.
Principio de induccin
Si A es un subconjunto inductivo de N, entonces A = N.
En otras palabras, ningn subconjunto propio de N es inductivo. Como ya lo mencionamos,
nuestro primer objetivo es familiarizarnos con este principio. Los ejemplos que siguen
persiguen ese objetivo.
1

A. Duarte & S. Cambronero

Ejemplo 5.2.1 Demostrar que 2n n + 1; para todo n 2 N.

La armacin quedar demostrada si comprobamos que el conjunto
A = fn 2 N : 2n

n + 1g

es igual a N. De acuerdo con el principio de induccin, bastar con demostrar que dicho
conjunto es inductivo.
(a) En primer lugar, 0 2 A puesto que 20 = 1 0 + 1:
(b) Ahora supongamos que n 2 A; esto es 2n n + 1: Entonces
2n+1 = 2 2n

2 (n + 1) = 2n + 2

n + 2 = (n + 1) + 1;

lo que demuestra que n + 1 2 A:

Por el principio de induccin se concluye entonces que A = N. Consecuentemente, la
desigualdad es vlida para todo n 2 N.
Ejemplo 5.2.2 Demostrar que para todo n 2 N se tiene
0+1+

+n=

Se trata de demostrar que el conjunto

n
A= n2N:0+

n(n + 1)
:
2

+n=

n(n+1)
2

es igual a N. Usando el principio de induccin, es suciente demostrar que el conjunto A

es inductivo.
(a) Para n = 0; la suma del lado izquierdo solo tiene un trmino, y es igual a 0; mientras
= 0: Entonces 0 2 A:
que el lado derecho es 0(0+1)
2
(b) Si n 2 A; se tiene
n(n + 1)
0+
+n=
;
2
y debemos demostrar que n + 1 2 A: Veamos:
0+

+ (n + 1) = (0 +
+ n) + (n + 1)
n(n + 1)
+ (n + 1)
=
2
n(n + 1) + 2(n + 1)
=
2
(n + 1)(n + 2)
=
:
2

Esto demuestra que efectivamente n + 1 2 A: Por el principio de induccin se concluye

que A = N, como se deseaba.

A. Duarte & S. Cambronero

Ejemplo 5.2.3 Demostrar que todo n 2 N tiene la forma 2k 2k + 1; para algn k 2 N.

Denimos el conjunto
A = fn 2 N : n tiene la forma 2k 2k + 1g:
Note que 0 2 A; pues 0 = 2k; con k = 0: Entonces A satisface la propiedad (a). Por otro
lado, si n 2 A, entonces n tiene una de las dos formas 2k 2k + 1: Si n = 2k se sigue
que n + 1 = 2k + 1: Si por el contrario n tiene la forma 2k + 1; entonces n + 1 = 2(k + 1);
donde k + 1 2 N: En ambos casos concluimos que n + 1 2 A; as que A satisface tambin
la propiedad (b). Luego A = N por el principio de induccin.
Nota: En la prctica, no se acostumbra denir el conjunto A explcitamente, sino que se
demuestra la propiedad planteada para n = 0; y luego se demuestra que si se cumple para
n; debe cumplirse para n + 1: Esta ltima parte se conoce como el paso inductivo.
Ejemplo 5.2.4 Demostrar que n3 + 5n es divisible por 6; para todo n 2 N.
En efecto, para n = 0 se tiene n3 +5n = 0; el cual es divisible por 6: Para el paso inductivo,
se supone que n satisface la rpopiedad, lo cual quiere decir que n3 + 5n = 6k; para algn
k 2 N. Luego
(n + 1)3 + 5 (n + 1) =

n3 + 5n + 3n2 + 3n + 6

= 6k + 3n(n + 1) + 6
= 6(k + 1) + 3n(n + 1):
Como n (n + 1) es siempre par (por qu?), se tiene que 3n (n + 1) es mltiplo de 6; y
consecuentemente (n + 1)3 + 5 (n + 1) es tambin mltiplo de 6:

5.2.2

Extensiones y consecuencias

El principio de induccin es tambin aplicable a propiedades que son vlidas a partir de

cierto valor de n: Veamos el siguiente resultado, que llamaremos induccin truncada.
Lema 5.2.1 (Induccin truncada) Sea A N, y sea N 2 N tales que
(a) N 2 A:
(b) Para todo n 2 A tal que n N; se tiene n + 1 2 A:
Entonces A contiene todos los naturales a partir de N: Esto es:
fn 2 N : n

Ng

A:

Demostracin
Si N = 0; el resultado es precisamente el principio de induccin.
Si N > 0 considere el conjunto
B = A [ f0; 1; : : : ; N

1g:

A. Duarte & S. Cambronero

Entonces claramente B es inductivo, y por el principio de induccin se sigue que B = N.

Ahora, dado n 2 N tal que n N; se tiene n 2 B f0; 1; : : : ; N 1g; lo que demuestra
que n 2 A:
Los siguientes ejemplos hacen uso de este resultado.
Ejemplo 5.2.5 Demostrar que n + 3 < 2n ; para todo n 3:
Ntese que la desigualdad es falsa para n < 3: Para n = 3 s es vlida, pues tenemos
3 + 3 = 6 < 23 = 8: Ahora, si la desigualdad se cumple para cierto n
3; tenemos
n
n + 3 < 2 ; y luego
(n + 1) + 3 = (n + 3) + 1 < 2n + 1 < 2n + 2n = 2n+1 :
Esto demuestra que la desigualdad tambin se cumple para n + 1: Por el lema anterior, la
desigualdad es vlida para todo n 3:
Ejemplo 5.2.6 Demostrar que n2 2n ; para todo n 4:
Note que aunque la desigualdad es vlida para n = 1 y n = 2; no lo es para n = 3: Es de
esperarse entonces que para el paso inductivo se requiera usar el hecho que n
4: Para
n = 4 se tiene 42 = 16 = 24 ; as que se cumple 42 24 :
Ahora supongamos que n2 2n para algn n 4: Entonces
2n+1 = 2 2n

2n2 :

La desigualdad para n + 1 quedar demostrada si demostramos que 2n2 (n + 1)2 ; lo cual

es equivalente a n2 2n 1 0. Esto es cierto para n 4; puesto que
n2

2n

1 = n(n

Esto demuestra entonces que 2n2

2)

4 2

1 = 7 > 0:

(n + 1)2 ; y luego
2n+1

2n2

(n + 1)2 :

En algunos ejemplos, al demostrar que n + 1 2 A; se debe hacer uso no slo del hecho que
n 2 A; sino tambin de que n 1 2 A; o en general de que k 2 A para k n: El siguiente
resultado permite hacer este tipo de razonamientos.
Lema 5.2.2 (Principio de induccin completa) Sea A
ientes propiedades:
1. 0 2 A:
2. Si k 2 A para todo k
Entonces A = N:

n; se sigue que n + 1 2 A:

N que satisface las sigu-

A. Duarte & S. Cambronero

Demostracin
Se dene el conjunto
B = fn 2 N : k 2 A para todo k

ng :

Ntese que B A, y por la propiedad 1 se tiene 0 2 B: Por otro lado, supongamos que
n 2 B: Entonces por denicin tenemos que k 2 A para todo k n; y por la propiedad 2
se concluye que n + 1 2 A: Consecuentemente
k 2 A para todo k

n + 1;

lo que signica n+1 2 B: Se ha demostrado entonces que B es inductivo, y por el principio

de induccin se sigue que B = N: Finalmente, dado que N = B A N; se concluye que
A = N:
Ejemplo 5.2.7 Todo natural n 2 tiene al menos un divisor primo.
Recordemos que los primos son los naturales que poseen exactamente dos divisores en N
(el 1 y el nmero mismo), y en particular 1 no es primo. Procedamos usando induccin
completa.
Si n = 2; entonces p = 2 es divisor primo de n:
Asumiendo que todo k 2 f2; : : : ; ng tiene al menos un divisor primo, demostremos
que n + 1 tambin tiene al menos un divisor primo. Hay dos posibilidades:
Si n + 1 es primo, entonces p = n + 1 es un divisor primo de n + 1:
Si n + 1 no es primo, entonces se puede escribir como
n + 1 = k l;
donde k es tal que 1 < k < n + 1: Como esto implica 2
k
n; por la hiptesis
de induccin completa se sigue que k tiene al menos un divisor primo p: Digamos
k = p m; donde p es primo. Luego
n + 1 = k l = p (ml) ;
as que p es un divisor primo de n + 1:
Por el principio de induccin completa obtenemos el resultado.
Otra propiedad importante de los nmeros naturales es el principio del buen orden. Para
establecerlo necesitamos primero la siguiente denicin.
Denicin 5.2.1 Dado A

N; decimos que n0 es el primer elemento de A si satisface:

A. Duarte & S. Cambronero

1. n0 2 A:
2. n0

n; 8n 2 A:

Ntese que de existir el primer elemento, este debe ser nico. Note adems que si 0 2 A;
entonces 0 es el primer elemento de A:
Lema 5.2.3 (Principio del buen orden) Si A es un subconjunto no vaco de N; entonces A tiene primer elemento.
Demostracin
Supongamos que A no tiene primer elemento, y denamos
B=N

A = fn 2 N : n 2
= Ag :

Tenemos que 0 2 B; pues de lo contrario 0 sera el primer elemento de A: Ahora, si k 2 B

para todo k n; entonces n + 1 2 B; pues de lo contrario n + 1 sera el primer elemento de
A: Por el principio de induccin completa se sigue que B = N; y consecuentemente A = ;:
Como esto contradice la hiptesis, A debe tener primer elemento.
Como una aplicacin de este hecho, demostremos el algoritmo de la divisin.
Lema 5.2.4 (Algoritmo de la divisin) Para a y b naturales, con b > 0; existen
naturales q y r tales que
a = bq + r; 0 r < b:
Demostracin
En efecto, considere el conjunto
A = fn 2 N : n = a

bq; para algn q 2 Ng :

Note que A 6= ;; pues a 2 A (tomando q = 0). Por el principio del buen orden, existe el
primer elemento de A; que denotaremos por r: Como r 2 A; existe q 2 N tal que r = a bq:
Ahora, si r no fuera menor que b; tendramos r b 2 N, pero r b = a b(q + 1); as que
r b sera elemento de A; contradiciendo el hecho que r es el primer elemento de A: Debe
tenerse entonces r < b:
Es un buen ejercicio para el lector, demostrar que q y r son nicos. El nmero q es
el cociente que se obtiene mediante la divisin euclideana de a por b, y r es el residuo
respectivo.
Ejemplo 5.2.8 Si a = 145 y b = 15; tenemos a = b 9 + 10; as que q = 9 y r = 10:

A. Duarte & S. Cambronero

5.2.3

Deniciones por recurrencia

Muchas veces, para denir una funcin f : N ! A, se hace uso implcito del principio de
induccin. Por ejemplo, cuando se dene
an = a a

(n veces),

realmente se est pensando en la denicin: a0 = 1; an+1 = an a: Esto dene a0 ; y

asumiendo que an est denido, permite denir an+1 : El principio de induccin garantiza
que esta es una buena denicin de la funcin
f : N ! R; f (n) = an :
En general, dado un conjunto A, un elemento a 2 A; y una funcin g : N
podemos denir una funcin f : N ! A mediante la frmula recurrente:
f (0) = a;

A ! A;

f (n + 1) = g (n; f (n)) :

(5.1)

Usando el principio de induccin se puede demostrar el siguiente principio.

Principio de recurrencia
Con estas hiptesis, existe una nica funcin f : N ! A que satisface la frmula recurrente
(5.1).
En lo que sigue hacemos uso de este principio. Para una demostracin de este principio,
se puede consultar el apndice.
Ejemplo 5.2.9 (El factorial) Se dene 0! = 1; y para n 2 N se dene
(n + 1)! = (n + 1) n!:
Tenemos entonces 1! = 1 0! = 1; 2! = 2 1! = 2 1; 3! = 3 2 1; y en general n! =
n (n 1) 3 2 1: Aqu se tiene g : N N ! N denida por g (n; x) = (n + 1) x; a = 1:
Para familiarizarnos con esta denicin, veamos algunos ejemplos.
Ejemplo 5.2.10 Demostrar que 2n < n!, para todo n 4:
Para n = 4 tenemos 24 = 16 < 24 = 4!: Ahora supongamos que 2n < n! para algn n
Entonces
2n+1 = 2 2n < 2 n! < 4 n! < (n + 1) n! = (n + 1)!;

4:

con lo que n + 1 tambin satisface la desigualdad. El principio de induccin truncada se

encarga del resto.

A. Duarte & S. Cambronero

Ejemplo 5.2.11 Dada una funcin f : N ! R; podemos denir la suma

Sn = f (0) + : : : + f (n)
en forma recursiva:
S0 = f (0);

Sn+1 = Sn + f (n + 1):

Las funciones de dominio N se llaman sucesiones, y se acostumbra usar la notacin ak =

f (k): La suma anterior se denota entonces
Sn = a0 + : : : + an ;
y en forma ms resuminda
Sn =

n
X

ak

k=0

(se lee: suma desde k igual 0 hasta n de los ak ). Note que por denicin se tiene
n+1
X

ak =

n
X

ak + an+1 :

k=0

k=0

Si se comienza en 1 en vez de 0; se denota

n
X

ak = a1 + : : : + an :

k=1

Ejemplo 5.2.12 Un caso particular del ejemplo anterior es la suma del ejemplo 5.2.2:
n
X
k=0

k=

n(n + 1)
:
2

Ejemplo 5.2.13 Demostrar que para todo n 2 N se tiene

n
X

k k! = (n + 1)!

1:

k=0

Para n = 0 la suma del lado izquierdo es 0 0! = 0, mientras que al lado derecho tenemos
(0 + 1)! 1 = 0: Entonces la igualdad es vlida para n = 0:
Supongamos que la igualdad es vlida para n; y probmosla para n + 1: Por denicin se
tiene
n+1
n
X
X
k k! =
k k! + (n + 1) (n + 1)!;
k=0

k=0

A. Duarte & S. Cambronero

y por hiptesis de induccin se sigue que

n+1
X

k k! = (n + 1)!

1 + (n + 1) (n + 1)!

k=0

= (1 + n + 1)(n + 1)!
= (n + 2)(n + 1)!
= (n + 2)!

1:

Esto demuestra la igualdad para n + 1; y por el principio de induccin se sigue que es

vlida para todo n 2 N.

5.2.4

Sobre los conjuntos nitos

A menudo se usa la notacin

A = fa1 ; : : : ; an g

(5.2)

para expresar que el conjunto A es nito y tiene exactamente n elementos. En este caso
diremos que la cardinalidad de A es n; y denotaremos jAj = n. Para precisar esto mejor,
denimos S0 = ; y
Sn = fk 2 N : 1 k ng ; para n 1:
Intuitivamente, A tiene n elementos si al contar sus elementos nos da n: Pero qu signica
contar en matemtica? Cuando contamos, en realidad lo que hacemos es asociar los
elementos contados con los nmeros naturales, comenzando en orden desde n = 1: Diremos
entonces que A tiene n elementos si existe una funcin biyectiva f : Sn ! A; para algn n 2
A:Para darle rigor a la denicin anterior, debemos sin embargo tomar ciertos cuidados.
En particular, la denicin no debe ser ambigua, esto es, debemos demostrar que no hay
dos valores distintos de n que satisfagan la denicin para el mismo conjunto. Para hacer
eso, el concepto de equipotencia es de gran ayuda.
Denicin 5.2.2 Decimos que el conjunto A es equipotente al conjunto B; si existe una
biyeccin f : A ! B: En tal caso se escribe A B:
Es un buen ejercicio demostrar que la relacin es de equivalencia. En particular es
simtrica, y entonces cuando A s B; podemos decir en forma simtrica que A y B son
equipotentes.
Ejemplo 5.2.14 El conjunto P de los naturales pares es equipotente a N. En efecto,
considere la funcin
' : N ! P; ' (n) = 2n
Le dejamos al lector la tarea de comprobar que ' es una biyeccin.

A. Duarte & S. Cambronero

10

Ejemplo 5.2.15 El conjunto A = f2; 4; 6; : : : ; 40g es equipotente a S20 : Basta con ver que
la funcin f = S20 ! A denida por f (n) = 2n; es biyectiva.
Los siguientes lemas nos permitirn darle rigor a la denicin de conjunto nito.
Lema 5.2.5 Si a; b 2 A; entonces A
Demostracin
Considere la funcin ' : A

fag

fag ! A
' (x) =

fbg :

fbg denida por

a si x = b
x si x 6= b

Esta funcin es claramente biyectiva.

Lema 5.2.6 Si A

B, a 2 A; b 2 B; entonces A

fag

fbg :

Demostracin
Sea f : A ! B una biyeccin. La funcin g : A fag ! B ff (a)g denida por
g (x) = f (x) es biyectiva (g es la restriccin de f ). Entonces A fag B ff (a)g, y
sabemos por el lema anterior que B ff (a)g B fbg : La transitivadad de la relacin
de equipotencia se encarga del resto.
Note que el nico conjunto equipotente a ;; es l mismo. Tomando B = Sn y b = n en el
lema anterior, se obtiene el siguiente resultado.
Lema 5.2.7 Si A

Sn y a 2 A, entonces A

fag

Sn

1:

Usando este resultado, no es difcil demostrar la unicidad de n en la siguiente denicin

(ver ejercicio 23).
Denicin 5.2.3 Un conjunto A se llama nito si es equipotente a algn Sn ; con n 2 N.
En tal caso decimos adems que A tiene n elementos, y escribimos jAj = n:
Teorema 5.1 Dado A R nito y no vaco, existe un elemento en A que es mayor que
todos los dems. A tal elemento lo llamaremos el mximo de A; y lo denotaremos por
max A:
Demostracin
Procederemos usando induccin sobre n = jAj ; veamos:
Si n = 1; tenemos A = fag ; as que max A = a:
Si el resultado es vlido para n; consideremos un conjunto A con n+1 elementos. Tomemos
a 2 A y denamos B = A fag : Como jBj = n; la hiptesis de induccin dice que existe
b = max B: Ahora hay dos posibilidades:
Si a > b; entonces a = max A: En caso contrario tenemos b = max A:
Un argumento similar demuestra que todo conjunto nito no vaco A, posee un mnimo,
denotado por min A:

A. Duarte & S. Cambronero

11

Ejemplo 5.2.16 Si A = n2 : n 2 N; n < 7 ; entonces min A = 0; max A = 36:

Denicin 5.2.4 Decimos que un conjunto A es innito si no es nito. Es decir, si no
existe n 2 N tal que A Sn .
Teorema 5.2 N es innito.
Demostracin
Por el teorema anterior, si N fuera nito existira n = max N. Pero como n + 1 2 N, se
tendra n + 1 n; lo cual es contradictorio. Esto demuestra el resultado.

5.2.5

Ejercicios

1. Demuestre, usando el principio de induccin, que para cada n 2 N se tiene

1+

1
+
2

1
=2
2n

1
:
2n

2. Ms generalmente, si r 6= 1; demuestre que para todo n 2 N se riene

1+r+

+ rn =

rn+1
:
1 r

3. Use el ejercicio anterior para demostrar la identidad

an

bn = (a

b) an

+ an

b + : : : + bn

para a; b 2 R, n 2 N. Concluya que si a; b 2 N y a > b; entonces an

de a b:

(5.3)
bn es mltiplo

4. Dmuestre las siguientes desigualdades usando induccin:

(a) 1 + 2n
(b) 1 +
(c) 2n
(d) 2n

1
2

3n para n
1
3

+ ::: +

1
2n

1
n+2
2 ;

n2 + 3n + 7; para n
3

2n 2

para todo n

para todo n 2 N

5:

5. Para cules n es vlida la desigualdad n2 + 3 < 2n ? Demuestre su armacin.

6. Demuestre que para n 2 N se tiene 1 + 3 + 5 + : : : + (2n
calcular 1 + 3 + 5 + : : : + 99:

1) = n2 : Use esto para

7. Demuestre por induccin que f (x) = xn es estrictamente creciente en [0; 1[; para
todo n 2 N.

A. Duarte & S. Cambronero

12

8. Resuelva el ejercicio anterior usando la identidad (5.3).

9. Demuestre usando induccin, que si A tiene n elementos entonces P (A) tiene 2n
elementos.
10. Demuestre cada una de las siguientes propiedades de dos formas: usando induccin,
y usando la identidad (5.3).
(a) Para cada n 2 N, 11n

4n es mltiplo de 7

(b) Para cada n 2 N, 26n

1 es mltiplo de 9

(c) Para cada n 2 N, 52n

1 es divisible por 8:

(d) Para cada n 2 N, el polinomio x2n

a2n es divisible por x + a:

11. Utilice la identidad (5.3) para demostrar el teorema del factor: Si p (x) es un polinomio, y p (a) = 0; entonces p (x) es divisible por x a:
12. Demuestre que un nmero natural es divisible por 9 si, y solo si, la suma de sus
dgitos lo es.
13. Demuestre que para cada n 2 N se tiene que
(a) 32n + 7 es divisible por 8
(b) n5

n es divisible por 30

(c) n3

n es mltiplo de 3

(d)

7n

+ 4 7n

+ 1 es divisible por 3

(e) 4 10n+1 + 7 10n

(f)

5n

(g)

n3

4n

2 es divisible por 9

1 es divisible por 16 (n
3

1):

+ (n + 1) + (n + 2) es divisible por 9:

(h) 4n + 15n

1 es divisible por 9 (n

1):

14. Demuestre que n2 + 3n + 1 es impar para todo n 2 N:

15. Para x > 0; use el principio del buen orden para demostrar que existe n 2 N tal que
n x < n + 1 (tal n se llama la parte entera de x).
16. Demuestre el principio de induccin, usando el principio del buen orden.
17. Un conjunto A Z se llama acotado superiormente si existe m 2 Z tal que n m
para todo n 2 A: Demuestre que todo subconjunto de Z, acotado superiormente,
tiene mximo.

A. Duarte & S. Cambronero

13

18. Usando la denicin, y el principio de induccin, demuestre que para m; n 2 N y

a; b 2 R se tiene
am an = am+n ;

(ab)n = an bn ;

(an )m = amn :

19. Demuestre usando el principio de induccin que para todo n 2 N se tiene:

n
X
k=0

n
k = (n + 1)(2n + 1);
6
2

n
X

k3 =

k=0

n2
(n + 1)2 :
4

20. Use induccin para demostrar que todo n 2 N tiene una de las tres formas 3k, 3k +1;
o 3k + 2; con k 2 N:
21. Use induccin completa para demostrar que todo n 2 N tiene la forma 2p l, donde
p 2 N y l es impar.
22. Sea E un conjunto. En P(E) denimos la relacin: A
Demuestre que esta relacin es de equivalencia.
23. Demuestre que si Sn

B sii A y B son equipotentes.

Sm ; entonces n = m:

24. Si A y B son nitos y equipotentes, demuestre que A y B tienen la misma cantidad

de elementos. Se escribe jAj = jBj :
25. Si A es tal que existe una funcin inyectiva f : A ! Sn (algn n 2 N), demuestre
que A es nito, y que jAj
n: Sug. Considere el primer elemento del conjunto
fk 2 N : existe f : A ! Sk inyectivag :
26. Use el ejercicio anterior para demostrar que si A es nito y existe f : B ! A
inyectiva, entonces B es nito y jBj jAj :
27. Si A es nito y B

A; entonces B es nito y jBj

jAj :

28. Si A es innito y n 2 N, muestre que no existe una funcin inyectiva f : A ! Sn .

29. Demuestre que si existe una inyeccin f : N ! A; entonces A es innito.
30. Considere la suma Sn = 2 + 4 + : : : + 2n: Encuentre una frmula para esta suma, y
demuestre su validez.
31. Demuestre que para cualquier x > 1; y cualquier natural n
1; se cumple
n
(1 + x)
1 + nx: Esta desigualdad se conoce como Desigualdad de Bernoulli.
p
32. Demuestre que n! > n 2n para todo natural n 3:

A. Duarte & S. Cambronero

14

33. Sean a; b dos nmeros reales positivos, y sea n un natural: Demuestre que
(a + b)n < 2n (an + bn ) :
Recuerde que (an

bn ) (a

b)

0:

34. Demuestre que para todo natural positivo, se cumple

1
1 2

2 3

+ ::: +

1
=1
n (n + 1)

1
:
n+1

Concluya que
1

1 2

1
2 3

+ ::: +

1
< 1:
n (n + 1)

35. Demuestre que para todo natural positivo, se cumple

1
1 3

1
3 5

+ ::: +

1
n
=
:
1) (2n + 1)
2n + 1

(2n

36. Demuestre que para todo natural positivo, se cumple

1 2 + 2 3 + : : : + (n
37. Demuestre que para x 6= 1 y n

1) n =

n n2
3

1 se tiene
n+1

n
Q

1 + x2

i=0

x2
x

1
1

38. Demuestre que para n

2; la media geomtrica de n nmeros reales positivos, es
menor que la media aritmtica. Es decir, si x1 ; : : : ; xn son nmeros reales positivos,
entonces
p
x1 + : : : + xn
n
x1 x2 : : : xn
:
n
39. Si r 6= 1; demuestre que para todo n 2 N se tiene
n
X

krk

k=1

(n + 1) rn + nrn+1
:
(1 r)2

40. Demuestre que para n 2 N se tiene

n
X
k=1

k 3k =

3 n
[3 (2n
4

1) + 1] :

A. Duarte & S. Cambronero

15

41. Demuestre que para n 2 N, n > 1 se tiene

n
X
p
1
p > n:
k
k=1

42. Para n 2 N positivo demuestre que

n
X
k=1

k+2
=1
k (k + 1) 2k

1
:
2n (n + 1)

43. Sea an = f (n) ; donde f es una sucesin. Demuestre usando induccin que para
cada n 2 N se tiene
n
X
(ak ak+1 ) = a0 an+1 :
k=0

A las sumas de este tipo se les llama sumas telescpicas. Use lo anterior para calcular
n
X
p
k=0

k+1 ;

n
X
k=1

1
:
k (k + 1)