3.

TEORIA DE NÚMEROS
3.1 Números naturales. Principio de inducción matemática.
3.2 Sucesiones y series. Progresiones: Aritmética, geométrica y armónica.
3.3 Análisis combinatorio: principio fundamental del conteo, principio generalizado
del conteo, permutaciones y combinaciones.
3.4 Teorema del Binomio.

NÚMEROS NATURALES (N)

Definiremos los números naturales a partir de cinco axiomas conocidos como

postulados de Peano, y son los siguientes:

i) 1 N.
ii) Para cada nN existe un único n*N, llamado el siguiente de n.
iii) Para cada nN se tiene que n*  1.
iv) Si m, nN y m* = n*, entonces m = n.
v) Todo subconjunto S de N que tenga las siguientes propiedades:
a) 1S.
b) kS implica que k*S,
es el mismo conjunto N.

Comentarios:

• Estos cinco postulados son suficientes para deducir, a partir de ellos, todas
las propiedades de los números naturales.
• El primer postulado establece que el número uno (representado por el
numeral 1) es un número natural. El segundo postulado indica que, si se elige
un número natural, sea cual fuere éste, a dicho número corresponde uno y
sólo un número natural llamado “su siguiente”.
• El postulado iii) tiene como consecuencia que el número uno es el primer
número natural, puesto que el uno no es el siguiente de ninguno.
• El postulado iv) dice que dos números naturales cuyos siguientes son iguales
son, en realidad, el mismo número. De este postulado y de la unicidad del
“siguiente”, establecida en el postulado ii), se sigue también que dos números
naturales diferentes tienen diferentes “siguientes”.
• El postulado v) nos dice que podemos alcanzar cualquier número natural
partiendo del uno y recorriendo “los siguientes” uno a uno hasta llegar al
número natural deseado. Este postulado, conocido a menudo como
principio de inducción, es el fundamento del método de demostración
por inducción matemática que revisaremos a continuación.

INDUCCIÓN MATEMÁTICA

La inducción matemática, o inducción completa, es una forma de razonamiento

que se puede usar para demostrar relaciones o proposiciones matemáticas que
 dependan de un variable, digamos n, que solo admite valores enteros y positivos
(número naturales).

Pasos del Método de Inducción Matemática

1. Comprobar que la proposición (relación) es verdadera para n = 1, o para el

primer valor admisible de n.
2. Partiendo de la hipótesis de que la relación (proposición) es verdadera para
cierto valor de n, digamos k (es decir, para n = k), demostrar que también es
verdadera para n = k + 1 (“el siguiente” de k).
3. Una vez comprobando que la relación es verdadera para n = 1 en el paso 1,
del paso 2 se sigue que también es verdadera para n = 2. Análogamente, si
la relación es cierta (verdadera) para n = 2, entonces es cierta para n = 3, y
así sucesivamente para todo nN.

EJEMPLOS

Demostrar por el método de inducción matemática la relación o proposición

dada.

𝐧(𝐧+𝟏)
1. P(n): 1 + 2 + 3 +  + n = ,  nN.
𝟐

DEMOSTRACIÓN

Paso 1. Verificar que la proposición es cierta para n = 1:

1(1+1)
P(n=1): 1 = 2
1 = 1  la proposición se cumple para n = 1

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

k(k+1)
P(n=k): 1 + 2 + 3 + … + k = ---------------------------------- (1)
2

Ahora se debe probar que la proposición también es cierta para n = k + 1 (el término
“siguiente” de k). La expresión para n = k + 1 es la siguiente:

(k + 1)[(k+1)+1]
P(n=k +1): 1 + 2 + 3 + … + (k + 1) = , o bien,
2

(k + 1)(k+2)
P(n=k +1): 1 + 2 + 3 + … + (k + 1) = --------------------- (2)
2

Para la demostración de que la proposición también es verdadera para n = k + 1,

se suma en ambos lados de (1) k + 1 (que es el término “siguiente” de k), con lo
que se tiene:
 𝑘(𝑘 + 1)
1 + 2 + 3 + … + k + (k + 1) = + (𝑘 + 1)
2

Se desarrolla el lado derecho de la expresión anterior con el fin de llegar a probar

que es igual al lado derecho de la expresión (2). Entonces, se tiene:

k
1 + 2 + 3 + … + k + (k + 1) = (k + 1) (2 + 1) Factorizando a (k +1)

(k+1)(k+2)
1 + 2 + 3 + … + k + (k + 1) = = Lo cual queríamos demostrar (LCQD)
2

