SOBRE ALGUNAS CONJETURAS EN ARITMTICA

Ivo Basso Basso Depto de Ciencias Bsicas Facultad de Ciencia Universidad del Bio Bio Jorge Campos Parra Depto de Prod Animal Facultad de Agronoma Universidad de Concepcin Rodrigo Ramirez Candia Bachillerato en Cs Nat. Exactas Facultad de Ciencias Universidad del Bio Bio

Dios cre los nmeros naturales, el resto lo hizo el hombre Leopold Kronecker, 1886.

INTRODUCCIN La teora de Nmeros (Aritmtica) ha ocupado siempre una posicin peculiar respecto de las distintas ramas de la matemtica, por su reputacin de ser difcil y por estar revestida de un aura de cierto misterio. Es, sin embargo, nica en cuanto a campo de experimentacin de la imaginacin. Como ya lo sealaron Hilbert y Hardy , la Teora de Nmeros es fundamental para el entrenamiento matemtico inicial. La Aritmtica no es propia de ningn nivel educativo en especial y an en la Escuela Bsica su potencial no ha sido realmente evaluada y aprovechada. Desde hace aos la enseanza de la matemtica esta en verdadera crisis. En general, el espritu de la matemtica moderna con sus numerosas definiciones y esquemas abstractos hace que el alumno desarrolle muy pobremente su capacidad creadora y de trabajo. Por lo general, los ejemplos son escasos y muchas veces no existen. La mayor deficiencia en la enseanza, y esto se advierte incluso en la Universidad, es que se aprende teora con muy pocos ejemplos. La teora, los ejemplos y la resolucin de problemas forman un tringulo de equilibrio de toda la enseanza eficaz. La Aritmtica representa una opcin excelente para mejorar la enseanza de la matemtica. Su fuerza radica en la facilidad de plantear problemas de todo tipo de complejidad. El resolverlos es el ejercicio preciso del aprendizaje (Gentile, 1986). La Aritmtica es una ciencia cotidiana, capaz de atraer a cualquier persona que posea slo un poco de curiosidad. Observemos como las revistas de entretenimientos numricos llaman la atencin de mucha gente a veces con poca instruccin. Por qu no explotar esa germen de curiosidad que posee la gente joven y los nios en especial?. Hay que evitar llenar la cabeza de los alumnos con frmulas y teoremas sin darles la oportunidad de pensar libremente, invitndolos a imaginar. La verdadera fuerza de la matemtica es la creacin; luego, si se quiere, se puede hablar de rigor, formalismo, didctica o lo que sea. La Aritmtica no termina all, se puede profundizar ad infinitud (Gentile, 1986) En matemtica, una conjetura es una afirmacin que se supone cierta, pero que carece de demostracin. Muchos matemticos han dedicado su vida a estos problemas, sin lograr obtener ningn resultado: pero si valiosos avances, como lo es por ejemplo, el descubrimiento del ltimo nmero primo conocido, el cual fue descubierto por una pareja de cientficos norteamericanos, los

