Números enteros

Clase n. 1

Sitio web con el Magma Calculator:

http://magma.maths.usyd.edu.au/calc

1 / 13
Números enteros
División de enteros

Proposición 1.1 (Algoritmo de la división).Dados dos numeros

enteros a, b, con b 6= 0 podemos encontrar otros dos números
enteros q, r tales que las siguientes son ciertas:

a = bq + r con 0 ≤ r < |b|.

El número q se llama cociente de la división de a por b y el

número r se llama el resto de la división. Además los enteros q, r
son únicos con esta propiedad.

2 / 13
Números enteros
División de enteros

Dem. Por simplicidad supongamos b > 0 (si b es negativo, el

argumento es similar). Los múltiplos enteros de b, es decir

. . . , −2b, −b, 0, b, 2b, . . .

dividen el conjunto de los números enteros en intervalos de largo

b. El número a, o bien es uno de estos múltiplos de b, o bien
pertenece a uno (sólo) de dicho intervalos. Supongamos que qb ≤
a < (q + 1)b para algún entero q. Luego

0 ≤ a − bq < b,

ası́ que si ponemos r := a − bq, los números enteros q y r cumplen

con lo pedido.

3 / 13
Números enteros
División de enteros

Para probar la unicidad de q, r, supongamos que existan q 0 , r0 con

la misma propiedad. Desde las ecuaciones
( (
a = bq + r a = bq + r
0 0
⇐⇒ ,
a = bq + r 0 = b(q 0 − q) + r0 − r

deducimos que r0 − r es múltiplo entero de b. Como r0 y r son

menores que b y no son negativos, se tiene que |r0 − r| < b.
Entonces se deduce r0 − r = 0 y luego q 0 − q = 0, pues b 6= 0.

Observación/Definición. Un número entero b 6= 0 divide el núme-

ro entero a ( b | a ), si el resto al dividir a por b es cero. En este
caso, se dice también que a es un múltiplo de b.

4 / 13
Números enteros
Algoritmo euclideano

Definición 1.2. El máximo común divisor de dos enteros a, b

no ambos nulos es un número entero positivo d tal que d divide
a (d | a), d divide b (d | b) y cada divisor común de a y b divide
a d. Denotamos el máximo común divisor de a, b por

Mcd(a, b).

Observación:
Podemos ocupar la Proposición 1.1 para probar la existencia del
máximo común divisor de dos números enteros y dar un algoritmo
para calcularlo.

5 / 13
Números enteros
Algoritmo euclideano

Observamos que Mcd(a, b) = Mcd(b, a) y que, debido a la ecua-

ción
a = bq + r,
cualquier divisor común del par (a, b) es también un divisor común
del par (b, r) y viceversa. Entonces tenemos la igualdad

Mcd(a, b) = Mcd(b, r).

Esto nos permite calcular el máximo común divisor aplicando el

Algoritmo de la división (Proposición 1.1) un número finito de
veces, pues cada vez se tiene que 0 ≤ r < |b| y Mcd(c, 0) = |c|
para cualquier entero c 6= 0.

6 / 13
Números enteros
Algoritmo euclideano

La ecuación a = bq + r se puede escribir también ası́:

     
a q 1 b
= · ,
b 1 0 r

donde Mcd(a, b) = Mcd(b, r). Ası́ que, si dividimos b por r pode-

mos repetir la operación anterior hasta que el resto de la última
división sea 0, obteniendo la siguiente igualdad:
       
a q1 1 qn 1 d
= ··· · (1)
b 1 0 1 0 0

donde d = Mcd(d, 0) = · · · = Mcd(a, b) y q1 , . . . , qn son los co-

cientes de las divisiones que hemos aplicado para obtener el pro-
ducto anterior.

7 / 13
Números enteros
Algoritmo euclideano

Observamos que cada matriz en (1) tiene determinante −1. En-

tonces el determinante de la matriz
     
x1 x2 q1 1 qn 1
= ···
y1 y2 1 0 1 0

es (−1)n , o sea x1 y2 − y1 x2 = (−1)n . Además de la ecuación

     
a x1 x2 d
= ·
b y1 y2 0

deducimos dx1 = a y dy1 = b, ası́ que ay2 − bx2 = (−1)n d, es

decir
a (−1)n y2 + b (−1)n+1 x2 = d. (2)

8 / 13
Números enteros
Algoritmo euclideano

Proposición 1.3 (Lema de Bezout). Sean a, b dos números enteros

no ambos nulos con máximo común divisor d. Luego existen dos
números enteros x, y tales que

ax + by = d.

Dem. La existencia de los enteros x, y es consecuencia directa de

lo que hemos probado anteriormente. Por ejemplo si en (2) hay
n par, es decir (−1)n = 1, luego x = y2 , y = −x2 cumplen con lo
pedido. Si n es impar luego x = −y2 , y = x2 cumplen.

9 / 13
Números enteros
Números primos
Definición 1.4. Un número entero p > 1 es primo si los únicos
divisores de p son ±p y ±1.

Ejemplo. Los siguientes son los números primos hasta 100:

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88,
89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100 . . .
(Método de Eratóstenes)

Primos gemelos = 3 y 5, 11 y 13, 17 y 19, ...

Conjetura: Hay infinitos primos gemelos, es decir, hay infinitos
primos p tales que p + 2 es primo.
10 / 13
Números enteros
Números primos

Proposición 1.5. Sean a, b dos números enteros. Supongamos que

un número primo p divide el producto ab. Entonces, o bien p
divide a, o bien p divide b.

Dem. Supongamos que p no divide a, ası́ que Mcd(p, a) = 1.

Entonces por la Proposición 1.3 existen enteros x, y tales que
px + ay = 1. Multiplicando ambos lados por b obtenemos

pbx + aby = b.

Como p divide el membro izquierdo de la ecuación anterior, luego

p divide b.

11 / 13
Números enteros
Teorema fundamental del aritmética

Teorema 1.6 (Teorema fundamental de la Aritmética).

Todo número entero > 1 es producto de números primos. Dichos
primos son únicos salvo el orden.

Dem. Sea n > 1 un número entero. Si n es primo el teorema es

cierto. En caso contrario n = ab, con 1 < a, b < n. Aplicando
el mismo argumento a los enteros a, b, en un número finito de
pasos obtenemos que n es producto de números primos p1 · · · pr
no necesariamente distintos.

12 / 13
Números enteros
Teorema fundamental del aritmética

Si hay dos de estos productos iguales a n

n = p1 · · · pr = q1 · · · qs

por la Proposición 1.5 el primo p1 tiene que dividir algún qi .

Siendo qi primo concluimos p1 = qi , ası́ que podemos simplificar
estos números en ambos lados de la ecuación. Razonando de for-
ma similar concluimos que cada pk es igual a algún qj , ası́ que
r = s y, salvo el orden, los primos en la factorización de n están
univocamente determinados.

13 / 13