Aritmtica e

Olimp adas Matemticas a Enero de 2012

Introduccin o A continuacin vamos a enumerar algunos resultados que pueden resultar muy utiles al momeno to de resolver problemas de Teor de Nmeros. Daremos demostracin de la mayor de ellos, en tanto a u o a y en cuanto la misma sea elemental. Algoritmo de Euclides Dados dos nmeros enteros positivos a y b, con a b, entonces, el mximo comn divisor de a u a u y b es igual al mximo comn divisor de a b y b. Es decir: a u mcd(a, b) = mcd(a b, b) Demostracin o Sea d = mcd(a, b). Entonces d | a y d | b, esto implica que tambin d | a b. Ahora sea e k = mcd(a b, b), entonces k | a b y k | b, por lo que k | a, entonces k es un divisor comn de u a y b (pues los divide a ambos). En denitiva, tenemos que k d, dado que d era el mximo comn dia u visor. Pero, acabamos de probar que d | ab y d | b. Esto quiere decir que d es un divisor comn de ab u y de b, por lo que d k, pues k era el mximo comn divisor entre estos nmeros. En conclusin hemos a u u o obtenido que k d y d k, esto obviamente implica que k = d, es decir que mcd(a, b) = mcd(a b, b) como desebamos demostrar. a Ejemplo Si queremos hallar el mximo comn divisor de 160 y 300, obtenemos la siguiente cadena de iguala u dades: mcd(160, 300) = mcd(160, 140) = mcd(20, 140) = . . . = mcd(20, 0)1 = 20 N meros que son suma de dos cuadrados u Teorema 1 (Fermat) Un nmero entero positivo n es suma de dos cuadrados, es decir, n = a2 + b2 u con a, b N si y slo si todos los factores primos de n que sean de la forma 4k + 3 estn elevados a o a una potencia par.2 Es decir, n = 2295 no es suma de dos cuadrados, ya que 2295 = 33 517. Notemos que el unico factor primo de n de la forma 4k + 3 es 3, que aparece elevado a una potencia impar, por lo que entonces el nmero no es suma de dos cuadrados. Pero, por ejemplo, el nmero n = 306 s es suma de dos cuadrados u u 2 ya que 306 = 2 3 17, por lo que su unico factor de la forma 4k + 3 aparece elevado a una potencia 2 2 par, es ms: 306 = 9 + 15 . a
1 2

Es claro que mcd(n, 0) = n para todo n dado que 0 es mltiplo de cualquier entero positivo. u Si el nmero no cuenta con factores de la forma 4k + 3 entonces es suma de dos cuadrados u

Corolario 1 (Euler) Un nmero primo es suma de dos cuadrados si y slo si es de la forma 4k + 1. u o Problema Determinar si el nmero 20052004 se puede escribir como suma de los cuadrados de dos enteros u 2005 positivos. Y 2004 ? N meros Coprimos u Dos enteros positivos a y b son coprimos si y slo si mcd(a, b) = 1, es decir, si no tienen factoo res primos en comn. u Propiedades 1. Dos nmeros a y b son coprimos si y slo si la ecuacin ax by = 1 tiene al menos un par de u o o enteros positivos (x, y) que sean solucin. o 2. Si a y b son coprimos y ab = k 2 , entonces a y b son cuadrados perfectos. 3. Si an y bn son coprimos si y slo si a y b son coprimos. o Problema Hallar todos los enteros positivos x, y tales que la suma de sus medias aritmtica y geomtrica e e sea 40. Residuos cuadrticos a Vamos a decir que a es un residuo cuadrtico mdulo m si la siguiente ecuacin modular tiene a o o solucin: o x2 a (md m) o La nocin de residuo cuadrtico (as como tambin la de residuo n-simo) est muy difundida debido o a e e a a su gran utilidad. Cuando el mdulo es un nmero primo p, est claro que los restos mdulo p son o u a o p1 u {0, 1, 2, ..., p 1}. Pero los residuos cuadrticos mdulo p son exactamente 2 nmeros de ese conjunto. a o Es decir, la mitad de los restos, son residuos cuadrticos. Por ejemplo, tomando mdulo 3 los residuos a o 2 cuadrticos son 0 y 1, por lo no existe ningn x tal que x + 2 = 3y. Esta idea puede extenderse para a u mdulos que no son necesariamente un nmero primo. Por ejemplo, tomando mdulo 4 vemos que los o u o residuos cuadrticos son 0 y 1. a Ejemplo Demostrar que no existen (m, n) enteros positivos tales que m! + 3 = n2 . Si m 4, entonces m! es mltiplo de 4, por lo que m! + 3 es de la forma 4k + 3. Los residuos u cuadrticos mdulo 4 son 0 y 1, ya que: a o (4k)2 0 (4k + 1)2 1 (md 4) o (md 4) o (md 4) o

(4k + 2)2 22 0 2

(4k + 3)2 32 9 1

(md 4) o

Entonces, 4k + 3 nunca puede ser un cuadrado, y en particular m! + 3 no puede ser un cuadrado. Entonces nos resta vericar los casos en que m 3. Si m = 1, entonces n = 2. Si m = 2, n no puede ser entero y si m = 3 entonces n = 3. Entonces los unicos pares que son solucin son (m, n) = (1, 2); (3, 3). o Problemas 1. Hallar todos los nmeros naturales n tales que u n2 5 es un nmero primo. u