doctores Curtis Cooper y Steven Boone, de la Universidad Estatal Central de Missouri, Estados Unidos, el 15 de diciembre de 2005, el flamante ltimo nmero primo est compuesto por 9152052 cifras. Este resultado es de gran importancia para nosotros, puesto que veremos conjeturas relacionadas con este tipo de nmeros, para lo cual realizaremos un previo anlisis de ellos. Comenzaremos con dos tipos de conjeturas, Cataln y Collatz. Luego seguiremos con las Conjeturas relacionadas con nmeros primos. Para terminar con conjeturas relacionadas con suma de divisores, para lo cual daremos a conocer algunos de sus conceptos y propiedades. Esperamos que este trabajo proporcione al profesor material para experimentar y lo incentive a realizar una labor creadora que d a sus alumnos la oportunidad de participar activamente. 1. Conjeturas Generales: Al comenzar el trabajo, mostraremos dos conjeturas, que slo requieren de conocimientos matemticos bsicos, estas son la propuestas por los matemticos Eugne Charles Cataln y Lthar Collatz. 1.1. Conjetura de Cataln La conjetura de Cataln fue propuesta por el matemtico Eugne Charles Cataln en el ao 1844. Para entender esta conjetura, ntese que: 23 = 8 y 32 = 9 son dos nmeros que son potencias consecutivas de nmeros naturales. La conjetura dice que ste es el nico caso de dos potencias consecutivas. Es decir, que la conjetura de Cataln afirma que la nica solucin en el conjunto de los nmeros naturales de xa yb = 1 para x, y, a, b nmeros naturales mayores que 1 es x = 3, a = 2, y = 2 y b = 3. En particular, ntese que no tiene importancia que los mismos nmeros 2 y 3 estn repetidos en la ecuacin 32 23 = 1. Un caso donde los nmeros no estuvieran repetidos seguira siendo un contraejemplo vlido. En 1976, Tijdeman demostr un teorema que converta la conjetura de Cataln en un problema casi resuelto: Teorema: Existe un nmero C (efectivamente computable) tal que si x, y, m y n son nmeros naturales cumpliendo que x m y n = 1 , entonces x m e y n son menores que C. Este resultado implica claramente que el nmero de soluciones de la ecuacin de Cataln es finito. Adems, calculando la constante C y sustituyendo todas las posibles soluciones deberamos poder ver si realmente hay alguna otra. El problema es que hasta ahora el mejor resultado que se tiene sobre la constante que aparece en el teorema es demasiado grande. El matemtico Suizo, de origen rumano, Preda Mihailescu afirm haber demostrado la conjetura de Cataln en abril de 2002. Hasta el ao 2004 an se segua revisando la demostracin.

1.2. Conjetura de Collatz Fue formulada por el matemtico Lthar Collatz en 1937, en donde asegura que para cualquier nmero natural n > 1 se puede formar una sucesin finita Cn = {Ci} de nmeros naturales que empiezan con n y terminan con 1, aplicando el siguiente algoritmo: Escogemos un nmero natural n. Si es impar, lo multiplicamos por 3 y al resultado le sumamos uno. Si es par lo dividimos por dos. En cualquiera de los dos casos, al nmero obtenido le volvemos a aplicar el proceso. Es decir: Ci 2 = 3C + 1 i Si Ci es par

C i +1

Si Ci es impar

Para cada Ci de la sucesin Algunos ejemplos son: Para n = 2 C2 = {2, 1} Para n = 7 C7 = {7, 22, 11, 34, 17, 52, 26,13, 40, 20,10, 5, 16, 8, 4, 2,1} Para n = 10 C10 = {10, 5, 16, 8, 4, 2, 1} Sea cual sea el nmero natural de partida, n, siempre se llega a ese ciclo que comienza con n y termina con 1. A los miembros de esta sucesin producida por este algoritmo se les conoce como los nmeros granizo por que los valores se elevan y caen en forma anloga al granizo dentro de una nube. El algoritmo de Collazt fue probado y se encontr que se llegaba a 1 para todos lo nmeros naturales menores o iguales a 3x253 2702x1016 por Oliveira e Silva en 1999, mejorando los resultados de 1015 obtenido por Verdi en 1991 y de 5.6 x1013 hallados por Leavens y Vermeulen en 1992. 2. Conjeturas sobre nmeros primos 2.1. CONSIDERACIONES PREVIAS Antes de comenzar a estudiar las conjeturas, recordaremos brevemente lo que entendemos por nmero primo. El conjunto de los nmeros primos es un subconjunto de los nmeros naturales que

