Lời giải:
Đặt $f(x)=a_0+a_1x+a_2x^2+..+a_nx^n$ với $a_i$ nguyên với $i=\overline{0,n}$
Ta có:
\(f(a)=a_0+a_1a+a_2a^2+...+a_na^n; f(b)=a_0+a_1b+a_2b^2+...+a_nb^n\)
\(\Rightarrow f(a)-f(b)=a_1(a-b)+a_2(a^2-b^2)+...+a_n(a^n-b^n)\)
Dễ thấy: $a^j-b^j\vdots a-b$ với mọi $j\geq 1$ nên $f(a)-f(b)\vdots a-b$
Ta có đpcm.