Considere la posibilidad de un general polinomio $g$ de grado $m,$ $m>0.$ Vamos
$$
g(x) = a_m x^m + a_{m-1} x^{m-1} + \cdots + a_0,
$$
donde $ a_m \neq 0.$
Entonces
\begin{align}
g(x + 1) &= a_m (x+1)^m + a_{m-1} (x+1)^{m-1} + \cdots + a_0 \\
&= a_m\left(x^m + mx^{m-1} + \cdots + 1\right)
+ a_{m-1}\left(x^{m-1} + \cdots + 1\right) + \cdots + a_0 \\
&= a_m x^m + \left(ma_m + a_{m-1}\right)x^{m-1} + \cdots + b_0,
\end{align}
donde $b_0$ es una constante y todos los términos que no se muestra (los términos en la "$\cdots$") son términos de grado $m-2$ o menos.
Vemos que $g(x+1)$ es también un polinomio de grado $m.$
Un cálculo similar muestra que $g(x-1)$ es un polinomio de grado $m$;
por inducción, por lo que es $g(x+k)$ para cualquier entero $k$, a pesar de que la
más de lo que necesitamos saber para este problema en particular.
Tomando la diferencia
\begin{align}
g(x + 1) - g(x)
&= a_m x^m + \left(ma_m + a_{m-1}\right)x^{m-1} + \cdots + b_0 \\
& \quad - a_m x^m + a_{m-1} x^{m-1} + \cdots +a_0 \\
&= ma_m x^{m-1} + \cdots + (b_0 - a_0), \\
\end{align}
que es un polinomio de grado $m-1,$ desde $m >0$ $a_m \neq 0.$
Que es, en general, donde $g$ es un polinomio de grado positivo $m,$
la diferencia $g(x + 1) - g(x)$ es un polinomio de grado $m-1.$
Deje $h(x) = g(x) - g(x-1).$
Desde $g(x-1)$ es un polinomio de grado $m,$
$$h(x) = g((x+1) - 1) - g(x-1)$$
es un polinomio de grado $m-1.$
Si $m=1$ $h(x)$ es una constante, por lo $h(x+1) = h(x) = 0$;
pero si $m > 1$
$$h(x+1) - h(x) = (g(x+1) - g(x)) - g(x) - g(x-1))
= g(x+1) - 2g(x) + g(x-1)$$
es un polinomio de grado $m-2.$
He escrito los hechos mencionados en términos de algún polinomio arbitrario $g,$
en lugar de los menos generales polinomio $f$ en su problema,
para demostrar que este método de diferencias es de aplicación general.
Ahora vamos a aplicarlo a tu pregunta en particular.
Considere la posibilidad de $f_2(x) = f(x+1) - 2f(x) + f(x-1),$ donde $f$ es el polinomio de grado $n$ en la pregunta. Es dado
$$1+f(x)=\frac{f(x-1)+f(x+1)}{2},$$
de donde se desprende que el $f_2(x) = 2,$
es decir, $f_2$ tiene el grado $0.$
Si $n = 0$ o $n = 1,$ tendríamos $f_2(x)=0,$
lo cual es una contradicción;
por lo tanto, $n \geq 2$ $f_2$ tiene el grado $n-2.$
La combinación de las dos declaraciones sobre el grado de
$f_2,$ el grado de $f_2$ $n - 2 = 0.$
Por lo tanto, $n=2.$