Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.

Actividad 2. Induccin, divisibilidad.
Instrucciones: Realiza las demostraciones y los ejercicios, justificando cada uno de los
pasos aplicados.

1) Demuestra por induccin la suma de Gauss 1+2+3++n=

n (n+1)
.
2

Paso 1: Primero se prueba que la funcin se cumple para el primer nmero natural = 1

P (1 ) =1=

1(1+ 1)
=1 ,
2

Paso 2: si se cumple para P (1), entonces se debe de cumplir para k, lo que se considera
la hiptesis.

1+2+3++k =

k (k +1)
2

Por hiptesis de induccin suponemos que es cierto.

Paso 3: Ahora probamos para k+1.

1+2+3 +k + k +1=

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

=
2
2

y esto es lo que queremos

demostrar a travs de la hiptesis.

k (k +1)
k ( k + 1 )+ 2(k +1)
+ ( k +1 ) , factorizamos , y el denominador comun seria
2
2

Mediante asociatividad

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

=
2
2

por lo que se demuestra.

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.

2) Demostrar por induccin que 13 + 23 + 33 + + n3 = (1 + 2 + 3 + +n)2.

Paso 1: Primero verificamos para que se cumple para n=1
2

1+2+3++ n
3
3
3
1 + 2 + 3 + + n =
3

Paso 2: si se cumple para n=1, entonces se cumple para n=k.

2

1+2+3++ k
3
3
3
3
1 + 2 + 3 + + k =
Paso 3: si k es vlido entonces se asume que k+1, tambin lo sea.

+(k +1)
1+2+3+ +k

13+ 23+ 33+ + k 3 +( k +1)3 =

Note que por demostracin anterior tenemos que:

1+2+3++n=

n (n+1)
2

Por lo que si n=1 entonces

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.
n+1
n( )
1+ 1
1()
1(2)

2 2 2
=1 =1=13
2
2
( 2) =

2
( ) =
2

( ) =
2

Por lo que es vlido para 1.

k+ 1
k ()
k +1 3
2
( ) +
2

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

Operamos del lado derecho de la igualdad para llegar al paso de induccin.

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.
k+1
k ()
k+ 1 2

3
k + 1

22
k2
3
k +1 =
2
( ) +
2

k +1 3

k +1 3

k +1 3

2 2
k +1 k +4

2
k +1 + 4
k2
k +1 2+ 22
k2
..=
k 2 + 4(k +1)

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

k +2 2

k +1 2

k +1 2

..=

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.
k +(k +1)

2
[ ( n+1 ) ( n+2 ) ] ( n+1 )( n+ 2 ) 2
..=
=
=
2
22

Que es justamente lo que se quera demostrar.

3) Demuestra por induccin

1+3+5++ ( 2 n1 ) =n2 .

Paso 1: Probamos para n= 1, entonces 1=12

Paso 2: si funciona para n=1, entonces funciona para n=k.
1+2+3+..+(2k-1)=k2
Paso 3: Ahora probamos con k+1.
1+2+3+..+ (2k-1)+(2(k+1)-1)=(k+1)2
Ahora sabemos por hiptesis que (2k-1)=k2 , por lo tanto.
K2+(2(k+1)-1)=k2+(2k+1)
K2+(2k+2-1)=k2+(2k+1)
K2+(2k+1)=k2+(2k+1)

4) Demuestra que para todo natural

n , n5n es divisible por 5.

Paso 1: Probamos para n=1

5/ 151=0, por loque se comprueba para n=1

Paso 2: Si funciona para n=1, entonces funciona para n=k.

5/ k 5 k .(hipotesis que consideramos verdadera)

Paso 3: Formar la tesis. Donde n=k+1.

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.
5

k +1 ( k +1 )
5/

( k +1 )5 ( k1 ) =k 5 +5 k 4+ 10 k 2 +5 k +1n1=

No tese que

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

Ya por suposicin tenemos que
Adems como

5/k k . entomces k N ,talque k k =5 k

k N , k ( k 3+ 2k 2+2 k +1 ) N , si hacemos k ( k 3 +2 k 2 +2 k +1 )=m

Tendremos entonces

( k +1 )5 ( k1 ) =5 k +5 m=5 ( k +m ) , donde( k +m) N

5

Entonces por definicin de divisibilidad 5 / ( k +1 ) (k 1)

5) Demuestra que para todo nmero natural

n ,

2n

2 1 es divisible por 3.

Paso 1: Probamos para n=1

22 11=3,que es divisible por 3.

Paso 2: Hiptesis de induccin, si n=1 es cierto. Entonces n=k es cierto.

22 k 1=3 m , donde m N .
Paso 3: Paso inductivo. Asumimos que si k es verdadero, entonces k=k+1, tambin lo es.

22 k+11=22 k 21.

Por hiptesis sabemos que

22 k 1=3 m

22 k =3 m+1

Por lo tanto

6 m+ 1

( 3 m+1 ) 21=( 6 m+2 ) 1=6 m+21

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.
Ntese que en ambos lados de la igualdad es divisible por 3.

6) Determina la factorizacin en nmeros primos de 360.

Para factorizar 360 en nmeros primos, se tiene que dividir

360
{ 2,3,5,7,9 .(2 n1) }

360=23 5 9

7) Encuentra todos los divisores de 360.

Los nmeros divisores de 360, fueron determinados por la reglas de divisibilidad y son
los siguientes son: {1,2,3,4,5,6,8,9,10,12,15,18,20,24,30,36,40,45,60,72,90,120,180 y
360.}
8) Encuentra el mximo comn divisor de 450 y 520.
El mximo comn divisor de 450 y 520 es el 5.

Introduccin al lgebra superior

Unidad 2. Conjuntos de nmeros.