engloba a todos los elementos de este conjunto que son divisibles exactamente tan slo por s mismos y por la unidad (por convencin, el 1 no se considera primo). Los veinte primeros nmeros primos son: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67 y 71. Ntese el hecho de que todos los nmeros naturales son divisibles por s mismos y por la unidad. Recordemos adems que el teorema fundamental de la Aritmtica establece que cualquier nmero entero positivo puede representarse siempre como un producto de nmeros primos, y esta representacin (factorizacin) es nica. Un nmero entero positivo se dir compuesto si l no es primo. Cmo averiguar si un nmero, entero positivo, es primo? A travs del siguiente ejemplo mostraremos un procedimiento muy comn para determinar si un nmero entero positivo es un primo o un compuesto. Por ejemplo, 113. - Lo primero que debemos hacer es buscar la raz cuadrada del nmero. 113 10,6301... - Luego buscamos los nmeros enteros mas cercanos a la raz de nuestro nmero, la cual esta entre 10 y 11, ya que 102 = 100 y 112 = 121 y 100 < 113 < 121; esto es: 10 < 113 < 11
- Si 113 tiene algn factor positivo diferente de 1 y 113, entonces existe un factor positivo menor o igual a la raz cuadrada de 113, ya que todo factor mayor que la raz cuadrada de 113 debe tener un factor asociado menor que la raz cuadrada con el fin de que su producto sea igual a 113. Por lo tanto, para determinar si 113 es un primo o un compuesto, solo necesitamos determinar la existencia de factores mayores que 1 y menores o iguales a la raz cuadrada de 113. En este ejemplo los factores posibles son 2, 3, 4, 5, 6, 7, 8, 9, 10. Ahora bien, segn el teorema fundamental de la Aritmtica, solo tenemos que verificar los primos, es decir 2, 3, 5 y 7. Como los enteros 2, 3, 5 y 7 no son factores de 113, concluimos que 113 es un nmero primo. En resumen, para determinar si un numero es primo o compuesto, solo necesitamos determinar si p es un factor del nmero p. Si un nmero primo menor o igual a algn primo menor o igual que p es factor de p, entonces p es un nmero compuesto. Si este no es el caso, p es un nmero primo. Otra interrogante que surge de manera casi natural, tiene que ver con la cantidad. Son finitos los nmeros primos? Euclides (300 a.c.) logr responder a este problema en un teorema que lleva su nombre.

Teorema: El nmero de primos es infinito. La demostracin se realiza por el absurdo, suponiendo que existe un nmero primo p que es el mayor de todos. As si n el producto de todos los primos menores o iguales que p. Entonces n +1 = ( 2 x 3 x 5 x 7 x . . . . . . . x p ) + 1 > p Si n + 1 es un primo, entonces p no es el mayor de ellos. Si n + 1 es un compuesto, entonces debe contener factores primos mayores que p, ya que la divisin de n + 1 por primos menores o iguales que p deja como resto a 1. Por lo tanto, en ningn caso existe un primo que sea el mayor de ellos; esto nos permite concluir que el nmero de primos es infinito. Aunque el nmero de primos es infinito, se ha comprobado que el nmero de primos menores o iguales a un nmero n, el cual designaremos como (n), se comporta como la expresin logartmica n para todo valor de n grande. Legendre (1752 1833) y Gauss (1777 1855) conjeturaron, de ln(n) n manera independiente una relacin entre (n) y . ln(n)
La relacin matemtica de los nmeros primos menores o iguales a un nmero n, (n), y la n ln(n) , cuando n es muy grande puede expresarse como: lm (n) =1 expresin n ln(n) n

que corresponde al teorema de los nmeros primos, cuyo enunciado formal es:

Teorema: Sea (n) el nmero de primos que son menores o iguales que n, entonces (n)
La tabla que se presenta a continuacin, ilustra el teorema del nmero primo.

n . ln(n)

nn
10 100 1000 3000 10000 100000 1000000000

(n )
4 25 168 430 1229 9592 5761455

n ln (n ) 4.34 21 145 375 1086 8686 5428681

ln (n ) (n ) n 0.921 1.190 1.159 1.147 1.132 1.104 1.061

Gauss y Legendre, reconocieron el patrn pero no lo demostraron. Ni lo hizo nadie en los cien aos siguientes, el teorema de los nmeros primos fue demostrado por Jacques Hadamard (1865-1963) y C. J. de la Vallee Poussin (1866-1962) en 1896 usando ciertas tcnicas muy complicadas de la teora de anlisis de nmeros. Adems de compartir casi los mismos aos de vida, Hadamard y Vallee Poussin descubrieron sus demostraciones independientes y simultneamente.

