Sei sulla pagina 1di 4

Notas de entrenamiento

Teor de nmeros a u

El Algoritmo de la Divisin de Euclides Prctico o a


El Algoritmo de la Divisin de Euclides Prctico (ADEP) es una versin ms visual y sencilla del o a o a Algoritmo de la Divisin de Euclides Tradicional. El ADEP se ensea en SUMaC, un campamento o n de verano de matemticas que tiene sede en la Universidad de Stanford. Su gran ventaja es que se a obtiene el mximo comn divisor de dos nmeros y su combinacin lineal en trminos de stos al a u u o e e mismo tiempo. A continuacin lo enuncio, y proporciono la demostracin de que funciona. Hay que tomar en o o cuenta que utiliza muchas rs, qs y otras letras, y usa induccin de dos trminos anteriores. Hay o e que leerla con cuidado y recomendablemente irla vericando con un ejemplo. Algoritmo de la Divisin de Euclides Prctico: Supongamos que tenemos dos nmeros, o a u a y b, con a > b, de los cuales queremos encontrar su mximo comn divisor y expresarlo como a u combinacin lineal de ellos dos. Entonces: o 1. Dibujamos una tablita con tres las 2. Colocamos en la primer columna, a los nmeros a, 1 y 0, en ese orden, y en la segunda a b, u 0 y 1. a 1 0 b 0 1

3. Nos preguntamos, cuntas veces cabe b en a?. Multiplicamos la segunda columna por ese a nmero, digamos q1 y se la restamos a la primer columna la por la. Escribimos los resultados u en las las de la tercer columna y les llamamos, en orden, r1 , s1 y t1 . a 1 0 b 0 1 a q1 b 1 q1 0 0 q1 1

4. Repetimos el procedimiento para la segunda y tercer columnas, luego para la tercera y cuarta y asi hasta que quede cero hasta arriba en alguna columna. Nos jamos en la columna anterior y llamamos a sus entradas rk , sk y tk .

a 1 0

b 0 1

r1 = a q 1 b s1 = 1 t1 = q1

r2 = b q 2 r1 s2 = 0 q2 s1 t 2 = 1 q 2 t1

rk = rk2 qk rk1 sk = sk2 qk sk1 tk = tk2 qk tk1

Una vez acabado este proceso, lo que garantiza el Algoritmo de la Divisin de Euclides Prctico o a es que rk es el mximo comn divisor de a y de b y adems los nmeros que hacen la combinacin a u a u o lineal estn en esa misma columna, es decir, (a, b) = rk = a sk + b tk . a Demostracin: Qu queremos demostrar? Pues que efetivamente funciona. Es decir, que al o e terminar obtenemos el mximo comn divisor y que la combinacin lineal que se sugiere s da el a u o mximo comn divisor. a u Para la primer parte, observemos que en la primer la vamos a ir obteniendo los resuiduos r1 > r2 > > rk del Algoritmo de la Divisin de Euclides tradicional, lo cual justica que o acabemos y que el ultmimo residuo no cero sea el mximo comn divisor. Esto lo vemos ya que a u preguntarse cuntas veces cabe y restar es precisamente expresar a un nmero como un mltiplo a u u de otro mas un residuo. La segunda parte es un poco ms delicada. Lo que se demostrar es que en todas las columnas a a tenemos que el nmero en la primer la es a veces el de la segunda mas b veces el de la tercera (a u partir de la tercer columna esto se ve como: rn = a sn + b tn ). Vamos a demostrarlo por induccin, o pero usaremos los dos trminos anteriores, entonces nuestra base de induccin consiste en vericar e o para las primeras dos columnas. Efectivamente, en la primer columna tenemos a = 1 a + 0 b y en la segunda columna tenemos b = 0 a + 1 b con lo cual vemos que la armacin se cumple para o las primeras dos columnas. Por comodidad llamearemos a los nmeros de esas dos columnas r1 , u s1 , t1 , r0 , s0 , t0 Como hiptesis de induccin supondremos que se valen rn2 = a sn2 + b tn2 y rn1 = o o a sn1 + b tn1 . Veamos que a partir de esto llegamos a que: rn = rn2 qn rn1 = (a sn2 + b tn2 ) qn (a sn1 + b tn1 ) = a(sn2 qn sn1 ) + b(tn2 qn tn1 ) = a sn + b tn Donde la primer igualdad se da por cmo esta constriudo rn , la segunda por hiptesis de ino o duccin, la tercera agrupando los trminos y la ultima por cmo estan contstruidos sn y tn . As a o e o , partir de los dos trminos anteriores pudimos demostrar que rn = a sn + b tn , por lo tanto por e el principio de induccin la armacin rn = a sn + b tn se vale para todo natural n y el que nos o o interesa es para k, de donde obtenemos que: (a, b) = rk = a sk + b tk No es una demostracin sencilla de seguir al principio. De hecho es una excelente oportunidad o para ver cmo se escriben (y cmo se leen) cosas un poco ms elaboradas, que ya requieren estar o o a al tanto de la notacin y de lo que se est haciendo en todo momento. Pero bueno, para no dejar o a las cosas tan feas veamos un par de ejemplos de este mtodo y de sus posibles usos ya con nmeros e u concretos:

