Autor Tema: Intento de prueba de conjetura de Collatz

0 Usuarios y 1 Visitante están viendo este tema.

24 Febrero, 2026, 11:46 pm
Respuesta #30

Richard R Richard

  • Ingeniero Industrial
  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,054
  • País: ar
  • Karma: +2/-0
  • Sexo: Masculino
  • Dentro de la ciencia todo,fuera de la ciencia nada
Pero podés calcular números que se reducen al mismo impar con la siguiente fórmula cerrada:

\[
n_s = 4^sn_0 + \frac{4^s-1}{3} : s\ge 0
\]

que satisface la recurrencia afín:

\[
n_{s+1} = 4n_s+1
\]

Si trabajas con el mapa reducido

\[
T(n) = \frac{3n+1}{2^{\nu_2(3n+1)}}
\]

todos los números que obtienes con la fórmula que te puse arriba terminan en el mismo impar.
De donde sale eso? , donde puedo leer algo, para no desviar el hilo para que me lo intentes  explicar..




Saludos  \(\mathbb {R}^3\)

25 Febrero, 2026, 04:36 pm
Respuesta #31

danizafa

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 284
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
    • Artículos:
Pero podés calcular números que se reducen al mismo impar con la siguiente fórmula cerrada:

\[
n_s = 4^sn_0 + \frac{4^s-1}{3} : s\ge 0
\]

que satisface la recurrencia afín:

\[
n_{s+1} = 4n_s+1
\]

Si trabajas con el mapa reducido

\[
T(n) = \frac{3n+1}{2^{\nu_2(3n+1)}}
\]

todos los números que obtienes con la fórmula que te puse arriba terminan en el mismo impar.
De donde sale eso? , donde puedo leer algo, para no desviar el hilo para que me lo intentes  explicar..






Hola Richard, es una formulación mia creo... No la he leído en ningún lugar... En la sección La revista del foro puse algo que escribí... Te dejo el link al hilo

https://foro.rinconmatematico.com/index.php?topic=130128.0

Saludos
Tengo una demostración de la Hipotesis de Riemann, pero es demasiado grande para caber en este margen.

11 Marzo, 2026, 07:00 pm
Respuesta #32

mongar

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 296
  • Karma: +0/-0
  • Sexo: Masculino

 Se puede construir una cadena tan larga (en número de términos ) como se quiera y que no escape a \(  4, 2, 1  \).
 
 inicio: \(  12q + 7.   q >_= 0 \),
 
 Término 1º) \(  18q + 11 \).

 2º)  \(  54s + 17,  q = 2s \).

 3º)  \(  162l + 107,  s = 2l + 1 \)

 4º)  \(  486m + 161,  l = 2m \).

 5º)  \(  1458r + 971,  m = 1 + 2r  \).

  6º  \(  4374f + 1457,  r = 2f \).

  --------------------------------------------

 Los términos se obtienen utilizando: \( \displaystyle\frac{(6(2q + 1) + 1)3 + 1}{2} \)

 Al menos existe una cadena de términos estrictamente ascendentes: ordenados con >, y que no termina en \( 4, 2, 1  \).

 Por lo que podemos decir que la conjetura de Collatz es falsa. Saludos.

 

 

11 Marzo, 2026, 07:40 pm
Respuesta #33

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola


 Se puede construir una cadena tan larga (en número de términos ) como se quiera y que no escape a \(  4, 2, 1  \).

 Si con esto quieres decir que fijado un número \( k \) tan grande como se quiera, se puede escoger siempre un número \( n \) de manera que en las \( k \) primeras iteraciones no se caiga en ese ciclo: eso es trivialmente cierto.

Spoiler
- Si consideras como términos distintos simplemente dividir por \( 2 \) basta tomar \( 2^{k+1} \).
 - Si entendemos que nos referimos a la función de Collatz reducida \( t(n) \) (para los impares hacer \( 3n+1 \) y luego dividir por dos hasta que vuelva a ser impar), entonces basta tener en cuenta que dada un impar \( m \) no múltiplo de \( 3 \) siempre puedes construirse otro tal que \( t(n)=m \) y que no sea múltiplo de \( 3 \). Esto equivale a que se pueda escoger un exponente \( p \) tal que:

 \( \dfrac{3n+1}{2^p}=m \) equivalentemente \( n=\dfrac{2^pm-1}{3} \) sea entero y no múltiplo de \( 3 \).

Equivalentemente:

\( 2^pm=4,7 \) mod \( 9 \)

Como \( 2^p \) puede ser \( 1,2,4,5,7,8 \) mod \( 9 \) y \( m=1,2,4,5,7,8 \) esa congruencia siempre tiene solución.
[cerrar]

 Y por supuesto no tiene nada que ver con que la conjetura de Collatz sea falsa. Pueden existir cadenas que en un millón de términos (y de longitud arbitraria) que no lleguen a \( 4,2,1 \) y eso no quiere decir que la conjetura sea falsa.
 