A pesar de que sabemos que hay infinitos nmeros primos, an quedan preguntas en el aire sobre la distribucin de los mismos o la lista de primos que hay por debajo de cierto nmero. Aunque no se ha podido probar hasta la fecha, se conjetura que existen infinitos nmeros primos de la forma p2 = p1 + 2 (siendo p1 y p2 primos) o primos gemelos. S se ha probado que los nicos primos trillizos, primos de la forma p2 = p1 + 2 y p3 = p2 + 2, son 3, 5 y 7; y esto es as porque uno de los nmeros p1, p2 y p3 as definidos es mltiplo de 3, y por tanto compuesto cuando p3 > 3.

2.2. Conjetura de Goldbach

Un gran nmero de problemas interesantes relacionados con los primos permanece sin solucin. Grandes esfuerzos han sido dedicados a la solucin de un problema conocido como la conjetura de Goldbach (mencionada por primera vez en una carta de Goldbach a Euler en 1742). En el siglo XVIII el matemtico Charles Goldbach conjetur que: todo nmero par mayor que 2 puede ser expresado como la suma de dos nmeros primos. Por ejemplo: 4 = 2 + 2; 6 = 3 + 3; 8 = 3 + 5; 10 = 3 + 7 = 5 + 5; 12 = 5 + 7 y 14 = 3 + 11 = 7 + 7 Aunque muchos matemticos han tratado de probar o refutar la conjetura de Goldbach, nadie todava ha tenido xito. La conjetura de Goldbach ha sido verificada por computador para todos los nmeros pares menores que 2x1016, pero an no se ha encontrado un argumento matemtico que demuestre que es cierta para todo nmero par. La mayor parte de los matemticos cree que la conjetura es cierta, y se basan mayormente en las consideraciones estadsticas sobre la distribucin probabilstica de los nmeros primos en el conjunto de los nmeros naturales: cuanto mayor sea el nmero entero, se hace ms "probable" que pueda ser escrito como suma de dos nmeros primos. De hecho existen resultados ya muy "cercanos" a la conjetura: - Se sabe que todo nmero par puede escribirse como suma de a lo ms seis nmeros primos (Ramar, 1995). Como consecuencia de un trabajo de Vinogradov, todo nmero par lo bastante grande puede escribirse como suma de a lo ms cuatro nmeros primos. Adems, Vinogradov demostr que casi todos los nmeros pares pueden escribirse como suma de dos nmeros primos en el sentido de que la proporcin de nmeros pares que pueden escribirse de dicha forma tiende a 1. - Otro resultado interesante, demostrado por Chen en 1966, muestra que cualquier nmero par "suficientemente grande" es suma de un numero primo ms el producto de dos nmeros primos. El problema es que no esta claro que es lo que se quiere decir con suficientemente grande....

2.3. Hiptesis de Riemann

La distribucin de los nmeros primos dentro de los nmeros naturales parece no seguir un patrn regular. Sin embargo, el matemtico alemn Bernard Riemann observ que la frecuencia de nmeros primos est muy cerca de relacionarse con el comportamiento de una elaborada funcin ( z ) , llamada la funcin Zeta de Riemann. Afirma la hiptesis de Riemann que las partes reales de

los ceros no triviales de la llamada Funcin Zeta, a + bi, se cumplen para a = 1/2, es decir, estn alineados. 1 Esta funcin es: ( z ) = z i =1 n

