2.2. Divisibilidad 2.2.1. Definicin. Un entero a es divisible por un entero b, o b es divisor de a cuando el residuo es cero.

Por tanto, existe Ejemplo: 7 es divisor de 35 porque: 35 = 5 veces 7. Se dice, entonces, que 7 l 35. Ejemplo: 9 es divisor de 27 porque: 27 = 3 veces 9. Se dice, entonces, que 9 l 27. Cuando un entero b no es divisor de un entero a, se dice que b no divide a a o que b no es divisor de a y se denota por b a. tal que a = b x c..

2.2.2. Teorema. Todo entero que es divisor de otros es divisor de la suma de ellos. Ejemplo: Sea 7 el nmero que divide a 35, 42 y 56. Luego: 35 = 5 veces 7. 42 = 6 veces 7. 56 = 8 veces 7. Sumando ordenadamente resulta: 133 = (5 + 6 + 8) veces 7. Luego 133 = 19 veces 7. Se concluye que 7 divide a 133. El teorema se demuestra generalizando este resultado. Sea d divisor de A, B, C y sean a, b, c sus cocientes respectivos. Luego: A = ad B = bd C = cd Se concluye: A + B + C = (a + b + c)d Lo anterior se puede reescribir de la forma siguiente: Si d|A, d|B, d|C, entonces d|(A + B + C). 2.2.3. Teorema. Todo entero que es divisor de otro es tambin divisor de los mltiplos de ese otro. Ejemplo: Como 2 divide a 6, luego 2 dividir a 4 x 6 = 24. En efecto: 24 = 6 + 6 + 6 + 6. Ahora bien: 2 divide a 6, luego, dividir a 4 veces 6, es decir, a 24, utilizando el teorema 2.2.2. Generalizando, si d|A, entonces d|nA con n Z.

2.2.4. Teorema. Todo entero que es divisor de otros dos es divisor de su diferencia.

Ejemplo: Si 3 que divide a 27 y a 18. Se tiene: 27 = 9 veces 3. 18 = 6 veces 3. Restando ordenadamente tenemos: 27 - 18 = (9 - 6) veces 3. Luego, 9 = 3 veces 3. Generalizando, si d es divisor de A y B tal que a y b son sus cocientes respectivos, entonces: A = ad. B = bd. Restando ordenadamente se tiene: A - B = (a - b)d. Lo anterior se puede reescribir en la forma siguiente: Si d|A y d|B, luego d|(A - B). 2.2.5. Teorema. Todo entero que divide a otros dos divide al residuo de la divisin de stos. Ejemplo: Si 7 que divide a un dividendo 49 y a un divisor 35, como el residuo de dividir 49 entre 35 es 14, luego 7 divide a 14. Generalizando este resultado se tiene: Sea la divisin de A entre B con cociente q y residuo r y sea d un entero que es divisor de A y de B, es decir: A = Bq + r con < |B|. Luego, A = Bq + r, por el algoritmo de la divisin. Entonces, r = A - Bq. Como d divide a B, dividir a Bq. Si divide a A y Bq divide tambin a su diferencia A - Bq. Luego, d divide a r. 2.2.6. Teorema. Si dos enteros divididos por un tercero dejan residuos iguales, la diferencia de estos dos nmeros es divisible por el tercero. Demostracin Sean a y b dos nmeros que divididos por d dejan residuo r y cocientes q y q respectivamente, o sea: a = dq + r. b = dq+ r. Restando ordenadamente, se tiene a - b = d(q - q). Luego d divide a la diferencia entre a y b. Este teorema es de gran importancia cuando se estudia la teora de congruencias. El recproco de este teorema tambin se cumple, es decir: si la diferencia de dos nmeros es divisible por un tercero, entonces estos nmeros divididos por el tercero dan residuos iguales.

Carl Friedrich Gauss (1777-1855) Es el matemtico mas grande del siglo diecinueve y uno de los tres ms grandes de todos los tiempos. Los otros dos Arqumedes y Newton. Gauss naci en Brunsvick, Alemania en 1977. Su padre, un trabajador pertinaz que fue excepcionalmente obstinado, nunca crey en la educacin formal; hizo todo lo que pudo para mantener a Gauss fuera de las escuelas. Afortunadamente para Carl, su madre, pese a no contar tampoco con educacin formal, alent a su hijo en sus estudios y particip con orgullo de sus logros hasta los das de su muerte, a la edad de 97 aos. Gauss fue un nio prodigio. A la edad de 3 aos encontr un error en la contabilidad de su padre. Cuando tena 15 aos, el Duque de Brunsvick advirti su talento y le ayud a ingresar a la universidad. Titubeante entre las disciplinas de filosofa y matemtica, finalmente eligi las Ciencias Matemticas despus de dos extraordinarios descubrimientos. Primero, invent el Mtodo de los Mnimos Cuadrados, una dcada antes de que Legendre publicara el resultado. Segundo, un mes antes de cumplir 19 aos, resolvi un problema cuya solucin se haba buscado por ms de 2000 aos. Gauss mostr cmo construir, con slo comps y regla, polgonos regulares cuyo nmero de lados no fuese un mltiplo de 2, 3 5, en particular el polgono regular de 17 lados, que se inscribi sobre su tumba. A los 20 aos di la primera demostracin rigurosa del teorema fundamental del lgebra. Gauss realiz un gran nmero de descubrimientos en fsica y en matemticas. Por ejemplo, en 1801 us un nuevo procedimiento para calcular, con muy pocos datos, la rbita del Asteroide Ceres. En 1833 invent el telgrafo electromagntico con su colega Weber. En 1811, descubri un resultado que indujo a Cauchy a desarrollar la Teora de la Variable Compleja. Gauss era un perfeccionista y es quiz el ltimo matemtico que saba todo de su materia. A su muerte, en 1855, fue honrado con una medalla conmemorativa en la que se inscribi "De Jorge V, Rey de Hnover, al Prncipe de las Matemticas".