TEORA ELEMENTAL DE NMEROS

1. Algoritmo de Divisin y Euclides

2. Nmeros primos y Teorema
Fundamental de la Aritmtica
3. El Principio de Induccin
4. Ecuaciones Diofnticas
5. Congruencias
6. Sistemas de Numeracin y Criterios de
Divisibilidad
Ejercicios extrados de exmenes
1. La solucin general del sistema de
congruencias:
) 11 mod( 1 2 3
) 11 mod( 0 3
+
+
y x
y x
es:
a) x=5+11k, y=3+11k
b) x=2+11k, y=3+11k
c) x=2+11k, y=5+11k
Solucin: la b), basta comprobarla
x+3y2+33110 mod(11)
3x+2y32+236+6121 md(11)
2. Dados los nmeros escritos en base 5: 433
y 424, su suma (en base 5) es:
a) 1122
b) 1012
c) 1412
Solucin: trabajando en base 5, tenemos
Decimal Base 5
0 0
1 1
2 2
3 3
4 4
5 10
6 11
7 12
8 13
9 14
10 20
11 21
...
3. Los nmeros de la forma 1 2 +
k
con k
natural mltiplo de 3, son:
a) siempre primos
b) siempre compuestos
c) son primos o compuestos dependiendo
de k.
Solucin: usando la descomposicin
x
3
+1=(x+1)(x
2
-x+1).
En nuestro caso:
2
k
+1=2
3p
+1=(2
p
)
3
+1=(2
p
+1)(2
2p
-2
p
+1)
Por tanto la respuesta correcta es la b)
porque se puede descomponer.
4. Sean a y b nmeros naturales con
n n
b a ,
entonces:
a)
n
a b
b) b a siempre
c) b a dependiendo de los valores de n
Solucin: la respuesta es la b),
descomponiendo, cualquier factor primo
con exponenete no nulo que contiene a: p
s
debe aparecer en b: p
r
. Si p
ns
|p
nr
, significa
que nrns y por tanto rs, es decir: p
s
|p
r
,
como esto ocurre para cualquier factor
primo a|b.
5. Sea n el nmero cuyas cifras de izquierda a
derecha son un 1, dos 2, tres 3, ...,
nueve 9. Cul es el mltiplo de 11 ms
prximo a n=1223334444...999999999?
a) n+6
b) el propio n
c) n+3
Solucin: un nmero es divisible por 11
cuando la diferencia(D) entre la suma(I) de
las cifras que ocupan lugares impares y la
suma(P) de las cifras pares es divisible por
11.
Para n: (tngase en cuenta que hay parejas
consecutivas iguales que se pueden
anular)
I=9+5+1=15
P=7+3=10
D=15-10=5
Para n+6=1223334444...89000000005
I=5+8+5+1=19
P=9+7+3=19
D=19-19=0
Por tanto, la respuesta es la a)
6. Un estudiante compra un total de 5 libros
de dos series distintas A y B pagando un
total de 5700 ptas. sabiendo que el precio
de cada libro de la serie A es 900 ptas ms
que el precio de cada libro de la otra. Cul
de las siguientes cantidades pag por
todos los libros de la serie A?
a) 4500 ptas.
b) 3800 ptas.
c) 4200 ptas.
Solucin: sean
1 1
4 3 3
+ 4 2 4
1 4 1 2
En base 5
x: nmero de libros de la serie A
y: nmero de libros de la serie B
a: precio del libro de la serie A
b: precio del libro de la serie B
Relaciones:
x+y=5 (compr 5 libros)
a=b+900 (los libros A son 900 pts. ms
caros que los B)
ax+by=5700 (total pagado)
Sustituyendo
ax+(a-900)(5-x)=5700
ax+5a+900x-ax-4500=5700
5a+900x=10200
a=2040-180x
Posibles soluciones de x son:
x=0,1,2,3,4,5
Nos piden ax que es:
ax=(2040-180x)x
x=0 ax=0
x=1ax=1861
x=2ax=3360
x=3 ax=4500
x=4ax=5280
x=5ax=5700
La solucin es la a)
7. Un nmero entero escrito en base 7 es par
si y solo si:
a) la suma de sus cifras es par
b) la suma de sus cifras es mltiplo de 4
c) la suma de sus cifras es mltiplo de 3
Solucin:
..abcdef
(7
=..+a7
5
+b7
4
+c7
3
+d7
2
+e7+f
71 md(2)
7
2
1 md(2)
7
3
1 md(2)
...
..abcdef
(7
..+a+b+c+d+e+f md(2)
Luego, un nmero en base 7 es divisible
por 2 si y solo si la suma de sus cifras lo
es.
La respuesta es la a)
8. Supongamos que hemos comprobado que
7307 no es divisible por ningn nmero
primo p, con pq. Cul es el mnimo valor
de q para que podamos asegurar que 7307
es primo?
a) q=47
b) q=3659
c) q=83
Solucin: aplicando el teorema 1-2.18 del
libro base.
Sea a un entero mayor que 1, entonces si
para todo nmero primo p a , p no divide
al nmero a , se verifica que a es primo.
Como 85 7307 , el nmero primo
anterior es 83.
La solucin es la c)
9. Si ) mod(r n m y ) mod(s n m
entonces:
a) m
2
n
2
md(r)
b) mn md(rs)
c) mn md(r+s)
Solucin: del teorema 1-5.9 (4)
Si ab md(m) y cd md(m) entonces
a+cb+d md(m) y acbd md(m).
En nuestro caso
mn md(r)
mn md(r)
mmnn md(r)
Es decir m
2
n
2
md(r)
10. Mediante el algoritmo de Euclides dgase
cul es el mximo comn divisor de los
nmeros: 15141 y 5439
a) 147
b) 21
c) Ninguno de ellos
Solucin:
11. Solo una de las siguientes afirmaciones es
falsa:
a) Siempre se verifica que
) 1 ...
) 2 (
2
) 1 (
2 )( 1 2 ( 1

2 + +

=
a b a b a b a
b) Si n es un nmero natural, 1 4
n
es
siempre compuesto.
c) Si p es el ms pequeo factor primo de
n, donde n es compuesto, entonces si
3 / 1
n p > , p n/ es compuesto
Solucin: la respuesta falsa es la c)
Sea n=15=35; 3>15
1/3
=2.466..; y no se
cumple que 15/3=5 sea compuesto
12. Sea
n
p el n-simo primo, y sea
1 ) (
3 2 1
+ =
n n
p p p p P , entonces
a) Ningn entero de la forma
n
P es
cuadrado
b) Todo entero de la forma
n
P es un
cuadrado
c) Existen enteros de la forma
n
P que son
cuadrados y otros que no lo son.
Solucin: vamos a demostrar el a)
Como p
1
=2 y ningn otro p
i
(con i>1) es
divisible por 2. Por tanto P
n
=2k+1, donde k
no es divisible por 2, es decir:
P
n
-1=2k es divisible por 2 pero no por 4.
Supongamos que P
n
es un cuadrado, sea X
(entero) la raiz de P
n
. X ser de la forma:
X=2q+1, por lo tanto:
X
2
=4q
2
+4q+1=4h+1=P
n
; de ah se deduce
que:
X
2
-1=P
n
-1=4h es divisible por 4,
lo cual contradice.
Por consiguiente: Ningn entero de la
forma
n
P es cuadrado
13. Sea un nmero primo m>3. Entonces m
siempre se puede escribir de una de las
tres formas siguientes:
a) 6n+1, 6n+3 6n+5
b) 6n+1, 6n+2 6n+3
c) 6n+1, 6n+4 6n+5
Solucin: si dividimos m por 6 puede ser:
m=6n+r, con r=0,1,2,3,4 5.
Para cualquier n, se puede afirmar que:
6n+0 es divisible por 2 y por 3
6n+2 es divisible por 2
6n+3 es divisible por 3
6n+4 es divisible por 2
Si m es primo no puede ser de alguna de
las formas anteriores.
No podemos, sin conocer n, determinar
algn divisor de 6n+1 y 6n+5
14. Cul es el nmero de divisores de 600
(incluyendo el 1 y el 600)?
a) 6 b) 30 c) 24
Solucin: se descompone en factores
primos: 600=2
3
35
2
.
Para formar un divisor se escoge
- un factor de {1,2,2
2
,2
3
}
- otro factor de {1,3}
- y otro factor de {1,5,5
2
}
Por tanto el nmero de divisores es,
aplicando el principio multiplicativo de la
combinatoria: (3+1)(1+1)(2+1)=423=24
15. El resto de la divisin de
34292
114 por 5 es:
a) 1 b) 2 c) 3
Solucin: 1141 md(5)
114
34292
1
34292
1 md(5)
16. Si para todo primo
4
n p se tiene que p
no es divisor de n, entonces:
a) n es primo o producto de dos o cuatro
primos
b) n es primo o producto de dos o tres
primos
c) n es siempre primo.
Solucin:
Si n es primo cumple que para todo primo
p tal que:
4
n p , p no divide a n.
Si n=p
1
p
2
. Sea un ejemplo n=37=21 no
primo .
Como se cumple n a divide no 21 2
4

