INDUCCION MATEMTICA

1. INTRODUCCION:

En el lenguaje cotidiano, la palabra INDUCCION tiene un significado
de generalizacin a partir de hechos particulares. En efecto, la
habilidad de formular hiptesis generales a partir de unas suposiciones
iniciales limitadas es una de las principales caractersticas de la
creatividad de que se debe verificar su autencidad. Para ello, existe
un mtodo de razonamiento deductivo denominado INDUCCIN
MATEMATICAS, calificado como un procedimiento eficaz.

Utilicemos un ejemplo para visualizar el proceso inductivo
supongamos como hiptesis: la suma de los enteros impares
consecutivos se puede expresar de la siguiente manera:

1 : 1
1 + 3 : 4
1 + 3 + 5 : 9
1 + 3 + 5 + 7 : 16
1 + 3 + 5 + 7 + 9 : 25

Se puede generalizar el resultado siguiente. En efecto, cada resultado
es el cuadrado del nmero de trminos que se sumaron. Podemos
lanzar la siguiente conjetura inductiva la suma de los primeros
nmeros impares es n para todo entero positivo n.

Simblicamente podemos escribir:
1 + 3 + 5 + 7 + ... + ( )
2
1 2 n n =

Esta hiptesis debe ser comprobar su validez para todos los enteros
positivos. El mtodo de demostracin ms eficaz es el principio de
induccin matemtica.


PRINCIPIO DE INDUCCIN MATEMATICA

INTRODUCCION:

1. CONJUNTOS INDUCTIVOS

Un conjunto S de nmeros es un conjunto inductivo si y solo s
cumple las siguientes condiciones:

1) s 1

2) s a s + 1 1

Ejemplos:

1) El conjunto de los nmeros enteros positivos es un conjunto
inductivo.

2) El conjunto de los reales positivos es un conjunto inductivo.

2. LOS POSTULADOS DE PEANO

El matemtico Italiano GUISEPPE PEANO (1858-1932) en su
proyecto formulario que es una enciclopedia de matemticas que
contena frmulas y teoremas, enuncia los valiosos aportes a la
teora de conjuntos y sus famosos postulados que llevan su apellido.
Veamos:
1
P : Existe un elemento N 1
2
P : Para todo a , N a existe su sucesor N a +1
3
P : Para todo , N a su sucesor es distinto de 1, es decir, que
uno no es sucesor ningn positivo.
:
4
P Dados , , N b a con el mismo sucesor entonces, los dos
nmeros son iguales; es decir, si b a b a = + = + 1 1
:
5
P Si K es una clase, k 1 y si para K x N x : implica
K x +1

El quinto postulado de PEANO se le conoce con el nombre de
principio de induccin matemtica

EL PRINCIPIO DE INDUCCIN MATEMATICA

Supongamos un conjunto de enteros { } a n n A = / y una
proposicin de la forma: para todo . ,
n
P A de n

Podemos comprobar la validez de la proposicin
, n
P utilizando el
principio de induccin matemtica que consta de 3 pasos:

1. Se comprueba que
n
P se cumple para el primer valor de
verdad,es decir, n =1
2. Se supone que
n
P se cumple para un valor de , k n = tal
que k=1 y . 1 k Este paso se toma como una hiptesis
denominada HIPOTESIS INDUCTIVA.

3. Se demuestra que cumple para . 1 + = k n Este paso se
toma como tesis del teorema y se denomina TESIS
INDUCTIVA.

En conclusin: La induccin matemtica consiste en demostrar que si
k
P es verdadera, entonces tambin es verdadera 1 +
k
P tambin es
verdadera.


Ejemplos
1. Para 1 n

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

Solucin

Sea: ( )
2
1 2 .... 7 5 3 1 : n P
n n
= + + + + +

{ } verdadera es P N n A
n
/ =

1. :
1
P Es verdadero, puesto que ( ) A y = 1 1 1
2

2. Se supone que se cumple para
2
k n =

Debemos comprobar que se cumple para 1 + = k n


( ) ( ) ( )
2
1 1 1 2 1 2 2 ... 5 3 1 : 1 + = + + + + + + + + + k k k k k P
k

3. Se parte de ( ) 1 1 2 + = + +
k k
P k P
( ) 1 2 1 2
2 2
+ + = + + k K k K
As, A y A k A K + 1 es conjunto inductivo

2. Para : , 1 demostrar n


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

Solucin:


Tenemos :
n
P
( )
2
1
3 2 1
+
= + + + +
n n
n K
A: { } verdadero es P N n
n
/

Parte 1: Demostrar que A 1


( )
2
1 1 1
1
+
=
1 =
A 1

Parte 2: Demostrar que S es inductivo
:
k
P
( )
2
1
3 2 1
+
= + + +
k k
k K

Demostrar que A es inductivo
Se parte 1 + + k P
k
=
( ) ( )
2
2 1 + + k k

