Matemáticas Discretas

TC1003

Inducción Matemática
Departamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

Inducción Matemática Matemáticas Discretas - p. 1/34

 Inducción Matemática: Historia

Inducción Matemática es un Historia

Historia
método de prueba relativa- Historia
mente reciente: el primer uso Idea
Formulación
conocido lo hizo el sacerdo- Método
Ejemplo 1
te italiano Francesco Mauroli- Ejemplo 2
co (1494-1575) en su publica- Ejemplo 3
Ejemplo 4
ción “Arithmeticorum libri duo” Ejemplo 5
(1575). Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 2/34

 Inducción Matemática: Historia

En el siglo 17 tanto Piere de Historia

Historia
Fermat como Blaise Pascal uti- Historia
lizaron inducción matemática Idea
Formulación
para hacer demostraciones. Método
Ejemplo 1
Ejemplo 2
Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 3/34

 Inducción Matemática: Historia

En 1883 Augustus De Morgan Historia

Historia
fue el primero que describió el Historia
proceso cuidadosamente y le Idea
Formulación
nombró inducción matemática. Método
Ejemplo 1
Ejemplo 2
Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 4/34

 Inducción Matemática: Idea Intuitiva

Suponga una fila interminable Historia

Historia
de fichas de dominó. Historia
Idea
Formulación
Método
Ejemplo 1
Ejemplo 2
Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 5/34

 Inducción Matemática: Idea Intuitiva

Suponga una fila interminable Historia

Historia
de fichas de dominó. Supon- Historia
ga que las fichas están estra- Idea
Formulación
tegicamente colocadas de tal Método
Ejemplo 1
forma que si cualquiera caye- Ejemplo 2
ra hacia adelante tumbaría la Ejemplo 3
Ejemplo 4
siguiente ficha hacia adelan- Ejemplo 5
te. (Paso Inductivo) Suponga Ejemplo 6
también que la primera ficha
cae hacia adelante.(Base In-
ductiva)
¿Qué pasará con las fichas de
dominó?
¡Caerán todas!

Inducción Matemática Matemáticas Discretas - p. 5/34

 Inducción Matemática: Formulación

Suponga que una propiedad (fórmula, Historia

Historia
desigualdad, condición etc) P(n) que está definida Historia
para los enteros apartir de un entero fijo a (Para Idea
Formulación
n = a, para n = a + 1, para n = a + 2, . . . ) Suponga Método
Ejemplo 1
que las dos siguientes afirmaciones son ciertas: Ejemplo 2
■ P(a) es verdadero. Ejemplo 3
Ejemplo 4
■ Para cualquier entero k mayor o igual que a: Ejemplo 5
Ejemplo 6
Si P(k) es cierto, entonces P(k + 1) es cierto.
Entonces la afirmación:
Para todos los enteros n ≥ a, P(n)
es verdadera.

Inducción Matemática Matemáticas Discretas - p. 6/34

 Inducción Matemática: El Método

Para demostrar que es verdadera una afirmación: Historia

Historia
Historia
Para todos los enteros n ≥ a, P(n) Idea
Formulación
Pruebe que: Método
Ejemplo 1
■ Paso 1 (Base Inductiva): P(a) es verdadero.
Ejemplo 2
■ Paso 2 (Paso Inductivo): Muestre que para
Ejemplo 3
Ejemplo 4
cualquier entero k ≥ a . . . Ejemplo 5
◆ suponiendo que P(k) es verdadera (Hipótesis Ejemplo 6

inductiva)
◆ entonces muestre que P(k + 1) también es

verdadera.

Inducción Matemática Matemáticas Discretas - p. 7/34

 Inducción Matemática: Ejemplo 1

Suponiendo como válidas las reglas de derivación Historia

Historia
Historia
d Idea
x=1 Formulación
dx Método
y que Ejemplo 1
Ejemplo 2
d d d Ejemplo 3
( f (x) · g(x)) = g(x) · f (x) + f (x) · g(x) Ejemplo 4
dx dx dx Ejemplo 5
Ejemplo 6
Demuestre que para todo entero n ≥ 1
d n
x = n xn−1
dx

Inducción Matemática Matemáticas Discretas - p. 8/34

 Demostración Historia
