Is it possible for an irreducible polynomial with rational coefficients to have three zeros in an arithmetic progression?

Assume that $p(x)\in \Bbb{Q}[x]$ is irreducible of degree $n\ge3$.

Is it possible that $p(x)$ has three distinct zeros $\alpha_1,\alpha_2,\alpha_3$ such that $\alpha_1-\alpha_2=\alpha_2-\alpha_3$?

As also observed by Dietrich Burde a cubic won't work here, so we need $\deg p(x)\ge4$. The argument goes as follows. If $p(x)=x^3+c_2x^2+c_1x+c_0$, then $-c_2=\alpha_1+\alpha_2+\alpha_3=3\alpha_2$ implying that $\alpha_2$ would be rational and contradicting the irreducibility of $p(x)$.

This came up when I was pondering this question. There the focus was in minimizing the extension degree $[\Bbb{Q}(\alpha_1-\alpha_2):\Bbb{Q}]$. I had the idea that I want to find a case, where $\alpha_1-\alpha_2$ is fixed by a large number of elements of the Galois group $G=\operatorname{Gal}(L/\Bbb{Q})$, $L\subseteq\Bbb{C}$ the splitting field of $p(x)$. One way of enabling that would be to have a lot of repetitions among the differences $\alpha_i-\alpha_j$ of the roots $\alpha_1,\ldots,\alpha_n\in\Bbb{C}$ of $p(x)$. For the purposes of that question it turned out to be sufficient to be able to pair up the zeros of $p(x)$ in such a way that the same difference is repeated for each pair (see my answer).

But can we build "chains of zeros" with constant interval, i.e. arithmetic progressions of zeros.

Variants:

• If it is possible for three zeros, what about longer arithmetic progressions?
• Does the scene change, if we replace $\Bbb{Q}$ with another field $K$ of characteristic zero? (Artin-Schreier polynomials show that the assumption about the characteristic is relevant.)

The answer to your question is NO. Suppose by contradiction that such a polynomial $P$ exists, and denote by $S$ the set of roots. By hypothesis, some $a\in S$ can be written $a=\frac{b+c}{2}$ where $b,c$ are distinct elements of $S$. But since the Galois group acts transitively on $S$, this property holds for all $a\in S$. This motivates the following definition :

Definition. A (non-empty) set $S\subseteq {\mathbb C}$ is AP-extensive if any $a\in S$ can be written $a=\frac{b+c}{2}$ where $b,c$ are distinct elements of $S$.

Note that an AP-extensive $S\subseteq {\mathbb R}$ cannot have a largest element. In particular, any (non-empty) AP-extensive $S\subseteq {\mathbb R}$ is necessarily infinite. This still holds in $\mathbb C$ :

Lemma. If $S\subseteq {\mathbb C}$ is AP-extensive, then $S$ is infinite (or empty).

Proof of lemma. Suppose by contradiction that $S$ is finite and nonempty. Then the set $\lbrace b\in{\mathbb R}\ | \ \exists a, a+ib\in S\rbrace$ is finite also and therefore has a largest element $b_0$. Let $S_1=\lbrace z\in S \ | \ Im(z)=b_0 \rbrace$. It is easy to see that if $a=\frac{b+c}{2}$ with $a,b,c\in S$ and further $a\in S_1$, then $b$ and $c$ must be in $S_1$ also. So $S_1$ is AP-extensive as well. Next, let $S_2=S_1-ib_0$. Then $S_2$ is AP-extensive also, but by construction $S_2\subseteq {\mathbb R}$. So $S_2$ (and hence $S_1,S$ also) must be infinite which is impossible. This concludes the proof.