5.

4
Inducción
matemática
fuerte y el
principio del
buen orden

Preliminares
CM0246 Estructuras Discretas
Introducción 5.4 Inducción matemática fuerte y el principio del buen orden
Principio de
inducción
matemática
fuerte
Andrés Sicard Ramírez
Método de
demostración
por inducción Universidad EAFIT
matemática
fuerte

El principio Semestre 2022-1

del buen orden

Referencias
 5.4
Inducción Preliminares
matemática
fuerte y el
principio del Convención
buen orden
Los números asignados a los teoremas, ejemplos, ejercicios, figuras, y páginas en
Preliminares
estas diapositivas corresponden a los números asignados en el texto guía [Epp 2011].
Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Introducción
matemática
fuerte y el
principio del Descripción
buen orden
• La inducción matemática fuerte es un método de demostración.
Preliminares

Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Introducción
matemática
fuerte y el
principio del Descripción
buen orden
• La inducción matemática fuerte es un método de demostración.
Preliminares
• La inducción matemática fuerte está sustentada en el principio de inducción
Introducción

Principio de
matemática fuerte.
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Introducción
matemática
fuerte y el
principio del Descripción
buen orden
• La inducción matemática fuerte es un método de demostración.
Preliminares
• La inducción matemática fuerte está sustentada en el principio de inducción
Introducción

Principio de
matemática fuerte.
inducción
matemática • A diferencia de la inducción matemática, en la inducción matemática fuerte «el
fuerte
paso básico puede contener demostraciones para varios valores iniciales y en
Método de
demostración el paso inductivo la veracidad del predicado P(n) se supone no sólo para un
por inducción
matemática valor de n, sino para todos los valores k y después se demuestra la veracidad de
fuerte
P(k + 1).» [p. 268]
El principio
del buen orden

Referencias
 5.4
Inducción Principio de inducción matemática fuerte
matemática
fuerte y el
principio del Principio de inducción matemática (pág. 268)
buen orden
Sea P(n) una propiedad que se define para números naturales n y sean a y b números
Preliminares naturales fijos con a ≤ b. Suponga que los siguientes dos enunciados son verdaderos:
Introducción

Principio de
(i) Las propiedades P(a), P(a + 1), . . . , P(b) son verdaderas.
inducción
matemática (ii) Para cualquier número natural k ≥ b, si P(i) es verdadera para todo los
fuerte
números naturales i desde a hasta k, entonces P(k + 1) es verdadera.
Método de
demostración
por inducción Entonces, el enunciado
matemática
fuerte

El principio
para todo número natural n ≥ a, P(n)
del buen orden

Referencias es verdadero.
 5.4
Inducción Principio de inducción matemática fuerte
matemática
fuerte y el
principio del Observaciones
buen orden
• El texto guía presenta el principio de inducción matemática fuerte empleando
Preliminares los números enteros, pero nosotros consideramos que es más apropiado emplear
Introducción los números naturales en su presentación.
Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Principio de inducción matemática fuerte
matemática
fuerte y el
principio del Observaciones
buen orden
• El texto guía presenta el principio de inducción matemática fuerte empleando
Preliminares los números enteros, pero nosotros consideramos que es más apropiado emplear
Introducción los números naturales en su presentación.
Principio de
inducción • Un enunciado se puede demostrar empleando inducción matemática, si y sólo
matemática
fuerte si, el enunciado se puede demostrar empleando inducción matemática fuerte.
Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Principio de inducción matemática fuerte
matemática
fuerte y el
principio del Observaciones
buen orden
• El texto guía presenta el principio de inducción matemática fuerte empleando
Preliminares los números enteros, pero nosotros consideramos que es más apropiado emplear
Introducción los números naturales en su presentación.
Principio de
inducción • Un enunciado se puede demostrar empleando inducción matemática, si y sólo
matemática
fuerte si, el enunciado se puede demostrar empleando inducción matemática fuerte.
Método de
demostración
• Otros nombres para el principio de inducción matemática fuerte son: segundo
por inducción
matemática principio de inducción y principio de inducción completa.
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir
buen orden

1. Señalar la propiedad P(n) para números naturales n.

Preliminares

Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir
buen orden