Paso 3. Por lo tanto, como la proposición es verdadera para n = 1 según el paso1,

se sigue del paso 2 que es verdadera para n = 2, es verdadera para n = 3, y así
sucesivamente para todo nN.

2. P(n): 2 + 4 + 6 + … + 2n = n(n +1),  n N. (suma de los n primeros

números pares).

DEMOSTRACIÓN

Paso 1. Verificar que la proposición se cumple para n = 1.

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

2 = 2  la proposición se cumple para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

P(n=k): 2 + 4 + 6 + … + 2k = k(k + 1) ---------------------------------- (1)

Hay que demostrar que la proposición también es verdadera o se cumple para n =

k + 1. La proposición para n = k +1 es la siguiente:

P(n=k +1): 2 + 4 + 6 + … + 2(k + 1) = (k + 1)[(k + 1) + 1] , o bien,

P(n=k +1): 2 + 4 + 6 + … + 2(k + 1) = (k +1)(k + 2) -----------------------(2)

Ahora para llevar a cabo la demostración, si en la expresión (1) se suma en ambos

lados 2(k + 1), que es el término en la posición k + 1, se tiene:

2 + 4 + 6 + … + 2k + 2(k + 1) = k(k + 1) + 2(k + 1)

Si en el lado derecho se toma como factor común (k+1), es decir, factorizamos (k+1),
se tiene:

2 + 4 + 6 + … + 2k + 2(k + 1) = (k +1)(k + 2) LCQD

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y
para n = k + 1, entonces es verdadera para todo nN.
𝒏
3. P(n): 1 + 4 + 7 + … + (3n – 2) = 𝟐 (𝟑𝒏 − 𝟏),  𝐧  𝐍.

DEMOSTRACIÓN

Paso 1. Revisar que para n = 1, la proposición se cumple:

1
P(n=1): 3(1) – 2 = 2 (3(1) − 1)

1
1 = 2 (2)

1 = 1  la proposición se cumple para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

𝑘
P(n=k): 1 + 4 + 7 + … + (3k – 2) = 2 (3𝑘 − 1)---------------------------------- (1)

Ahora hay que demostrar que para n = k + 1 la proposición también es verdadera.

La proposición para n = k +1 es la siguiente:

𝑘+1
P(n=k +1): 1 + 4 + 7 + … + [3(k + 1) – 2] = ( ) [3(𝑘 + 1) − 1] , o bien,
2

𝑘+1
P(n=k +1): 1 + 4 + 7 + … + (3k + 1) = (3𝑘 + 2) -----------------------(2)
2

Para llevar a cabo la demostración, si en la expresión (1) se suma en ambos lados

(3k + 1), que es el término en la posición k + 1, se tiene:

k
1 + 4 + 7 + … + (3k – 2) + (3k + 1) = 2 (3k − 1) + (3k + 1)

k(3k − 1) +2(3k + 1)
= 2

3k2−k+6k+2
= 2

3k2 + 5k + 2
= 2

k+1
= (3k + 2) LCQD
2

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y

para n = k + 1, entonces es verdadera para todo nN
 𝟑
4. P(n): 3 + 6 + 9 + … + 3n = 𝟐 𝒏(𝒏 + 𝟏),  𝐧  𝐍.

DEMOSTRACIÓN

Paso 1. Verificar que para n = 1, la proposición es verdadera:

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

6
3=
2

3 = 3  la proposición se cumple para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

3
P(n=k): 3 + 6 + 9 + … + 3k = 2 k(k + 1)---------------------------------- (1)

Ahora hay que demostrar que para n = k + 1 la proposición también es verdadera.

La proposición para n = k +1 es la siguiente:
3
P(n=k +1): 3 + 6 + 9 + … + 3(k + 1) = (k + 1)[(k + 1) + 1] , o bien,
2

3
P(n=k +1): 3 + 6 + 9 + … + 3(k + 1) = 2 (k + 1)(k + 2) ---------------(2)

Para llevar a cabo la demostración, si en la expresión (1) se suma en ambos lados

3(k + 1), que es el término en la posición k + 1, se tiene:
3
3 + 6 + 9 + … + 3k + 3(k + 1) = 2 k(k + 1) + 3(k + 1)

3k(k + 1) +6(k+1)
= 2

3
= 2 (k + 1)(k + 2) LCQD

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y

para n = k + 1, entonces es verdadera para todo nN---------------------------------- (1)

