6 votos

Demuestre que si $n$ es un número entero positivo y $n|2^n-1$ entonces $n=1$ .

Tengo muy poca experiencia con las pruebas y me cuesta empezar con esto.

Hasta ahora he tratado de demostrarlo usando la ecuación de la división $a=bq+r$ para demostrar que el resto $r+1$ nunca es cero para $n>1$ para $2^n=nq+(r+1)$ . Los casos triviales son sólo eso, y la parte con la que supongo que estoy teniendo problemas es cómo generalizar eso, para aplicarlo a cualquier n (si es que es una buena manera de hacerlo).

0 votos

Sí, accidentalmente omití alguna información, el título ha sido editado en consecuencia.

2 votos

1 votos

$2^n - 1$ me parece una diferencia de poderes. Se trata de una cuestión de (no) divisibilidad. ¿Podemos factorizar tal diferencia?

5voto

Lissome Puntos 31

Supongamos que $n \neq 1$ .

Dejemos que $p$ sea el primo más pequeño que divide a $n$ . Escriba $n= p^k \cdot l$ .

Ahora, usted sabe que $$1 \equiv 2^n \equiv (2^l)^{p^k} \pmod p$$

Utilice el hecho de que $a^p \equiv a \pmod p$ para concluir que $ (2^l)^{p^k} \equiv 2^l \pmod{p}$ .

Esto demuestra que $$2^l \equiv 1 \pmod{p}$$ También sabe que $$2^{p-1} \equiv 1 \pmod{p}$$

Esto hace que $2^{\gcd (l, p-1)}\equiv 1 \pmod{p}$ .

Ahora bien, si $\gcd(l, p-1) \neq 1$ es divisible por un primo $q$ . Este primo divide $l$ por lo que $n$ y $q$ también divide $p-1$ y por lo tanto es menor que $p$ . Pero esto contradice que $p$ es el primo más pequeño que divide a $n$ .

Por lo tanto, podemos concluir que $\gcd (l, p-1)=1$ .

Así, $2^1 \equiv 1 \pmod{p} \Rightarrow p\mid 2-1=1$ .

Esto es una contradicción.

0 votos

Muy bien, $2^n$ es siempre un número par, por lo que el menor $p$ será siempre 2, lo que da como resultado $(l,p-1)=1$ pero 2 no es congruente con 1 (mod p). ¿Es eso correcto, o me he confundido?

0 votos

@Kaliber Si $p|n$ y $n|2^n-1$ entonces $p|2^n-1$ y por lo tanto $p$ es impar. $p$ no puede ser $2$ . La cuestión es que es irrelevante lo que $p$ es, ¿cuáles son los dos divisores más pequeños de $l$ ?

0 votos

Empiezo a sentirme realmente estúpido ahora. Bien, entonces si $p$ es impar, entonces $n$ es impar o par, eso haría que los divisores más pequeños de $l$ , $1$ y $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