Dónde $\phi(n)$ es la función phi de Euler, ¿cómo encontrar todas las $n$ tal que $\phi(n)|n$ ?
Es una respuesta muy útil, ¡muchas gracias! Ahora entiendo este concepto mucho mejor
Dónde $\phi(n)$ es la función phi de Euler, ¿cómo encontrar todas las $n$ tal que $\phi(n)|n$ ?
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$ .
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í.
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.
4 votos
mathforum.org/kb/ y oeis.org/A007694
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$ ?
2 votos
@LHS piénsalo. Puede $n$ o ¿Puede $n$ ser impar?
0 votos
@Kv Raman: n no puede ser primo, a menos que sea igual a la función totiente, sin embargo asumo que tampoco puede ser impar?
0 votos
@LHS Eso es correcto, sólo quería ver si se podía pensar más.