La conjetura de Collatz dice que para todo nmero entero positivo despus de aplicar sucesivas

iteraciones de la funcin Collatz Collatz ( x)= 3 x +1, si 2 x siempre se llega al nmero 1.

x /2, si 2x

De una forma visual podramos decir que tenemos un contenedor inmensurable que contiene todos
los nmeros natural en formas de pelota, y queremos saber que Si arrojamos todas las pelotas
(nmeros) por un embudo (funcin Collatz) Todas van a pasar en algn momento por la parte

central ( 2x para algn x tal que x es un nmero natural ) y eventualmente salir por el otra extremo
(dar cmo resultado 1)?
Ahora... el mejor el estilo del buen Feynman podemos hacer preguntas poco ortodoxas (cmo
"Tiene un mapa del gato?") pero lgicas.
Por ejemplo, preguntar De que color es el embudo? a pesar de ser heterodoxo no el lgico por
falta de utilidad, pero... que tal con ests dos.
1. Se va atorar alguna pelota en el embudo? (hay otro ciclo peridico adems de {4, 2, 1}?)
2. Al arrojar las pelotas algunas caern fuera del embudo? (hay una rbita que se hace cada
vez ms grande y por ende nunca cae en 1? , en ejemplo de esto sera una rbita que siempre
sigue el ciclo {par, impar}, as se divide por dos, pero inmediatamente despus se multiplica
por 3 y se suma uno, y reinicia el ciclo, as ese nmero siempre se hara ms grande y nunca
llegara a 1)

Cul es el problema con esta forma de ver el problema?

Pues que tenemos que hacer una generalizacin de todos los nmeros, en pares e impares (para
saber que camino seguir cada uno) pero si bien todo nmero impar, despus de pasar por la
funcin Collatz va ser un nmero par, cuando tenemos un nmero par... bueno... no sabemos que va
a ser el siguiente nmero par, impar? Ambas son posibles, y no podemos una generalizacin
porque... de nuevo, necesitamos saber si el nmero es par o impar para conocer su rumbo.
Y entonces... Ahora qu?
Bueno, ahora usaremos un poco de ayuda de Plya, despus de preguntarle a Plya esa cuestin
Ahora qu? me dijo:

Puedes enunciar al problema de otra forma?

Y fue lo que hice, le di una vuelta de 540 grados al problema.

Y si tengo una cantidad infinita de pelotas nmero uno... Puedo llegar a todos
los nmeros enteros siguiendo el proceso inverso?

Ahora slo tenemos que usar las funciones inversas de las funciones que
componen a la funcin Collatz.

Hacer esto ya parece un poco ms razonable, porque as slo tenemos un

nmero inicial, y aparentemente la generalizacin de llegar a cualquier nmero
es posible. por ejemplo, desde el 1 podemos llegar al 2, y desde el dos hasta el
tres... podemos demostrar por induccin que para cualquier nmero n,
podemos llegar a n+1?

No, El problema es que a partir de 3, no podemos llegar al 4 usando las

funciones inversas de f(x) y g(x).
Por qu?
Por que a partir de 3 slo podemos usar la funcin inversa g(x), g1 (x)=2 x y
nunca podemos usar la inversa de f(x) f 1 (x )= x1
3

para poder usar la inversa f(x) entonces debera cumplirse lo siguiente,

(32 a)1
=b
3

donde a y b son nmeros naturales.

El problema es que despus de un poco de lgebra bsica se puede contemplar

que eso jamas va suceder, 32a =3 b+1 el lado izquierdo siempre va a ser
divisible por 3 y el lado derecho no.

Entonces sino es posible Por escribir la pregunta en este documento?

Ajaa! Porque de aqu surge la idea ms relevante pues qu pasa si tratamos de
seguir un tipo de induccin (llegar a n+1 a partir de n) pero...! usando las dos
funciones f(x), g(x) y sus inversas?

Claramente esto ahora si posible, y es obvio que as se podra demostrar la

conjetura, por que si todos los nmeros estn conectados al 1 entonces
podramos del 1 bajar al 2, despus volver al 1, y bajar al 3, y as hasta el
infinito, usando las funciones y sus inversas.
Y con esto ya podemos demostrar la mitad de la conjetura de Collatz.
Recuerdas las forma visual de ver el problema?

O las pelotitas de atoran o se salen del embudo, esas son las nicas formas de
encontrar un contra-ejemplo.
En Wikipedia aparece cmo:
Si existe algn contraejemplo a la conjetura (es decir, un nmero cuya secuencia no
alcance nunca el 1), debe satisfacer alguna de estas condiciones:

la rbita del nmero no est acotada; o bien

