0

Suppose $p(x)$ is a polynomial over $\mathbb Z$ such that there exists a positive integer $k$ for which none of the integers $p(1), p(2), \ldots , p(k)$ is divisible by $k$. Prove that $p(x)$ has no integer zeros.

My attempts:

I tried to prove it with contradiction. So I assumed that it has an integer zero $\alpha$. With it I got $\alpha \gt k$ or $\alpha \lt 0$, $a_0 \neq 0$, $k\nmid a_0$ and $\alpha \mid a_0$ here $a_0$ is the constant term of polynomial. But I was not able to get a contradiction. I would really appreciate any hints or help on this question. Thank you! for your help.

dssknj
  • 612
  • 3
    Hint: $p(n) \equiv p(n + mk) \pmod k$ for $m, n \in \mathbb Z$. – Hw Chu Apr 11 '18 at 17:13
  • @HwChu Thank you for your comment. I answered the question using your hint. Will you please check that I have not misinterpreted your hint. – dssknj Apr 12 '18 at 17:14
  • (+1)ed for both answers. You probably also need to convince yourself the statement in the hint is true, if you have not. – Hw Chu Apr 12 '18 at 17:33
  • @HwChu I at first checked that. Expanding the polynomial with binomial theorem we get. R.h.s $p(n) +$ a part that is divisible by $k$. – dssknj Apr 12 '18 at 17:38
  • Great! Just making sure :) – Hw Chu Apr 12 '18 at 17:39

2 Answers2

1

Suppose it is not true. Then there is $b\in \mathbb{Z}$ such that $p(b)=0$. Let $a:=b\pmod k< k$. Then we have $$k\mid a-b \mid p(a)-p(b) = p(a)$$

So if $a>0$ we have a contradiction. If $a=0$ then $k|b$ and since $b-k\mid p(b)-p(k)$ we have again $k\mid p(k)$ a contradiction again.

nonuser
  • 90,026
1

Thank you @Hw Chu for the hint. This answer is based on @Hw Chu's Hint.

$p(n)\equiv p(n + mk)\mod k$ for any $n$ and $m$ in $\mathbb Z$. So $$p(\alpha)\equiv p(\alpha + mk)\mod k \\ 0\equiv p(\alpha + mk)\mod k$$ $k\mid p(\alpha + mk)$ We know that $k\nmid \alpha \implies \alpha = kq + r$ where $0\lt r\lt k$ $$k\mid p(\alpha + mk)\\ k\mid p(kq + r + mk)\\ \text{taking} \;m=-q\\ k\mid p(kq + r - kq)\\ k\mid p(r)$$ which is a contradiction. Hence $p(x)$ has no integer zeros.

dssknj
  • 612