¿Cómo puedo mostrar que $4^{1536} - 9^{4824}$ se puede dividir por $35$ sin dejar residuo?
Ni siquiera estoy seguro de cómo comenzar a resolver esto, ¡cualquier pista es bienvenida!
$$(4^{1536} - 9^{4824}) \pmod{35} = 0$$
¿Cómo puedo mostrar que $4^{1536} - 9^{4824}$ se puede dividir por $35$ sin dejar residuo?
Ni siquiera estoy seguro de cómo comenzar a resolver esto, ¡cualquier pista es bienvenida!
$$(4^{1536} - 9^{4824}) \pmod{35} = 0$$
Darse cuenta de que es divisible si y solo si $5$ y $7$ lo dividen. Observa que
$$4^{1536}-9^{4824}\equiv_5 (-1)^{1536}-(-1)^{4824}= 1-1=0$$
entonces para el $7$, observa que:
$$4^{1536}-9^{4824}\equiv_7 (16)^{768}-(2)^{4824}\equiv_7 (9)^{768}-(8)^{1608}\equiv (2)^{768}-(1)^{1608}$$
Pero $1^{1608}=1$ y $2^{768}=8^{256}$, así que $$(2)^{768}-(1)^{1608}\equiv 8^{256}-1\equiv 1^{256}-1=0$$
Para el caso de la división por $7$, reduje los módulos dividiendo por $2$ e intentando encontrar un número congruente a $1$. Si usas el pequeño teorema de Fermat, podrías reducir las operaciones.
Dado que $35=7*5$ y $5,7$ son primos, basta con demostrar que es divisible por ambos $5$ y $7$. Para hacer esto, nota que $4\equiv 9\equiv -1$ mod $5$, entonces $$ 4^{1536}-9^{4824}\equiv (-1)^{1536}-(-1)^{4824}\equiv 1-1\equiv 0\mod 5. $$ Para demostrar la divisibilidad por $7$ se requiere un poco más de trabajo; intenta demostrar que las potencias sucesivas de un elemento eventualmente ciclan mod $7$, y entonces podrás obtener una forma agradable para ellos.
Para la divisibilidad por 7, invoque el pequeño teorema de Fermat cuando $a\ne p, a^{p-1} = 1 \pmod p$ para todos los primos p.
Tenga en cuenta que, para valores enteros crecientes de $n$, el valor de $4^n \mod 35$ (llamémoslo $r_1$) muestra un comportamiento cíclico. En particular, para cualquier $n \equiv k \mod 6$, tenemos
$$ k=0\rightarrow r_1 =1$$ $$ k=1\rightarrow r_1 =4$$ $$ k=2\rightarrow r_1 =16$$ $$ k=3\rightarrow r_1 =29$$ $$ k=4\rightarrow r_1 =11$$ $$ k=5\rightarrow r_1 =9$$
De manera similar, considerando valores enteros crecientes de $n$, el valor de $9^n \mod 35$ (llamémoslo $r_2$) muestra el siguiente comportamiento cíclico para cualquier $n \equiv k \mod 6$. Tenemos
$$ k=0\rightarrow r_2 =1$$ $$ k=1\rightarrow r_2 =9$$ $$ k=2\rightarrow r_2 =11$$ $$ k=3\rightarrow r_2 =29$$ $$ k=4\rightarrow r_2 =16$$ $$ k=5\rightarrow r_2 =4$$
Ahora tanto $1536$ como $4824$ son $\equiv 0 \mod 6$, por lo que tanto $4^{1536}$ como $9^{4824}$ son $\equiv 1 \mod 35$.
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.
1 votos
La divisibilidad por $5$ es fácil debido a que $4\equiv 9\equiv -1\mod 5$
0 votos
Para la divisibilidad por $7$, reduce los exponentes módulo $6$ (también puedes reemplazar $9$ por $2$). Resulta que obtenemos $4^0-2^0=0$, por lo que el número también es divisible por $7. La reducción se puede hacer debido al pequeño teorema de Fermat que implica que $4^6\equiv 2^6\equiv 1\mod 7$