Matemática discreta

Inducción

Conceptos básicos sobre inducción

Conceptos básicos sobre inducción Inducción 1 1 / 16

Esquema

1 Introducción
Los números naturales

2 El principio de inducción
Versión débil
Versión fuerte

3 Ejemplos

Conceptos básicos sobre inducción Inducción 2 2 / 16

Esquema

1 Introducción
Los números naturales

2 El principio de inducción
Versión débil
Versión fuerte

3 Ejemplos

Conceptos básicos sobre inducción Inducción 3 2 / 16

Esquema

1 Introducción
Los números naturales

2 El principio de inducción
Versión débil
Versión fuerte

3 Ejemplos

Conceptos básicos sobre inducción Inducción 4 2 / 16

Definición
El conjunto de los números naturales se define mediante las condiciones
siguientes:
(1) 1 ∈ N.
(2) Si n ∈ N, entonces el numero n + 1 (denominado el sucesor de n) también
pertenece a N.
(3) Todo n ∈ N distinto de 1 es el sucesor de algún número en N.
(4) Principio de buena ordenación: todo subconjunto no vacío de N tiene un
elemento mínimo.

Conceptos básicos sobre inducción Inducción 5 3 / 16

Notas
(1) + (2) implican que 1, 2, 3, . . . ∈ N.
(3) + (4) implican que cualquier otro número (p.e. 1,5) no está en N: si lo
estuviese, entonces también estarían 0,5, −0,5, −1,5, . . . lo que contradiría
(4).
El Principio de buena ordenación implica el Principio de inducción.

Conceptos básicos sobre inducción Inducción 6 4 / 16

El principio de inducción (1)

Es muy útil para demostrar que una cierta propiedad P(n) se cumple para
cada n ∈ N.
Definición: El principio de inducción (versión débil)
Sea P una cierta propiedad que satisface las siguientes condiciones:
(1) (Paso base) P(1) es cierta.
(2) (Paso inductivo) P(k + 1) es cierta siempre que P(k ) sea cierta (para
cualquier k arbitrario pero fijo).
Entonces P(n) es cierta para todo n ∈ N.

Conceptos básicos sobre inducción Inducción 7 5 / 16

El principio de inducción (2)

Es muy útil para demostrar que una cierta propiedad P(n) se cumple para
cada n ∈ N.
Definición: El principio de inducción (versión fuerte)
Sea P una cierta propiedad que satisface las siguientes condiciones:
(1) (Paso base) P(1) es cierta.
(2) (Paso inductivo) P(k + 1) es cierta siempre que P(m) sea cierta para todo
m ≤ k (con k arbitrario pero fijo).
Entonces P(n) es cierta para todo n ∈ N.

Conceptos básicos sobre inducción Inducción 8 6 / 16

Notas
Ambas formas del principio de inducción son equivalentes.
Podemos considerar en vez de N, cualquier conjunto
A = {n0 , n0 + 1, n0 + 2, . . .}.
La inducción sólo permite probar resultados obtenidos por otros métodos.

Conceptos básicos sobre inducción Inducción 9 7 / 16

Problema 1: la suma geométrica
Sea la suma
n
X
Sn = ak = 1 + a + a2 + . . . + an , a 6= 1 .
k =0

Demostrar que la suma parcial hasta n de esa suma es

1 − an+1
Sn =
1−a

Conceptos básicos sobre inducción Inducción 10 8 / 16

Solución
1 − an+1
Inducción: Sn = .
1−a
1−a
Paso Base: n = 0: S0 = 1 = = 1 [OK].
1−a
Paso Inductivo: supongo que la fórmula es cierta para un k arbitrario pero
fijo. Luego, mi hipótesis es
k
X 1 − ak +1
Sk = ai = .
1−a
i=0

El objetivo es demostrar que la fórmula también es válida para k + 1

(usando sólo la hipótesis anterior):
k +1 k
X
i
X
i k +1 1 − ak +1 k +1 1 − ak +2
Sk +1 = a = a +a = +a = .
1−a 1−a
i=0 i=0
Conceptos básicos sobre inducción Inducción 11 9 / 16
Problema 2: la suma
Sea la suma
n
X
Sn = k = 1 + 2 + 3 + ... + n.
k =1

Demostrar que la suma parcial hasta n de esa suma es

n2 − n n(n + 1)
Sn = +n =
2 2

Corolario: Para todo n ∈ N, n(n + 1) es múltiplo de 2.

Conceptos básicos sobre inducción Inducción 12 10 / 16

Solución
n(n + 1)
Inducción: Sn = .
2
1·2
Paso Base: S1 = 1 = = 1 [OK].
2
Paso Inductivo: supongo que la fórmula es cierta para un k arbitrario pero
fijo. Luego, mi hipótesis es:
k
X k (k + 1)
Sk = i = .
2
i=1

Conceptos básicos sobre inducción Inducción 13 11 / 16

El objetivo es demostrar que la fórmula también es válida para k + 1 (usando
sólo la hipótesis anterior):
k +1
X k
X
Sk +1 = i = i + (k + 1) =
i=1 i=1
k (k + 1) (k + 1)(k + 2)
+ (k + 1) = .
2 2

Conceptos básicos sobre inducción Inducción 14 12 / 16

Problema 3: la suma impar
Sea la suma y el cáluclo a mano los primeros sumandos:
Xn
Sn = (2k − 1) = 1 + 3 + 5 + . . . + (2n − 1) .
k =1
1 = 1
1+3 = 4
1+3+5 = 9
1+3+5+7 = 16
1+3+5+7+9 = 25
y de aquí conjeturamos:
n
X
Sn = (2k − 1) = n2
k =1

Conceptos básicos sobre inducción Inducción 15 13 / 16

Solución
Vamos de demostrar que la suma parcial hasta n es esa.
n
(2k − 1) = n2
P
Inducción: Sn =
k =1
Paso Base: S1 = 1 = 11 = 1 [OK].
Paso Inductivo: supongo que la fórmula es cierta para un k arbitrario pero
fijo. Luego, mi hipótesis es:
k
X
Sk = (2i − 1) = k 2 .
i=1

Conceptos básicos sobre inducción Inducción 16 14 / 16

El objetivo es demostrar que la fórmula también es válida para k + 1 (usando
sólo la hipótesis anterior):
k +1
X
Sk +1 = (2i − 1) =
i=1
k
X
(2i − 1) + (2k + 1) =
i=1

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

Conceptos básicos sobre inducción Inducción 17 15 / 16

 Matemática discreta
Inducción

Conceptos básicos sobre inducción

Conceptos básicos sobre inducción Inducción 18 16 / 16