DEPARTAMENTO

DE MATEMÁTICA

Álgebra y Geometrı́a (MAT060)

Clase 24

Coordinación MAT060

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Contenidos

1 Repaso clase pasada

2 Segundo Principio de Inducción

3 Ejercicios

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
1.Repaso clase pasada .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Teorema
Sea p(n) una función proposicional asociada a cada n ∈ N. Si
1 p(1) es verdadera.
2 ∀n ∈ N : p(n) ⇒ p(n + 1) es verdadera.
Entonces, es verdadero que ∀n ∈ N : p(n).

Teorema (Primer 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.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
1 Demuestre que para cualquier n ∈ N se cumple que:
n(n + 1)(2n + 1)
12 + 22 + 32 + · · · + n2 =
6
2 Demuestre que para cualquier n ∈ N se cumple que:
sen(2n x)
cos(x) · cos(2x) · cos(4x) · · · cos(2n−1 x) =
2n sen(x)
3 Demuestre que ∀n ∈ N:
1 1 1 5
+ +···+ ≤
n+1 n+2 2n + 1 6

4 Determine todos los n ∈ N : n + 7 < n2 . Demuestre la

desigualdad para esos valores.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
2. Segundo Principio de Inducción .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
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).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
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 Demostrar que al dividir todo cuadrado perfecto por 4, se

obtiene resto 0 ó 1.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
3. Ejercicios.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejercicios

1 Sea f1 , f2 , · · · , fn , · · · la sucesión de Fibonacci, dada por

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

Probar que
∀n ∈ N, fn ≤ 2n
2 Considere la sucesión de números naturales formada de
la siguiente manera:
a1 = 1 , a2 = 2 , a3 = 3 , an = an−1 + an−2 + an−3 , n ≥ 4

Probar que an ≤ 3n , ∀n ∈ N.

3 Probar que todo número natural mayor que 1 es un

número primo o se puede escribir como producto de
números primos.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA