¿Qué hay de malo en este argumento?
Estoy seguro de que estoy malinterpretando algo o hay un error en este argumento. Este argumento está sacado del responder dado a una de mis preguntas sobre la Conjetura de Collatz.
Déjalo:
- $v_2(x)$ sea el Valoración 2-ádica de $x$
- $C(x) = \dfrac{3x+1}{2^{v_2(3x+1)}}$
- $x_1>1, x_2>1, \dots, x_n>1$ sea la secuencia de $n$ enteros Impares distintos para cada aplicación de $C(x_i)$ de manera que para cada $x_i$ :
- para $i > 1$ , $x_i = C(x_{i-1})$
- $x_i > 1$
- $x_{\text{min}}, x_{\text{max}}$ sean el valor mínimo y máximo de $x_1, x_2, \dots, x_n$
- $C_1(x) = C(x)$
- $C_n(x) = C(C_{n-1}(x))$
Observaciones:
- $\left(3 + \dfrac{1}{x_{i-1}}\right) = \left(\dfrac{x_i}{x_{i-1}}\right)2^{v_2(3x_{i-1} + 1)}$
- $x_i = \dfrac{3x_{i-1}+1}{2^{v_2(3x_{i-1}+1)}}$
- $2^{v_2(3x_{i-1}+1)}x_i = 3x_{i-1} + 1$
- $\prod\limits_{k=1}^{n}\left(3 + \frac{1}{x_k}\right) = \left(\dfrac{x_{n+1}}{x_1}\right)\prod\limits_{k=1}^n2^{v_2(3x_k + 1)}$
Esto se deduce directamente de la observación anterior.
- $\left(3 + \dfrac{1}{x_{\text{max}}}\right)^{n} \le \left(\dfrac{x_{n+1}}{x_1}\right)\prod\limits_{k=1}^n2^{v_2(3x_k + 1)} \le \left(3 + \dfrac{1}{x_{\text{min}}}\right)^{n}$
Esto se deduce directamente de la observación anterior.
- si existe un ciclo no trivial, $n > 1$
$x = \dfrac{3x+1}{2^{v_2(3x+1)}}$ implica $x(2^{v_2(3x+1)} - 3) = 1$ lo que implica que $x=1$
Reclamación:
Si hay un ciclo no trivial, la suma de las potencias de $2$ en el ciclo son la mínima potencia entera de $2$ mayor que $3^n$
Argumento:
(1) Supongamos que $x_1>1, x_2>1, \dots, x_n>1$ formar un $n$ -ciclo tal que:
- $x_i = C(x_{i-1})$
- $x_i = C_n(x_i)$ si $i \ge 1$
- Cada $x_i$ es distinto. Si $j < n$ , $x_{i+j} \ne x_i$
(2) Que $m = \sum\limits_{k=1}^{n} v_2(3x_k + 1)$
(3) A partir de la tercera observación y dado que cada $x_i$ en el ciclo es distinto y se repite:
$$2^m = \left(\dfrac{x_{\text{i+n}}}{x_{i}}\right)2^m < \left(3 + \dfrac{1}{x_{\text{min}}}\right)^{n}$$
(4) Supongamos que $2^{m-1} > 3^n$
(5) $2\times3^n < 2^m < \left(3 + \dfrac{1}{x_{\text{min}}}\right)^{n}$
(6) Pero entonces tenemos una contradicción porque $x_{\text{min}} < 1$ lo cual es imposible ya que todos los $x_i > 1$ :
- $2^{\frac{1}{n}}3 < 3+ \dfrac{1}{x_{\text{min}}}$
- $x_{\text{min}}\left(3(2^{\frac{1}{n}} - 1)\right) < 1$
- $x_{\text{min}} < \dfrac{1}{3(2^{\frac{1}{n}} - 1)} < \dfrac{1}{3}$