Inducción Matemática

Manuel Montalvo

June 14, 2022

1 Inducción Matemática
“Dios creo los números naturales; todo lo demás es obra del hombre”.
Leopold Kronecker(1823 -1891).

Los números son entes abstractos creados por la mente humana y uno de los princi-
pales objetos de los que se ocupa las matemáticas. Los números son modelos matemáticos
que nos permiten contar y medir. Los números naturales 1,2,3,..., fueron la base de la
matemática la cual se originó de necesidades practicas. Ası́ la necesidad de contar objetos
en diversas colecciones llevo a los seres humanos al concepto de número sin hacer referencia
alguna a las caracterı́sticas individuales de los objetos contados.

Con el paso del tiempo, producto de largos momentos de reflexión el conjunto de los
números naturales se fue perfeccionando. En los albores del siglo XX, el matemático ital-
iano Giuseppe Peano logro describir de manera precisa y concisa el conjunto de los números
naturales N.

La teorı́a matemática de los números naturales o números enteros positivos es conocida

como aritmética. Se basa en que la adición y en la multiplicación están gobernadas por
ciertas leyes.
Para cualquier número natural dado, n, podemos determinar otro número natural n+1,
llamado sucesor Esto nos lleva al hecho que existen una cantidad incontable de números
naturales. La sucesión de números naturales representa el ejemplo mas simple y natural
de conjunto infinito, que desempeña un papel fundamental en las matemáticas modernas.
El procedimiento para generar la sucesión infinita de los enteros positivos paso a paso,
yendo de n a n + 1, también forma la base de uno de los patrones fundamentales del
razonamiento matemático: el principio de inducción matemática. La inducción matemática
se usa para establecer la verdad de un teorema matemático para una sucesión infinita de
casos: el primero, el segundo, el tercero y los subsiguientes, sin excepción.

1
 La idea esencial en el método de inducción matemática es establecer un teorema general
para todos los valores de n demostrando una secuencia de casos particulares: A1 , A2 , ....
La posibilidad de hacerlo depende de se cumplan dos condiciones:

a) Hay un método general para demostrar que si cualquier aseveración Ar es verdadera

entonces la aseveración siguiente, Ar+1 también es verdadera.

b) Se sabe que la primera aseveración, A1 , es verdadera.

Estas dos dos condiciones son suficientes para demostrar que A1 , A2 , A3 , ... son verdaderas.
En efecto:
La justificación de esta afirmación esta basada en el principio del menor elemento.
Este principio dice que: “cualquier subconjunto no vacı́o de números naturales, C, tiene
un menor elemento. Esto es, existe un a ∈ C tal que a ≤ b para cualquier b ∈ C ”.

Supongamos que para algún m ∈ N, la aseveración Am es falsa. Luego, por b), m > 1.
Consideremos el conjunto C = {s ∈ N : As es falsa}. Es obvio que C es un subconjunto
no vacı́o de N y por tanto C tiene un menor elemento r > 1, lo que implica que r − 1
no pertenece a C. Por lo tanto Ar−1 es verdadera, por a), se tiene que Ar también es
verdadero. Lo cual es absurdo, pues r ∈ C.

El uso explı́cito de un argumento inductivo es necesario para demostraciones mas deli-

cadas. Daremos algunos ejemplos de carácter sencillo pero no muy trivial.

1.1 La progresión aritmética

n(n + 1)
Para todo valor n la suma 1 + 2 + 3 + · · · n es igual a .
2
Primero hagamos una deduccion de dicha fórmula. Supongamos que:

1 + 2 + 3 + · · · + n = Sn

n + (n − 1) + (n − 2) · · · + 1 = Sn ,
sumando miembro a miembro obtenemos:

(n + 1) + (n + 1) + (n + 1) + · · · + (n + 1) = 2Sn ,

dividiendo entre 2 se tiene,

n(n + 1)
1 + 2 + 3 + ··· + n =
2

2
 Ahora, demostremos usando el método de inducción matemática.
Supongamos que la aseveracion Ar es verdadera, es decir:

