É sobre esse problema: (Irã 2007) Existe uma sequência de inteiros a_0, a_1, a_2, ... tais que (a_i,a_j)=1 para i diferente de j e para todo n inteiro positivo a_0 + a_1 x +... +a_n x^n é irredutível em Z[x]?
No fórum AoPS, vi que a solução usa o fato de que Se toda raiz complexa α de f satisfaz |α|<1, então f é irredutível em Z Tentei procura uma demonstração disso na internet e não encontrei. Alguém sabe como demonstrar isso? Link da solução: http://artofproblemsolving.com/community/c6h149740p847418 -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.