La Hiptesis de Riemann dice que todas las soluciones interesantes de la ecuacin (z ) =0, se ubican dentro de una lnea recta. Esto ha sido chequeado para las primeras 1500000000 soluciones. Una prueba que sea cierta para cada solucin podra dar luz sobre muchos misterios alrededor de la distribucin de los nmeros primos. Tambin se sabe que si la Hiptesis de Riemann generalizada es cierta, entonces la conjetura de Goldbach tambin es cierta. (Deshouillers, Effinger, Te Riele y Zinoviev en 1997) Goldbach formul dos conjeturas relacionadas entre s sobre la suma de nmeros primos: la conjetura fuerte y la conjetura dbil. En teora de nmeros la conjetura dbil de Goldbach afirma que: todo nmero impar mayor o igual a 7 puede expresarse como suma de tres nmeros primos. (Se puede emplear el mismo nmero primo ms de una vez en esta suma.). Esta conjetura recibe el nombre de dbil porque la conjetura fuerte de Goldbach sobre la suma de dos nmeros primos, si se demuestra, demostrara automticamente la conjetura dbil. Esto es as porque si todo nmero par mayor que 2 es la suma de dos primos, se puede aadir tres a los nmeros pares mayores que 2 para producir los nmeros impares mayores o iguales a 7.Esta conjetura an no ha sido demostrada, pero se han conseguido avances importantes. En 1923, Hardy y Littlewood mostraron que, suponiendo una cierta generalizacin de la hiptesis de Riemann, la conjetura dbil de Goldbach es cierta para todos los nmeros impares suficientemente grandes. En 1937, el matemtico ruso Ivn Matvyevich Vinogradov fue capaz de eliminar la dependencia en la hiptesis de Riemann y demostr directamente que todos los nmeros impares suficientemente grandes pueden escribirse como suma de tres primos. Aunque Vinogradov no pudo determinar lo que significaba "suficientemente grande" con exactitud, su alumno K. Borodzin demostr que 314348907 es una cota superior para el concepto de "suficientemente grande". Este nmero tiene ms de seis millones de dgitos, as que comprobar la conjetura para cada nmero por debajo de esta cota sera imposible. Afortunadamente, en 1989 Wang y Chen redujeron esta cota a 1043000. Esto significa que si cada uno de los nmeros impares menores que 1043000 resulta ser la suma de tres nmeros primos, entonces la conjetura dbil de Goldbach quedar demostrada. Sin embargo, an se debe reducir bastante esta cota antes de poder comprobarse cada nmero por debajo de la misma.

Conjeturas con Divisores

Recordemos primero algunos conceptos y propiedades de la divisibilidad, los cuales son imprescindibles para el desarrollo y comprensin de las conjeturas que se plantearan ms adelante.

3.1. Propiedades especiales de LOS NUMEROS ENTEROS (z): - Principio del buen orden: Todo conjunto no vaco de enteros no negativos posee un menor elemento. - Principio de Arqumedes en Z: Si a > 0 y a < b, entonces Existe n > 0 tal que: na > b. - Teorema de Euclides: Si a, b Z, b > 0, entonces existen nicos enteros q y r tal que a = bq + r con 0r<b

3.2. DIVISIBILIDAD Definicin: Sea a, b Z, a 0. Se dice que a divide a b si y solo si existe k Z tal que ka = b Se anota a/b y se lee a factor de b, b mltiplo de a, a es divisor de b
Observaciones: a /0, a Z Si a Z, entonces 1/a, -1/a, a/a, -a/a. Es decir, todo entero diferente de cero tiene al menos dos divisores positivos. 3.2.1. Propiedades de la Divisibilidad Si a/b y b/c a/c Si a/b ac/bc (c cte, c 0) Si a/b y b/a a = 1 Si a/1 a = 1 d/a d/-a y d/a -d/a Si c/a y c/b c/(ax + by), para todo x, y Z

3.3. Nmeros Perfectos

Una de las reas de investigacin mas antigua en la teora de nmeros esta relacionada al problema de determinar todos los enteros positivos que son mltiplos enteros de la suma de sus divisores positivos. Un entero positivo n se dice un nmero perfecto si es igual a la suma de todos sus divisores positivos diferentes de s mismo

Por ejemplo, los primeros cuatro nmeros perfectos son 6 (1 + 2 + 3 = 6), 28, 496, 8128.

3.4 Nmeros de Mersenne

