Haga clic para modificar el

Álgebra
estilo de título del patrón
IIM116A – Secciones 5 y 6
Clase 14 – Unidad 3: Números Naturales e Inducción
El conjunto de los números naturales. El principio de
inducción matemática y su uso en demostraciones.

30 de Abril 2019
Profesor: Víctor Landaeta
Haga clic para modificar el
Números
estilo Naturales
de título del patrón

• De
  una manera muy informal, se pueden introducir los
números naturales como el conjunto

es decir, un número natural es un número real que se

obtiene a partir del número 1 reiterando la operación de
sumar 1, cero o más veces.
• Por lo tanto, es claro que , y que si entonces .
• Estas dos propiedades son las que caracterizan a los
números naturales y nos permiten realizar
demostraciones de proposiciones del tipo .
Haga clic para modificar el
Números
estilo Naturales
de título del patrón
Haga clic para modificar el
 Propiedades
estilo de título de
dellos
patrón

Demostración:
Haga clic para modificar el
 Propiedades
estilo de título de
dellos
patrón

Demostración:
Haga clic para modificar el
estilo de título del patrón

• ¿Cómo podemos probar la siguiente proposición?

xA S(x)
• Para un conjunto finite A={a1,a2,…,an}, Podemos
probar que S(x) es verdadero para cada elemento,
dada la equivalencia
S(a1)S(a2)…S(an)

• Para un conjunto infinito, Podemos utilizar

generalización universal
• Otra manera más sofisticada es usar inducción
Haga clic para
Principio modificar el
de inducción
estilo de título del patrón
matemática

•  Para probar que una proposición S(n) es verdadera

para todos los enteros positivos (i.e.  Z+) ,
hacemos dos pasos:
Paso base: Verificamos que se cumple S(1) verdadero.
Paso inductivo: Mostramos que la proposición condicional
S(k)  S(k+1) es verdadera k  Z+
• Simbolicamente, la proposición
(S(1)  (k ≥ 1) (S(k)  S(k+1)))  (n  Z+) S(n)
Haga clic para
Principio modificar el
de inducción
estilo de título del patrón
matemática

• Cómo lo hacemos?
• S(1) es usualmente una propiedad fácil de demostrar
• Para probar la proposición condicional, asumimos que
S(k) es verdadero (es llamada hipótesis de inducción) y
mostramos que bajo esta condición, S(k+1) es también
verdadero.
Haga clic para modificar el
estilo de título del patrón

• Dado S( 1 )  n  1 ( S( n )  S( n + 1) ).
• Prueba
1. S( 1 ). [premisa 1]
2. S( 1 )  S( 2 ). [premisa 2 para n = 1]
3. S( 2 ). [paso 1, 2, & modus ponens]
4. S( 2 )  S( 3 ). [Segundo término de la premisa 2 para n = 2]

5. S( 3 ). [Paso 3, 4, & modus ponens]

Etcétera
Haga clic para modificar el
estilo de título del patrón

• Es un método de demostración poderoso

Haga clic para modificar el
estilo de título del patrón

• Es un método de demostración poderoso

Efecto dominó

Muestre que todos los

dominos se caen
• Paso base: El primer domino
cae
• Paso inductivo: Siempre que
un domino se cae, su
siguiente vecino también
caerá.
Haga clic para modificar el
El método
estilo dedel
de título 3 pasos
patrón

• El método de prueba tiene 3 pasos:

1. Probar S( 1 ). [llamado la base]

2. Asumir S( k ) [llamado hipótesis de inducción]

3. Probar S( k + 1 ) [llamado paso inductivo]

• Los últimos 2 pasos son para k arbitrario  Z+.

• Usar S( k ) para probar S( k + 1 ) implica una formulación recursiva de S( k ).

Haga clic para modificar el
Ejemplo
estilo 1 del patrón
de título

• Pruebe que para cualquier entero n  1 (i.e. n  Z+ ), 22n-1 es divisible por 3.

• Define S(n) como la proposición 3 | (22n-1), n ≥ 1.

Haga clic para modificar el
Ejemplo
estilo 1 del patrón
de título

• Pruebe que para cualquier entero n  1 (i.e. n  Z+ ), 22n-1 es divisible por 3.

• Define S(n) como la proposición 3 | (22n-1)

• Notamos que para el caso base n=1, temenos S(1)
22∙1-1 = 3 que es divisible por 3.
Haga clic para modificar el
Ejemplo
estilo 1 del patrón
de título

• Pruebe que para cualquier entero n  1 (i.e. n  Z+ ), 22n-1 es divisible por 3.

• Define S(n) como la proposición 3 | (22n-1)

• Notamos que para el caso base n=1, temenos S(1)
22∙1-1 = 3 que es divisible por 3.
• Luego, asumimos que S(k) es verdadero. Esto es que
existe algún entero t, tal que
22k-1 = 3t. (Hipótesis de inducción)
Haga clic para modificar el
Ejemplo
estilo 1 del patrón
de título

• Pruebe que para cualquier entero n  1 (i.e. n  Z+ ), 22n-1 es divisible por 3.

• Define S(n) como la proposición 3 | (22n-1)

• Notamos que para el caso base n=1, temenos S(1)
22∙1-1 = 3 que es divisible por 3.
• Luego, asumimos que S(k) es verdadero. Esto es que
existe algún entero t, tal que
22k-1 = 3t. (Hipótesis de inducción)
• Debemos probar que S(k+1) es verdadero. Esto es,
22(k+1)-1 es divisible por 3.
Haga clic para modificar el
Ejemplo
estilo 1 (cont.)
de título del patrón

• Note que: 22(k+1) – 1 = 2222k -1=4.22k -1

Haga clic para modificar el
Ejemplo
estilo 1 (contd.)
de título del patrón

• Note que: 22(k+1) – 1 = 2222k -1=4.22k -1

• La hipotesis de inducción: 22k – 1 = 3t  22k = 3t+1
Haga clic para modificar el
Ejemplo
estilo 1 (contd.)
de título del patrón

• Note que: 22(k+1) – 1 = 2222k -1=4.22k -1

• La hipotesis de inducción: 22k – 1 = 3t  22k = 3t+1
• entonces: 22(k+1) – 1 = 4∙22k -1 = 4(3t+1)-1
= 12t+4-1
= 12t+3
= 3(4t+1), un multiplo de 3
Haga clic para modificar el
Ejemplo
estilo 1 (cont.)
de título del patrón

• Note que: 22(k+1) – 1 = 2222k -1=4.22k -1

• La hipotesis de inducción: 22k – 1 = 3t  22k = 3t+1
• entonces: 22(k+1) – 1 = 4∙22k -1 = 4(3t+1)-1
= 12t+4-1
= 12t+3
= 3(4t+1), un multiplo de 3

• Concluimos, por el principio de inducción

matemática que para cualquier entero n1, 22n-1 es
divisible por 3.
Haga clic para modificar el
estilo de título del patrón
Ejemplo: Demuestre que
1 + 2 + … + n = n(n + 1)/2
Una prueba de inducción matemática

• Sea F( n ) = 1 + 2 + . . . + n.
• Demuestra que  n ≥ 1 S(n): F(n) = n(n + 1)/2
Haga clic para modificar el
estilo de título del patrón

• Base: F( 1 ) = 1( 1 + 1 )/2 = 1. Luego, S(1) es V.

• Hipotesis de inducción: Asume F( k ) = k( k + 1 )/2, i.e. S(k) es V.
• Paso inductivo: Demuestra F( k + 1 ) = ( k + 1 )( k + 2 )/2, i.e S(k+1) es V.
F( k + 1 ) = 1 + 2 + . . . + k + ( k + 1 ) [Definición]
= F( k ) + k + 1 [Formulación recursiva]
= k( k + 1 ) / 2 + k + 1 [Hipótesis de inducción]
= k( k + 1 ) / 2 + ( k + 1 ) (2/2)
= ( k + 1 ) ( k + 2 ) / 2.
• Luego, S(k+1) es V.
• Se concluye, por el principio de inducción matemática,  n ≥ 1
F(n) = n(n + 1)/2.