Prof. Lic.

Jos Luis Acua Guillermo

04/09/2014
MATEMTICA
BSICA
2014-II 1
PRINCIPIO DE INDUCCIN
04/09/2014 2014-II 2
04/09/2014
El mtodo deductivo, muy usado en matemtica, obedece a la siguiente
idea: A partir de un cierto conjuntos de axiomas aceptados sin
demostracin y de reglas lgicas no contradictorias, se deducen otros
enunciados llamados teoremas combinando los axiomas y respetando
en cada etapa las reglas lgicas".
Otro mtodo para demostrar resultados generales que dependen en
algn sentido de los nmeros naturales es conocido con el nombre de
Induccin Matemtica . Esta dependencia de los nmeros naturales
significa: se sabe que una determinada afirmacin es verdadera para
algunos casos particulares y surge la pregunta. Dicha afirmacin sigue
siendo verdadera para los infinitos nmeros naturales restante ?.
Existen muchas afirmaciones que solo son validas para un numero finito
de casos y en consecuencia son falsas para un numero infinitos de
situaciones. Sin embargo, podemos encontrar proposiciones
(afirmaciones) que son verdaderas solo a partir de un cierto numero
natural n
0
, de ser as, la tcnica que se desarrollaremos se llama
Induccin Incompleta.
PRINCIPIO DE INDUCCION MATEMATICA
2014-II 3
04/09/2014
Es un mtodo de prueba muy til en la
matemtica. Se base en que primero se
comprueba la afirmacin P(n) para n =1. Luego
se prueba que si la afirmacin es cierta para un
natural particular, tambin es cierta para el
natural siguiente. De esto se concluye que la
afirmacin es cierta para todos los naturales.
PRINCIPIO DE INDUCCION MATEMATICA
2014-II 4
04/09/2014
PRINCIPIO DE INDUCCIN
Sea P(n) una funcin proposicional predicable
sobre N. Si valen
1) P(1) es verdadera
2) P(k) P(k + 1), para todo k N
entonces P(n) es verdadera para todo n N.
2014-II 5
04/09/2014
Ejemplo. 1 (De demostracin por induccin)
Demostrar que la suma de n primeros enteros positivos impares es
2
n
es decir
( )
2
1 3 5 2 1 n n + + + + =
Demostracin
Para n = 1: se cumple que:
2
1 1 =
Para n = 2:
( ) ( )
2
1 3 1 2 2 1 2 + = + =
Supongamos que se verifica para n = h:
( )
2
1 3 5 2 1 h h + + + + =
(hiptesis inductiva)
Entonces para n = h + 1 resulta
( ) ( ) ( ) ( ) ( )
( )
( )
( + + + + + = + + + + +

= +
+
+
= +
+

h.i.
2
2
2 h 1 1 2 1 3 5 ... 2h 1 1 3 5 ... 2h 1
h 2h 1
h
h
1
1
2014-II 6
04/09/2014
Por el principio de induccin, se puede afirmar que para todo
entero positivo n se cumple
( )
2
1 3 5 ... 2 -1 n n + + + + =
Ejemplo 2. Demostrar:
( )
3
2
2 2 2
1 2 3 ... 1
3
n
n + + + + <
Demostracin
Consideremos la desigualdad de la izquierda por P(n)
( ) ( )
= + + + +
2
2 2 2
P n 1 2 3 ... n 1
Para n=1 ( )
<
3
1
P 1 :0
3
Para n=2
( )
<
3
2
2
P 2 : 1
3
Supongamos que para n = h se verifica:
2014-II 7
04/09/2014
( ) ( )
+ + + <
3
2
2 2
h
A h : 1 2 ... h 1
3
Supongamos que para n = h se verifica:
(hiptesis inductiva)
( )
... @
Entonces para n = h + 1 debemos probar que:
( )
( )
| |
+
|
+ + + + <
|
\
3
2 2 2
h 1
A h 1 : 1 2 ... h
3
( )
... @@
En efecto, de : sumando h
2
a los dos lados de P(h)
( )
... @
( ) ( )
+ + + + < +
2 2 2
3
2
2
h
1 2 ... h h h 1 ...
3
Para que sea demostrado bastar con verificar que
( )
... @@
( )
+
+ <
3
3
2
h 1
h
h
3 3
2014-II 8
04/09/2014
pero:
( )
+
+ + +
= = + + +
3
3 2 3
2
h 1
h 3h 3h 1 h 1
h h
3 3 3 3
( )
( )
+
+ <
3
3
2
h 1
h
h ...
3 3
De (*) y (**) resulta que:
( )
+
+ + + <
3
2 2 2
h 1
1 2 ... h
3
2014-II 9
04/09/2014
Existen dos variantes tiles sobre el Principio de Induccin Matemtica
que deben ser considerados. En la primera variante, la proposicin por
demostrar involucra los naturales no menores a un natural fijo n
0
, en
este caso el Principio de Induccin quedara como sigue:
Si p(n) es verdadera para n
0
y si p(m+1) es verdadera para todo natural
mn
0
para la cual p(m) es verdadera, entonces p(n) es verdadera para
todo natural n n
0
La segunda variante se aplica de preferencia en el caso cuando p(m+1)
no puede ser fcilmente deducible de p(m), pero su validez depende de
p(k) para cualquier k<m. Si p(1) es verdadera y si p(m+1) es
verdadera para todo m1 para la cual todas las proposiciones p(1),
p(2),p(3),,p(m) son verdaderas, entonces p(n) es verdadera para n1.
2014-II 10
04/09/2014
Ejemplo . Consideremos un ejemplo con desigualdades.
Determine todos los nmeros naturales para los cuales:
1 . 2. 3. 4....... n > 2
n
Solucin: La formula no es vlida para n = 1, 2, 3
Para n=4, se tiene que 24=1.2.3.4>2
4
=16 es verdadera.
Supongamos que la desigualdad es valida para k N
con k 4; esto es
1 . 2. 3. 4....... k > 2
k
, k 4
Por demostrar que la desigualdad es valida para k + 1, es decir que
1 . 2. 3. 4....... k(k+1) > 2
k+1
, k 4
En efecto:
1 . 2. 3. 4....... k(k+1) = (1 . 2. 3. 4....... k)(k+1)> 2
k
(k+1)> 2
k
.(2)=2
k+1
.
Luego, 1 . 2. 3. 4....... n > 2
n
, y por lo tanto n N, n4
2014-II 11
04/09/2014
Conjuntos inductivos
Denotaremos por N al conjunto de nmeros naturales,
N = {1; 2; 3; 4; 5; 6; : : :}, cuyos elementos son suma de
un nmero finito de unos. Recordemos que N es cerrado
para la suma y el producto, pero no lo es para la resta o la
divisin (4-9 N y 7/6 N).
Diremos que un subconjunto S de R es inductivo si se satisfacen:
i) 1 S
ii) k S k + 1 S
Ejemplos.
i) R, R
>0
y R
>1
son inductivos.
ii) R
<5
no es inductivo pues satisface i) pero no satisface ii)
2014-II 12
04/09/2014
Ejemplos.
iii) no es inductivo pues satisface ii) pero no satisface i)
iv)

