UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fı́sicas y Matemáticas

Introducción a la Matemática Universitaria.

520145

Capı́tulo 4. Inducción.

Prof. Antonio Contreras Quilodrán.

Inducción 1. FCFM UdeC.

 Inducción Matemática
El Operador Sumatoria. Dados n números reales indexados como
a1 , a2 , . . . , an , se define la sumatoria de ellos, que se denota
Xn
ak , por:
k=1
n
X
ak = a1 + a2 + · · · + an−1 + an
k=1

Ejemplos. De sumatoria:
n
X
1. k 2 = 12 + 22 + 32 + · · · + (n − 1)2 + n2
k=1
n
X
2. (2k − 1) = 1 + 3 + 5 + 7 + · · · + (2n − 3) + (2n − 1)
k=1

Inducción 2. FCFM UdeC.

 Inducción Matemática
Propiedades del Operador Sumatoria
n
X n
X n
X n−1
X n+1
X
1. ai = aj y ai = ai+1 = ai−1
i=1 j=1 i=1 i=0 i=2
n
X
2. a = a + a + · · · + a + a = na
i=1
n
X n
X n
X n
X n
X
3. k ai = k ai ; (ai + bi ) = ai + bi
i=1 i=1 i=1 i=1 i=1
  !
n
X X m m n
X X
4.  bj  ai = ai bj
i=1 j=1 j=1 i=1

Inducción 3. FCFM UdeC.

 Inducción Matemática
Principio de inducción matemática

Sea S ⊆ N tal que

i) 1∈S
ii) k∈S ⇒ (k + 1) ∈ S,
entonces S = N.

Teorema. Sea S ⊆ N y p un número natural tal que:

i) p∈Sy ii) k∈S ⇒ (k + 1) ∈ S ,
entonces S contiene a cada número mayor o igual a p.

Inducción 4. FCFM UdeC.

 Inducción Matemática
PROGRESION ARITMETICA

Sean a, d ∈ R números dados. Se llama Progresión Aritmética

con término inicial (primer término) a y diferencia común d a la
sucesión de números a1 , a2 , . . . an . . ., donde

a1 = a y ∀ n ≥ 2 : an = an−1 + d.

Teorema. ∀n ∈ N : an = a + (n − 1) d.
(Demostración: por inducción.)

Inducción 5. FCFM UdeC.

 Inducción Matemática

Teorema.

La suma de los n primeros términos de una Progresión Aritmética,

con primer término a y diferencia común d, está dada por
n
X n n
ak = (2a1 + (n − 1)d) = (a1 + an ) ∀ n ∈ N.
2 2
k=1

(Demostración: por inducción.)

Inducción 6. FCFM UdeC.

 Inducción Matemática
PROGRESION GEOMETRICA

Sean a, r ∈ R números dados. Se llama Progresión Geométrica

con término inicial a y razón (cuociente) común r a la sucesión de
números a1 , a2 , . . . an . . ., donde

a1 = a y ∀ n ≥ 2 : an = r an−1 .

Teorema. ∀n ∈ N : an = rn−1 a1 = rn−1 a.

(Demostración: por inducción.)

Inducción 7. FCFM UdeC.

 Inducción Matemática

Teorema.

La suma de los n primeros términos de una Progresión

Geométrica, con primer término a y razón común r , está dada por
n  n

X 1−r
ak = a1 ∀ n ∈ N, ∀ r 6= 1.
1−r
k=1

(Demostración: por inducción.)

Inducción 8. FCFM UdeC.

 Inducción Matemática
Factorial y Coeficiente Binomial

Dado k ∈ N, se define el factorial de k , y se denota k!, como el

producto de los k primeros números naturales, esto es:

k! = 1 · 2 · 3 · · · (k − 1) · k, 0! = 1.

Sean k, n ∈ N ∪ {0} tales que  k ≤n. Se define el coeficiente

n
binomial de n y k , y se denota  , como el número:
k
 
n n!
  =
k k! (n − k)!

Inducción 9. FCFM UdeC.

 Inducción Matemática
Propiedades de los Coeficientes Binomiales

Sean k,n ∈ N ∪ {0} tales que k < n. Entonces, se tiene:

     
n n n
•   =   = 1,   = n
0 n 1
   
n n
•   =  
k n−k
     
n n n+1
•  +  =  
k k+1 k+1

Inducción 10 . FCFM UdeC.

 Inducción Matemática

TEOREMA DEL BINOMIO

Sean a, b ∈ R no nulos y sea n ∈ N. Entonces:

 
n
n
X n
(a + b) =   an−k bk .
k=0 k
Observaciones.

a) El desarrollo de (a + b)n consta de n + 1 términos.

b) En cada término del desarrollo la suma de los exponentes de a

y b es n.

Inducción 11 . FCFM UdeC.

 Inducción Matemática

c) Los coeficientes de los términos equidistantes del centro son

iguales.

d) El término que ocupa el lugar k + 1 está dado por

 
n
Tk+1 =   an−k bk .
k

Inducción 12 . FCFM UdeC.