Thay b=3a+c vào f(x) ta được:
f(x)=ax3+(3a+c)x2+cx+d
=ax3+3ax2+cx2+cx+d
Suy ra: f(1).f(2)=(a.13+3a.12+c.12+c.1+d)[a.(-2)3+3a.(-2)2+c.(-2)2+c.(-2)+d]
=(a+3a+c+c+d)(-8a+12a+4c-2c+d)
=(4a+2c+d)(4a+2c+d)
=(4a+2c+d)2
Mà a,b,c,d là số nguyên nên: f(1).f(2) là bình phương của 1 số nguyên