6 votos

Conjeturar sobre las potencias de 2 en el primer factorizaciones de la serie $a_n = n(n+1)(n+2)$

He encontrado la siguiente ley y quisiera saber ¿qué piensa usted acerca de esto y si alguien puede explicar por qué esto es así. También, es esta ya conocida y probada?

Considere la siguiente serie: $$1\times2\times3, 2\times3\times4, 3\times4\times5,\ldots,n(n+1)(n+2)$$

o de manera más compacta:

$$a_n = n(n+1)(n+2)$$

Permite llevar la factorización prima de cada elemento de $a_n$:

$$2\times3, 2^3\times3, 2^2\times3\times5,2^3\times3\times5,\ldots$$

Permite tomar todas las facultades de $2$ en cada factorización prima en la anterior serie y crear una secuencia de ellos, y entonces el grupo de los elementos de la secuencia de tuplas con el tamaño de la $4$. El resultado de esto vamos a llamar a $p_1$. $$p_1 = (1,3,2,3),(1,4,3,4),(1,3,2,3),(1,5,4,5),\ldots$$

Parece que todos los $4$-tupla con impar índice en $p_1$$(1,3,2,3)$.

Vamos a eliminar todos los $4$-tuplas con posiciones impares de $p_1$ y se llamara $p_2$:

$$p_2 = (1,4,3,4),(1,5,4,5),(1,4,3,4),(1,6,5,6),\ldots$$

Ahora $p_2$ tienen $(1,4,3,4)$ en cada posición impar. Si tomamos el $p_3$ secuencia para tener sólo los elementos de $p_2$ que son, incluso con índices, $p_3$ tienen $(1,5,4,5)$ en cada posición impar. Y así sucesivamente... $p_n$ tienen $(1, n+2, n+1,n+2)$ en cada posición impar.

4voto

Ameer Deen Puntos 2903

Que $n=8k+1$. Entonces $a_{8k+1}=(8k+1)(8k+2)(8k+3)=2(8k+1)(4k+1)(8k+3)$, que muestra que el $2\mid a_{8k+1}$ $4\not\mid a_{8k+1}$. Del mismo modo,

$$a_{8k+2}=8(4k+1)(8k+3)(2k+1)$$ $$a_{8k+3}=4(8k+3)(2k+1)(8k+5)$$ $$a_{8k+4}=8(2k+1)(8k+5)(4k+3)$$

Mostrar que de hecho el $(1,3,2,3)$ siempre repetición sí mismo.

La siguiente parte está demostrando que el $a_{16k+5}$, $a_{16k+6}$, $a_{16k+7}$% y $a_{16k+8}$ tienen la misma propiedad. De hecho $$a_{16k+5}=2(16k+5)(8k+3)(16k+7)$$ $$a_{16k+6}=16(8k+3)(16k+7)(2k+1)$$ $$a_{16k+7}=8(16k+7)(2k+1)(16k+9)$$ $$a_{16k+8}=16(2k+1)(16k+9)(8k+5),$% $ de $ so the pattern $(1,4,3,4) también se repetirá para siempre.


En general, $$ \begin{align} a_{8km+4k-3}&=(8km+4k-3)(8km+4k-2)(8km+4k-1)\\&=2(8km+4k-3)(4km+2k-1)(8km+4k-1)\\ \\ a_{8km+4k-2}&=(8km+4k-2)(8km+4k-1)(8km+4k)\\ &=8k(4km+2k-1)(8km+4k-1)(2m+1)\\ \\ a_{8km+4k-1}&=(8km+4k-1)(8km+4k)(8km+4k+1)\\ &=4k(8km+4k-1)(2m+1)(8km+4k+1)\\ \\ a_{8km+4k}&=(8km+4k)(8km+4k+1)(8km+4k+2)\\&=8k(2m+1)(8km+4k+1)(4km+2k+1) \end{alinee el} $$ generates $(1, 3+v(k), 2+ v(k), 3+v(k)) $, denoting by $v (k) $ the power of $2 %#% Indicador de la # $.

0voto

HappyEngineer Puntos 111

Dejando $b_n$ ser la potencia máxima de $2$ que se divide el $n(n+1)(n+2)$.

Entonces su primera conjetura es que, para todo número entero $n\geq 0$:

$$(b_{8n+1},b_{8n+2},b_{8n+3},b_{8n+4})=(1,3,2,3)$$

La segunda declaración es que, para todo número entero $n\geq 0$:

$$(b_{16n+5},b_{16n+6},b_{16n+7},b_{16n+8})=(1,4,3,4)$$

Continuando, tenemos:

$$b_{32n+13},b_{32n+14},b_{32n+15},b_{32n+16})=(1,5,4,5)$$

y más generalmente, si $k=2^j$ $j\geq 2$ a continuación:

$$(b_{2kn+(k-3)},b_{2kn+(k-2)},b_{2kn+(k-1)},b_{2kn+k})=(1,j+1,j,j+1)$$

Puedes ver también expresar esto diciendo que:

$$(b_{4n-3},b_{4n-2},b_{4n-1},b_{4n}) = (1,k+3,k+2,k+3)$$ where $k$ is the largest number such that $2^k$ is a divisor of $n$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X