Historia
De acuerdo al principio de inducción matemática Historia
debemos demostrar: Idea
Formulación
Base inductiva: Método
Ejemplo 1
Que la afirmación es veradera para el primero de Ejemplo 2
esos enteros. En este caso n = 1. La fórmula que Ejemplo 3
Ejemplo 4
debemos demostrar para n = 1 queda: Ejemplo 5
Ejemplo 6
d 1
x = 1 x1−1
dx
es decir,
d
x=1
dx
pero esto es uno de los datos que tenemos en el
problema. Por tanto, la afirmación es cierta para
n = 1.
Inducción Matemática Matemáticas Discretas - p. 9/34
 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 1 cualquiera Historia
se cumple: Idea
Formulación
d k Método
x = k xk−1 Ejemplo 1
dx Ejemplo 2
Mostremos que entonces se cumple: Ejemplo 3
Ejemplo 4
d k+1 Ejemplo 5
x = (k + 1) xk+1−1 = (k + 1) xk Ejemplo 6
dx
(La igualdad anterior se debe probar) Trabajemos
con el lado izquierdo de la igualdad que queremos
demostrar y hagamos un truco matemático:
d k+1 d  k 
x = x ·x
dx dx

Inducción Matemática Matemáticas Discretas - p. 10/34

 Si tomamos como f (x) = xk y como g(x) = x y Historia
Historia
utilizamos como probada al fórmula dada al inicio Historia
Idea
del problema tenemos´: Formulación
Método
d k+1 d  k  d k k d Ejemplo 1
x = x ·x =x x +x x Ejemplo 2
dx dx dx dx Ejemplo 3
d k Ejemplo 4
Por la hipótesis inductiva dx x = k xk−1 , entonces Ejemplo 5
tenemos que la igualdad anterior queda: Ejemplo 6

d k+1 d k k d
x =x x +x x = x·k xk−1 + xk · 1
dx dx dx
Si hacemos álgebra en el lado derecho
obtenemos:
d k+1
x = (k + 1) xk
dx

Inducción Matemática Matemáticas Discretas - p. 11/34

 Que era la fórmula que debíamos demostrar. Por Historia
d k Historia
tanto hemos probado que si dx x = k xk−1 es Historia
d k+1 Idea
verdadera, entonces dx x = (k + 1) xk es también Formulación
verdadera. Método
Ejemplo 1
Es decir, hemos probado el paso inductivo. Ejemplo 2
Por haber probado la base inductiva y el paso Ejemplo 3
Ejemplo 4
inductivo, el principio de inducción matemática Ejemplo 5
dice que la afirmación es cierta: Ejemplo 6

d n
Para todo entero n ≥ 1, x = n xn−1 .
dx

Inducción Matemática Matemáticas Discretas - p. 12/34

 Inducción Matemática: Ejemplo 2

Demuestre que para enteros n ≥ 3: Historia

Historia
Historia
2 n + 1 ≤ 2n Idea
Formulación
Demostración Método
Ejemplo 1
De acuerdo al principio de inducción matemática Ejemplo 2
debemos demostrar: Ejemplo 3
Ejemplo 4
Base inductiva: Ejemplo 5
Que la afirmación es veradera para el primero de Ejemplo 6
esos enteros. En este caso n = 3. La desigualdad
que debemos demostrar para n = 3 queda:
2 · 3 + 1 ≤ 23
es decir, 7 ≤ 8, pero esto es verdadero. Por tanto,
la afirmación es cierta para n = 3.

Inducción Matemática Matemáticas Discretas - p. 13/34

 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 3 cualquiera Historia
se cumple: Idea
Formulación
2 k + 1 ≤ 2k Método
Ejemplo 1
Mostremos que entonces se cumple: Ejemplo 2
Ejemplo 3
LHS = 2 (k + 1) + 1 ≤ 2k+1 Ejemplo 4
Ejemplo 5
Ejemplo 6
(La desigualdad anterior se debe probar)
Trabajemos con el lado izquierdo de la
desigualdad que queremos demostrar:
LHS = 2 (k + 1) + 1 = 2 k + 1 + 2

Inducción Matemática Matemáticas Discretas - p. 14/34

 Por la hipótesis inductiva 2 k + 1 ≤ 2k y como para Historia
