Está en la página 1de 4

Academia Sabatina Jóvenes Talentos

Encuentro # 2
Curso: Teoría de Números. Instructor:
Grupo: Ibero-IMO. Ing. Rolando Vega.
Fecha: 24 de febrero de 2018.

Crédito extra:
Sea 𝑑 un entero positivo, y sea 𝑆 el conjunto de todos los enteros positivos de la forma 𝑥 2 +
𝑑𝑦 2 , donde 𝑥 e 𝑦 son enteros no negativos.
a) Pruebe que si 𝑎 ∈ 𝑆 y 𝑏 ∈ 𝑆, entonces 𝑎𝑏 ∈ 𝑆.
𝑎
b) Pruebe que si 𝑎 ∈ 𝑆 y 𝑝 ∈ 𝑆, tal que 𝑝 es un primo y 𝑝|𝑎, entonces 𝑝 ∈ 𝑆.

c) Asuma que la ecuación 𝑥 2 + 𝑑𝑦 2 = 𝑝 tiene una solución en enteros no negativos 𝑥 e 𝑦,


donde 𝑝 es un primo. Pruebe que si 𝑑 ≥ 2, entonces la solución es única y si 𝑑 = 1,
entonces hay exactamente dos soluciones.

2. MCD y MCM
El máximo común divisor de dos enteros positivos 𝑎 y 𝑏 es el mayor entero positivo que divide a
ambos, el cual denotaremos por 𝑀𝐶𝐷(𝑎, 𝑏), y similarmente, el mínimo común múltiplo de 𝑎 y 𝑏 es el
menor entero positivo que es múltiplo de ambos, el cual denotaremos por 𝑀𝐶𝑀(𝑎, 𝑏).Diremos que 𝑎 y
𝑏 son primos relativos si 𝑀𝐶𝐷(𝑎, 𝑏) = 1. Para enteros 𝑎1 , 𝑎2 , … , 𝑎𝑛 , 𝑀𝐶𝐷(𝑎1, 𝑎2 , . . . , 𝑎𝑛 ) es el mayor
entero positivo que divide a todos ellos, y el 𝑀𝐶𝑀(𝑎1 , 𝑎2 , . . . , 𝑎𝑛 ) es definido similarmente.

Resultados útiles:

• Para todo 𝑎, 𝑏, 𝑀𝐶𝐷(𝑎, 𝑏) ∙ 𝑀𝐶𝑀(𝑎, 𝑏) = 𝑎𝑏.


• Para todo 𝑎, 𝑏 𝑦 𝑚, 𝑀𝐶𝐷(𝑚𝑎, 𝑚𝑏) = 𝑚 ∙ 𝑀𝐶𝐷(𝑎, 𝑏) y 𝑀𝐶𝑀(𝑚𝑎, 𝑚𝑏) = 𝑚 ∙ 𝑀𝐶𝑀(𝑎, 𝑏).
𝑎 𝑏 𝑀𝐶𝐷(𝑎,𝑏)
• Si 𝑑|𝑀𝐶𝐷(𝑎, 𝑏), entonces 𝑀𝐶𝐷 (𝑑 , 𝑑) = 𝑑
.

• Si 𝑎|𝑏𝑐 y 𝑀𝐶𝐷(𝑎, 𝑐) = 1, entonces 𝑎|𝑏.


• Para todo entero 𝑎 y 𝑏, si 𝑑 es un entero positivo tal que 𝑑|𝑎 y 𝑑|𝑏, y para cualquier 𝑑′, 𝑑′|𝑎 y
𝑑′|𝑏 tal que 𝑑′|𝑑, entonces 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏).

"Somos arquitectos de nuestro propio futuro."


1
• Si 𝑎1 𝑎2 ⋯ 𝑎𝑛 es una 𝑘 − 𝑒𝑠𝑖𝑚𝑎 potencia perfecta y los 𝑎𝑖 son primos relativos por pares,
entonces cada 𝑎𝑖 es una 𝑘 − 𝑒𝑠𝑖𝑚𝑎 potencia perfecta.