𝟓
5. P(n): 5+ 10 + 15 + … + 5n = 𝟐 𝒏(𝒏 + 𝟏),  𝐧  𝐍. Para ustedes.

DEMOSTRACIÓN

Paso 1. Verificar que para n = 1, la proposición es verdadera:

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

10
5= 2

5 = 5  la proposición se cumple para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

5
P(n=k): 5+ 10 + 15 + … + 5k = 2 k(k + 1)---------------------------------- (1)

Ahora hay que demostrar que para n = k + 1 la proposición también es verdadera.

La proposición para n = k +1 es la siguiente:
5
P(n=k +1): 5+ 10 + 15 + … + 5(k + 1) = (𝑘 + 1)[(𝑘 + 1) + 1] , o bien,
2

5
P(n=k +1): 5+ 10 + 15 + … + 5(k + 1) = 2 (k + 1)(k + 2) ---------------(2)

Para llevar a cabo la demostración, si en la expresión (1) se suma en ambos lados

5(k + 1), que es el término en la posición k + 1, se tiene:
5
5+ 10 + 15 + … + 5k + 5(k + 1) = 2 k(k + 1) + 5(k + 1)

5k(k + 1) +10(k+1)
= 2

5
= 2 (k + 1)(k + 2) LCQD

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y

para n = k + 1, entonces es verdadera para todo n N.

6. P(n): 2 + 22 + 23 + … + 2n = 𝟐(𝟐𝒏 − 𝟏),  𝐧  𝐍.

DEMOSTRACIÓN

Paso 1. Verificar que para n = 1, la proposición es verdadera:

P(n=1): 21 =2(21 − 1)

2 = 2(1)

2 = 2  la proposición es verdadera para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

 P(n=k): 2 + 22 + 23 + … + 2k = 2(2k − 1)---------------------------------- (1)

Ahora hay que demostrar que para n = k + 1 la proposición también es verdadera,

donde la proposición para n = k +1 es la siguiente:

P(n=k +1): 2 + 22 + 23 + … + 2k +1 = 2(2k+1 − 1)---------------------------(2)

Sumando en ambos lados de la expresión (1), el término 2k+1 (que es el término que
ocupa la posición n = k +1), se tiene:

2 + 22 + 23 + … + 2k + 2k +1 = 2(2k − 1) + 2k + 1

= 22𝑘 − 2 + 2𝑘 + 1

= 2𝑘+1 + 2𝑘+1 − 2

= 22𝑘+1 − 2

= 2(2𝑘+1 − 1) LCQD

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y

para n = k + 1, entonces la proposición se cumple para todo n N.

𝟏 𝟏 𝟏 𝟏
7. P(n): 𝟏 + + +⋯+ = 𝟐− ,  𝐧  𝐍.
𝟐 𝟐𝟐 𝟐𝒏−𝟏 𝟐𝒏−𝟏

DEMOSTRACIÓN

Paso 1. Verificar que para n = 1, la proposición es verdadera:

1 1
P(n=1): =2−
21−1 21−1

1 1
= 2−
20 20

1 = 1  la proposición es verdadera para n = 1.

Paso 2. Por hipótesis para n = k, la proposición es verdadera. Entonces:

1 1 1 1
P(n=k): 1 + + + ⋯+ =2− ---------------------------------- (1)
2 22 2k−1 2k−1

Ahora hay que demostrar que para n = k + 1, la proposición también es verdadera,

donde la proposición para n = k +1 es la siguiente:
 1 1 1 1
P(n=k +1): 1 + + + ⋯+ = 2− , o bien,
2 22 2(k+1)−1 2(k+1)−1

1 1 1 1
1+ + + ⋯+ =2− ---------------------------(2)
2 22 2k 2k

1
Sumando en ambos lados de la expresión (1), (que es el término que ocupa la
2𝑘
posición n = k +1), se tiene:

1 1 1 1 1 1
1+ + 2 + ⋯ + k−1 + 𝑘 = 2 − k−1 + 𝑘
2 2 2 2 2 2
1 1
= 2 + 2𝑘 − 𝑘−1
2

2𝑘−1 − 2𝑘
=2+ 2𝑘 2𝑘−1

2𝑘 (2−1 – 1)
=2+ 2𝑘 2𝑘−1

= 2(2𝑘+1 − 1) LCQD

Paso 3. Como la proposición es verdadera para n = 1, para n = 2, …, para n= k y

para n = k + 1, entonces la proposición se cumple para todo n N.

8. P(n): 1 + 2 + 4 + … + 2n-1 = 2n – 1;  n  N. Para ustedes