Deducimos que la c) no es correcta, por

tanto n puede ser no primo de dos factores.
Si n=p
1
p
2
p
3
.Sea otro ejemplo: n=27=3
3
.
Como se cumple n a divide no 27 2
4

Luego, n puede ser un producto de tres

primos.
Si n=p
1
p
2
p
3
p
4
con p
1
p
2
p
3
p
4
.
Evidentemente
4
1
p n y p
1
divide a n.
Luego la a) no es correcta.
17. La suma de los cuadrados de dos enteros
impares:
a) puede ser impar
b) es el cuadrado de un nmero
c) no puede ser el cuadrado de un nmero
Solucin: Sean los impares (2x+1) y
(2y+1), la suma de sus cuadrados es:
(2x+1)
2
+(2y+1)
2
=4x
2
+4x+1+4y
2
+4y+1=4k+2
= 2(2k+1)
Es divisible por 2(par) pero no es divisible
por 4.
No puede ser el cuadrado de un nmero n,
dado que:
- si n fuese par n=2p su cuadrado sera
n
2
=4p
2
divisible por 4
- si n fuese impar N=2p+1 su cuadrado
n
2
=4p
2
+4p+1 es impar.
18. El resto de la divisin
3 3 3 3
800 ... 3 2 1 + + + + por 8 es:
a) 1 b) 0 c) 3
Solucin:
Todo par es: (2k)
3
8k
3
0 md(8)
1
3
1 md(8)
3
3
3 md(8)
5
3
5 md(8)
7
3
(-1)
3
-17 md(8)
Por tanto:
1
3
+2
3
+3
3
+...+8
3
1+3+5+70 md(8)
Adems (8k+r)
3
8p+r
3
r
3
md(8)
9
3
+10
3
+11
3
+...+16
3
1+3+5+70 md(8)
...
793
3
+794
3
+...+800
3
1+3+5+70 md(8)
Luego, agrupndolos de 8 en 8:
1
3
+2
3
+...+800
3
0+0+..+00 md(8)
La respuesta es la b)
19. El sistema de ecuaciones
( )
( ) 9 mod 2 6 5
9 mod 3 5 2
+
+
y x
y x
tiene las siguientes soluciones (mod 9)
a) 1 b) 2 c) 3
Solucin: hay una: x=7+9t, y=5+9t
Respuesta la a)
20. Cuntas soluciones en nmeros naturales
tiene la ecuacin x
2
-y
2
=460?
a) Una nica solucin
b) Exactamente dos soluciones
c) Ms de dos soluciones
Solucin: descomponemos 460=22523
Tenemos 460=ab
a b
Tienen igual
paridad?
x y
460 1 no
230 2 si 116 114
115 4 no
92 5 no
46 10 si 28 18
23 20 no
La respuesta correcta es la b)
21. El nmero de pares ordenados de enteros
(x,y) tales que 5
2 2
+ y x , es
a) 23 b) 36 c) 21
Solucin: enumeramos todas las
soluciones
(0,0)
(0,1),(0,-1),(1,0),(-1,0)
(2,0),(-2,0),(0,2),(0,-2)
(1,1),(-1,1),1,-1),(-1,-1)
(2,1),(-2,1),(2,-1),(-2,-1)
(1,2),(-1,2),(1,-2),(-1,-2)
Total 21 soluciones.
22. Una de las siguientes afirmaciones no es
correcta:
a) La suma de los cuadrados de dos
enteros impares no puede ser un
cuadrado.
b) La suma de los cuadrados de dos
enteros impares no puede ser mltiplo
de 4.
c) La suma de los cuadrados de dos
enteros impares es mltiplo de 4.
Solucin: Sean los impares (2x+1) y
(2y+1), la suma de sus cuadrados es:
(2x+1)
2
+(2y+1)
2
=4x
2
+4x+1+4y
2
+4y+1=4k+2
= 2(2k+1)
- Es divisible por 2(par) pero no es
divisible por 4.
- No puede ser el cuadrado de un nmero
n, dado que:
- si n fuese par n=2p su cuadrado
sera n
2
=4p
2
divisible por 4
- si n fuese impar N=2p+1 su
cuadrado n
2
=4p
2
+4p+1 es impar.
23. Dado el sistema
) 8 (mod 7 4
) 8 (mod 3 3 2
+
+
y x
y x
las soluciones enteras son de la forma:
' 8
8
0
0
k y y
k x x
+ =
+ =
para cualquier par de enteros k y k
Entonces:
a) 3 0 , 6 0
0 0
x y
b) 5 0 , 4 0
0 0
x y
c) 4 0 , 7 0
0 0
x y
Solucin: x=3+8k; y=7+8k
la respuesta correcta es la c)
24. Cuntas soluciones en nmeros enteros
positivos tiene la ecuacin 452
2 2
= y x ?
a) Una
b) Dos
c) Tres
Solucin: descomponemos 452=2.2.113
Si descomponemos como producto de dos
452=ab
a b
Tienen igual
paridad?
x y
452 1 no
226 2 si 114 112
113 4 no
La respuesta correcta es la a)
25. Sea x el nmero tal que 59x748 es divisible
por 123, entonces:
a) 3 0 x
b) 6 4 x
c) 9 7 x
Solucin: 123=413, por tanto si 59x746 es
divisible por 123, tambin lo es por 3.
Luego: 5+9+x+7+4+8=33+x=3k
As, x puede ser: x=0; x=3; x=6 x=9
590748=4802123+102102 md(123)
593748590748+3000102+48
27 md(123)
596748=593748+300027+48
75 md(123)
599748=596748+300075+48
1230 md(123)
La respuesta correcta es la c)
26. Una de las siguientes afirmaciones es falsa
a) El nmero 929 es primo
b) El nmero 437 es primo
c) El nmero 743 es primo
Solucin: 437=1923 compuesto
Como ... 47 . 30 929 = , para saber si es
primo comprobamos si es divisible por los
primos menores que 30
Nmero Divisor Cociente Resto
929 2 464 1
929 3 309 2
929 5 185 4
929 7 132 5
929 11 84 5
929 13 71 6
929 17 54 11
929 19 48 17
929 23 40 9
929 29 32 1
Luego es primo
Como ... 25 . 27 743 = , para saber si 743
es primo comprobamos si es divisible por
algn nmero primo menor que 27.
Nmero Divisor Cociente Resto
743 2 371 1
743 3 247 2
743 5 148 3
743 7 106 1
743 11 67 6
743 13 57 2
743 17 43 12
743 19 39 2
743 23 32 7
Luego 743 es primo
27. Sea un nmero entero positivo mayor que 1
no divisible por 2 ni por 3. Entonces:
a) 3 divide a ) 1 (
2
n y 8 divide a ) 1 (
2
n
dependiendo de n
b) 3 divide a ) 1 (
2
n dependiendo de n y
8 divide a ) 1 (
2
n
c) 3 y 8 dividen a ) 1 (
2
n
Solucin: sea (n
2
-1)=(n-1)(n+1)
Si n es no es divisible por 2, entonces n es
impar, luego (n-1) y (n+1) son pares
consecutivos y por tanto uno es divisible
por 4 y el otro por 2.
Luego el producto:
(n
2
-1)=(n-1)(n+1) es divisible por 8.
Si n no es divisible por 3, entonces n=3k+r,
con r=1 r=2
- Si r=1 entonces (n-1) es divisible por 3
- Si r=2 entonces (n+1) es divisible por 3
En ambos casos el producto:
(n
2
-1)=(n-1)(n+1) es divisible por 3.
La respuesta correcta es la c) 3 y 8 dividen
a (n
2
-1).
28. El nmero de enteros positivos menores
que 70 que son primos con 70 es:
a) 21 b) 24 c) 29
Solucin: sea M(x) el conjunto de mltiplos
de x menores o iguales a 70 y M(x,y) el de
mltiplos comunes de x e y.
70=257
M(2)={2,4,...,70}; |M(2)|=35
M(5)={5,10,...,70}; |M(5)|=14
M(7)={7,14,...,70}; |M(7)|=10
M(2,5)=M(10)={10,20,...,70}; |M(10)|=7
M(2,7)=M(14)={14,28,...,70}; |M(10)|=5
M(5,7)=M(35)={35,70}; |M(10)|=2
M(2,5,7)=M(70)={70}; |M(70)|=1
Sea P el conjunto de de nmeros enteros
positivos menores que 70 y primos con 70.
|P|=|M(2)|+ |M(5)|+ |M(7)|-|M(2,5)|-|M(2,7)|-
-|M(5,7)|+|M(2,5,7)|=35+14+10-7-5-2+1=46
Luego |P|=70-46=24
29. El resto de la divisin de
34804
25 por 7 es:
a) 2
b) 3
c) 4
Solucin: buscamos una potencia de 25
congruente con 1 mdulo(7)
254 md(7)
25
2
2 md(7)
25
3
1 md(7)
Dividimos 34804 por 3
34804=311601+1
Por tanto:
25
34804
25
311601+1
25
311601
251254
md(7)
La respuesta correcta es la c)
30. Dado el producto:
1654320781009612=167022211_33736
sin efectuar la multiplicacin:
a) La cifra que falta es un 1.
b) Como el primer factor es mltiplo de 3 y
el segundo no, la cifra que falta es un 7.
c) Como el producto ha de ser mltiplo de
8, la cifra que falta es un 4.
Solucin:
165432078 es divisible por 3 y por 9 luego
167022211X33736 tambin lo es
Para que 167022211X33736 sea divisible
por 3, X=1, 4 7
Para que 167022211X33736 sea divisible
por 9, X=1.
La respuesta correcta es la a)
31. Cul es la solucin general del siguiente
sistema de congruencias:
) 13 (mod 1 6 2
) 13 (mod 2 4 3
+
+
y x
y x
a) ' 13 8 , 13 11 t y t x + = + =
b) ' 13 3 , 13 1 t y t x + = + =
c) ' 13 9 , 13 6 t y t x + = + =
Solucin: x=6+13t; y=9+13t
32. Sea n el nmero 988777...111111111
Cul de los siguientes nmeros es
mltiplo de 11?
a) n b) n-2 c) n+6
Solucin:
Para n: suma de las cifras
Impares=1+5+9=15
Pares=3+7=10
Diferencia: 15-10=5
Luego n no es divisible por 11
Para n+6: suma de las cifras
Impares=7+5+9=21
Pares=3+7=10
Diferencia: 21-10=0
Luego n+6 es divisible por 11
La respuesta correcta es la c)
33. Dados los nmeros de la forma 1 2 =
k
n ,
entonces:
a) n es primo si y solo si k es primo
b) Si k es compuesto entonces n puede
ser primo o compuesto.
c) Si k es compuesto entonces n es
necesariamente compuesto.
Solucin: si k es compuesto entonces
k=ab y podemos descomponer
2
ab
-1=(2
a
-1)(2
(b-1)a
+2
(b-2)a
+...+1)
y por tanto n=2
k
-1 ser compuesto.
La respuesta correcta es la c)
34. El resto de la divisin de
52726
2 por 31 es:
a) 8 b) 2 c) 4
Solucin: es fcil encontrar una potencia
de 2 que sea congruente coon 1
mdulo(31).
2
5
321 md(31)
2
52726
2
52725+1
2
5k
2
1
122 md(31)
35. La solucin general del sistema de
congruencias
) 7 (mod 2 3
) 7 (mod 4 2
+
+
y x
y x
d) ' 7 , 7 3 k y k x = + =
e) ' 7 2 , 7 k y k x + = =
f) ' 7 2 , 7 3 k y k x + = + =
Solucin: x=7k; y=2+7k
36. El resto de la divisin de 13! por 17 es:
a) 16
b) 6
c) 3
Solucin: aplicando el teorema de Wilson
se tiene: 15! 1 md(17)
Por tanto: 13!14151 md(17)
Llamando x=13!
210x 1 md(17)
(Como 2106 md(17))
6x 1 md(17)
que tiene una solucin
x=3+6k
Luego 13! x3 md(17)
La respuesta correcta es la c)
37. Sea n un nmero natural ) 7 ( mod 3 n
entonces n es el cuadrado de un nmero
natural
a) para todo n impar.
b) nunca, cualquiera que sea n.
c) slo si n es impar no primo.
Solucin: n=7k+3
En general m=7k+r, con r=0,1,2,3,4,5 6
m
2
=49k
2
+14k+r
2
=7p+r
2
r
2
md(7)
Caso r=0: m
2
=7p+0
2
0 md(7)
Caso r=1: m
2
=7p+1
2
1 md(7)
Caso r=2: m
2
=7p+2
2
4 md(7)
Caso r=3: m
2
=7p+3
2
2 md(7)
Caso r=4: m
2
=7p+4
2
2 md(7)
Caso r=5: m
2
=7p+5
2
4 md(7)
Caso r=6: m
2
=7p+6
2
1 md(7)
Luego n=m
2
no puede ser congruente con
3 mdulo (7).
La respuesta correcta es la b)
38. Cuntas soluciones en nmeros enteros
positivos tiene la ecuacin:
348
2 2
= y x ?
a) Ninguna
b) Una
c) Dos
Solucin: 348=22329
Tenemos 348=ab
a b
Tienen igual
paridad?
x y
348 1 no
174 2 si 88 86
116 3 no
87 4 no
58 6 si 32 26
29 12 no
La respuesta correcta es la c)
39. El resto de la divisin de
166167
5 por 167
es:
a) 5
b) 165
c) 25
Solucin: aplicando el pequeo teorema de
Fermat, como 167 es un nmero primo
Nmero Divisor Cociente Resto
167 2 83 1
167 3 55 2
167 5 33 2
167 7 23 6
167 11 15 2
que no divide a 5, se cumple:
5
166
1 md(167)
Dividimos 166167 entre 166 y queda:
5
166167
5
166166+1
5
1661001+1
5
1663k
5155
md(167)
La respuesta correcta es la a)
40. Los nmeros de la forma 1 2 +
k
con k>1
natural mltiplo de 3, son:
a) siempre primos
b) siempre compuestos
c) son primos o compuestos dependiendo
de k
Solucin: si k=3m entonces
2
k
+1=2
3m
+1=(2
m
)
3
+1=x
3
+1
Descomponiendo segn:
(x
3
+1)=(x+1)(x
2
-x+1)
Primeros casos
m=12
3m
+1=9=33
m=22
3m
+1=64+1=65=513
...
En general como m1 es x=2
m
2, tenemos
(x+1)>2
(x
2
-x+1)=x(x-1)+1>21+1=3
La respuesta correcta es la b)