Más sobre Inducción

Trabajo Colaborativo

Matemática 1 MAT021
Clase 7 (Complementos)

Departamento de Matemática
Universidad Técnica Federico Santa María

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Tabla de Contenidos

1 Más sobre Inducción

2 Trabajo Colaborativo

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Teorema (Principio de Inducción Matemática Extendida.)

Sea p(n) una función proposicional asociada a cada número natural
n, y sea k ∈ N. Si p(k) es verdadera y si ∀n ≥ k : p(n) ⇒ p(n + 1) es
verdadera, entonces p(n) es verdadera ∀ n ≥ k, n ∈ N.

Ejemplos
1 Determine todos los n ∈ N : 1 · 2 · 3 · · · n > 2n , y demuestre por
inducción.

2 Determine todos los n ∈ N : 2n < 2n − 1, y demuestre por

inducción.

3 n


3 Determine todos los n ∈ N : n2 < 2 , y demuestre por
inducción.

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Teorema (Segundo Principio de Inducción)

Sea p(n) una función proposicional, n ∈ N. Si:
1 p(1) es verdadera.
2 ∀n ∈ N : p(1) ∧ p(2) ∧ · · · ∧ p(n) ⇒ p(n + 1) es verdadera.
entonces, es verdadero que ∀n ∈ N : p(n).

Teorema (Segundo Principio de Inducción Extendido)

Sea p(n) una función proposicional, n ∈ N. Si para algún s ∈ N:
1 p(s) ∧ p(s + 1) ∧ · · · ∧ p(s + j) es verdadera.
2 ∀n ∈ N, n ≥ s : p(s) ∧ p(s + 1) ∧ · · · ∧ p(s + j) ⇒ p(s + j + 1) es
verdadera.
entonces, es verdadero que ∀n ∈ N, n ≥ s : p(n).

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Ejemplos
1 Considere la sucesión de números naturales formada de la
siguiente manera:

a1 = 2 , a2 = 3 , an+1 = 3an − 2an−1 , n≥3

Probar que an = 2n−1 + 1, ∀n ∈ N.

2 Sea {f1 , f2 , · · · , fn , · · · } la sucesión de Fibonacci, donde fn es
el n-ésimo número de Fibonacci. Probar que

∀n ∈ N, fn ≤ 2n

Observación: f1 = f2 = 1, fn = fn−1 + fn−2 ∀n ∈ N, n ≥ 3

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Tabla de Contenidos

1 Más sobre Inducción

2 Trabajo Colaborativo

Coordinación 2019-1 Matemática 1 MAT021

 Más sobre Inducción
Trabajo Colaborativo

Ejercicios
Demuestre por inducción que ∀n ∈ N:
n(n + 1)(2n + 1)
1 12 + 22 + 32 + · · · + n2 =
6
5 + (4n − 1)5n+1
2 1 · 5 + 2 · 52 + 3 · 53 + · · · + n · 5n =
16
5 1 7 1 2n + 3 1 1
3 · + · + ··· + · =1− n
1 · 2 3 2 · 3 32 n · (n + 1) 3n 3 (n + 1)
4 8n − 3n es divisible por 5.
5 Demuestre que la desigualdad 5n > n2 + 25 es verdadera a
partir de cierto n0 ∈ N; encuentre dicho n0 .

Para la próxima clase:

Hasta la página 64 del apunte.

Coordinación 2019-1 Matemática 1 MAT021