1 +
k
P :
( )( )
2
2 1
1 3 2 1
+ +
= + + + + + +
k k
k k L


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



2
2 2
2
+ + +
=
k k k



2
2 3
2
+ +
=
k k



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


Por lo tanto, k es +1 k $, y S es inductivo

3. Para , 1 n demostrar ( )
( )
2
1 3
2 3 7 4 1

= + + + +
n n
n K
Solucin

Tenemos: :
n
P ( )
( )
2
1 3
2 3 7 4 1

= + + + +
n n
n L
: A { } verdadero es P N n
n
/

Parte 1: Demostrar que S 1

|

\
|

=
2
1 1 . 3
1 1

2
2
=
1 =
S 1


Parte 2: Demostrar que S es un inductivo, es decir, que se cumple
para 1 + k


:
k
P
( ) ( )
6
1 2 1
2 1
2 2 2
+ +
= + +
k k k
k K
Altura para

: 1 +
k
P ( )
( )( )( )
6
3 2 1
1 2 1
2 2 2 2
+ + +
= + + + + +
k k k
k k L

( )( )
( )
( )( ) ( )
6
1 6 1 2 1
1
6
1 2 1
2
2
+ + + +
= + +
+ + k k k k
k
k k k



( ) ( ) ( ) [ ]
6
1 6 1 2 1 + + + +
=
k k k k



( )( )
6
6 6 2 1
2
+ + + +
=
k k k k



( )( )
6
6 7 2 1
2
+ + +
=
k k k



( ) ( ) [ ]
6 2
12 2 7 2 1
2 2

+ + +
=
K K K



( )( )( )
6 2
3 2 4 2 1

+ + +
=
K K K



( )( )( )
6 2
3 2 2 1
2

+ + +
=
K K K



( )( )( )
6
3 2 2 1 + + +
=
K K K


Por lo tanto, inductivo es A y A k A k , 1 , +
5. Para todo , 1 n demostrar 1 3
2

n
es divisible por 8

Solucin

Tenemos: :
n
P 1 3
2

n
es divisible por 8
{ } verdadero es P N n S
n
/ :

Parte 1 Demostrar que se cumple n= 1

8 1 9 1 3 1 3
2 1 2
= = =

Parte 2 Demostrar que S es inductivo, es decir, que se cumple para k
y para k+1

:
k
P r
k
8 1 3
2
= Para algn entero r

Altura: r
k
8 1 3
2
+ =

1 + k
P
( ) 1 2
3
+ k
=
2 2
3
+ k
=
2 2 2 2
3 . 3 3
k k
=

[ ]
k 2
3 9 =

[ ] r 8 1 9 + =

( ) r 8 9 9 + =

( ) [ ] r 8 9 8 1 + + =

[ ], 9 1 8 1 r + + = entonces

1 3
2 2

+ k
[ ] r 9 1 8 + =

6. Demostrar que 1 4
2

n
es divisible por 5

Demostracin:

Tenemos:
n
P = 1 4
2

n
es divisible por 5
A = { }
verdadero es n
p n N /

Parte 1 Demostrar que se cumple para 1 = n

15 15 1 16 1 4 1 4
2 1 . 2
y = = = es divisible por 5

Parte 2 Demostrar que S es inductivo

:
k
P r
k
5 1 4
2
= Para algn entero r

r
K
5 1 4
2
+ =

:
1 + k
P
( )
r
k
5 1 4
1 2
+ =
+



2 2 2 2
4 . 4 4
K K
=
+


[ ]
k 2
4 16 =

[ ] r 5 1 16 + =

( ) r 5 16 16 + =

( ) r 5 16 15 1 + + =

[ ], 16 3 5 1 r + + = entonces,

1 4
2 2

+ k
[ ] r 16 3 5 + =

Por lo tanto, , 1 A k A k + y A es inductivo.

7. Demostrar que ( )
n n n
y x y x . =

Demostracin

Tenemos: ( )
n n n
n
y x y x P = =
{ } verdadero es P N n A
n
/ =

Parte 1 Demostrar que se cumple para 1 = n

( ) y x y x =
1


1 1
y x =
s 1

Parte 2 Demostrar que S es inductivo

( )
k k k
k
y x y x P = :

:
1 + k
P ( )
1 1 1 + + +
=
k k k
y x y x
( ) ( ) ( ) y x y x y x Si
k k
=
+1

y x y x
k y
. . =
( ) ( )
k k
y y x x . . =

1 1
.
+ +
=
k k
y x

Por lo tanto, inductivo es A y A k A k , 1 +

8. Demostrar la frmula del binomio

( ) 1 ,
0

\
|

= +

=
n con b a b a
k k n
n
k
n
k
n


Demostracin

( ) = +
n
n
b a P :
j j n
n
j
n
j
b a

=
|
|

\
|

0


{ } verdadero es P n A
n
/ :

