Ya has demostrado que $f(1)=1$. Conectar $m=1$ a continuación, se deduce que $f(f(n))=n$ para todos los $n$. En particular, $f$ es bijective. Ahora arbitrarias $m$ e $n$, establecimiento $k:=f(n)$ vemos que $f(k)=f(f(n))$ y así
$$\forall m,n:\ f(mf(n))=nf(m)\qquad\Leftrightarrow\qquad \forall k,m:\ f(km)=f(k)f(m),$$
lo que muestra que $f$ es completamente multiplicativa. En particular, esto significa que $f(2007)=f(3^2)f(223)$ porque $2007=3^2\times223$.
Ahora vamos a $p$ ser cualquier número primo, y supongamos $f(p)=ab$ para enteros positivos $a$ e $b$. Entonces
$$p=f(f(p))=f(ab)=f(a)f(b),$$
así que sin pérdida de generalidad $f(a)=1$. A continuación, $a=f(f(a))=f(1)=1$ e lo $f(p)$ es también el primer. Esto significa que $f$ permutes el conjunto de los números primos. Debido a $f(f(p))=p$ para todos los números primos esto significa $f$ está determinado completamente por una permutación de orden $2$ del conjunto de los números primos.
Yo se lo dejo a usted para comprobar que por el contrario, cada permutación de orden $2$ del conjunto de los números primos determina completamente multiplicativa función que satisface la ecuación funcional. Desde allí es fácil comprobar que el valor mínimo de $f(2007)$ es $2\times3^2=18$.