Citar
inicio: \(  12q + 7.   q >_= 0 \),
 
 Término 1º) \(  18q + 11 \).

 2º)  \(  54s + 17,  q = 2s \).

 3º)  \(  162l + 107,  s = 2l + 1 \)

 4º)  \(  486m + 161,  l = 2m \).

 5º)  \(  1458r + 971,  m = 1 + 2r  \).

  6º  \(  4374f + 1457,  r = 2f \).

Aquí parece que pretendes construir una sucesión de 6 términos. Bien. ¿Y...?

Citar
Al menos existe una cadena de términos estrictamente ascendentes: ordenados con >, y que no termina en \( 4, 2, 1  \).

 Por lo que podemos decir que la conjetura de Collatz es falsa. Saludos.

 Y esto como dije antes no veo de donde sale. Si ahora afirmas que la conjetura de Collatz es falsa es muy fácil: da un número \( n \) que nunca llegue a \( 1 \) al aplicar sucesivamente la función de Collatz.

Saludos.

12 Marzo, 2026, 02:41 pm
Respuesta #34

mongar

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 296
  • Karma: +0/-0
  • Sexo: Masculino

 Te sugiero que vuelvas a leer mis proposiciones con atención y detenimiento.

12 Marzo, 2026, 06:30 pm
Respuesta #35

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Te sugiero que vuelvas a leer mis proposiciones con atención y detenimiento.

  Te he hecho un comentario muy concreto y detallado sobre tu último mensaje; has afirmado que la conjetura de Collatz es falsa y en mi opinión (que he justificado) sin fundamente alguno.

 Si en algo te he interpretado mal es fácil:  "mira Luis aquí dices esto pero yo me refería a esto otro; o esto que dices no es correcto, por este motivo (y aquí puedes citar algún mensaje previo tuyo si procede=".

 Si prefieres no aclarar nada estás en tu derecho obviamente.

Saludos.

13 Marzo, 2026, 02:27 am
Respuesta #36

Richard R Richard

  • Ingeniero Industrial
  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,054
  • País: ar
  • Karma: +2/-0
  • Sexo: Masculino
  • Dentro de la ciencia todo,fuera de la ciencia nada
Sigo sin entender muy bien el latex de lo que nos quieres mostrar, aver si es esto

Citar
Se puede construir una cadena tan larga (en número de términos ) como se quiera y que no escape a \(  4, 2, 1  \).
 
 inicio: \(  12q + 7 \quad /\, q \geq 0 \),
 
 Término 1º) \(  18q + 11 \).

 2º)  \(  54s + 17 \quad /\,  q = 2s \).

 3º)  \(  162l + 107 \quad /\, s = 2l + 1 \)

 4º)  \(  486m + 161 \quad /\, l = 2m \).

 5º)  \(  1458r + 971 \quad /\, m = 1 + 2r  \).

  6º  \(  4374f + 1457 \quad /\,  r = 2f \).
  --------------------------------------------
 Los términos se obtienen utilizando: \( \displaystyle\frac{(6(2q + 1) + 1)3 + 1}{2} \)

Yo no he comprendido que quieres hacer con eso.

Por favor elije el $$q$$ que quieras , y por favor escribe un ejemplo como calculas los 6 términos y su resultado  y dinos como continua la órbita ... todas las que he visto terminan en 4,2,1, 

 
Citar
Al menos existe una cadena de términos estrictamente ascendentes: ordenados con >, y que no termina en \( 4, 2, 1  \).

 Por lo que podemos decir que la conjetura de Collatz es falsa. Saludos.

Hola, Solo es falsa si muestras que existe el número $$n$$ que pertenece a tu órbita , que aplicando la función de Collatz  nunca llega a 1.

Hay 3 tipos de órbitas ,

1) las que llegan a 1 y todos hemos comprobado con millones de ejemplos diversos de $$n$$ de inicio y todas llegan a 1 en una cantidad finita de pasos.

2) las que se supone descienden del infinito llegan a un número mínimo y luego ascienden al infinito , nadie ha visto ni dado un ejemplo, obviamente no se podría comprobar pues requiere infinitos pasos, previos y posteriores al ejemplo.

3)Y las que  marcado un número por la que pasa la órbita en un  número finito de pasos se repite el mismo número, solo se halló un ejemplo el 1421.   Este es un ciclo de 3 números 1,2 y 4 , si se encuentra un ciclo habrá dos números un tanto mas importantes que otros el mínimo y el máximo, pero todos serán especiales, porque a partir de cualquiera nunca descenderás a 1.... o hay muchos o no hay ninguno.

Diciendo que hay cadenas que  no descienden y afirmando previamente que no hay ciclos entonces te refieres a las de tipo 2) , entonces solo dinos un número que pertenece a la órbita con el cual núnca podremos llegar a 1 aplicando la función, por mas que pongamos al ordenador mas potente a trabajar millones de años.

