A.

PROPIEDADES DE PEANO
I

1N

II

Para cada n N existe un nico n* N ,

llamado siguiente de n.

III

Para cada n N se tiene n* 1

IV

Si m,n Ny m*=n*, entonces m=n

Se demuestra que la multiplicacin se rige

por las siguientes propiedades:
I.

Todo subconjunto k de N que tenga las

propiedades.
a) 1 K
b) k* k siempre que k K
es el mismo N.

PROPIEDADES
Clausura
n .m N

II.
III.

Conmutativa
Asociativa

n .m =m .n
m .(n .p) =(m .n) .p

IV.

De cancelacin

Si m.p= n.p,m = n

La adicin y la multiplicacin siguen las siguientes

propiedades distributivas:
Para cualquier m, n, p N

I.
II.

B.ADICIN ENN

m.(n+p) = m.n + m.p

(n+ p).m = n.m + p.m

La adicin sobre N se define por:

Para cualquiera m, n, p N

i) n + 1 = n*, n N.
ii) n+m* =(n+m)* siempre que m+n est
definido.

D. INDUCCIN MATEMTICA
Principio

Se demuestra que la adicin est regida por

las siguientes propiedades:
Para cualquiera m, n, p N
PROPIEDADES
I.

Clausura

n +m N

II.

Conmutativa

n+m =m+n

III.

Asociativa

m+(n+p) =(m+n)+p

IV.

De cancelacin

Si m + p=n+ p,
entonces m = n

C. MULTIPLICACIN EN N

La multiplicacin se define por:

i) n.1 =n
ii) n.m* =n.m +n siempre que n.m est
definido.

Una proposicin P (m) es cierta m Nsiempre que:

gc

P (1) sea cierto

k N, P (k) cierto implique P (K *) cierto.

1. Ahora demostremos una de las propiedades

de la adicin mediante induccin:
Propiedad conmutativa: n+m =m+n
Para cualquiera m, n, p N
P (1) es cierto
P (k*) es cierto
Verifiquemos la validez de:
P (1): n+m =m+n
P(1): 1 + n = n + 1 es cierto

 Verifiquemos la validez de P (k*)

P(k): k + n = n + k
P(k*): k* + n = n + k*
K + 1 + n = n + k*
K + n* = n + k*
(K + n)* = n + k*
(n + k)* = n + k*
n + k* = n + k*
P(k*): k* + n = n + k* es cierto
Por lo tanto, P (k*) es cierto.
Es por ello que queda demostrada la
propiedad conmutativa.
2.

b) 3 + 9 + 27 + 81 + 243=
Demostrar:
P(n):

3n+1 3
2

P(1):

31+1 3
2

P(1): 3

Entonces, P (1) es cierto.

P(n*): es cierto?
(): + + + + =

( ):

P(1): es cierto?
( ):

( + 1)
2

Entonces, P (1) es cierto.

( . ) +
=

( ):

P(n*): es cierto?

+ +
=

Entonces, P ( ) es cierto.
( + 1)
2

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

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

(n + 1)( n + 2) (n + 1)( n + 2)
P(n ):
=
2
2

Entonces, P ( ) es cierto.

. ( + ) +
=

( ):

P(1): 1

P(n): 1 + 2 + 3 + 4 + + =

+
+
+ + =

. + . . +
=

( ):

1 ( 1 + 1)
P(1):
2

P(n ):

( ): + + + + + + =

(+)

Demostracin:

P(n):

P(1): es cierto?

La induccin matemtica tambin se utiliza

para demostrar sumatorias conocidas tales
como:

a) 1 + 2 + 3 +4++ n =

c)

+ . + . + + (+) = +

Demostracin:
P (1): es cierto?
P(n) :

+1

P(1) :

1
1+1

P(1) :

1
2

Entonces, P (1) es cierto

P(n*): es cierto?
():
( ):

+
+
+
=
. . .
( + ) ( + )

+
+
+
+
. . .
( + ) + ( + )
+
=
+ ( + )

P(n*): es cierto?
(): + + + + + =

( + )

( ): + + + + + + ( + )
( + ) ( + )
=

( + )
( + ) ( + )
+ ( + ) =

( ):

+
+
=
( + ) + ( + ) + ( + )

( ):

( ):

+
+
=
( + ) + ( + ) + ( + )

( ): ( + ) [

( + ) ( + )
+ ( + )] =

+
[ +
]=
( + )
( + )
+ ( + )

( ): ( + ) [

+ +
( + ) ( + )
]=

+ +
+
[
]=
( + )
( + )
+ ( + )

( ): ( + ) [

( + )
( + ) ( + )
]=

( + )( + )
+
[
]=
( + )
( + )
+ ( + )

( ):

):

( ):
(

):

( ):

+
+
=
( + )( + ) + ( + )

MANOS A LA OBRA!
1.-Resuelve los siguientes ejercicios mediante
la demostracin por induccin matemtica:

P(1): es cierto?
2 ( + 1)2
P(n) :
4
12 ( 1 + 1)2
(
)
P 1 :
4
P(1): 1

Entonces, P(1) es cierto

Entonces, P( ) es cierto.

b) 4 + 8 + 12 + + 4n = 2n (n+1)

Entonces, P( ) es cierto

a) 13 + 23 + 33 +43++ n3 =

( + ) ( + ) ( + ) ( + )
=

(+)

P(1): es cierto?
P(n): 2n(n + 1)
P(1): 2(1)(1 + 1)
P(1): 4

Entonces, P(1) es cierto

P(n*): es cierto?
P(n): 4 + 8 + 12 + + 4n = 2n(n + 1)
P(n ): 4 + 8 + 12 + + 4n + 4(n + 1) = 2n(n + 1)
P(n ): 2n(n + 1) + 4(n + 1) = 2(n + 1)(n + 2)
P(n ): (n + 1)(2n + 4) = 2(n + 1)(n + 2)
P(n ): 2(n + 1)(n + 2) = 2(n + 1)(n + 2)

Entonces,
cierto.

P( )

es

c) a + ar +ar2 ++ arn-1 =

( )

P(1): es cierto?
P(n): a (

1
)
1

P(1):

Entonces, P(1) es cierto

P(n*): es cierto?
(): + + 2 + + 1 = a (

1
)
1

1 +1
)
P( ): + + 2 + + 1 + = a (
1
P( ): a (

1
1 +1
) + = a (
)
1
1

P( ): a (

1
1 +1
)
+ ) = a (
1
1

1 + +1
1 +1
) = a(
)
P( ): a (
1
1
1 +1
1 +1
) = a(
)
P( ): a (
1
1

Entonces, P( ) es cierto.