Historia
k ≥ 3, 2 ≤ 2k , lo anterior queda: Historia
Idea
LHS = 2 (k + 1) + 1 = 2 k + 1 + 2 ≤ 2k + 2 ≤ 2k + 2k Formulación
Método
Ejemplo 1
Por tanto, hemos probado que Ejemplo 2
Ejemplo 3
2 (k + 1) + 1 ≤ 2k + 2k = 2 · 2k = 2k+1 Ejemplo 4
Ejemplo 5
Ejemplo 6
Esto es justo la afirmación para n = k + 1. Por
tanto, hemos probado el paso inductivo. Por el
principio de inducción matemática la afirmación es
verdadera:
Para cualquier entero n ≥ 3, 2 n + 2 ≤ 2n

Inducción Matemática Matemáticas Discretas - p. 15/34

 Note que en la demostración anterior hemos Historia
Historia
hecho uso de lo siguiente: Historia
■ Si A ≤ B, entonces A + C ≤ B + C. Idea
Formulación
■ Si A ≤ B y B ≤ C, entonces A ≤ C. Método
Ejemplo 1
Ejemplo 2
Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 16/34

 Inducción Matemática: Ejemplo 3

Demuestre que para enteros n ≥ 4: Historia

Historia
Historia
n2 ≤ 2n Idea
Formulación
Demostración Método
Ejemplo 1
De acuerdo al principio de inducción matemática Ejemplo 2
debemos demostrar: Ejemplo 3
Ejemplo 4
Base inductiva: Ejemplo 5
Que la afirmación es veradera para el primero de Ejemplo 6
esos enteros. En este caso n = 4. La desigualdad
que debemos demostrar para n = 4 queda:
42 ≤ 24
es decir, 16 ≤ 16, pero esto es verdadero. Por
tanto, la afirmación es cierta para n = 4.

Inducción Matemática Matemáticas Discretas - p. 17/34

 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 4 cualquiera Historia
se cumple: Idea
Formulación
k 2 ≤ 2k Método
Ejemplo 1
Mostremos que entonces se cumple: Ejemplo 2
Ejemplo 3
LHS = (k + 1)2 ≤ 2k+1 Ejemplo 4
Ejemplo 5
Ejemplo 6
(La desigualdad anterior se debe probar)
Trabajemos con el lado izquierdo de la
desigualdad que queremos demostrar:
LHS = (k + 1)2 = k2 + 2 k + 1

Inducción Matemática Matemáticas Discretas - p. 18/34

 Por la hipótesis inductiva k2 ≤ 2k y como para Historia
Historia
k ≥ 4 ≥ 3, 2 k + 1 ≤ 2k , lo anterior queda: Historia
Idea
LHS = (k + 1)2 = k2 + 2 k + 1 ≤ 2k + 2 k + 1 ≤ 2k + 2k Formulación
Método
Ejemplo 1
Por tanto, hemos probado que Ejemplo 2
Ejemplo 3
(k + 1)2 ≤ 2k + 2k = 2 · 2k = 2k+1 Ejemplo 4
Ejemplo 5
Ejemplo 6
Esto es justo la afirmación para n = k + 1. Por
tanto, hemos probado el paso inductivo. Por el
principio de inducción matemática la afirmación es
verdadera:
Para cualquier entero n ≥ 4, n2 ≤ 2n

Inducción Matemática Matemáticas Discretas - p. 19/34

 Inducción Matemática: Ejemplo 4

Demuestre que para enteros n ≥ 1: Historia

Historia
k Historia
X n(n + 1) Idea
1 + 2 + ··· + n = i= Formulación
i=1
2 Método
Ejemplo 1
Ejemplo 2
Demostración Ejemplo 3
De acuerdo al principio de inducción matemática Ejemplo 4
Ejemplo 5
debemos demostrar: Ejemplo 6
Base inductiva:
Que la afirmación es veradera para el primero de
esos enteros. En este caso n = 1. La igualdad que
debemos demostrar para n = 1 queda:
1
X 1 · (1 + 1)
i=1= =1
i=1
2

Inducción Matemática Matemáticas Discretas - p. 20/34

 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 1 cualquiera Historia
se cumple: Idea
Formulación
k Método
X k(k + 1)
i= Ejemplo 1

i=1
2 Ejemplo 2
Ejemplo 3
Mostremos que entonces se cumple: Ejemplo 4
Ejemplo 5
k+1 Ejemplo 6
X (k + 1)(k + 1 + 1) (k + 1)(k + 2)
LHS = i= =
i=1
2 2

(La igualdad anterior se debe probar)

k+1
 k 
X X 
LHS = i =  i + k + 1
i=1 i=1

Inducción Matemática Matemáticas Discretas - p. 21/34

 Por la hipótesis inductiva i=1 i = k(k+1)
Pk Historia
2
lo anterior Historia
queda: Historia
Idea
k+1
 k  Formulación
X X  k(k + 1) Método
LHS = i =  i + k + 1 =
  +k+1 Ejemplo 1
i=1 i=1
2 Ejemplo 2
Ejemplo 3
Haciendo álgebra tenemos: Ejemplo 4
Ejemplo 5
k(k + 1) k(k + 1) + 2(k + 1) (k + 1)(k + 2) Ejemplo 6
+k+1= =
2 2 2

Inducción Matemática Matemáticas Discretas - p. 22/34

 Por tanto, hemos probado que Historia
Historia
k+1 Historia
X (k + 1)(k + 2) Idea
i= Formulación
i=1
2 Método
Ejemplo 1
Ejemplo 2
Esto es justo la afirmación para n = k + 1. Por Ejemplo 3
tanto, hemos probado el paso inductivo. Por el Ejemplo 4
Ejemplo 5
principio de inducción matemática la afirmación es Ejemplo 6
verdadera:
n
X n(n + 1)
Para cualquier entero n ≥ 1, i=
i=1
2

Inducción Matemática Matemáticas Discretas - p. 23/34

 Inducción Matemática: Ejemplo 5

Suponga una sucesión de números a1 , a2 , a3 , Historia

Historia
. . . que cumplen la siguientes reglas: Historia
■ Regla 1: a1 = 1, y Idea
Formulación
■ Regla 2: an+1 = 2 an + 1 para n ≥ 1. Método
Ejemplo 1
Pruebe que la fórmula para los números an para Ejemplo 2
n ≥ 1 es: Ejemplo 3
Ejemplo 4
an = 2n − 1 Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 24/34

 Demostración Historia
Historia
De acuerdo al principio de inducción matemática Historia
debemos demostrar: Idea
Formulación
Base inductiva: Método
Ejemplo 1
Que la afirmación es veradera para el primero de Ejemplo 2
esos enteros. En este caso n = 1. La igualdad que Ejemplo 3
Ejemplo 4
debemos demostrar para n = 1 queda: Ejemplo 5
Ejemplo 6
a1 = 21 − 1 = 1
pero esto es verdadero por la regla 1. Por tanto,
la afirmación es cierta para n = 1.

Inducción Matemática Matemáticas Discretas - p. 25/34

 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 1 cualquiera Historia
se cumple: Idea
Formulación
ak = 2k − 1 Método
Ejemplo 1
Mostremos que entonces se cumple: Ejemplo 2
Ejemplo 3
ak+1 = 2k+1 − 1 Ejemplo 4
Ejemplo 5
Ejemplo 6
(La igualdad anterior se debe probar) Trabajemos
con el lado izquierdo de la igualdad que queremos
demostrar: por la regla 2:
ak+1 = 2 ak + 1

Inducción Matemática Matemáticas Discretas - p. 26/34

 Por la hipótesis inductiva ak = 2k − 1 lo anterior Historia
Historia
queda: Historia
Idea
ak+1 = 2 ak + 1 = 2(2k − 1) + 1 = 2k+1 − 1 Formulación
Método
Ejemplo 1
Por tanto, hemos probado que Ejemplo 2
Ejemplo 3
ak+1 = 2k+1 − 1 Ejemplo 4
Ejemplo 5
Ejemplo 6
Esto es justo la afirmación para n = k + 1. Por
tanto, hemos probado el paso inductivo. Por el
principio de inducción matemática la afirmación es
verdadera:
Para cualquier entero n ≥ 1, an = 2n − 1

Inducción Matemática Matemáticas Discretas - p. 27/34

 Inducción Matemática: Ejemplo 6

Considere el programa: Historia