2. Demostrar que no existen tres enteros positivos consecutivos tales que la suma de sus cuadrados es un cuadrado. 3. Hallar todas las soluciones enteras de la ecuacin x2 5y 2 = 2. o Ternas Pitagricas o Una Terna Pitagrica (a, b, c) es una terna de nmeros enteros positivos tales que a2 + b2 = c2 , o u debe su nombre al famoso matemtico Pitgoras, debido a que el conocido teorema de su autor ima a a plica que existe un tringulo rectngulo de catetos a y b e hipotenusa c. a a Diremos que una terna pitagrica es primitiva si los tres enteros a, b, c son coprimos dos a dos. Noo temos que todas las ternas pitagricas se derivan de una terna pitagrica primitiva, dado que si (a, b, c) o o es una terna pitagrica, es claro que (ta, tb, tc) tambin es una terna pitagrica. o e o Hay innitas ternas pitagricas primitivas (a, b, c) y todas son de la forma: o a=2xy b = x2 y 2 c = x2 + y 2 Donde x e y son enteros positivos coprimos de distinta paridad. Demostracin o Supongamos que (a, b, c) es una terna pitagrica primitiva. Es claro que exactamente una de las o variables es un nmero par. Veamos que no puede ser c. u Si c es par, entonces c2 es mltiplo de 4, pero como c2 = a2 + b2 entonces a2 + b2 es mltiplo de u u 4. Adems, como a y b son impares, sus cuadrados dejan resto 1 en la divisin por 4, es decir que a o a2 + b2 1 + 1 2 (md 4). Pero ten o amos que a2 + b2 era mltiplo de 4; o sea que a2 + b2 0 (md 4). u o Esta contradiccin resulta de suponer que c es par. o Como las variables a y b son simtricas, vamos a suponer que a es par y que b es impar. La igualdad e 2 2 a + b = c , puede escribirse como a2 = (c b)(c + b), como a es par, vamos a decir a = 2t. Entonces tenemos que: 4t2 = (c b)(c + b)
2

Sea d = mcd(c b, c + b), por un lado notemos que tanto c b como c + b son pares, por lo que d es al menos 2. Entonces d | c b y d | c + b, por lo que d | 2b. Anlogamente, d | 2c. Como d era par, a 3

digamos d = 2d . Entonces tenemos que 2d | 2b, o sea que d | b y anlogamente como 2d | 2c se tiene a que d | c. Es decir que d divide a b y a c, pero como b y c eran coprimos desde un principio, se tiene que d = 1, es decir que d = 2d = 2. Ahora, nuestra ecuacin se puede escribir: o t2 = cb 2 c+b 2

Notemos que cb y c+b son coprimos, dado que el mximo comn divisor de c b y c + b era 2, y a u 2 2 ahora hemos dividido estos nmeros por tal divisor. Es decir, tenemos que el producto de dos nmeros u u coprimos es un cuadrado perfecto, revisando las propiedades de los nmeros coprimos, deducimos que u c+b cb y 2 deben ser cuadrados. Digamos: 2 c+b = x2 2 cb = y2 2 Si reemplazamos en nuestra ecuacin, tenemos que: o k 2 = x2 y 2 Como k = 2a, obtenemos que a = 2xy Volviendo a las igualdades obtenidas
c+b 2

= x2 y

cb 2

= y 2 , deducimos que:

b = x2 y 2 c = x2 + y 2 Problemas 1. Mostrar que se pueden elegir 2010 puntos del plano, no todos en una misma recta, tales que la distancia entre 2 cualesquiera de ellos es entera. 2. Sea ABC un tringulo de lados enteros, tal que la longitud de sus catetos es menor o igual a a 2011. Hallar el mayor valor posible para su hipotenusa. 3. Sea (a, b, c) una terna pitagrica cualquiera. Demostrar que el producto abc es mltiplo de 60. o u Datos importantes 1. El producto de dos sumas de cuadrados es otra suma de cuadrados. Es decir que: (x2 + y 2 )(m2 + n2 ) = (xm yn)2 + (xn + my)2

2. Si trabajamos con potencias n-simas, muchas veces es conveniente ocupar el mdulo 2n , dado e o que toda potencia n-sima par ser congruente con 0 en este mdulo. e a o 3. Sean x e y enteros positivos y d un entero positivo que no es un cuadrado, entonces la siguiente ecuacin tiene innitos pares (x, y) que son solucin3 : o o x2 dy 2 = 1 4. Sea c el nmero de cifras de un entero positivo n. Entonces: u c = log10 n + 1 5. Sea n = pe1 pe2 . . .pek donde todos los pi son primos distintos, y ei sus respectivos exponentes en la 2 1 k factorizacin de n. Entonces la cantidad de divisores de n es exactamente (e1 +1)(e2 +1). . .(ek +1). o En s mbolos podemos decir:
k

n=
i=1

pe i i

Y la cantidad de divisores es:

(ei + 1)
i=1

6. Sea (n) la suma de los divisores de un entero n tal que:

k

n= Se cumple que:

pe 1 1

pe 2 2

...

pe k k

=
i=1

pei i

(n) =
i=1

pei +1 1 i pi 1

7. Todo entero positivo puede ser expresado como suma de a lo sumo 4 cuadrados perfectos. 8. Todo entero positivo puede ser expresado como suma de a lo sumo 9 cubos perfectos. 9. Todo entero positivo puede ser expresado como suma de a lo sumo 19 potencias cuartas perfectas. 10. Para todo entero positivo n, entre n y 2n existe por lo menos un primo.4 11. Si a y b son coprimos, entonces existen innitos primos de la forma a + kb.5

3 4

Esta ecuacin es conocida como ((Ecuacin de Pell)) o o Este resultado es conocido como ((Postulado de Bertrand)). 5 Este hecho es conocido como ((Teorema de Dirichlet)).