EJEMPLO 2.1. Pruebe que para cualquier entero positivo 𝑁, existe un múltiplo de 𝑁 que está formado
únicamente por 1𝑠 y 0𝑠. Además, probar que si 𝑁 es primo relativo con 10, entonces existe un múltiplo
formado únicamente por 1𝑠.

SOLUCION: Considere los 𝑁 + 1 enteros 1, 11, 111, … , 111 … 1(𝑁 + 1 1𝑠). Cuando se dividen por 𝑁, dejan
𝑁 + 1 residuos. Por el principio de casillas, dos de esos restos son iguales, así la diferencia entre los
enteros correspondientes, dará un número de la forma 111 … 000, que es divisible por 𝑁. Si 𝑁 es primo
relativo con 10, entonces podríamos dividir el numero anterior por la mayor potencia posible de 10 y
obtener uno de la forma 111 … 1 que será divisible por 𝑁.

Teorema 2.1. Para cualesquiera enteros positivos 𝑎 y 𝑏, existen enteros únicos 𝑥 e 𝑦 tal que
𝑀𝐶𝐷(𝑎, 𝑏) = 𝑎𝑥 + 𝑏𝑦.
PRUEBA: Sea 𝑆 el conjunto de todos los enteros de la forma 𝑎𝑥 + 𝑏𝑦, y sea 𝑑 el menor elemento
positivo de 𝑆. Por el algoritmo de la división, existe enteros 𝑞 y 𝑟 tales que 𝑎 = 𝑞𝑑 + 𝑟, 0 ≤ 𝑟 < 𝑑.
Entonces 𝑟 = 𝑎 − 𝑞𝑑 = 𝑎 − 𝑞(𝑎𝑥 + 𝑏𝑦) = (1 − 𝑞𝑥)𝑎 − (𝑞𝑦)𝑏, así 𝑟 también está en 𝑆. Pero 𝑟 <
𝑑, implica que 𝑟 = 0 ⟹ 𝑑|𝑎, y similarmente, 𝑑|𝑏 ⟹ 𝑑|𝑀𝐶𝐷(𝑎, 𝑏). Sin embargo, 𝑀𝐶𝐷(𝑎, 𝑏) divide
a todos los elementos de 𝑆, por lo que 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏).

Corolario 2.2. Los enteros positivos 𝑎 y 𝑏 son primos relativos si y solo si existen enteros 𝑥 e 𝑦 tal que
𝑎𝑥 + 𝑏𝑦 = 1.

Corolario 2.3. Para cuales quiera enteros 𝑎1 , 𝑎2 , . . . , 𝑎𝑛 existen enteros 𝑥1 , 𝑥2 , . . . , 𝑥𝑛 tal que 𝑎1 𝑥1 +
𝑎2 𝑥2 + . . . +𝑎𝑛 𝑥𝑛 = 𝑀𝐶𝐷(𝑎1 , 𝑎2 , . . . , 𝑎𝑛 ).

Corolario 2.4. Sean 𝑎 y 𝑏 enteros positivos, y sea 𝑛 un entero, entonces la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑛 tiene
una solución en enteros 𝑥 e 𝑦 si y solo si 𝑀𝐶𝐷(𝑎, 𝑏)|𝑛. Si este es el caso, entonces todas las soluciones
𝑏 𝑎
son de la forma (𝑥, 𝑦) = (𝑥0 + 𝑡 𝑑 , 𝑦0 − 𝑡 𝑑) donde 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏), (𝑥0 , 𝑦0 ) es una solución particular

