visto che non ho voglia di lavorare, metto un po' in ordine le asserzioni.
prendiamo $p$ polinomio a coefficienti interi/razionali/reali.
la tesi del problema è: esiste un polinomio $r$, a coefficienti interi/razionali/positivi, tale che $p(x)$ divide $r(x^k)$. il polinomio $r$ ha tra le sue radici le potenze $k$-esime delle radici di $p$. **
invece, se il polinomio $p(x^k)$ ha come radici le radici $k$-esime delle radici di $p$.
uff, ce l'ho fatta.
m.
* e **: dico che lo siamo tutti e due perché Anér non ha mai definito il polinomio $r$, anche se di fatto è lì nascosto