Ejemplo: Encuentra el mximo comn divisor de 385 y 112 como combinacin lineal de estos a u o nmeros u Apliquemos el ADEP. 112 cabe tres veces en 385, entonces multiplicamos la segunda columna por 3y se la restamos a la primera (las dos cosas son en un solo paso). Sobran 49, y ahora 49 cabe dos veces en 112, as que multiplicamos la tercer columna por 2 y se la restamos a la primera... Continuando el proceso obtenemos: 385 1 0 112 0 1 49 1 3 14 2 7 7 7 24 0

De donde (385, 112) = 7 y ademas podemos expresar a 7 como 7 385 24 112 (verica que en cada paso el nmero de la primer la es 385 veces el de la segunda mas 112 veces el de la primera). u Ejemplo: Expresa a 2008 como combinacin lineal de 13 y 29. o Aplicando ADEP para 13 y 29: 29 1 0 13 0 1 3 1 2 1 4 9 0

De donde obtenemos que (29, 13) = 1 (lo cual no es muy sorpresivo), pero ms importante an, a u que 1 = 4 29 + 9 13, a partir de lo cual obtenemos fcilmente multiplicando por 2008 que: a 2008 = 16032 29 + 18072 13. Ejemplo: Demuestra que para toda n y para toda k enteras se tiene que n y kn + 1 son primos relativos, y encuentra a 1 como combinacin lineal de estos dos nmeros. o u Apliquemos ADEP a los nmeros n y kn + 1. Es un poco ms abstracto, pero afortunadamente u a solo consta de un paso: kn + 1 1 0 n 0 1 1 1 k 0

De donde obtenemos que (kn+1, n) = 1, lo cual quiere decir que n y kn+1 son primos relativos, y de donde 1 = 1 (kn + 1) k n. Una conclusin muy importante y usada muy seguido es que o dos nmeros consecutivos son primos relativos (simplemente tomamos k = 1). u Una vez ya vistos estos ejemplos es ms claro como funciona el algoritmo. Sin embargo, la a unica forma de entenderlo por completo es hacer las cuentas por uno mismo y agarrar prctica en a lo que se est haciendo. A continuacin, algunos ejercicios para practicar, de verdad se recomienda a o intentarlos ya que no son simples ejercicios de rutina, si no que muestran cosas interesantes.

Ejercicios
1. Encuentra al mximo comn divisor de 610 y 377 como combinacin lineal de stos nmeros. a u o e u Qu pasa con los nmeros de la segunda y tercera la cuando utilizas ADEP? e u 2. Es posible que al realizar ADEP en la primera la aparezcan los nmeros 4, 3, 2, 1 en ese u orden? Y en otra la? 3. Verica que las rk de ADEP coinciden con las rk del Algoritmo de Euclides Tradicional. 4.* Para cada n encuentra dos nmeros tales que su ADEP requiera exactamente n pasos. u 5.** Cosideremos la sucesin F0 = 0, F1 = 1 y Fn = Fn2 + Fn1 , esto es, la sucesin de o o los nmeros de Fibonacci empezando desde cero: (0, 1, 1, 2, 3, 5, 8, 13, ...). Demuestra, utilizando u ADEP, que la siguiente identidad se cumple para toda n 1:
2 Fn1 Fn+1 Fn = (1)n