13 votos

¿Cómo se encuentran todos $n$ tal que $\phi(n)|n$

Dónde $\phi(n)$ es la función phi de Euler, ¿cómo encontrar todas las $n$ tal que $\phi(n)|n$ ?

4 votos

2 votos

Utiliza la fórmula de la función totiente en función de los factores primos de n.

0 votos

@dayo Adeyemi: Hago esto y encuentro que todos los factores primos deben ser consecutivos, por lo tanto sólo pueden ser $2$ o $3$ ?

27voto

Observe que $\varphi(1) = \varphi(2) = 1$ Así que $\varphi(1) \mid 1$ y $\varphi(2) \mid 2$ .

Si $n > 2$ supongamos que la factorización en primos de $n$ es

$$n = p_1^{a_1} \ldots p_k^{a_k}$$

Entonces la fórmula de la función totiente da

$$\varphi(n) = (p_1 - 1)p_1^{a_1-1}\ldots (p_k - 1)p_k^{a_k-1}.$$

Desde $n>2$ siempre es un número par, por lo que $p_1=2$ debe aparecer como factor. A continuación observamos que $n$ no puede tener dos factores primos Impares. Si $a_2>0$ y $a_3>0$ entonces ambos $p_2-1$ y $p_3-1$ son pares, por lo que $2^{a_1+1}\mid \varphi(n)$ que es una contradicción.

Así que $n=2^{a_1}p^{a_2}$ para algún primo $p>2$ . Aquí $p-1\mid\varphi(n)\mid n$ Así que $p-1$ debe ser una potencia de dos, por ejemplo $p-1=2^\ell$ . Entonces $2^{a_1-1+\ell}\mid\varphi(n)$ por lo que debemos tener $\ell=1$ y $p=3$ .

Al final podemos comprobar que $n=1$ o $n=2^a3^b$ con $a>0$ , $b\ge0$ .

0 votos

Es una respuesta muy útil, ¡muchas gracias! Ahora entiendo este concepto mucho mejor

0 votos

Me siento un poco mal por esto. Con esto pretendía abordar el punto que quedaba abierto en la respuesta de m.k. Pero mientras lo escribía, fue borrado. Supongo que hay una lección que aprender aquí.

0 votos

Ah. Bueno, estoy muy agradecido a M.K. también. ¡Espero que lean esto!

-2voto

pedja Puntos 7773

Enfoque de fuerza cuasi bruta con Maple :

with(numtheory):
for n from 1 to 100 do
if n mod phi(n) = 0 then
print(n);
end if;
end do;

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