1 CRIBA DE LOS NMEROS GRANIZO Profr. Mario Peral Manzo.

Resumen: En este artculo presentamos la aplicacin de una sencilla criba sobre la progresin de los nmeros enteros positivos impares con el fin de aplicar de manera sucesiva la frmula 3n+1 del algoritmo de Collatz con el que se construyen secuencias que comienzan en algn determinado entero positivo y concluyen en la unidad como expresin entera ltima y que despus, si se contina aplicando el algoritmo, dicha sucesin deviene en una sucesin peridica. Al aplicar nuestra criba llegamos a una supra/razn que nos permite, por un lado, determinar un lmite a la frmula 3n+1 y, por el otro, establecer una relacin inversa entre la funcin iterativa de Collatz C(n) usando solamente los valores impares de la sucesin de nmeros enteros positivos y los cuadrados perfectos al recurrir a la ecuacin de Pell (X^2-A*Y^2=1). Con esta supra/razn intentamos ofrecer alguna evidencia que d cuenta sobre en dnde hay que buscar alguna excepcin a la Conjetura de Collatz (si es que la hay). Ese lugar en el que creemos debiera buscarse es en el conjunto de los nmeros impares de la forma 4n+1; de hecho jugamos con la idea de que una posible excepcin a esta conjetura pudiera estar precisamente en los nmeros primos de la forma 4n+1 (estudiados por Fermat), pero solamente en aqullos que son resultado de sumar pares de primos gemelos ms la unidad. Expresiones clave: algoritmo, criba, configuracin modular, iteracin, Conjetura de Collatz, nmeros granizo, supra/razn, ecuacin de Pell, funcin C(n) nmeros de la forma 4n+1, primos gemelos. Antecedentes Sobre la Conjetura de Collatz. Collatz formul esta hiptesis (an no demostrada) en 1937 a la que tambin se le conoce con los nombres de: Problema 3n +1; Cartografa 3x + 1; Algoritmo de Hasse; Problema de Kakutani; Algoritmo de Syracuse; Conjetura de Thwaites y Problema de Ulam. Esta conjetura propone que aplicando un sencillo algoritmo es posible que cualquier nmero entero positivo, igual o mayor que 3, configure una secuencia que exprese al nmero 1 (la unidad) como el elemento entero ltimo y lmite de su conjunto. Dado que el inters original de la conjetura es llegar a la meta de expresar el nmero 1, cada una de las secuencias de Collatz pueden ser calificadas como regresiones o tal vez, abusando un poco de la expresin, como progresiones decrementales pues son secuencias finitas cuyo ltimo elemento es algn nmero entero, en este caso el nmero 1; aunque aqu cabe la aclaracin de que en realidad estamos hablando de una secuencia peridica que repite de manera infinita la sucesin 1, 2, 1, 2... , toda vez que expresa la unidad. Lo cierto es que cualquier secuencia de Collatz presenta un desarrollo la mayora de las veces aparentemente catico y por lo tanto irreductible pero que, al final, se colapsa en la unidad; momento en el que la secuencia su vuelve peridica. Catico es la etiqueta que justifica el uso de la expresin nmeros granizo para calificar el desarrollo de la secuencia de Collatz, pues al parecer cada uno de sus elementos presenta una dinmica similar al del granizo dentro de una nube antes de precipitarse a tierra (la llegada a tierra de los granizos es anloga a la llegada de la sucesin al valor 1). El algoritmo propuesto por Collatz bsicamente ordena: si se hace presente un nmero impar, trplicalo y al producto smale la unidad; si se te presenta un nmero par divdelo por dos; contina este procedimiento hasta que se exprese la unidad.

Un ejemplo de esto es: Sea el nmero 6. El nmero 6 es par y por lo tanto lo divido entre 2. El cociente resultante es 3; como ste es impar lo triplico y le sumo 1, resulta 10. El nmero 10 es par; lo divido por 2 y resulta 5. El nmero 5 es impar; lo triplico y le sumo 1, resulta 16. El nmero 16 es par; lo divido por dos y resulta 8. El nmero 8 es par; lo divido por dos y resulta 4. El nmero 4 es par; lo divido por 2 y resulta 2. El nmero 2 es par y lo divido por 2, el resultado es 1. Fin del proceso. Si expresamos el resultado del anterior proceso como un determinado conjunto sera as:
1