de la ecuación y 𝑡 es un entero.
PRUEBA: La primera parte se sigue del Teorema 2.1. Para la segunda parte 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏) y
(𝑥0 , 𝑦0 ) una solución particular, es decir 𝑎𝑥0 + 𝑏𝑦0 = 𝑛. Si 𝑎𝑥 + 𝑏𝑦 = 𝑛 entonces 𝑎(𝑥 − 𝑥0 ) +
𝑎 𝑏 𝑎 𝑏 𝑏
𝑏(𝑦 − 𝑦0 ) = 0, de donde (𝑥 − 𝑥0 ) 𝑑 = (𝑦0 − 𝑦) 𝑑. Como y son coprimos, debe dividir a 𝑥 −
𝑑 𝑑 𝑑
𝑎 𝑏 𝑎
𝑥0 y 𝑑 debe dividir a 𝑦0 − 𝑦. Haciendo 𝑥 − 𝑥0 = 𝑡 𝑑 y 𝑦0 − 𝑦 = 𝑡 𝑑. De aquí se deducen la solución.
"Somos arquitectos de nuestro propio futuro."
2
21𝑛+4
EJEMPLO 2.2. Pruebe que la fracción es irreducible para todo entero positivo 𝑛. (1959 IMO)
14𝑛+3

SOLUCION: Para todo 𝑛, 3(14𝑛 + 3) − 2(21𝑛 + 4) = 1, así el numerador y el denominador son primos
relativos.

𝑛
EJEMPLO 2.3. Para todo entero positivo 𝑛, sea 𝑇𝑛 = 22 + 1. Pruebe que si 𝑚 ≠ 𝑛, entonces 𝑇𝑚 y 𝑇𝑛 son
primos relativos.

(1984 IMO Short List)

𝑛 𝑛−1 ∙2 2
SOLUCION: Tenemos que 𝑇𝑛 − 2 = 22 − 1 = 22 − 1 = (𝑇𝑛−1 − 1)2 − 1 = 𝑇𝑛−1 − 2𝑇𝑛−1

= 𝑇𝑛−1 (𝑇𝑛−1 − 2) = 𝑇𝑛−1 𝑇𝑛−2 (𝑇𝑛−2 − 2) = ⋯ = 𝑇𝑛−1 𝑇𝑛−2 … 𝑇1 𝑇0 (𝑇0 − 2) = 𝑇𝑛−1 𝑇𝑛−2 … 𝑇1 𝑇0

Para todo 𝑛. Por lo tanto, cualquier divisor de 𝑇𝑚 y 𝑇𝑛 debe dividir a 2. Pero cada uno de los 𝑇𝑛 es
impar, lo cual significa que 𝑇𝑚 y 𝑇𝑛 son primos relativos.

OBSERVACIÓN: La idea para resolver este problema es el uso del algoritmo de Euclides.

EJEMPLO 2.4. Sea 𝑛 un entero positivo, y sea 𝑆 un subconjunto de 𝑛 + 1 elementos de el conjunto


{1, 2, … , 2𝑛}. Pruebe que:

a) Existen dos elementos de 𝑆 que son primos relativos.


b) Existen dos elementos de 𝑆, uno de los cuales divide al otro.

SOLUCION: (a) Por el principio de casillas, habrá al menos dos elementos consecutivos en 𝑆 y por ende
serán coprimos.

(b) Consideremos al mayor divisor impar de cada uno de los 𝑛 + 1 elementos de 𝑆. Estos estarán
tomados de entre los 𝑛 enteros impares 1, 3, … , 2𝑛 − 1. Por casillas, dos deberán tener el mismo mayor
factor impar, por lo que diferirán únicamente por potencias de 2, de aquí que uno será múltiplo del otro.

EJEMPLO 2.5. Los enteros positivos 𝑎1 , 𝑎2 , . . . , 𝑎𝑛 son tales que cada uno es menor que 1000,
1
y 𝑀𝐶𝑀(𝑎𝑖 , 𝑎𝑗 ) > 1000 para todo 𝑖, 𝑗, 𝑖 ≠ 𝑗 . Pruebe que ∑𝑛𝑖=1 𝑎 < 2.
𝑖

(1951 Russian Mathematics Olympiad)

1000 1000
SOLUCION: Si <𝑎≤ , entonces ninguno de los siguientes 𝑚 números, 𝑎, 2𝑎, … , 𝑚𝑎 excede a
𝑚+1 𝑚
1000 1000 1000
1000. Sea 𝑘1 la cantidad de 𝑎𝑖 en el intervalo ( , 1000] , 𝑘2 en ( , ], etc.
2 3 2