1. Señalar la propiedad P(n) para números naturales n.

Preliminares
2. Señalar el enunciado a demostrar e identificar los números naturales a y b fijos
Introducción

Principio de
tales que a ≤ b.
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir
buen orden

1. Señalar la propiedad P(n) para números naturales n.

Preliminares
2. Señalar el enunciado a demostrar e identificar los números naturales a y b fijos
Introducción

Principio de
tales que a ≤ b.
inducción
matemática 3. Paso básico: Demostrar que P(a), P(a + 1), . . . , P(b) son verdaderas.
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias

(continua en la próxima diapositiva)

 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir (continuación)
buen orden

4. Paso inductivo: Demostrar que para todo número natural k ≥ b, si P(i) es

Preliminares verdadera para todo los números naturales i desde a hasta k, entonces P(k + 1)
Introducción es verdadera.
Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir (continuación)
buen orden

4. Paso inductivo: Demostrar que para todo número natural k ≥ b, si P(i) es

Preliminares verdadera para todo los números naturales i desde a hasta k, entonces P(k + 1)
Introducción es verdadera.
Principio de
inducción
matemática
Para realizar el paso inductivo:
fuerte

Método de 4.1 Suponer la hipótesis inductiva: Sea k ≥ b. Suponer que P(i) es verdadera
demostración
por inducción
para todo los números naturales i desde a hasta k.
matemática
fuerte De forma equivalente, suponer que P(a), P(a + 1), . . . , P(k) son verdade-
El principio
del buen orden
ras.
Referencias
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir (continuación)
buen orden

4. Paso inductivo: Demostrar que para todo número natural k ≥ b, si P(i) es

Preliminares verdadera para todo los números naturales i desde a hasta k, entonces P(k + 1)
Introducción es verdadera.
Principio de
inducción
matemática
Para realizar el paso inductivo:
fuerte

Método de 4.1 Suponer la hipótesis inductiva: Sea k ≥ b. Suponer que P(i) es verdadera
demostración
por inducción
para todo los números naturales i desde a hasta k.
matemática
fuerte De forma equivalente, suponer que P(a), P(a + 1), . . . , P(k) son verdade-
El principio
del buen orden
ras.
Referencias 4.2 Indicar lo que se va a demostrar: P(k + 1) es verdadera para todo k ≥ b.
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir (continuación)
buen orden

4. Paso inductivo: Demostrar que para todo número natural k ≥ b, si P(i) es

Preliminares verdadera para todo los números naturales i desde a hasta k, entonces P(k + 1)
Introducción es verdadera.
Principio de
inducción
matemática
Para realizar el paso inductivo:
fuerte

Método de 4.1 Suponer la hipótesis inductiva: Sea k ≥ b. Suponer que P(i) es verdadera
demostración
por inducción
para todo los números naturales i desde a hasta k.
matemática
fuerte De forma equivalente, suponer que P(a), P(a + 1), . . . , P(k) son verdade-
El principio
del buen orden
ras.
Referencias 4.2 Indicar lo que se va a demostrar: P(k + 1) es verdadera para todo k ≥ b.
4.3 Demostrar que P(k + 1) es verdadera para todo k ≥ b.
 5.4
Inducción Método de demostración por inducción matemática fuerte
matemática
fuerte y el
principio del Pasos a seguir (continuación)
buen orden

4. Paso inductivo: Demostrar que para todo número natural k ≥ b, si P(i) es

Preliminares verdadera para todo los números naturales i desde a hasta k, entonces P(k + 1)
Introducción es verdadera.
Principio de
inducción
matemática
Para realizar el paso inductivo:
fuerte

Método de 4.1 Suponer la hipótesis inductiva: Sea k ≥ b. Suponer que P(i) es verdadera
demostración
por inducción
para todo los números naturales i desde a hasta k.
matemática
fuerte De forma equivalente, suponer que P(a), P(a + 1), . . . , P(k) son verdade-
El principio
del buen orden
ras.
Referencias 4.2 Indicar lo que se va a demostrar: P(k + 1) es verdadera para todo k ≥ b.
4.3 Demostrar que P(k + 1) es verdadera para todo k ≥ b.
5. Concluir que el enunciado del paso 2 es verdadero por el principio de inducción
matemática.
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Ejemplo 5.4.1
buen orden
Demostrar que cualquier número natural mayor que 1 es divisible por un número
Preliminares primo.
Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte
buen orden