Historia
SD(A,n,x) Historia
variable A array of float Idea
Formulación
variable n integer Método
Ejemplo 1
variable x float Ejemplo 2
if (n = 1) then Ejemplo 3
Ejemplo 4
[a] return(A[1]) Ejemplo 5
else Ejemplo 6
[b] return(A[n] + x*SD(A,n-1,x))
end if
end proc

Inducción Matemática Matemáticas Discretas - p. 28/34

 Afirmación para n ≥ 1: Historia
Historia
Pn n−i Historia
SD(A, n, x) = i=1 A[i]x Idea
Formulación
= A[n] + A[n − 1] x1 + · · · + A[1] xn−1 Método
Ejemplo 1
y su ejecución se realiza con 2(n − 1) FLOPs. Ejemplo 2
Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6

Inducción Matemática Matemáticas Discretas - p. 29/34

 Demostración Historia
Historia
Base inductiva: Historia
Debemos demostrar que para n = 1 el programa Idea
Formulación
regresa : Método
Ejemplo 1
1
X Ejemplo 2
Ejemplo 3
A[i] x1−i = A[1] x1−1 = A[1]. Ejemplo 4
i=1 Ejemplo 5
Ejemplo 6
Pero esto es verdadero, pues el programa para
n = 1 sale por la línea [a] entregando esto.
Además, como no realiza ninguna operación de
punto flotante se coincide con la fórmula para el
número de FLOPs invertidos: 2 (1 − 1) = 0. Por
tanto, la afirmación es cierta para n = 1.

Inducción Matemática Matemáticas Discretas - p. 30/34

 Paso inductivo: Historia
Historia
Supongamos que para un entero k ≥ 1 cualquiera Historia
se cumple: Idea
Formulación
k Método
X Ejemplo 1
SD(A, k, x) = A[i]xk−i Ejemplo 2
i=1 Ejemplo 3
Ejemplo 4
Ejemplo 5
Y que lo hace con 2(k − 1) FLOPs. Mostremos que Ejemplo 6
entonces se cumple:
k+1
X
SD(A, k + 1, x) = A[i]xk+1−i
i=1

y que lo hace en 2(k + 1 − 1) = 2 k FLOPs.

Inducción Matemática Matemáticas Discretas - p. 31/34

 Revisemos la ejecución del programa para Historia
Historia
n = k + 1: Como k ≥ 1 entonces k + 1 , 1. Por lo Historia
tanto, el programa ejecuta la línea [b] entregando: Idea
Formulación
Método
SD(A, k + 1, x) = A[n] + x × SD(A, k, x) Ejemplo 1
Ejemplo 2
Por la hipótesis inductiva: Ejemplo 3
Ejemplo 4
k
X Ejemplo 5
Ejemplo 6
SD(A, k + 1, x) = A[n] + x × A[i]xk−i
i=1

Por propiedades matemáticas lo anterior queda:

k
X k+1
X
SD(A, k + 1, x) = A[n] + A[i]xk+1−i = A[i]xk+1−i
i=1 i=1

Inducción Matemática Matemáticas Discretas - p. 32/34

 Además, haciendo en conteo de las operaciones Historia
Historia
realizadas Historia
■ la llamada recursiva requerirá 2(k − 1) FLOPs, y Idea
Formulación
■ la línea [b] requerirá aún dos FLOPs más: una Método
Ejemplo 1
suma y una multiplicación. Ejemplo 2
Es decir, que el número de operaciones Ejemplo 3
Ejemplo 4
involucradas serán Ejemplo 5
Ejemplo 6
2(k − 1) + 2 = 2 k
Esto es exactamente lo que se quería demostrar.

Inducción Matemática Matemáticas Discretas - p. 33/34

 Por tanto, hemos probado que bajo la hipótesis Historia
Historia
inductiva, validez de lo afirmado para n = k, el Historia
programa ejecutado para n = k + 1 entrega Idea
Formulación
Método
k+1
X Ejemplo 1
SD(A, k + 1, x) = A[i]xk+1−i Ejemplo 2
Ejemplo 3
i=1
Ejemplo 4
Ejemplo 5
y lo hace en 2(k + 1 − 1) FLOPs. Lo que es Ejemplo 6
exactamente la afirmación para n = k + 1. Por
tanto, hemos probado el paso inductivo. Por el
principio de inducción matemática la afirmación es
verdadera para enteros n ≥ 1.

Inducción Matemática Matemáticas Discretas - p. 34/34