LAS MATEMTICAS QUE TODO BUEN MATEMTICO NECESITA

DIVISORES
El conjunto de nmeros enteros es uno de los objetos ms simples de matemticas. Estos nmeros tienen una teora completa dedicada a ellos, llamado, como es lgico, Teora de Nmeros. Vamos a considerar una pequea parte de esta teora. El objetivo de este tema, es proveer con las matemticas que a menudo se necesitan, pero ms importante, se aplicaran los mtodos anteriormente estudiados y ver cmo se aplican las estrategias.

Divisibilidad Qu propiedades bsicas de los nmeros hay? Qu puedo hacer con ellas?

podemos sumar y restar a continuacin, multiplicar y dividir, tomar potencias, para nombrar unos pocos. La mejor serie de nmeros para empezar a jugar con los nmeros, son los nmeros. Adicin de cualquiera de los dos nmeros enteros produce un nmero entero. Restando cualquier nmero entero de otro produce un nmero entero. Multiplicando los dos nmeros enteros produce un nmero entero. La divisin de cualquier nmero entero por otro produce un nmero entero. . . a veces. Este significa que hemos encontrado una interesante propiedad relativa a la divisin de nmeros enteros. Siendo matemticos producimos una definicin para aislar esta idea y empezar a investigarla.

Definicin. Un entero a divide el entero b si existe un entero k tal que b = ka. En este caso decimos que b es divisible por a y escribir a | b. Tambin se dice que a es un divisor de b. Si a no divide a b, entonces escribimos

Observaciones En realidad, hemos trabajado con esta idea antes esta idea antes. El concepto de primos depende divisibilidad. Tenga en cuenta que, como siempre, la definicin se utiliza la palabra 'si', pero en realidad significa "Si y slo si '. As que cuando b = ka nos dicen que a divide b, y cuando por el contrario decimos que a divide b, entonces sabemos que hay k tal que b= ka.

Vamos a pensar como los matemticos que se analiza la definicin: Qu ejemplos hay? Cules no ejemplos hay?

(i) 3 | 6 porque 6 = 2 3, y 2 | 6 por la misma razn. (ii) -3 | 6 como 6 = (-2) x (-3). Ntese que en la definicin los divisores no tienen que ser nmeros naturales. (iii) Cualquier nmero par es divisible por 2. (Definicin de nmero par.)

(iv) 146552442374356965490 es divisible por 10. (v) Para cualquier entero par n, 3n entero es divisible por 6.

(vi) 5 no divide a 33.

 Cules son los ejemplos triviales de este concepto? De cuntas maneras diferentes se puede generalizar 6 | 3n? En este ejemplo, considere lo que sucede cuando cambiamos la hiptesis de para n impar. Qu podemos decir?

Ya hemos generado preguntas. As es como los matemticos reales Algunas otras preguntas son: Qu sucede cuando sumamos dos nmeros, aadimos mltiplos de dos nmeros que son divisibles por uno? El siguiente teorema da una respuesta.

teorema Si a | b y a | c, entonces a | (mb + nc), para todos los enteros m y n. Es verdad el teorema? Qu se podra hacer para entenderlo? Qu sucede cuando m y m son negativos?

Cules son las situaciones triviales de este teorema? Se nos permite tomar los nmeros enteros m y n, enteros cualesquiera. Ejemplos triviales de nmeros enteros son 0, 1 y 1. Vamos a tratar de m = 1 y n = 0. De esto podemos ver que si a | b y a | c, entonces a divide (1 b) + (0 c). Sin embargo, esta ltima cifra es b por lo que podemos deducir que a divide b.

Qu sucede si m=n=1? Qu sucede si m=1 y n=-1?

Ahora probaremos el teorema. Inicialmente, esta no se presenta en la forma en que un libro de texto lo hara. Se dar una idea de cmo se crea una prueba, con los errores y callejones sin salida.

Vamos a aplicar algunas tcnicas de resolucin de problemas . Podemos preguntarnos: Qu sabemos? Qu implica eso? Qu sabemos?

Usando la definicin de divisibilidad obtenemos que: Existen enteros k1 y k2 tales que: b = K1a y c = K2a.

Se quiere un a|(mb + nc) para todos los nmeros enteros m y n. Qu significa esto? Esto significa que existe k3 tal que mb + nc = K3a. La experiencia me dice que este k3 debe depender de k1 y k2, es decir, lo que se quiere depende de lo que se sabe. Sabemos, b = K1a y c = K2a y quiere mb + nc = K3a. Como de costumbre, esperamos en la parte complicada de la ecuacin y tratar de reducir: mb + nc = m (K1a) + n (K2a), por sustitucin directa de los supuestos, mb + nc = (mk1+nK2) a, por un poco de lgebra sencilla. Esto demuestra que a | (mb + nc) para todo m y n y los que buscamos, con k3 = mk1 + nk2.

Solucin de pulida: Prueba. Por supuesto, existen enteros k1 y k2 tales que b = K1a y c = K2a Para cualesquiera enteros m y n tenemos mb + nc = m (K1a) + n (K2a), por supuesto, mb + nc = (mk1+ nK2) a. Por lo tanto, mb + nc es divisible por a. Esto termina la construccin de la prueba.

Corolario. Sean a y b enteros. Si a divide b, entonces a divide b2.

Sugerencia. Tome m = b y n = 0 en el teorema anterior.

Cul es el reciproco?

Sean a y b enteros. Si a divide b2, entonces a divide b.

Es verdad?

Tomemos a = 4 y b = 6. entonces b2 = 62 = 36 que es divisible por a = 4, pero 4 no divide a 6.

teorema Sean a, b, y c enteros. (i) Si a | b y b | c, entonces a | c. (ii) Si a | b y b | a, entonces a = b o a=-b.

(i)

Si a | b y b | c implica la existencia de los nmeros enteros k1 y k2 de tal manera que b = K1a y c = K2b. Podemos reemplazar la b en la ecuacin anterior para obtener c=k2k1a. As, un divide c.

Solucin pulida: Prueba. Por hiptesis, existen enteros k1 y k2 tales que b = K1a y c = K2b Por lo tanto, c = k2k1a, y se deduce que a divide c.

(ii). Mira las hiptesis y sus implicaciones. Es decir, qu sabemos y qu significa? Sabemos que b = K1a y K2b =a. Por lo tanto b = k1k2b. Esto implica que k1k2 = 1. Sabemos que k1 y k2 son enteros por lo que deben ser 1 o -1. As, a = b o b = a. Que como se ve, se trata de la misma condicin. As que a = b.

Ejercicio Escribir una solucin brillante. O darle a su propia prueba.

Ejercicios. Si a | b y c | b, entonces, ac | b? Si es as, demustrelo. Si no es as, d un contraejemplo. Para n par, n2 + 2n + 8 es divisible por 4. si n | ab, entonces n debe dividir uno de los dos a o b. Si es as, demustrelo. Si no es as, d un contraejemplo.