Induccin Matemtica

Principio de la buena ordenacin

Todo subconjunto no vaco de IN tiene un elemento menor que los
restantes. Es decir, si S IN, S = , entonces existe p S tal que
r S : p r .
TEOREMA: Principio de induccin matemtica
Sean S IN y p IN tales que
p S
k S (k + 1) S
Entonces S contiene a todos los naturales mayores o iguales que p,
es decir: k IN, k p : k S
1
Induccin Matemtica
DEMOSTRACION
Por el mtodo de contradiccin: ( H T ) P P
Supongamos que existe k IN, k > p, tal que k S, y denamos:
G := {m IN : m > p m S}
Es claro que G = ya que k G. Luego, por el principio de la buena
ordenacin, existe r G tal que r m m G. Notar que r > p y
r S. As, como r es el menor elemento de G, se deduce que r 1 G,
lo cual implica dos posibilidades: ( r 1 p ) ( r 1 S ).
Si r 1 p, entonces r p + 1, y puesto que r > p, se deduce
que r = p + 1. As, como p S, se concluye por hiptesis que
r = p + 1 S, lo cual contradice el hecho que r S.
Si r 1 S, entonces por hiptesis nuevamente se deduce que
r = (r 1) + 1 S, lo cual contradice el hecho que r S.
2
Induccin Matemtica
Factorial y Coeciente Binomial
Dado k IN, se dene el factorial de k, denotado por k!, como
sigue
1! = 1 y k 2 : k! = k (k 1)!
Adems, se dene 0! = 1.
Sean k, n IN {0} tales que k n. Se dene el coeciente
binomial de n y k, y se denota

n
k

, al nmero:

n
k

=
n!
k! (n k)!
3
Induccin Matemtica
Propiedades de los Coecientes Binomiales
Sean k, n IN {0} tales que k < n. Entonces, se tiene:

n
0

n
n

= 1

n
1

= n

n
k

n
n k

n
k

n
k + 1

n + 1
k + 1

4
Induccin Matemtica
El Operador Sumatoria
Dados n nmeros reales indexados como a
1
, a
2
, . . . , a
n
, se dene la
sumatoria de ellos, y se denota
n

k=1
a
k
, a:
n

k=1
a
k
= a
1
+ a
2
+ + a
n1
+ a
n
EJEMPLOS
n

k=1
k
2
= 1
2
+ 2
2
+ 3
2
+ + (n 1)
2
+ n
2
n

k=1
(2k 1) = 1 + 3 + 5 + 7 + + (2n 3) + (2n 1)
n

k=0
3
k
= 3
0
+ 3
1
+ 3
2
+ 3
3
+ + 3
n1
+ 3
n
5
Induccin Matemtica
Propiedades del Operador Sumatoria
n

i=1
a
i
=
n

j=1
a
j
y
n

i=0
a
i
=
n+1

i=1
a
i1
=
n+2

i=2
a
i2
=
n+k

i=k
a
ik
n

i=1
a = a + a + + a + a = na
n

i=1
c a
i
= c
n

i=1
a
i
(c constante)
n

i=1
(a
i
+ b
i
) =
n

i=1
a
i
+
n

i=1
b
i
n

i=1

j=1
b
j

a
i
=
m

j=1

i=1
a
i

b
j
n

i=1
(a
i+1
a
i
) = a
n+1
a
1
(propiedad telescpica)
6
Induccin Matemtica
TEOREMA DEL BINOMIO
Sean a, b R {0}, y sea n IN. Entonces:
(a + b)
n
=
n

k=0

n
k

a
nk
b
k
Algunas observaciones
El desarrollo de (a + b)
n
consta de n + 1 trminos.
La suma de los exponentes de a y b en cada trmino es n.
Los coecientes de los trminos equidistantes del centro son
iguales.
El trmino que ocupa el lugar k + 1 est dado por
t
k+1
=

n
k

a
nk
b
k
7
Induccin Matemtica
DEMOSTRACION DEL TEOREMA DEL BINOMIO
Dado n IN consideremos la proposicin:
p(n) : (a + b)
n
=
n

k=0

n
k

a
nk
b
k
.
Entonces, se dene el subconjunto de IN dado por:
S := { n IN : p(n) es verdadera} .
1 S. En efecto, p(1) es claramente verdadera.
HIPOTESIS DE INDUCCION
Sea m IN tal que m S, es decir, (a+b)
m
=
m

k=0

m
k

a
mk
b
k
.
TESIS DE INDUCCION
m + 1 S, es decir, (a + b)
m+1
=
m+1

k=0

m + 1
k

a
m+1k
b
k
.
8
Induccin Matemtica
DEMOSTRACION DE LA TESIS DE INDUCCION
(a + b)
m+1
= (a + b) (a + b)
m
= a (a + b)
m
+ b (a + b)
m
Luego, de acuerdo a la Hiptesis de Induccin y a propiedades del
operador sumatoria y de los coecientes binomiales, se sigue que
=
m

k=0

m
k

a
m+1k
b
k
+
m

k=0

m
k

a
mk
b
k+1
= a
m+1
+
m

k=1

m
k

a
m+1k
b
k
+
m

k=1

m
k 1

a
m+1k
b
k
+ b
m+1
= a
m+1
+
m

k=1

m + 1
k

a
m+1k
b
k
+ b
m+1
=
m+1

k=0

m + 1
k

a
m+1k
b
k
,
lo cual prueba que (m + 1) S .
9
Induccin Matemtica
PROGRESION ARITMETICA
Sean a
1
, d R nmeros dados. Se llama PROGRESION
ARITMETICA (PA) con trmino inicial (primer trmino) a
1
y
diferencia comn d a la sucesin de nmeros a
1
, a
2
, . . . , a
n
, . . .,
donde
n 2 : a
n
= a
n1
+ d
Notar que n IN : a
n
= a
1
+ (n 1) d
( demostracin por induccin).
La suma de los n primeros trminos de una Progresin Aritmtica
con primer trmino a
1
y diferencia comn d, est dada por
n

k=1
a
k
=
n
2
(2a
1
+ (n 1)d) =
n
2
(a
1
+ a
n
) n IN
( demostracin por induccin).
10
Induccin Matemtica
PROGRESION GEOMETRICA
Sean a
1
, r R nmeros dados. Se llama PROGRESION
GEOMETRICA (PG) con trmino inicial a
1
y razn (cuociente)
comn r a la sucesin de nmeros a
1
, a
2
, . . . , a
n
, . . ., donde
n 2 : a
n
= r a
n1
Notar que n IN : a
n
= r
n1
a
1
( demostracin por induccin).
La suma de los n primeros trminos de una Progresin Geomtrica
con primer trmino a
1
y razn comn r, est dada por
n

k=1
a
k
= a
1

1 r
n
1 r

n IN r = 1
( demostracin por induccin).
11