Ich nehme mal an, dass p2∣∣ak heißen soll \(p^2| a_k\).
Ich gehe ferner von \(d\geq 2\) aus.
Sei \(x=r/s\) mit ganzen Zahlen \(r,s\neq 0\) und \(P(x)=0\).
Wir setzen \(r\) und \(s\) als teilerfremd voraus,
\(x\) also als gekürzten Bruch.
\(P(x)=0\Rightarrow s^dP(x)=0\), also
\(r^d=-\sum_{k=0}^{d-1}s^{d-k}a_kr^k\equiv 0\) mod \(p\),
damit \(p|r\) und somit \(p^d|r^d\). Sukzessive liefert dies
\(p^2| s^{d-k}a_k\) für \(k=0,\cdots, d-1\).
Insbesondere \(p^2|s^da_0\Rightarrow p|s^d\Rightarrow p|s\)
im Widerspruch zur Teilerfremdheit von \(r\) und \(s\).