Mi idea para la solución es algo como esto:
Desde $2 | n$, $n = 2^a p_1^{e1} p_2^{e2} \cdots p_t^{et}$ donde $a \geq 1$.
Entonces, $n/2 = \phi(2^a) \phi(p_1^{e1}) \phi(p_2^{e2}) \cdots \phi(p_t^{et})$.
Mirando el caso de que $t = 0$,
$n/2 = \phi(2^a) = 2^{a-1}$ y por lo tanto $n = 2^a$.
Por otra parte, $n = 2^a \phi(p_1^{e1}) \phi(p_2^{e2}) \cdots \phi(p_t^{et}) = n = 2^a p_1^{e1} p_2^{e2} \cdots p_t^{et}$. Desde $\phi(n) < n$, esto es una contradicción, y por lo tanto, el único $n$ que se aplican son las potencias de 2.
¿Es esto correcto? También, se nos pidió encontrar $n$ tal que $\phi(n) = n/3$. ¿Cómo puedo que una?