Ta có : f(0) = a . 02 + b . 0 + c = c \(\in\)Z
f(1) = a . 12 + b . 1 + c = a + b + c
vì c \(\in\)Z \(\Rightarrow\)a + b \(\in\)Z ( 1 )
f(2) = a . 22 + b . 2 + c = 4a + 2b + c = 2 . ( 2a + b ) + c
vì c \(\in\)Z \(\Rightarrow\)2 . ( 2a + b ) \(\in\)Z \(\Rightarrow\)2a + b \(\in\)Z ( 2 )
Từ ( 1 ) và ( 2 ) \(\Rightarrow\)( 2a + b ) - ( a + b ) \(\in\) Z \(\Rightarrow\)a \(\in\)Z
\(\Rightarrow\)b \(\in\)Z
Vậy f(x) thuộc Z \(\forall\)x thuộc Z