Tu número  habrá cumplir dos cosas
  • Que la órbita generada a partir de él será infinita y de modo que no puede repetir ningún número, sino será un ciclo.
  • Cada número que pertenezca a la órbita , al ser multiplicado por $$2^k$$ con $$k\in[1, \infty)$$ tampoco descenderá a 1, así que si encuentras un número que no desciende  estas encontrando infinitos que tampoco lo hacen, como tampoco lo harán las ramas que lleguen a cualquier $$3mod1$$ que pertenezca a conjunto de esos múltiplos de los elementos de la órbita y las órbitas que enlacen con ellos.

Resumiendo  si hay un ciclo , hay infinitos números mayores ( y una cantidad finita de menores) que los del ciclo que no descienden a 1 tampoco y cierta parte de la órbita comenzará a repetirse periódicamente, por lo que entonces destacará el elemento mínimo ... Que dicho sea de paso llevando agua a mi cántaro, es el que escojo como punto de inicio para calcular cualquier posible ciclo, que descubierto permita afirmar que la conjetura es falsa.
Saludos  \(\mathbb {R}^3\)

28 Marzo, 2026, 04:55 pm
Respuesta #37

mongar

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 296
  • Karma: +0/-0
  • Sexo: Masculino

  Prosigamos. Existe al menos una cadena que no tiene como escape \(  8, 4, 2, 1  \), los términos de esta cadena admiten un orden total con: >, es decir un término es mayor que el anterior y menor que el siguiente.

  Sea \(  X_n \), el valor del término  enésimo:\( \displaystyle\frac{3^{n+1}( 1+ 2^2 + 2^4 + 2^6 +.... + 2^n ·a_n ) + 3^{n-1}· 2 +3^{n-2} + 3^{n-3} ·2 + 3^{n-4}· 2^2 + 3^{n-5}· 2^3 +.... + 3 ·2^{n-3} + 2^{n-2}}{2^{n-1}} \). \( a_n \), mayor o igual que \(  0 \).

  Aplicando el recíproco obtenemos el inicio de la cadena; \( \displaystyle\frac{X_n· 2^n - 2^{n-1} - 3· 2^{n-2} - 3^2·2^{n-3}- ...- 3^{n-2} · 2 - 3^{n-1}}{3^n} \). Saludos.

30 Marzo, 2026, 12:15 pm
Respuesta #38

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola


  Prosigamos. Existe al menos una cadena que no tiene como escape \(  8, 4, 2, 1  \), los términos de esta cadena admiten un orden total con: >, es decir un término es mayor que el anterior y menor que el siguiente.

  Sea \(  X_n \), el valor del término  enésimo:\( \displaystyle\frac{3^{n+1}( 1+ 2^2 + 2^4 + 2^6 +.... + 2^n ·a_n ) + 3^{n-1}· 2 +3^{n-2} + 3^{n-3} ·2 + 3^{n-4}· 2^2 + 3^{n-5}· 2^3 +.... + 3 ·2^{n-3} + 2^{n-2}}{2^{n-1}} \). \( a_n \), mayor o igual que \(  0 \).

  Aplicando el recíproco obtenemos el inicio de la cadena; \( \displaystyle\frac{X_n· 2^n - 2^{n-1} - 3· 2^{n-2} - 3^2·2^{n-3}- ...- 3^{n-2} · 2 - 3^{n-1}}{3^n} \). Saludos.

No sé si te entiendo. ¿Qué quieres decir con "una cadena que no tiene como escape \(  8, 4, 2, 1  \)"?. ¿Te refieres a un número en cuya órbita nunca se llega a \( 8,4,2,1 \)?.

Si te refieres a eso, ¿cuál sería ese número concreto?.

Si no te refieres a eso, no sé a que te refieres. Por favor acláralo, y lo mejor sería con un ejemplo concreto. Sin formulitas. Los números concretos.

Saludos.

01 Abril, 2026, 04:11 pm
Respuesta #39

mongar

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 296
  • Karma: +0/-0
  • Sexo: Masculino


  Quiero decir que se puede construir una cadena con los términos que se quiera que sea siempre ascendente, cada término mayor que el anterior y menor que el siguiente, y por lo tanto no tiene como escape\(  4, 2, 1  \).

 Veamos  un caso particular: \( \displaystyle\frac{3^8(1+2^2+2^6 + 2^7 a_6) + 3^6·2 + 3^5 + 3^4·2 + 3^3·2^2 + 3^2·2^3 + 3·2^4 + 2^5}{2^6} \) , con a_6 = 0, cuando \( a_n \), es distinto de 0, estamos en el interior de la cadena y no al final.

 Si aplicamos a \( 8747 \), el recíproco obtenemos la cadena descendente: \( 5831, 3887. 2591, 1727, 1151, 767, 811, 511  \), que tiene como inicio \(  511  \), que responde a los números de la forma \(  6(1 + 2q) + 1 \), que son el inicio de la cadena ascendente. Saludos.