Parte 1: Demostrar que se cumple 1 = n

( )
1
1
1
1
0
1
1
1
0
b a b a b a b a
j j
j
j
+ = + =
|

\
|
+
|

\
|
=
|
|

\
|

=


s 1

Parte 2: Demostrar que S es inductivo

:
k
p ( )
j j k
k
j
k
j
k
b a b a

=
|
|

\
|

= +
0


:
1 + k
P ( )
j k
k
j
k
j
k
b a b a
1
1
0
1
1 +
+
=
+
+

|
|

\
|
= +

Se parte de
, k
P se multiplica ambos miembros por ( ) b a + y se trata
de obtener
1 + k
P

Sea:

( ) ( ) ( ) b a b a b a b a
k
j
j j k k
+
(

= + +
=

0
.

(

\
|
+ +
|

\
|
+
|

\
|
+
|

\
|
=
+ j
k
k
k
k
k
k
k
k
b b a b a a K
2 2
2
1
1 0
( ) b a +

+
(

\
|
+
|

\
|
+
|

\
|
+
|

\
|
=
+ k
k
k
k
k
k
k
k
k
b a b a b a a K
2 1
2 1
1
0


(

\
|
+
|

\
|
+ +
|

\
|
+
|

\
|
+

1
1
2 1
1 0
k
k
k
k
k
k
k
k
k
k
b b a b a b a K

2 1
2 1 1 0
1
0
b a b a a
k
k k
k
k k
k
k
+
(

\
|
+
|

\
|
+
(

\
|
+
|

\
|
+
|

\
|
=

1
1
+

\
|
+
(

\
|
+
|

\
|
+ +
k
k
k
k
k
k
k
k
b b a L


Recordar que:

|

\
|
=
|

\
|
|

\
|
=
|

\
|
+
|
|

\
|
+ +

1
0 0
1
1
;
k k k
r
k
r
k
r



|

\
|
=
|

\
|
+
+
1
1
k
k
k
k


Por lo tanto

( ) ( ) + +
|

\
|
+
|

\
|
+
|

\
|
= + + +
+
+ +
+
+
K
2 1
1
2
1
1
1
1
0
b a b a a b a b a
k
k
k
k
k
k
k


1
1
1
1
+
+
+
+
|

\
|
+
|

\
|
k
k
k
k
k
k
b b a


j k
k
j
k
j
b a
1
1
1
0
+
+
+
=
|
|

\
|

=

9. Demostrar por induccin matemtica el teorema de MOIVRE

( ) [ ] ( ) n iSen n Cos r sen i r
n n
+ = + cos
D// Tenemos: ( ) ( ) [ ] k Sen i n Cos r Sen i Cos r P
n
n
+ = + =

{ } verdadero es Pn n A / =

1) Se cumple para , 1 = n en efecto
( ) [ ] Sen i Cos r Sen i Cos r + = +
1


2) Se supone que se cumple para k n =
( ) [ ] ( ) Senk i Cosk r Sen i Cos r P
k k
k
+ = + :

3) Debe comprobar que se cumple para 1 + = k n
:
1 + k
P
( ) [ ] ( ) ( ) [ ] 1 1
1 1
+ + + = +
+ +
Sen i k Cos Y Sen i Cos r
k k


Ahora

: 1 +
k
P ( ) [ ] Sen i Cos r P
k
+ .
[ ] ( ) [ ] Sen i Cos r Senk i Cosk r
k
+ = .
( ) ( ) [ ] 1 1
1
+ + + =
+
k Sen i k Cos r
k


10. Demostrar

( )
4
1
......... 3 2 1
2 2
3 3 3 3
+
= + + + +
n n
n
S// Sea: =
n
P
( )
2
2
3 3 3 3
4
1
..... 3 2 1
+
= + + + +
n n
n
{ } verdadera es P n A
n
/ =
1.
1
P es verdadero, puesto que
( ) ( )
4
1 1 1
1
2 2
3
+
=

( ) ( )
4
2 1
1
2
=
1 1 = , y, A 1

2. Se supone que se cumple para k n =

( )
4
1
... 3 2 1 :
2 2
3 3 3 3
+
= + + + +
k k
k P
k

Debemos comprobar que se cumple para 1 + = k n
( )
( ) ( )
4
2 1
1 ... 3 2 1 : 1
2 2
3 3 3 3 3
+ +
= + + + + + + +
k k
k k P
k


4. Se parte
( )
( ) ( )
4
2 1
1 :
2 2
3
1
+ +
= + +
+
k k
k y P P
k k


En efecto

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


( ) ( ) [ ]
4
1 4 1
2 2
+ + +
=
k k k


( ) [ ]
4
4 4 1
2 2
+ + +
=
k k k


( ) ( )
4
2 1
2 2
+ +
=
k k

Por lo tanto, A k A k + 1 y A es un conjunto inductivo