Supongamos que $f$ es irreducible en $\mathbb{Q}[x]$ y $\alpha$ es un número complejo tal que $f(\alpha)=f(\alpha+1)=0$ .
El objetivo es derivar una contradicción.
Dejemos que $n = \text{deg}(f)$ . Como f es irreducible en $\mathbb{Q}[x]$ y $\alpha$ es una raíz de $f$ no hay ningún polinomio no nulo en $\mathbb{Q}[x]$ de grado inferior a $n$ para lo cual $\alpha$ es una raíz.
Dejemos que $g(x) = f(x + 1) - f(x)$ .
Si $g$ es el polinomio cero, entonces para cada raíz $r$ de $f$ , $r+1$ también sería una raíz, por lo que $f$ tendría infinitas raíces, lo cual es una tontería $f$ es un polinomio no nulo por lo que no puede tener infinitas raíces.
Tenga en cuenta que $f(x+1)$ tiene el mismo coeficiente principal que $f(x)$ Por lo tanto $\text{deg}(g) < n$ .
Desde $f(\alpha)=f(\alpha+1)=0$ , $\alpha$ es una raíz de $g$ .
Pero entonces $g$ es un polinomio no nulo en $\mathbb{Q}[x]$ de grado inferior a $n$ , habiendo $\alpha$ como raíz, la contradicción.