Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE

Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.

Profesora Responsable: Mg. Mónica Esquivel

Trabajo Práctico Nº 4: Números Naturales. Sucesiones

A. Números Naturales. Inducción Matemática

1) Demuestre por inducción la validez o no de las siguientes proposiciones:

n
n.n  1
a) n  N :  i 
i 1 2

n  h  i 
n
h.h  1
,
h 1
n  h 1  i 
h  1.h  1  1
i 1 2 i 1 2
n 1
h.h  1 h.h  1  2.h  1 h  1.h  1  1
 i  1  2  3  ...  h  h  1 
i 1 2
 h 1 
2

2

n
b) n  N :  2.i  1  n 2
i 1
h h 1
n  h   2.i  1  h 2 , n  h  1   2.i  1  n  1
2

i 1 i 1
n 1

 2.i  1 2.1  1  2.2  1  2.3  1  ...  2.h  1  2.h  1  1  h  2.h  1  1  h

i 1
2 2
 2.h  2  1  n  1
2

c) n  N : 2 n 2  n

n  h  h 2  h  2.k , k  N , n  h  1  h  1  h  1  2.k  , k   N
2

h  12  h  1  h 2  2.h  1  h  1  h 2  h  2.h  2  2.k  2.h  2  2.k  h  1  2.k  , k   N

n
k 1
d) n  N :  
k 1 k 1 n 1

h h 1
k 1 k 1
nh  , n  h 1   
k 1 k 1 h 1 k 1 k  1 h  1  1
h 1
k 1 2 3 h h 1 1 h 1 1
 k  1  1  1 . 2  1 . 3  1 ... h  1 . h  1  1  h  1 . h  1  1  h  1  1
k 1

1
 Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel
n
e) n  N :  i.i!  n  1!1
i 1
h h 1
n  h   i.i!  h  1!1, n  h  1   i.i!  h  1  1!1,
i 1 i 1
h 1

 i.i!  1.1!2.2!3.3!...  h.h!h  1. h  1! h  1!1  h  1. h  1! h  1  1.h  1!1 
i 1

h  2.h  1!1  h  2!1

n
n2
f) x    1, n  N : 
i
i
 2 n
i 1 2 2

nh
h
i h2
 2 h , n  h 1  
h 1
i
 2
h  1  2
i 1 2 i
2 i 1 2 i
2 h 1
h 1
i1 2 3 h h 1 h  2 h 1  2.h  2  h  1  2.h  4  h  1
2
i 1
1
2 2i

 2  3  ...  h  h 1  2  h  h 1  2 
2 2 2 2 2 2 h 1
 2
2 h 1


h3 h  3
 2  h 1  2  h 1  2 
h  1  2
2 2 2 h 1

g) n  N : 2.n  n 2  2
n  h  2.h  h 2  2, n  h  1  2.h  1  h  1  2,
2

h  12  2  h  2.h  1  2  2.h  2.h  1  2.h  2  2.h  1

h  1  2.h  2  1  2.h  1  2

n
5  5 n1.4.n  1
h) n  N :  i.5i 
i 1 16

h
5  5 h1.4.h  1 h 1
5  5h 11.4.h  1  1
n  h   i.5i  , n  h  1   i.5i 
i 1 16 i 1 16
h 1
5  5 h1.4.h  1
 i.5i  1.51  2.52  3.53  ...  h.5h  h  1.5h1 
i 1 16
 h  1.5h1 

5  5 h1.4.h  1  16.h  1.5h1 5  5 h 1.4.h  1  16.h  1. 5  5 h1.20.h  15.

  
16 16 16
5  5 h 1.5.4.h  3. 5  5h 11.4.h  1  1.
  
16 16

2
 Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel
i) Demuestre que n  N  n  4  n!  2n.

n  h  h! 2.h, n  h  1  h  1! 2.h  1

h  1! h  1.h! h  1.2.h  2.h 2  2.h  2.h  2  2.h  1

2) Determinar:
a) Si la suma de 3 naturales consecutivos es siempre divisible por 3.
Sean n, n  1, n  2  N n  n  1  n  2  3.n  3  3.(n  1)  3.k

b) Si el producto de 3 números impares consecutivos es siempre divisible por 6

(1  3  5)  9  6.k

3) En cada caso, determine m N, tal que, n  m:

2 2
a)  0.0234   n  86  n  m
n 0.0234
ln 5622
b) 5 n  5622  ln 5 n  ln 5622  n   mn  6
ln 5
3 3 3
c) 3
 0.356   n3  3 n2nm
n 0.356 0.356

B. Sistemas de numeración

1) Hallar la representación en base 2, 8 y 16 de los siguientes números expresados en base 10: 237,
634, 562, 2002.

237=11101101(2=355(8=ED(16

634=1001111010(2=1172(8=27A(16

562=1000110010(2=1062(8=232(16

2002=11111010010(2=3722(8=7D2(16

2) Exprese en base 10 los siguientes números: 10011101(2, 21ADC(16, 75003(8.

10011101(2=157
21ADC(16=137948
75003(8=31235

3) Exprese en sistema binario el número 1736015625(10=1100111011110010111111100001001

4) Exprese en base 10 el número binario 10011011001(2=1241

3
 Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel