TRABAJO PRCTICO N3

DIVISIBILIDAD
Ejercicio 1
Demostrar a, b, c Z
a) Todo nmero se divide a si mismo
b) ab |a||b|
c) ab ab.c
d) ab ba |a| = |b|
e) ab bc ac
f) 1a
g) ab b 0 |a| |b|
h) b > 0 b = a.c a c a < b c <
i) ab ac a (b.x + c.y) , x, y Z
j) ab a.cb.c

Ejercicio 2
Decidir si las siguientes proposiciones son verdaderas o falsas, en caso de ser
verdadera demostrarla y en caso de ser falsa enunciar un contraejemplo:
a) Si un nmero es divisible por 10, entonces es divisible por 5
b) Si un nmero es divisible por 10, entonces no es divisible por 15
c) Si un nmero no es divisible por 10, entonces no es divisible por 5
d) Si un nmero es divisible por 5, entonces es divisible por 10
e) Si un nmero no es divisible por 10, entonces no es divisible ni por 2 ni
por 5
f) Un nmero es par si, y slo si, su cuadrado es par
g) Un nmero es par si, y slo si, es divisible por 4
h) Si la suma de dos nmeros es par, entonces alguno de ellos es par
i) Si la suma de dos nmeros es par, entonces ambos son pares
j) La suma de dos nmeros es par si, y slo si, tienen la misma paridad
k) Si el producto de dos nmeros es par, entonces alguno de ellos es par
l) Si el producto de dos nmeros es un cuadrado, entonces alguno es un
cuadrado
m) 8a 2a
n) 7 a 11 /a
o) 2a . (a + 1)
a b
,c 0
p) ab
c c
q) ab a2b2
r) a2b b / a
s) ab.c + d ab ab ac
Ejercicio 3
a) (a + b)n = k.a + bn para algn k entero
b) Demostrar: ab2 ab3 ... abn a(b1 + b2 + ... + bn) ab1
c) Utilice el desarrollo decimal de los nmeros decimales para deducir las
reglas de divisibilidad por 2, 3, 4, 5 y 8

d) Demuestre que todo nmero puede ser escrito como la suma de sus cifras
ms un mltiplo de 9, y utilice este resultado para justificar la regla de
divisibilidad por 3.
Ejercicio 4
Sea a, b, c Z, indique el valor de verdad de las siguientes proposiciones.
Demuestre las que sean verdaderas. Halle un contraejemplo para las que sean
falsas y, en el caso de ser posible, agregue las hiptesis necesarias para
hacerlas verdaderas.
a) ab + c ab ac
b) ab cb a.cb
c) 3a 3b 3(a2 + b2)
d) n N: abn ab
e) n N: ab abn
f) ab.c ab ac
g) a2b3 ab
Ejercicio 5
Pruebe que para todo n y m natural, y para todo a y b enteros:
a) 3.52n + 1 + 23n + 1 es divisible por 17
b) 22n-1.3n+2 es mltiplo de 11
c) 732n+1 + 2n+2
d) mn am - 1an - 1
n
es par am + 1an - 1
e)
m
Ejercicio 6
Indicar la paridad de los siguientes enteros para todo n natural:
a) n.(n+1)
b) 3.n2 + 5
c) (n + 1).(n - 2)
d) n2 + 3.n
e) n3 7.n + 9 (demuestre adems que no tiene races enteras)
Ejercicio 7
Pruebe que para todo n natural:
a n b n = (a b).(a n 1 .b 0 + a n 2 .b1 + ... + a 0 .b n 1 )
Ejercicio 8
a) Demostrar que 3, 5 y 7 son primos
b) Cules de los siguientes enteros son primos?: 31, 57, 91, 133, 181, 327,
221, 289, 701, 1003, 2011
c) Pruebe que solo hay un natural primo par
d) Pruebe que solo hay dos enteros primos pares.
e) D ejemplos de un nmero que tenga solo dos divisores positivos menores
o iguales que m . Cuntos divisores tiene tal m?
f) Probar que dados cinco nmeros compuestos menores que 100, hay al
menos dos que no son coprimos

Ejercicio 9
Demuestre:
a) La suma de dos cuadrados impares nunca es un cuadrado.**
b) El producto de dos nmeros consecutivos es par.
c) Todo nmero primo impar puede escribirse como diferencia de dos
cuadrados consecutivos.
d) La suma de dos nmeros impares consecutivos es mltiplo de 4.
e) Un nmero entero es impar si, y slo si, es de la forma 2k + 1.
f) La suma de tres nmeros impares consecutivos es divisible por 3 pero
no por 6.
g) El producto de dos pares consecutivos es mltiplo de 8.
h) El producto de dos nmeros que difieren en dos, aumentado en uno, es
un cuadrado perfecto.
Ejercicio 10
La sucesin de Fibonacci se construye del siguiente modo:
u0 = 0 y u1 = 1 y luego en virtud de la frmula recursiva un+2 = un+1 + un
a) Halle la frmula del trmino general
b) Probar que los nmeros de Fibonacci cumplen mn umun
Ejercicio 11
a) Sea n N: probar que (n!)2(2n)!
b) Calcular a y b sabiendo que (a + b)2 = 2304 y a2 + b2 = 1250
c) Sea k = 100.a + b un nmero natural, probar que 7k 72.a + b
d) Para qu valores de n:
i. n - 22n
ii.
nn 1
iii. n - 1n + 1
iv. n2 - 1n 1
v. nn + 3
vi. n - 2n + 2
vii.
n n2 4