1. La propiedad P(n) está dada por:

Preliminares
P(n): n es divisible por un número primo
Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte
buen orden

1. La propiedad P(n) está dada por:

Preliminares
P(n): n es divisible por un número primo
Introducción

Principio de
inducción 2. Vamos a demostrar que el enunciado
matemática
fuerte

Método de
para todo número natural n > 1, n es divisible por un número primo
demostración
por inducción
matemática es verdadero.
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte
buen orden

1. La propiedad P(n) está dada por:

Preliminares
P(n): n es divisible por un número primo
Introducción

Principio de
inducción 2. Vamos a demostrar que el enunciado
matemática
fuerte

Método de
para todo número natural n > 1, n es divisible por un número primo
demostración
por inducción
matemática es verdadero.
fuerte

El principio
del buen orden
3. Paso básico:
Referencias P(2) es verdadera porque 2 es divisible por 2 y 2 es un número primo.
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte (continuación)
buen orden

4. Paso inductivo: Demostración de que para todo número natural k ≥ 2, si P(i)

Preliminares es verdadera para todo número natural i desde 2 hasta k, entonces P(k + 1)
Introducción también es verdadera.
Principio de
inducción
matemática 4.1 Hipótesis inductiva: Sea k ≥ 2 un número natural. Supongamos que P(i)
fuerte
para todo número natural i desde 2 hasta k. Es decir, supongamos que i
Método de
demostración es divisible por un número primo, para i desde 2 hasta k.
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte (continuación)
buen orden

4. Paso inductivo: Demostración de que para todo número natural k ≥ 2, si P(i)

Preliminares es verdadera para todo número natural i desde 2 hasta k, entonces P(k + 1)
Introducción también es verdadera.
Principio de
inducción
matemática 4.1 Hipótesis inductiva: Sea k ≥ 2 un número natural. Supongamos que P(i)
fuerte
para todo número natural i desde 2 hasta k. Es decir, supongamos que i
Método de
demostración es divisible por un número primo, para i desde 2 hasta k.
por inducción
matemática
fuerte
4.2 Sea k ≥ 2, vamos a demostrar P(k + 1), es decir vamos a demostrar
El principio que k + 1 es divisible por un número primo.
del buen orden

Referencias
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte (continuación)
buen orden

4. Paso inductivo: Demostración de que para todo número natural k ≥ 2, si P(i)

Preliminares es verdadera para todo número natural i desde 2 hasta k, entonces P(k + 1)
Introducción también es verdadera.
Principio de
inducción
matemática 4.1 Hipótesis inductiva: Sea k ≥ 2 un número natural. Supongamos que P(i)
fuerte
para todo número natural i desde 2 hasta k. Es decir, supongamos que i
Método de
demostración es divisible por un número primo, para i desde 2 hasta k.
por inducción
matemática
fuerte
4.2 Sea k ≥ 2, vamos a demostrar P(k + 1), es decir vamos a demostrar
El principio que k + 1 es divisible por un número primo.
del buen orden

Referencias 4.3 Demostrar que P(k + 1) es verdadera

En el tablero.
 5.4
Inducción Ejemplo: Divisibilidad por un número primo
matemática
fuerte y el
principio del Demostración por inducción matemática fuerte (continuación)
buen orden

5. Por lo tanto, el enunciado

Preliminares

Introducción para todo número natural n > 1, n es divisible por un número primo
Principio de
inducción
matemática es verdadero por el principio de inducción matemática fuerte.
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Una propiedad de una sucesión
matemática
fuerte y el
principio del Ejemplo 5.4.2
buen orden
Sea s0 , s1 , s2 , . . . la sucesión definida por
Preliminares

Introducción
s0 = 0,
Principio de s1 = 4,
inducción
matemática
fuerte
sk = 6sk−1 − 5sk−2 , para todo número natural k ≥ 2.
Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Una propiedad de una sucesión
matemática
fuerte y el
principio del Ejemplo 5.4.2
buen orden
Sea s0 , s1 , s2 , . . . la sucesión definida por
Preliminares

Introducción
s0 = 0,
Principio de s1 = 4,
inducción
matemática
fuerte
sk = 6sk−1 − 5sk−2 , para todo número natural k ≥ 2.
Método de
demostración Demostrar que para todo número natural n,
por inducción
matemática
fuerte
sn = 5n − 1.
El principio
del buen orden

Referencias
 5.4
Inducción Ejemplo: Una propiedad de una sucesión
matemática
fuerte y el
principio del Ejemplo 5.4.2
buen orden
Sea s0 , s1 , s2 , . . . la sucesión definida por
Preliminares

Introducción
s0 = 0,
Principio de s1 = 4,
inducción
matemática
fuerte
sk = 6sk−1 − 5sk−2 , para todo número natural k ≥ 2.
Método de
demostración Demostrar que para todo número natural n,
por inducción
matemática
fuerte
sn = 5n − 1.
El principio
del buen orden

Referencias
Demostración por inducción matemática fuerte
En el tablero.
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Principio del buen orden para los números naturales
buen orden
Sea S un subcojunto de los números naturales diferente de vacío. Entonces S tiene
Preliminares un mínimo elemento.
Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Principio del buen orden para los números naturales
buen orden
Sea S un subcojunto de los números naturales diferente de vacío. Entonces S tiene
Preliminares un mínimo elemento.
Introducción

Principio de
Principio del buen orden para los números enteros
inducción
matemática
«Sea S un conjunto de números enteros que contienen uno o más números enteros
fuerte
todos los cuales son mayores que un entero fijo. Entonces S tiene un mínimo ele-
Método de
demostración mento.» [p. 275]
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Principio del buen orden para los números naturales
buen orden
Sea S un subcojunto de los números naturales diferente de vacío. Entonces S tiene
Preliminares un mínimo elemento.
Introducción

Principio de
Principio del buen orden para los números enteros
inducción
matemática
«Sea S un conjunto de números enteros que contienen uno o más números enteros
fuerte
todos los cuales son mayores que un entero fijo. Entonces S tiene un mínimo ele-
Método de
demostración mento.» [p. 275]
por inducción
matemática
fuerte Observación
El principio El texto guía no presenta el principio del buen orden para los números naturales.
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Ejemplo
buen orden
Demostrar que cualquier sucesión estrictamente decreciente de números naturales es
Preliminares finita.
Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Ejemplo
buen orden
Demostrar que cualquier sucesión estrictamente decreciente de números naturales es
Preliminares finita.
Introducción

Principio de
Demostración
inducción Sea r1 , r2 , r3 , . . . una sucesión de números naturales tal que ri > ri+1 para todo i.
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Ejemplo
buen orden
Demostrar que cualquier sucesión estrictamente decreciente de números naturales es
Preliminares finita.
Introducción

Principio de
Demostración
inducción Sea r1 , r2 , r3 , . . . una sucesión de números naturales tal que ri > ri+1 para todo i.
matemática
fuerte
Por el principio del buen orden para los números naturales, sea rk el elemento mínimo
Método de
demostración de la sucesión. Entonces rk es el último término de la sucesión. De lo contrario,
por inducción
matemática existe rk+1 tal que rk > rk+1 lo cual es una contradicción porque rk es el elemento
fuerte

El principio
mínimo.
del buen orden

Referencias
 5.4
Inducción El principio del buen orden
matemática
fuerte y el
principio del Teorema
buen orden
Los siguientes principios son equivalentes:
Preliminares (i) Principio de inducción matemática
Introducción (ii) Principio de inducción matemática fuerte
Principio de
inducción (iii) Principio del buen orden para los números naturales
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias
 5.4
Inducción Referencias
matemática
fuerte y el
principio del Epp, Susanna S. (2011). Matemáticas Discretas con Aplicaciones. 4.a ed. Traducido
buen orden
por Ana Elizabeth García Hernández. Cengage Learning (vid. pág. 2).

Preliminares

Introducción

Principio de
inducción
matemática
fuerte

Método de
demostración
por inducción
matemática
fuerte

El principio
del buen orden

Referencias