Me parece que sim. Comecei desta forma: Sabemos que se d_m é o número de divisores de m, então o produto dos divisores de m é m^(d_m/2). Assim, temos que m^(d_m/2) = n^(d_n/2) e, portanto, m^d_m = n^d_n. Os primos que aparecem nas fatorações de m e de n são exatamente os mesmos, só os expoentes podem ser diferentes.
Mas isso ainda não levou a uma conclusão. Artur