r(r + 1)
1 + 2 + 3 + ··· + r = ,
2
sumando r + 1 a ambos miembros de la igualdad,

r(r + 1)
1 + 2 + 3 + · · · + r + (r + 1) = + (r + 1),
2
pero

r(r + 1) r(r + 1) 2(r + 1) (r + 1)(r + 2) (r + 1)[(r + 1) + 1]

+ (r + 1) = + = = .
2 2 2 2 2
Luego
(r + 1)[(r + 1) + 1]
1 + 2 + 3 + · · · + r + (r + 1) = .
2
Es decir, Ar+1 es verdadera.
Ahora veamos la parte b),
para n = 1 la aseveracion A1 es verdadera. En efecto:
� �
2 1(1 + 1)
1= =
2 2

Lo que completa la demostración por inducción matemática.

De la demostración anterior podemos obtener inmediatamente la fórmula para la suma

de los primeros n + 1 términos de cualquier progresión aritmética,

a, a + d, a + 2d, · · · , a + nd.

Sea
Pn = a + (a + d) + (a + 2d) + · · · + (a + nd).
Sumando los términos del lado derecho,

a + a + + · · · + a + (d + 2d + + · · · + nd) = a(n + 1) + (1 + 2 + · · · + n)d

� �
2a(n + 1) n(n + 1) (n + 1)(2a + nd) (n + 1)[a + (a + nd)]
= + d= =
2 2 2 2
Por lo tanto la suma de los n+1 términos de una progresión aritmética es igual al
número de términos multiplicado por la suma del primero con el último término entre dos.

3
1.2 La progresión geométrica
La progresión geométrica general puede tratarse de un modo similar. Sea Gn la suma de
los n + 1 términos de la progresion geometrica

a, aq, aq 2 , aq 3 , · · · , aq n+1 .

Esto es:
Gn = a + aq + aq 2 + · · · + aq n
multiplicando ambos miembros por q, se obtiene:

qGn = aq + aq 2 + aq 3 · · · + aq n+1

restando miembro a miembro,

(1 − q)Gn = a − aq n+1 = a(1 − q)n+1

finalmente dividiendo por 1 − q, se tiene:

a(1 − q n+1 )
Gn = .
1−q
Esto es,
a(1 − q n+1 )
a + aq + aq 2 + · · · + aq n = . (1)
1−q
A continuación demostraremos por inducción matemática que la fórmula 1 es válida
para todo valor n.
La afirmación es verdadera para el caso n = 1. En efecto

a(1 + q)(1 − q) a(1 − q 2 ) a(1 − q 1+1 )

a + aq 1 = a(1 + q) = = = .
1−q 1−q 1−q

Ahora supongamos que

a(1 − q r+1 )
a + aq + aq 2 + · · · + aq r = ,
1−q

es verdadera. Luego sumando aq r+1 a ambos miembros de la igualdad, se tiene

a(1 − q r+1 )
a + aq + aq 2 + · · · + aq r + aq r+1 = + aq r+1
1−q
Pero
a(1 − q r+1 ) a(1 − q r+1 ) + aq r+1 (1 − q)
+ aq r+1 = =
1−q 1−q

4
 a − aq (r+1)+1 a[1 − q (r+1)+1 ]
= = .
1−q 1−q
Lo que completa la demostración por inducción.

Demostrar que las siguientes fórmulas se cumplen para todos los números naturales n:

n(n + 1)(2n + 1)
a) 12 + 22 + 32 + · · · + n2 =
6
� �
3 3 3 3 n(n + 1) 2
b) 1 + 2 + 3 + · · · + n = .
2
c) (1 + p)n ≥ 1 + np se cumple para todo p > −1.

5
1.3 El teorema del binomio
Con frecuencia es importante tener una expresión explı́cita para la n-ésima potencia del
binomio, (a + b)n . Encontramos calculando directamente que

para n = 1, (a + b)1 = a + b,

para n = 2, (a + b)2 = (a + b)(a + b) = a(a + b) + b(a + b) = a2 + 2ab + b2 ,

para n = 3, (a + b)3 = (a + b)(a + b)2 = a(a2 + 2ab + b2 ) + b(a2 + 2ab + b2 ) =

