Lo que debemos hacer es mirar en cambio el polinomio $$Q(z) = (1-z)P(z) = (1-z)\left(\sum_{i=0}^n a_iz^i \right) = a_0 -a_n z^{n+1} + \sum_{i=1}^n (a_i-a_{i-1})z^i$ $ ahora, sea una raíz de $|z|>1$, $P(z)$ y por lo tanto, una raíz de $Q(z)$. Por lo tanto, tenemos $a_0 + \sum_{i=1}^n (a_i-a_{i-1})z^i = a_n z^{n+1}$, entonces tenemos\begin{aligned} |a_n z^{n+1}| &= |a_0 + \sum_{i=1}^n (a_i-a_{i-1})z^i|
\\ & \le a_0 + \sum_{i=1}^n (a_i-a_{i-1})|z^i| \\ & < a_0|z^n| + \sum_{i=1}^n (a_i-a_{i-1})|z^n| \\ & = |a_n z^n|\end{alineado} una contradicción.
Para un buen artículo sobre polinomios enteros, vea aquí. (Su problema es Proposición 10)