S ( C ) = { 6,3,10,5,16,8,4,2,1
6

que se lee: la secuencia de Collatz que comienza en 6 y termina

en uno es igual al conjunto 6, 3, 10, 5, 16, 8, 4, 2, 1. Los interesados en estas secuencias creen que es til expresar el nmero de pasos (iteraciones) que se invirtieron para llegar al nmero 1; en el anterior ejemplo se invirtieron 8 pasos (el primer elemento no se cuenta por ser el nmero entero que da inicio a la aplicacin del algoritmo). Algunos han visto en la Conjetura de Collatz una manera diferente de ver el problema de la detencin propuesto por Alan Tring; hecho que no es muy alentador para los que se centran en el nmero de pasos de la aplicacin del algoritmo de Collatz hasta llegar a la unidad pues el problema de la detencin se ha rebelado indecidible (1). Nuestro Algoritmo. Nuestro procedimiento bsicamente se resume en aplicar una sencilla criba que consiste en ordenar en mdulos las secuencias que obtenemos para seleccionar aquellos elementos que al dividirlos por dos nos den un nmero entero impar. Este procedimiento lo realizamos de manera sucesiva hasta llegar a alguna secuencia en la que ya no es posible obtener impares aplicando simplemente una divisin por dos. Este procedimiento nos lleva a la funcin iterativa de Collatz C(n) que opera solamente con nmeros enteros impares (ver la nota 1 y su referencia en este trabajo). Nuestro propsito es que, al llegar a la instancia a la que nos referimos inmediatamente arriba (la de conseguir alguna secuencia en la que ya no es posible obtener impares aplicando simplemente una divisin por dos) podamos operar con una supra/razn que relacione la razn horizontal con la que crece la progresin en turno y la razn vertical con la que crecen cada uno de los mdulos que la conforman al ser ordenados sus elementos en lneas y columnas. Creemos que esta supra/razn que obtengamos nos permitir por lo menos acercarnos a la complejidad que encierra la Conjetura de Collatz a despecho de su sencilla enunciacin. Nuestra tesis sostiene que de haber una excepcin a la Conjetura de Collatz, sta debiera buscarse en el conjunto de los nmeros impares y en especial en el conjunto de los nmeros primos de la forma 4n+1 (primos que estudi Fermat); pero no en cualquiera de este tipo de nmeros primos sino en aqullos y solamente aqullos que son resultado de la suma de dos primos gemelos ms la unidad. Comencemos, pues, con el recurso de aplicar una sencilla criba que nos permita depurar los nmeros enteros impares hasta llegar a una razn lmite en la que se basa nuestra tesis. Conjunto de inicio: nmeros enteros impares: 1, 3, 5, 7, 9 Ordenamos los primeros diez elementos en cinco columnas.
CUADRO 1.

3
2 10 Conteos de 10 en 10. 1 11 () Conteos de 2 en 2. 3 13 () 5 15 () 7 17 () 9 19 ()

Los puntos entre parntesis representan la infinitud del conjunto de cada columna. Aplicacin de la funcin 3n+1 a los valores del anterior cuadro; (n representa a algn nmero impar en turno de ese cuadro 1). Resulta el siguiente cuadro de elementos pares:
6 30 Conteos de 30 en 30. 4 34 () CUADRO 2 Conteos de 6 en 6. 10 40 () 16 46 () 22 52 () 28 58 ()

Depuracin del anterior cuadro 2: elegimos los pares cuya mitad d por resultado un nmero impar para continuar aplicando la funcin 3n+1. El conjunto solucin es: 10, 22, 34, 46, 58 Este conjunto de pares resultante lo ordenamos nuevamente en columnas:
12 60 Conteos de 60 en 60. 10 70 () CUADRO 3 Conteos de 12 en 12. 22 82 () 34 94 () 46 106 () 58 118 ()

Dividimos entre dos los valores de este cuadro 3; resulta un nuevo cuadro (el nmero 4) con valores impares, tal y como queramos:
6 30 Conteos de 30 en 30. 5 35 () CUADRO 4 Conteos de 6 en 6. 11 41 () 17 47 () 23 53 () 29 59 ()

Obsrvese que comienzan a abundar los nmeros primos. Aplicamos de nuevo la funcin 3n+1 a los valores del anterior cuadro 4; (n nuevamente representa a algn nmero impar en turno de ese cuadro). Resulta, por consiguiente, el siguiente cuadro 5:
18 90 Conteos de 90 en 90. 16 106 () CUADRO 5 Conteos de 18 en 18. 34 124 () 52 142 () 70 160 () 88 178 ()

Se repite el proceso a partir del momento en el que hay que realizar la depuracin del cuadro 5 para trabajar solamente con aquellos nmeros pares que al dividirlos entre dos nos d por resultado un cociente impar con el fin de continuar aplicando la funcin 3n+1 de manera indefinida si as lo deseamos. Para nuestros fines, consideramos que es suficiente con repetir el procedimiento hasta obtener por lo menos siete cuadros que expresen valores impares (por razones de espacio, no incluimos esos desarrollos en este escrito). Expresados estos siete cuadros, nos centraremos en las razones (conteos) con las que progresan los elementos de los cuadros tanto de manera horizontal como vertical (es decir, por columnas y por filas). nicamente consideraremos los que no se repiten y los expresaremos como una sucesin de fracciones comunes, as: 2/10, 6/30, 12/60, 18/90, 36/180, 54/270,

4 108/540, 162/810; observamos que esta sucesin est conformada por fracciones equivalentes, pues todas y cada una se pueden simplificar a la expresin de 1/5. Ahora bien, si sumamos cada cinco de estas fracciones obtendremos la unidad y dado que con nuestro procedimiento podemos obtener de manera indefinida estas fracciones equivalentes a 1/5 siempre podremos sumar cinco de estas fracciones para obtener una suma de 1. Creemos que esto es por lo menos una evidencia (aunque pobre) para considerar que la conjetura de Collatz es verdadera. Resultara interesante y a veces entretenido el realizar de manera extensa cada uno de los cuadros que desarrollamos parcialmente arriba con el fin de observar, por ejemplo, la aparicin de nmeros primos. Sin embargo, no es de nuestro inters inmediato este reto (se lo dejamos al lector). Podemos ofrecer un mejor argumento a favor de la conjetura de Collatz con el siguiente procedimiento: Nos interesa determinar cul es el primer elemento de cada cuadro (cada presentacin modular de cinco columnas) de valores impares para que determinemos una nueva sucesin y podamos expresar la razn con la que progresa. Tal sucesin es: 1, 5, 17, 53, 161, 485, 1457, esta nueva sucesin resultante progresa de acuerdo con la razn 3n+2. Ahora determinemos las distancias entre los elementos de esta sucesin (las distancias entre los elementos de este conjunto se muestran entre parntesis) y son: 1 (4) 5 (12) 17 (36) 53 (108) 161 (324) 485 (972) 1457 Veamos por separado estas distancias: 4, 12, 36, 108, 324, 972 estas diferencias progresan mediante la razn 3n. Entendemos, de esta manera, que las sucesiones de Collatz son en realidad una manera de presentar progresiones geomtricas que crecen en razn de 3n pero que, al agregarle la unidad, hacemos que se comporte de una manera extraa. Mediante trminos coloquiales podemos afirmar que el algoritmo propuesto por Collatz obliga a la progresin geomtrica (que se incrementa a razn de 3n) a comportarse al agregar la unidad, como una progresin geomtrica que se decremente a razn de 2n y por tal motivo, cuando se aplica el mencionado algoritmo, siempre queda al final expresada la unidad (el 1). Vindolo bien (3n+2)-(3n+1)=1 (aunque este argumento an sigue siendo insuficiente). Retomemos la progresin 1, 5, 17, 53, 161, 485, 1457, (tengamos presente que cada uno de estos elementos son los que dan inicio a las secuencias que ordenamos en configuraciones modulares de cinco columnas) que puede ser ordenada, a su vez, en columnas mediante el siguiente cuadro 6:
3n+2 9 n+(9 -1) O bien 81n+80 Conteos en funcin de 81n+80
2 2

CUADRO 6 Conteos en funcin de 3n+2. 1 161 13121 1062881 () 5 485 39365 3188645 () 17 1457 118097 9565937 () 53 4373 354293 28697813 ()

5 Aqu tenemos valores que al restarles la unidad se convierten en mltiplos de 4. Observamos que los elementos de cada columna progresan en funcin de la frmula 81n+80 y por esa razn los valores sucesivos crecen muy rpidamente. La razn que expresa este crecimiento horizontal/vertical es 3n+2/81n+80, una supra/razn que seala el lmite de la expresin 3n+1. Para el crecimiento horizontal 3n+2 en www.research.att.com aparece el siguiente comentario:
Relation to C(n) = Collatz function iteration using only odd steps: If we look for record subsequences where C(n)>n, this subsequence starts at 2^n-1 and stops at the local maximum of 2*3^n-1. Examples: [3,5],[7,11,17],[15,23,35,53],..., [127,191,287,431,647,971,1457],... - Lambert Klasen (lambert.klasen(AT)gmx.net), Mar 11 2005

[]
AUTHOR Clark Kimberling (ck6(AT)evansville.edu)

(2)

Al aplicar la funcin 3n+1 a los valores del anterior cuadro 6, obtenemos el siguiente nuevo cuadro 7:
3n+4 92n+2(92-1) O bien 81n+160 Conteos en funcin de 81n+160 CUADRO 7 Conteos en funcin de 3n+4. 4 484 39364 3188644 () 16 1456 118096 9565936 () 52 4372 354292 28697812 () 160 13120 1062880 86093440 ()

Reparemos en el hecho de que (al dividir entre dos los elementos de cada columna del anterior cuadro 7) siempre obtenemos un nmero par; esto significa que nuestro procedimiento ha encontrado un lmite debido a que no encontramos cociente impar alguno; en otras palabras: los mencionados elementos del anterior cuadro 7 son mltiplos de 4. De querer seguir, tendramos que dividir estos elementos entre cuatro para que alguno de ellos exprese un cociente impar; debido a que esto rebasa nuestro algoritmo, debemos detenernos hasta aqu. Para los lectores interesados, se les propone que intenten encontrar nmeros primos de la forma 4n+1 (en este cuadro 7) sumndoles la unidad a cada uno de esos valores (4n+1). Recordemos que este tipo de primos (estudiados por Fermat) se asocian a los cuadrados perfectos que a su vez se asocian a los nmeros primos gemelos (3). As, los elementos de los cuadros 6 y 7, crecen segn las razones 3n+2/81n+80 y 3n+4/81n+160 respectivamente. Ahora operemos con la primera razn inmediatamente arriba expuesta 3n+2/81n+80 (con la que crecen los elementos del cuadro 6) considerando los valores de la sucesin de nmeros impares 1, 3, 5, 7 y con ella configuremos un cuadro como el siguiente:
CUADRO 8 VALORES ASOCIADOS A LA RAZN 3n+2/81n+80 PARA (n1) IMPARES 3 5 7 9 11 13 15

n IMPARES HORIZONTAL (FILAS) 3n+2

17

19

21

()

6
5 VERTICAL (COLUMNAS) 81n+80 161 11 323 17 485 23 647 29 809 35 971 41 1133 47 1295 53 1457 59 1619 65 1781 ()

En este cuadro 8 la sucesin 3n+2 progresa de 6 en 6 (elementos stos del cuadro 4). En cambio la sucesin: 161, 323, 485, 647, 809, 971, 1133, 1295, 1457, 1619, 1781, es ms compleja en cuanto a su crecimiento pues obedece a la ecuacin: a(n)=162*n-1, (n>0). En el lugar de internet www.research.att.com (The On-Line Encyclopedia of Integer Sequences) aparece una aplicacin de esta secuencia utilizando la ecuacin de Pell:
COMMENT If A=[A157953] 81*n.^2-n [sic] (80, 322, 726, ,.,); Y=[A010857] 18 (18, 18, 18, ,.,); X=[A157954] 162*n-1 (161, 323, 485, .,), we have, for all terms, Pell's equation X^2A*Y^2=1. Example: 161^2-80 *18^2=1; 323^2-322*18^2=1; 485^2-726*18^2=1. []AUTHOR Vincenzo Librandi (vincenzo.librandi(AT)tin.it), Mar 10 2009 (4)

Como podemos observar nuestra razn 3n+2/81n+80 relaciona, por un lado, la funcin C(n) que es una funcin iterativa de Collatz que solamente aplica a nmeros impares y, por el otro lado, con los cuadrados perfectos a travs de la ecuacin de Pell (X^2-A*Y^2=1); pero an ms importante: relaciona los valores de 81n+80 con la unidad (el nmero 1) tan relevante para la veracidad de la conjetura de Collatz. Consideremos ahora las razones presentadas en el cuadro ocho: 5/161; 11/323; 17/485; 23/647; 29/809; 35/971; 41/1133; 47/ 1295; 53/1457; 59/1619; 65/1781 Notamos que tanto los numeradores como los denominadores son nmeros de la forma 6n-1; es decir, que si les agregamos la unidad son divisibles por 6 tal y como se muestra en el siguiente cuadro 9.
Razones generales n/d n+1/d+1
n +1 d +1 / 6 6

CUADRO 9 Secuencias de las razones que muestran la relacin ntima con los nmeros de la forma 6n-1. 5/161 11/323 17/485 23/647 29/809 35/971 41/1133 47/ () 1295 6/162 12/324 18/486 24/648 30/810 36/972 42/1134 48/1296 () 1/27 2/54 3/81 4/108 5/135 6/162 7/189 8/216 ()

Tambin observamos que tanto los numeradores como los denominadores son nmeros de la forma 4n1, alternndose los valores -1, +1, en la secuencia. Veamos el siguiente cuadro 10.
Razones generales n/d n1; d1 4n1/4d1
4n 1 4d 1 / 4 4

CUADRO 10 Secuencias de las razones que muestran la relacin ntima con los nmeros de la forma 4n1. 5/161 11/323 17/485 23/647 29/809 35/971 41/1133 47/ () 1295 -1 +1 -1 +1 -1 +1 -1 +1 () 4/160 12/324 16/484 24/648 28/808 36/972 40/1132 48/1296 () 1/40 3/81 4/121 6/162 7/202 9/243 10/283 12/324 ()

Esto cuadros en conjunto nos dicen que hay valores que son tanto de la forma 6n-1 como de la forma 4n+1y nos llevan a sospechar que de haber una excepcin a la conjetura de Collatz, sta debiera buscarse en el conjunto de los nmeros primos de la forma 4n+1 o primos que son resultado de sumar dos cuadrados perfectos (5), pero no en cualquiera de este tipo de nmeros

7 primos sino en aqullos y solamente aqullos que son resultado de la suma de dos primos gemelos ms la unidad, o bien, de manera genrica: (6n1)(primos)+1 = (4n+1)(primos); ejemplos: (5+7)+1=13; (17+19)+1=37; (29+31)+1=61... En hojamat.es encontramos:
() -Todo nmero primo mayor que 3 es de la forma 6n+1 o de la forma 6n-1 - Todo nmero primo mayor que 2 es de la forma 4n+1 o de la forma 4n-1 Un nmero primo tiene las siguientes propiedades respecto a una suma de cuadrados: a. Un nmero primo es suma de cuadrados de dos nmeros naturales si y slo si es de la forma 4n+1. b. El producto de dos nmeros que son suma de cuadrados tambin es otra suma de cuadrados, en virtud de la identidad c. (a2 + b2)(c2 + d2) = (ac-bd)2 + (ad+bc)2 d. Por tanto el producto de potencias de nmeros del tipo 4n+1 tambin equivale a una suma de cuadrados. e. Si una suma de cuadrados se multiplica por otro cuadrado, resulta una nueva suma de cuadrados: f. (a2 + b2)c2 = (ac)2 + (bc)2

g.

De las propiedades anteriores se deduce que son suma de cuadrados los nmeros que contienen factores primos del tipo 4n+1 y factores de otro tipo cualquiera pero con potencia par. (6)

En este trabajo nos hemos centrado en la tarea de sealar en dnde hay que buscar alguna excepcin a la Conjetura de Collatz, si es que la hay; sin embargo, bajo riesgo de parecer an ms ingenuos en nuestras afirmaciones, sospechamos que no hay excepcin alguna en esta conjetura y que, por lo tanto, es verdadera. En el artculo que presentamos para la revista Aleph Zero (hosting.udlap.mx) Fibonacci y las Tarjetas de Crdito (7) sugerimos una alternativa para mejorar la seguridad de las tarjetas de crdito; en ese lugar observamos que la suma exhaustiva de los dgitos de cualquier nmero tena como lmite alguno de los elementos del conjunto de los nmeros dgitos y propusimos las siguientes secuencias a partir de esos lmites (ver el siguiente cuadro 11).
CUADRO 11 SECUENCIAS PARA NMEROS DE CONTROL DE TARJETAS DE CRDITO CUYAS SUMAS EXHAUSTIVAS TERMINAN EN ALGUNOS DE LOS NMEROS DGITOS NMEROS DGITOS RESULTADO DE NMEROS DE CONTROL LAS SUMAS EXHAUSTIVAS DE LOS DGITOS DE UN DETERMINADO NMERO 1 1124875 2 224875124875 3 3363 4 44875124875 5 55124875 6 6636 7 775124875 8 8875124875 9 9999

Exceptuando a los nmeros dgito 3, 6 y 9, partir del dgito 5 de los nmeros de control se vuelve peridico desde el 1 como en la llamada secuencia de Pitoun (1,1,2,4,8,7,5,1,2,4,8,7,5,1, 2,4,8,7,5,1, 2,4,8,7,5,1), leamos el siguiente comentario:

8
Pitoun's sequence: a(n+1) is digital root of a(0)+...+a(n). COMMENT If the initial 1 is omitted, this is 2^n mod 9. - N. J. A. Sloane (njas(AT)research.att.com). Except for the initial term, also the digital root of 11^n. Except for the initial term, also the decimal expansion of 125/1001. Except for the initial term, also the digital root of 2^n. Cino Hilliard (hillcino368(AT)gmail.com), Dec 31 2004 FORMULA a(n) = digital root of 2^(n-1) in base 10 = 2^(n-1) (mod 9). - Olivier Gerard (olivier.gerard(AT)gmail.com), Jun 06 2001 For n>0: a(n+6)=a(n) and a(n)=A007612(n+1)-A007612(n)=A010888(A007612(n)). Reinhard Zumkeller (reinhard.zumkeller(AT)gmail.com), Feb 27 2006 a(n)=(1/30)*{19*(n mod 6)+14*[(n+1) mod 6]-11*[(n+2) mod 6]-[(n+3) mod 6]+4*[(n+4) mod 6]+29*[(n+5) mod 6]}-4*[C(2*n,n) mod 2], with n>=0 [From Paolo P. Lava (ppl(AT)spl.at), Mar 04 2010] EXAMPLE 1+1+2+4+8+7+5 = 28 -> 2+8 = 10 -> a(7) = 1. (8)

Bsicamente esta secuencia se obtiene mediante un procedimiento sencillo que combina la suma exhaustiva de los dgitos de un nmero y la secuencia de Fibonacci, tal y como se muestra en el siguiente ejemplo: 1 es 1, por lo tanto 11; 1 ms 1 es igual a 2, por lo tanto 112; 1+1+24; por lo tanto 1124 1+1+2+48, por lo tanto 11248; 1+1+2+4+816, 1+67, por lo tanto 112487; 1+1+2+4+8+723, 2+35, por lo tanto 1124875; 1+1+2+4+8+7+528, 2+810; 1+01, por lo tanto 11248751. Fin. Ahora observemos algo: la secuencia de Collatz que genera, por ejemplo, el nmero 7 es: 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1. Por lo menos los siete ltimos elementos de esta secuencia se identifican de manera regresiva con 1248751 Pues 10; 1+0=1, 5=5 16; 1+6=7 8=8 4=4 2=2 1=1 Puestos en orden, quedaran: 1,5,7,8,4,2,1 que es imagen de 1248751 pero sin comas. Por ltimo cerremos con el siguiente planteamiento y su solucin (los subrayados son nuestros):
1540. [1990: 110] Proposed by Len Bos and Bill Sands, University of Calgary. For k a positive odd integer, define a sequence <an> by: a0=1 and, for n>0

an=

an-1+k if an-1 is odd an-1/2 if an-1 is even

and let f(k) be the smallest n>0 such that an=1. Find all k such that f(k)=k

In general, once we prove that g(k) is finite for every positive odd integer k, then we shall have that f(k) = g(k) + card{ odd ti : 0 i g(k)}. We shall show that the coincidence between the sequence < tn > (reversed) and the sequence of residues of the 2n's modulo k, for example, < 2n modulo 15 > : 1;2;4;8;1 < 2n modulo 13 > : 1;2;4;8;3;6; 12; 11; 9; 5; 10; 7; 1 < 2n modulo 9 > : 1;2;4;8;7;5;1 is not accidental. In fact we can prove that, for every odd k > 1 (already excluding the case k = 1, for which f(1) = 2), we have: (a) tn < k for all n; (b) 2ntn 1 mod k for all n; and so (c) if h is a positive integer such that 2h 1 mod k, then tn 2h-n mod k for n h, and so the period of the sequence < tn > is g(k) = min{h > 0 : 2h 1 mod k}(:= the order of 2 mod k): (9)

El parecido de este planteamiento de Bos y Sands con la Cartografa 3x+1 (la Conjetura de Collatz) es sorprendente y ms an (por lo menos para nosotros) la solucin que ofrece para < 2n modulo 9 > : 1;2;4;8;7;5;1 Podemos concluir que la Conjetura de Collatz es una de las hiptesis ms sencillas de plantear pero, al igual que otras, muy difciles de demostrar pues enlaza por lo menos con otros dos planteamientos an sin resolver: la Conjetura Binaria de Goldbach y la Infinitud del Conjunto de Nmeros Primos Gemelos. ____________
Notas:
(1) En Wikipedia se afirma: El problema de la parada o problema de la detencin para Mquinas de Turing consiste en lo siguiente: dada una Mquina de Turing M y una palabra w, determinar si M terminar en un nmero finito de pasos cuando es ejecutada usando w como dato de entrada. Alan Turing, en su famoso artculo "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936), demostr que el problema de la parada de la Mquina de Turing es indecidible, en el sentido de que ninguna mquina de Turing lo puede resolver. En http://es.wikipedia.org/wiki/Problema_de_la_parada (Visita del 10 de junio de 2010 a las 15:20 horas). (2)Ver http://translate.google.com.mx/translate? hl=es&sl=en&u=http://www.research.att.com/~njas/sequences/Seis.html&ei=TPMTTPDdKsyNnQfsl4CODA&sa=X&oi=tra nslate&ct=result&resnum=2&ved=0CCUQ7gEwAQ&prev=/search%3Fq%3DThe%2BOn-Line%2BEncyclopedia%2Bof %2BInteger%2BSequences%26hl%3Des%26sa%3DG (visita del 12 de junio a las 15:15 horas). En este mismo lugar se afirma de manera literal: El nmero de tringulos (de todos los tamaos, incluyendo los agujeros), en el tringulo de Sierpinski inscripciones despus de n. - Lee Reeves (leereeves (AT) fastmail.fm), 10 de mayo 2004 [sic]. Es notable que esta secuencia se refiera a ese objeto fractal. (Visita del 11 de junio de 2010 a las 16:00 horas.)

(3) Ver Mario Peral Manzo. Replanteamiento de la Conjetura de Goldbach en http://www.cidse.itcr.ac.cr/revistamate/ContribucionesV8_n1_2007/Replanteamiento_de_la_Conjetura/index.html (visita del 11 de junio de 20010 a las 17:00 horas) (4) Ver http://www.research.att.com/~njas/sequences/A157954 (visita del 12 de junio de 2010 a las 16:35 horas) (5) Fermat se interes en este tipo de nmeros y demostr que los primos de la forma 4n+1 son resultado de la suma de dos cuadrados perfectos. (6) Consultar http://hojamat.es/sindecimales/divisibilidad/teoria/teordivi.htm (visita del 20 de junio de 2010 a las 20:00 hrs.) (7) Ver http://hosting.udlap.mx/profesores/miguela.mendez/alephzero/archivo/historico/az56/credito56.html (visita del 20 de junio de 2010 a las 21:30 hrs.)

10
(8) Ver q=1%2C2%2C4%2C8%2C7%2C5&sort=0&fmt=0&language=english&go=Search http://www.research.att.com/~njas/sequences/?

(9) Ver. R.E. WOODROW. The Olimpiad Corner. En revista Crux Mathematicorum (vol.17, nm. 1, enero 1991) en http://pds13.egloos.com/pds/200904/04/93/a0100793_crux1991-all.pdf (visita del 20 de junio de 2010 a las 23:40 hrs). Sera interesante para el lector leer las diversas soluciones que dan algunos matemticos al planteamiento; son realmente inspiradoras.

ANEXO INFORMACIN GENERAL Datos generales Nombre completo: Mario Peral Manzo. Nmero telefnico: (55) 5311-5258. Cuenta de correo electrnico: mario_peral_manzo@hotmail.com Domicilio postal: Amatepec Mz. 6 Lt. 6 Col. Ex/ejidos de Sta. Cecilia; Tlalnepantla C.P. 54130, Edo. de Mxico. Ficha curricular
El profesor Mario Peral Manzo es Licenciado en Educacin Primaria egresado de la Universidad Pedaggica Nacional. Actualmente es Profesor Titular"A" de medio tiempo en la Universidad Pedaggica Nacional (Unidad 152, Atizapn). Recientemente ha publicado los artculos Replanteamiento de la Conjetura de Goldbach y Sumas Exhaustivas de los Dgitos de Nmeros Enteros en la Revista Digital Matemtica, Educacin e Internet del Instituto Tecnolgico de Costa Rica. En el gnero de novela corta ha publicado La Clave Cuadrada en Aleph Zero, revista digital de la Universidad de las Amricas de Puebla. Breve resumen del artculo: En este artculo presentamos la aplicacin de una sencilla criba sobre la progresin de los nmeros enteros positivos impares con el fin de aplicar de manera sucesiva la frmula 3n+1 del algoritmo de Collatz con el que se construyen secuencias que comienzan en algn determinado entero positivo y concluyen en la unidad como expresin entera ltima y que despus, si se contina aplicando el algoritmo, dicha sucesin deviene en una sucesin peridica. Tres ideas principales a destacar: Collatz formul esta hiptesis (an no demostrada) en 1937 a la que tambin se le conoce con los nombres de: Problema 3n +1; Cartografa 3x + 1; Algoritmo de Hasse; Problema de Kakutani; Algoritmo de Syracuse; Conjetura de Thwaites y Problema de Ulam. Importancia de difundir el texto: la

conjetura de Collatz se ha revelado como un problema interesante para comprender las propiedades del conjunto de los nmeros enteros positivos y su sencillo desarrollo es intrigante y hasta ldico para quienes construyen secuencias de Collatz; es decir, estas secuencias despiertan el inters de quienes las realizan, sean matemticos o no. Pblico al que va dirigido: estudiantes de bachillerato y de los primeros cursos de la carrera de licenciatura en Matemticas. Tambin al pblico en general interesado en tpicos de la Teora de Nmeros.