a + 3a2 b + 3ab2 + b3 ,
3

y ası́ indefinidamente. De esto podemos deducir el triangulo de Pascal.

1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
···
El n-ésimo renglon de este arreglo proporciona los coeficientes del desarrollo de (a + b)n
en potencias decrecientes de a y potencias crecientes de b, ası́,

(a + b)7 = a7 + 7a6 b + 21a5 b2 + 35a4 b3 + 35a3 b4 + 21a2 b5 + 7ab6 + b7

Usando una notación concisa de subı́ndices y super ı́ndices podemos denotar a los
números del n-ésimo renglón del triángulo de pascal como

C0n = 1, C1n , C2n , C3n , ..., Cn−1

n
, Cnn = 1.
Entonces la formula general para (a + b)n puede escribirse de la siguiente manera

(a + b)n = an + C1n an−1 b + C2n an−2 b2 + C3n an−3 b3 + · · · + Cn−1

n
abn−1 + bn
De acuerdo a la construcción del triángulo de Pascal, tenemos

n−1
Cin = Ci−1 + Cin−1
Usar ésta relación y el hecho que C01 = C11 = 1 para demostrar por inducción que

6
 n(n − 1)(n − 2)(n − 3)...(n − i + 1)
Cin =
1 · 2 · 3...i
para cualquier número natural n.

multiplicando numerador y denominador de Cin por (n − i)!

n(n − 1)(n − 2)...(n − i + 1)

Cin = =
1 · 2 · 3...i
n(n − 1)(n − 2)...(n − i + 1)(n − i)! n!
= =
1 · 2 · 3...i · (n − i)! i! (n − i)!
Asumamos que la aseveración
n!
Cin =
i! (n − i)!
es verdadera. Luego

Cin+1 = Ci−1
n
+ Cin

n! n!
= +
(i − 1)! (n − i + 1)! i! (n − i)!
i · n! n!(n − i + 1)
= +
(i − 1)! i(n − i + 1)! i! (n − i)!(n − i + 1)
i · n! n!(n − i + 1) n!(n + 1) (n + 1)!
= + = =
i!(n − i + 1)! i! (n − i + 1)! i!(n − i + 1)! i!(n + 1 − i)!
Ası́
(n + 1)!
Cin+1 =
i!(n + 1 − i)!
Ahora para n = 1 tenemos que Ci1 es: C01 y C11 .

1 1! 1!
C01 = 1 = = =
1 0! · 1! 0! · (1 − 0)!
y
1 1! 1!
C11 = 1 = = =
1 1! · 0! 1! · (1 − 1)!
Lo que demuestra que
n!
Cin =
i! (n − i)!

7
 para todo n natural.

Ejercicios:

Demuestre por inducción matemática:

1 1 1 n
1) + ··· + =
1·2 2·3 n(n + 1) n+1
1 2 3 n n+2
2) + 2 + 3 + ··· + n = 2 − n
2 2 2 2 2
1 − (n + 1)q n + nq n+1
3) 1 + 2q + 3q 2 + · · · + nq n−1 =
(1 − q)2
n+1
n 1 − q2
4) (1 + q)(1 + q 2 )(1 + q 4 ) · · · (1 + q 2 ) =
1−q

Encuentre la suma de las siguientes progresiones geométricas:

1 1 1
5) 2
+ 2 2
··· +
1+x (1 + x ) (1 + x2 )n
x x2 xn
6) 1 + + · · · +
1 + x2 (1 + x2 )2 (1 + x2 )n
� 2 �2 � 2 �n
x2 − y 2 x − y2 x − y2
7) 2 + + ··· +
x + y2 x2 + y 2 x2 + y 2
Usando las formulas (4) y (5) demuestre:
(n + 1)(2n + 1)(2n + 3)
8) 12 + 32 + · · · + (2n + 1)2 = .
3
9) 13 + 33 + · · · + (2n + 1)3 = (n + 1)2 (2n2 + 4n + 1).

10) Demuestre los mismos resultados directamente por inducción matemática.