la rbita tambin es peridica, pero con un perodo distinto de 4, 2, 1.
https://es.wikipedia.org/wiki/Conjetura_de_Collatz#Estado_actual_del_problema

o en ingls:
Any counterexample to the Collatz conjecture would have to consist either of an infinite
divergent trajectory or a cycle different from the trivial (4; 2; 1) cycle. Thus, if one could
prove that neither of these types of counterexample could exist, then all positive integers
would have a trajectory that reaches the trivial cycle. Such a strong result is not known,
but certain types of cycles have been ruled out.
https://en.wikipedia.org/wiki/Collatz_conjecture#Cycles

bueno, para probar que no existe otro ciclo diferente del trivial, use un poco de
ayudo de Euler, estaba pensando en el problema Necesito una nueva rama
matemtica, Euler t qu dices? y aqu... fue cuando Euler me cont la
historia de cmo ayudo en la elaboracin de la teora de grafos... VRTICES Y
ARISTAS, es todo lo que importa, y dejar a un lado los aspectos innecesarios.
Hmm... Euler t qu dices si en las conexiones de las funciones slo me
enfoco en la forma?, Camino nico?, s... s... interesante tiene sentido, para ir
del 1 al 4 tenemos 2 cominos, mientras que para ir de 4 al 3 slo hay un camino,
(sin pasar dos veces por el nmero 4, es decir si bajamos al 1 y despus vamos
al 3... pues s hay dos caminos, pero si aadimos esa restriccin... tenemos 2
tipos de figuras)

las de ruta nica como la que va de 4 al 3, (que recordemos que 3 slo puede
generar nmeros del estilo 32a , a y ese tipo de nmeros son divisibles
entre 3 y... 4 no es divisible entre 3, as slo hay una ruta para llegar a 4)
mientras que el grafo que conecta a {4, 2, 1} permite que si estamos parados
en 1, podemos llegar a 4 por el camino corto o por el comino largo y es ESO!
Lo que generara un atasque en nuestro embudo, porque primero estaramos

bajando y de pronto al seguir el otro camino BAM! Regresamos al mismo

nmero, en el caso de {4, 2, 1} tenemos esos dos caminos que nos encierra una
ves llegados a 1, porque siempre se fluye en una direccin, y adems tenemos
otro camino en 4 que es el que nos permite entrar en ese bucle, la cuestin gran
cuestin ahora es hay otro grafo cerrado?, se va atorar nuestro embudo en
algn momento?, para resolver eso hay que ver que una funcin nos permite ir
para adelante y otra para atrs,

Una funcin siempre hace que para cada elemento del dominio su imagen en el
rango sea mayor, x < f (x) y la otra funcin hace que el rango siempre sea
menor, x < g(x ) . de una forma general podemos ver los puntos de la imagen
cmo un conjunto de funciones por las que va pasar (g f )(x) es decir,
(... g f )( x ) , ahora... veamos a ese conjunto de funciones concatenadas como
una sola funcin,

Ahora la gran cuestin es saber si existe un grupo de funciones concatenadas, o

mejor dicho si existe una funcin compuesta, cuya composicin est dada por
puras funciones f(x) y g(x), tal que su entrada sea x y su salida sea x.

Si vemos el ciclo trivial, vemos que:

3 x+1
4
y 1 (x)=( g g f )( x)=
, y1 (1)=
(tiene la misma entrada y misma salida)

4
4
3 x+ 2
8
y 2 (x)=( g f g)(x)=
, y 2( 2)=
4
4

(entrada = salida, funcin compuesta por

puras f(x) y g(x))

y 3 (x)=( f g g)=

3 x+4
16
, y 3 (4)=
4
4

Pero hay ms funciones compuestas que tengan el mismo resultado,

entrada = salida?
Para demostrar que no, slo hay que usar la conjetura de Cataln (que realmente
es un teorema),
23 and 32

are two powers of natural numbers, whose values 8 and 9 respectively

are consecutive. The theorem states that this is the only case of two consecutive powers.
That is to say, that the only solution in the natural numbers of

x a y b=1
for a, b > 1, x, y > 0 is x = 3, a = 2, y = 2, b = 3.

https://en.wikipedia.org/wiki/Catalan's_conjecture
Si vemos que las funciones compuestas que estbamos haciendo son de la
forma, y z (x)= mx+ b =x
n

Por que siempre se debe cumplir que b=x ?

Es decir con si pudiramos partir de esa igualdad, al dividir por x, cada lado
tenemos
a

mx+b=nx , m+ 1=n , m=3 , n=2

y de ah es trivial, demostrar por la conjetura de Cataln que, no hay ms

soluciones, pero por la forma de generar y(x), donde empezamos por x sin
igualarlo a b, no se puede admitir eso como valido, as que por qu debe
cumplirse?