7 votos

Intención de solución de prueba de $1994\mid 10^{900}-2^{1000}$ diferente $1994\mid 10^{9k}-2^{10k}$

A principios de la semana, mientras que la tutoría en el laboratorio de matemáticas, un estudiante vino a mí pidiendo ayuda en demostrar la siguiente declaración:

$$1994\mid 10^{900}-2^{1000}$$

Los números fueron demasiado grande para hacerlo a la fuerza bruta, $1994 = 2\cdot 997$ $997$ es un número primo, así que Ese poco es el teorema de poco de ayuda aquí.

Factoring $10^{900}-2^{1000} = 2^{900}(5^{450}+2^{50})(5^{225}+2^{25})(5^{225}-2^{25})$ reduce el problema a ver si $997$ divide cualquiera de los términos antes mencionados, pero que no parece ayudar mucho, ya sea como, de nuevo, los números involucrados son tan grandes.

Yo era capaz de hacer una reivindicación que si es cierto, podría conducir a una solución, pero no había manera de espera para ser verdad antes de tiempo, es decir, que $1994\mid 10^{9k}-2^{10k}$ por cada $k$. Como sucede, esta afirmación resultó ser cierto lo que produce el resultado deseado mediante el establecimiento $k=100$. Dándole la reclamación como una pista, fue capaz de continuar.

Como es necesaria que demuestre una mucho más fuerte declaración de la primera y de tomar una puñalada en la oscuridad, me preguntaba si esto era realmente la intención de la solución o si hay algo que me he perdido del que se obtiene el resultado un poco más fácilmente.

Existe una mejor alternativa en forma de demostrar esto?


Versión corta de mi prueba:

Deje $k=1$. A continuación, $10^{9}-2^{10} = 999998976=1994\cdot 501504$ por lo que el caso base se mantiene.

Asumir la demanda se mantiene para algunos $k\geq 1$. A continuación, para $k+1$ tenemos:

$10^{9(k+1)}-2^{10(k+1)} = 10^910^{9k}-2^{10}2^{10k} = (10^9+2^{10}-2^{10})10^{9k}-2^{10}2^{10k}$

$=2^{10}(10^{9k}-2^{10k})+(10^9-2^{10})10^{9k}$ que es la suma de los números divisibles por $1994$, lo que demuestra la demanda.

7voto

Oli Puntos 89

Contamos con también $$10^{900}=1000^{300}\equiv 3^{300}\pmod{997}.$ $ $$2^{1000}=(2^{10})^{100}\equiv (-27)^{100}\equiv (-3)^{300}\equiv 3^{300} \pmod{997}.$ $

Así $10^{900}-2^{1000}\equiv 0\pmod{997}$. Y por supuesto $10^{900}-2^{1000}\equiv 0\pmod{2}$.

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