8
1.4 Sumatorias
�
El sı́mbolo representado por la letra griega sigma,
, se designa para representar de manera
�n
compacta la suma de varios términos y es llamada sumatoria. Ası́ f (i) indica que se
i=1
van a sumar n términos comenzando desde i = 1, el lı́mite inferior, hasta n, lı́mite superior.
Esto es,
�n
f (i) = f (1) + f (2) + f (3) + · · · + f (n)
i=1

Por ejemplo:
n
�
i = 1 + 2 + 3 + · · · + n,
i=1

n
�
(i2 − 1) = (12 − 1) + (22 − 1) + (32 − 1) · · · + (n2 − 1) = 0 + 3 + 8 + · · · + (n2 − 1).
i=1

Propiedades de la sumatoria
n
�
1. c = cn, donde c es una constate real arbitraria.
i=1
n
� n
�
2. cf (i) = c f (i).
i=1 i=1
n
� n
� n
�
3. [f (i) + g(i)] = f (i) + g(i).
i=1 i=1 i=1
n
�
4. [f (i + 1) − f (i)] = f (n + 1) − f (1). Primera fórmula telescópica.
i=1
n
�
5. [f (i + 1) − f (i − 1)] = f (n + 1) + f (n) − f (1) − f (0). Segunda fórmula telescópica.
i=1

Demuestre las propiedades enumeradas.

Por ejemplo, veamos la primera fórmula telescópica, propiedad 4.

9
 n
�
[f (i + 1) − f (i)] = f (n + 1) − f (1).
i=1

n
�
[f (i+1)−f (i)] = [f (2)−f (1)]+[f (3)−f (2)]+[f (4)−f (3)]+· · ·+[f (n+1)−f (n)] = f (n+1)−f (1).
i=1

Supongamos que:
r
�
[f (i + 1) − f (i)] = f (r + 1) − f (1)
i=1

es verdadero. Ahora veamos

r+1
� r
�
[f (i + 1) − f (i)] = [f (i + 1) − f (i)] + [f (r + 2) − f (r + 1)]
i=1 i=1

[f (r + 1) − f (1)] + [f (r + 2) − f (r + 1)] = [f (r + 2) − f (1)] = [f (r + 1) + 1] − f (1)

Por lo tanto:
r+1
�
[f (i + 1) − f (i)] = [f (r + 1) + 1] − f (1).
i=1

La segunda fórmula telescópica se puede deducir de las propiedades anteriores. En

efecto:

n
� n
�
[f (i + 1) − f (i − 1)] = [f (i + 1) − f (i) + f (i) − f (i − 1)] =
i=1 i=1
n
� n
�
[f (i + 1) − f (i)] + [f (i) − f (i − 1)] =
i=1 i=1

[f (n + 1) − f (1)] + [f (n) − f (0)]) = f (n + 1) + f (n) − f (1) − f (0).

Lo que demuestra que estas fórmulas se cumplen para todos los números naturales.

Deducir, usando las propiedades de sumatoria, una fórmula para la suma de los cuadra-
dos de los n primeros números naturales. 12 + 22 + 32 + · · · + n2 .

10
 n
�
2 2 2 2
1 + 2 + 3 + ··· + n = i2
i=1
n
� � �
(i + 1)3 − i3 = (n + 1)3 − 1 = n3 + 3n2 + 3n
i=1

Por otro lado.

n
� n
� n
� n
� n
�
� 3 3
� � 2
� 2
(i + 1) − i = 3i + 3i + 1 = 3 i +3 i+ 1
i=1 i=1 i=1 i=1 i=1

igualando
n
� n
� n
�
3 i2 + 3 i+ 1 = n3 + 3n2 + 3n
i=1 i=1 i=1
n
� n(n + 1)
3 i2 + 3 + n = n3 + 3n2 + 3n
2
i=1
n
� n3 + 3n2 + 3n n(n + 1) n n(n + 1)(2n + 1)
i2 = − − =
3 2 3 6
i=1

Ejercicio: Deducir una fórmula para la suma de los cubos de los n primeros números
naturales. 13 + 23 + 33 + · · · + n3 .

11