"Somos arquitectos de nuestro propio futuro."


3
Entonces hay 𝑘1 + 2𝑘2 + 3𝑘3 + ⋯ enteros no mayores que 1000, que son múltiplos de amenos uno de
los 𝑎𝑖 . Pero los múltiplos son distintos, así:

𝑘1 + 2𝑘2 + 3𝑘3 + ⋯ < 1000

2𝑘1 + 3𝑘2 + 4𝑘3 + ⋯ = (𝑘1 + 2𝑘2 + 3𝑘3 + ⋯ ) + (𝑘1 + 𝑘2 + 𝑘3 + ⋯ ) < 1000 + 𝑛 < 2000.
1 2 3 4 2𝑘1 +3𝑘2 +4𝑘3 +⋯
Por lo tanto, ∑𝑛𝑖=1 𝑎 ≤ 𝑘1 1000 + 𝑘2 1000 + 𝑘3 1000 + ⋯ = < 2.
𝑖 1000

Nota: Podemos pobras que 𝑛 ≤ 500 de la siguiente manera: Considere el mayor divisor impar de
𝑎1 , 𝑎2 , . . . , 𝑎1000. Cada uno deberá ser distinto, pues en caso contrario si al menos dos, solo diferirán
en potencia de dos, implicando de uno divide al otro, lo que es una contradicción. También hay
únicamente 500 números impares entre 1 y 1000, de donde se sigue el resultado. Incluso se sigue
1 3
que ∑𝑛𝑖=1 < .
𝑎𝑖 2

Resultados útiles:

• Teorema de Dirichlet. Si 𝑎 𝑦 𝑏 son enteros primos relativos, entonces la serie aritmética 𝑎, 𝑎 +


𝑏, 𝑎 + 2𝑏, … ., contiene infinitos números primos.

PROBLEMAS

1. Los símbolos (𝑎, 𝑏, … , 𝑔) y [𝑎, 𝑏, … , 𝑔] denotan el máximo común divisor y el mínimo común
múltiplo, respectivamente de los enteros positivos 𝑎, 𝑏, … , 𝑔. Pruebe que:
[𝑎, 𝑏, 𝑐]2 (𝑎, 𝑏, 𝑐)2
=
[𝑎, 𝑏][𝑎, 𝑐][𝑏, 𝑐] (𝑎, 𝑏)(𝑎, 𝑐)(𝑏, 𝑐)
(1972 USAMO)
2. Pruebe que 𝑚𝑐𝑑(𝑎𝑚 − 1, 𝑎𝑛 − 1) = 𝑎𝑚𝑐𝑑(𝑚,𝑛) − 1 para todo entero positivo 𝑎 > 1, 𝑚, 𝑛.
3. Sea 𝑎, 𝑏 𝑦 𝑐 enteros positivos. Pruebe que
𝑎𝑏𝑐 ∙ (𝑎, 𝑏, 𝑐)
[𝑎, 𝑏, 𝑐] =
(𝑎, 𝑏) ∙ (𝑎, 𝑐) ∙ (𝑏, 𝑐)
4. Sean 𝑎, 𝑏 enteros positivos impares. Definimos la secuencia (𝑓𝑛 ) de la siguiente manera 𝑓1 =
𝑎, 𝑓2 = 𝑏, y para 𝑛 > 2, se define como el mayor divisor impar de 𝑓𝑛−1 + 𝑓𝑛−2 . Pruebe que 𝑓𝑛 es
constante para un 𝑛 suficientemente grande y determine su valor eventual en términos de 𝑎 𝑦 𝑏
(1993 USAMO)
5. Sea 𝑛 ≥ 𝑎1 , > 𝑎2 > . . . > 𝑎𝑘 enteros positivos tales que 𝑚𝑐𝑚(𝑎𝑖 , 𝑎𝑗 ) ≤ 𝑛 para todo 𝑖, 𝑗. Pruebe
,que 𝑖𝑎𝑖 ≤ 𝑛 para 𝑖 = 1, 2, … , 𝑘.

"Somos arquitectos de nuestro propio futuro."


4