3 no es inductivo pues no satisface ii):

2 pero 2 1 S S +
v) N es inductivo.
Ejercicio. Cules de los siguientes conjuntos son inductivos?
{ }
{ }
{ }
{ }
2
1
2
3
4
6
3 7
) / o
2 2
) / 6 -2x+2 4
) / -
) 11
) / 3
a S x x x
b S x x
c S x x S
d S
e S a a

= <
`
)
=
=
=
= >

2014-II 13
04/09/2014
Notemos que si S R es un conjunto inductivo
entonces 1 S por i). Pero esto implica que
2 S por ii) y luego 3 S nuevamente por ii),
etc.
Luego, N S. Por lo tanto, N es un conjunto
inductivo que est contenido en todos los
conjuntos inductivos. Si consideramos el orden
en los conjuntos dado por , esto puede
resumirse en la forma: N es un conjunto
inductivo que es menor que todo otro conjunto
inductivo.
2014-II 14
04/09/2014
Supongamos ahora que H es un subconjunto de
R que tiene esta propiedad, es decir, H es
inductivo y H est contenido en todos los
conjuntos inductivos. Entonces debe ser H = N
(porque?) y esto significa que N es el nico
conjunto inductivo que est contenido en todos
los conjuntos inductivos. Si quisiramos dar una
definicin rigurosa del conjunto de nmeros
naturales podramos definirlo como el nico
conjunto inductivo que est contenido en todos
los conjuntos inductivos, es decir, la interseccin
de todos los subconjuntos de R que son
inductivos.
2014-II 15
04/09/2014
Observacin. De lo anterior se deduce que si H es un
subconjunto de N que satisface
i) 1 S
ii) k S k + 1 S
entonces H = N.
SUMATORIAS
Un ejemplo ms de definicin por induccin es la siguiente
definicin de la sumatoria
1
n
k
k
a
=

i) Para n = 1 definimos:
1
1
1
k
k
a a
=
=

2014-II 16
04/09/2014
ii) Suponiendo definida para n = h 1 :
1
h
k
k
a
=

Definamos entonces para n = h +1:

1
1
1 1
h h
k k h
k k
a a a
+
+
= =
= +

Generalizando, se puede escribir
1 2
1
...
n
k n
k
a a a a
=
= + + +

Se lee suma de , desde k=1 hasta k=n

Ejemplos:
2 2 2 2 2
1
1 2 3 ...
n
k
k n
=
= + + + +

1.
2014-II 17
04/09/2014
Ejemplos:
2.
1 2 3
1
2 2 2 2 ... 2
n
k n
k =
= + + + +

3.
6
1 2 3 4 5
1
2 1 2 2 2 2 2
j
j

=
= + + + + +

PROPIEDADES
Para todo entero positivo n:
1 1
,
n n
k k
k k
ca c a
= =
=
1). con c : contante
( )
1 1 1
n n n
k k k k
k k k
a b a b
= = =
+ = +

2).
3).
1
n
k
c nc
=
=

1
1
n
k
n
=
=

4).
2014-II 18
1 ,
m
k j
m j m j
=
=

5).
( ) ( )
1 0
1
Propiedad Telescpica
k k
n
n
k
a a a a

=
=

6).
7).
( ) ( )
1
1
, Propiedad Telescpica
k k
m
m
n
k n
a a a a m n

=
=

( )
1 1
Propiedad
,
Telescpica
m
m j
n j k j k j
k n
a a a a m n

=
| |
=
|
\

8).
2 2 2
1 1 1
Desigualdad de

Cauchy-Schwarz
n n n
k k k k
k k k
a b a b
= = =
| | | | | | | |

| | | |
\ \ \ \

9).
04/09/2014 2014-II 19
La Propiedad Telescpica tambin es vlida para la suma de los recprocos:
1 1 1 1
1 1 1 1
n
k k k n
a a a a
= + +
| |
=
|
\

1 1 1 1
1 1 1 1
n
k k k n
a a a a
= + +
| |
=
|
\

La propiedad Telescpica es de gran utilidad para hallar una expresin que permita
calcular directamente el valor de alguna sumatoria o para demostrar si una sumatoria es
igual a una expresin o frmula dada, como por ejemplo:
Calculemos una frmula para:

=
+
n
k
k k
1
) 1 (
1
04/09/2014 2014-II 20
Si expresamos el numerador de la fraccin como: (1+k-k), tenemos:
1 1 1
1 1 1 1
=
( 1) ( 1) ( 1) 1
n n n
k k k
k k k k
k k k k k k k k
= = =
+ +
=
+ + + +

Aplicando la propiedad telescpica:
1
1 1 1
1
1 1
1 1

1 1
n
k
k k n
n n
n n
=
=
+ +
+
= =
+ +

Por lo tanto:
1
1
( 1) 1
k
n
n
k k n
=
=
+ +

04/09/2014 2014-II 21
04/09/2014
Ejercicio: Demostrar, por induccin matemtica, la frmula
( )
1
1
2
n
k
n n
k
=
+
=

Demostracin
1) Para n = 1: es vlida
( )
1
1
1 1 1
1
2
k
k
=
+
= =

2) Supongamos que para n = h 1 vale la frmula.

( )
1
1
2
h
k
h h
k
=
+
=

(hiptesis inductiva)
3) Demostraremos entonces que para n = h +1 vale la frmula,
es decir
( ) ( )
1
1
1 1 1
2
h
k
h h
k
+
=
+ + + (

=

2014-II 22
04/09/2014
En efecto:

( )
( )
( )
.
.
1
1 1
.
.
1
1 1
2
h i
h i
h h
k k
h h
k k h h
+
= =
+
= + + = + +


( )
1 1
2
h
h
| |
= + +
|
\
( )
2
1
2
h
h
+
| |
= +
|
\
( ) ( ) ( )
1
2
1 1 h h + + +
=
4) Por consiguiente, la frmula es vlida para todo entero positivo n, es decir
( )
1
1
2
k
n
n n
k
=
+
=

para todo entero n 1

2014-II 23
04/09/2014
PRODUCTORIA
Dada una sucesin de nmeros reales,
llamaremos producto
1 2
, ,..., ,
n
a a a n
de la sucesin al nmero real denotado por tal que
1 i
a
n
i

=
1).
1
1
1
i
i
a a
=
=
1
1
1 1
n n
i i n
i i
a a a
+
+
= =
| |
= |
|
\
2).
Ejemplo:
1
!
n
i
i n
=
=
2014-II 24
04/09/2014
NMEROS COMBINATORIOS
Definicin: Sea n N , definimos factorial de n al nmero real
denotado por n! tal que

1! 1 =

( ) ( )
1 ! ! 1 n n n + = +
Definicin: (nmero combinatorio n sobre k) Para enteros n
k 0 se define
( )
!
! !
n
n
k k n k
| |
=
|

\
Ejemplo
( )
5
5! 5!
10
2 2! 5 2 ! 2!3!
| |
= = =
|

\
1). 2).
( )
8
8! 8!
8
7 7! 8 7 ! 7!1!
| |
= = =
|

\
2014-II 25
04/09/2014
Propiedades
1
0
n
| |
=
|
\
1).
3).
1
n
n
| |
=
|
\
1
n
n
| |
=
|
\
2).
4).
n n
k n k
| | | |
=
| |

\ \
1
1 1
n n n
k k k
+
| | | | | |
+ =
| | |
+ +
\ \ \
5).
Demostracin de 5)
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
1 !
! !
1 ! 1 !
! !
! !
!
1 1 ! ! 1
n n
n n
k k k n k
n n
n k
n k n k k k k
k
k n

| | | |
+ = +
| |
+ +
\ \
+
+
+
+
=
2014-II 26
04/09/2014
Demostracin de 5)
( ) ( )
( ) ( ) ( )( )
! 1 1
1 ! 1 !
! 1
1 ! 1 !
n
n k k k n k
n k n k
n k k k n k
(
= +
(
+ +

(
+ +
=
(
+ +
(

( )
( ) ( ) ( )( )
! 1
! 1
1 !
n n
n k n k k k
+
=
+ +
( )
( ) ( )
( )
( ) ( ) ( )
1 1 ! 1 !
1 1 1 1 ! ! 1 !
n n n
k k n k k n k
+ + +
| |
= = =
|
+ + + + + (
\

2014-II 27
04/09/2014
Potencia de un Binomio
Binomio de Newton
Una aplicacin inmediata de los nmeros combinatorios se presenta
en el desarrollo de la potencia de un binomio, con exponente natural,
conocido como frmula del binomio de Newton, y esta dada por




0

Utilizando el smbolo de sumatoria, se reduce a

y la demostraremos por induccin.

2014-II 28
04/09/2014
Demostracin
Consideremos la funcin proposicional
:

Probaremos que p(1) es verdadera

1 :


1

. Tomemos el segundo miembro de esta

igualdad y trataremos de llegar al
primer miembro

1
0

1
1

1 1

.
. Supongamos que p(h) es verdadera, la cual representa la hiptesis inductiva, es decir
:

2014-II 29
04/09/2014
finalmente
iii) Probaremos n=h+1
Debemos probar que se cumple la siguiente igualdad:
1 :


1

En efecto:

2014-II 30
04/09/2014

1

0

Aqu le sacamos el
primer termino
Aqu le sacamos el
ultimo termino
Recordar

0

1
0

1
1
2014-II 31
04/09/2014
En la suma (2) hacemos un cambio de variable, llamando k+1=j de
donde cuando k=0 j=1 y cuando k=h-1 j=h.
Mientras que en la suma (1) podemos cambiar sin problemas la letra k
por j , pues la variable es muda. Luego de estos cambios
1 2
1
0

1
1

2014-II 32
04/09/2014
Finalmente se tiene que



1
0

1
1

Luego



1
0

1
1

2014-II 33
04/09/2014
entonces se tiene que



1
0

1
1

Es decir, se ha probado p(h+1) es verdadera

1 :


1

Al ser p(h+1) verdadera, se tiene que p(n) es verdadera para cualquier

0
2014-II 34
04/09/2014
Observaciones

a) El trmino de lugar h en el desarrollo, es

b) Los trminos equidistantes de los extremos tienen igual coeficiente, por ser
nmeros combinatorios de rdenes complementarios.
Ejemplo Determinar la suma del 4to t 6to trmino del desarrollo de
2

2014-II 35
04/09/2014
Solucin
Como

8
3
2




8
3
. 32

8
5
2




8
5
. 8

8
8
3
4

2014-II 36
04/09/2014 2014-II 37