Los nmeros de Mersenne son de la forma Mp = 2p -1, con p primo, por ejemplo, los tres primeros nmeros de Mersenne son 3, 7 y 31, y los tres son nmeros primos. Sin embargo, no todo nmero de Mersenne es primo. Cuando p es primo y Mp tambin lo es, Mp se denomina primo de Mersenne. Marin Mersenne (1588-1648) fue un fraile franciscano que pas la mayor parte de su vida en los monasterios parisinos. Fue el autor de "Cognitata Physico-Mathematica" en donde afirma sin probarlo que Mp es primo para p = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257 y para ningn otro primo hasta 257. Llevo 300 aos establecer la veracidad de esto, en 1947 se comprob que Mersenne haba cometido cinco errores: M61 es primo, M67 es compuesto, M89 es primo, M107 es primo y M257 es compuesto. Ha habido mucha actividad dirigida a encontrar primos de Mersenne ya que constituyen algunos de los primos ms grandes conocidos y que por cada uno descubierto tenemos un nuevo nmero perfecto par: Un nmero n es perfecto par si y solo si n =2p - 1 x Mp, siendo Mp un primo de Mersenne. El ltimo nmero primo de Mersenne, el mayor conocido hasta ahora, se encontr en Mayo del 2004 por Findley, Woltman y Kurowsk el cual aparece cuando: p = 24036583.

3.5. Nmeros Amigos

Dos nmeros son amigos cuando cada uno es igual a la suma de los divisores del otro sin considerarse ellos mismos. El menor par de nmeros amigos es el formado por el 220 y 284 (1 + 2 + 4 + 5 + 10 + 20 + 11 + 22 + 44 + 55 + 110 = 284 y 1 + 2 + 4 + 71 + 142 = 220). Durante muchos siglos estos dos nmeros fueron los nicos amigos. Pero Fermat, con suma paciencia y una admirable visin numrica, descubre la segunda pareja de nmeros amigos, unos amigos mucho ms complicados que 220 y 284. Se trata de: 17296 y 18416. Descubre adems una regla general, la cual nos dice que si: q = 3 x 2 p-1-1; r = 3 x 2 p 1 y s = 9 x 2 2p-1-1 son nmeros primos, entonces n = 2 p x q x r y m = 2 p x s, son nmeros amigos. Por ejemplo 17296 y 18416 corresponden a los valores de p = 2; q = 5; r = 11 y s = 71. Euler public en 1750 una lista de sesenta pares y curiosamente olvid el segundo par en orden creciente: 1184 y 1210 que fue descubierto por Paganini en 1866 a los 16 aos de edad. Otros nmeros amigos son: 6232 y 6368; 2620 y 2924, 9437056 y 9363284. Uno de los ltimos pares de nmeros amigos conocidos fue encontrado por Jobling & Walter en el ao 2003, ellos poseen ms de 900 cifras. La bsqueda de estos nmeros an se sigue realizando.

3.6 Conjetura de Ziol

Publicada en Junio del 2004, esta conjetura nos dice que: 34155 es el nico entero impar igual a la suma de sus divisores propios mayores que su raz cuadrada. Los divisores de 34155 son: 3, 5, 9, 11, 15, 23, 27, 33, 45, 55, 69, 99, 115, 135, 165, 207, 253, 297, 345, 495, 621, 759, 1035, 1265, 1485, 2277, 3105,3795,6831,11385. La raz cuadrada de 34155 es 184,8... Entonces tenemos: 207 + 253 + 297 + 345 + 495 + 621 + 759 + 1035 + 1265 + 1485 + 2277 + 3105 + 3795 + 6831 + 11385 = 34155.

BIBLIOGRAFIA
Pettofrezzo, Anthony J. (1972) Introduccin a la Teora de Nmeros Robledo, Alamiro (1977), Lecciones de Aritmtica Elemental Moderna Gentile, Enzo (1986), Serie: Monografa de Matemticas, Notas de Aritmtica, IPROCH. http://www.numaboa.com.br http://es.wikipedia.org http://www.mersenne.org http://www.matematicas.net