<s>[INST] If $a$ and $b$ are consecutive integers, prove that $a^2 + b^2 + a^2b^2$ is a perfect square. Problem is as stated in the title. Source is Larson's 'Problem Solving through Problems'. I've tried all kinds of factorizations with this trying to get it to the form $$k^2l^2$$ but nothing's clicking. I tried Bézout but the same expression can be written as $$a^2 + (a^2 + 1)(a+1)^2$$ which would imply that there is no real root.  Would really appreciate some help, thanks. 
 [/INST] Since the expression is symmetric in $a$ and $b$, it is not restrictive to assume $b=a+1$, so
$$
a^2+b^2+a^2b^2=
a^2+(a+1)^2+a^2(a+1)^2=
a^4+2a^3+3a^2+2a+1
$$
If you don't see an easy factorization, note that for $a=0$ the statement is clear; for $a\ne0$ we can write
$$
a^4+2a^3+3a^2+2a+1
=
a^2\left(a^2+\frac{1}{a^2}+2a+\frac{2}{a}+3\right)
$$
Now remember that
$$
a^2+\frac{1}{a^2}=\left(a+\frac{1}{a}\right)^2-2
$$
so the expression becomes
$$
a^2\left(\left(a+\frac{1}{a}\right)^2+2\left(a+\frac{1}{a}\right)+1\right)=
a^2\left(\left(a+\frac{1}{a}\right)+1\right)^2=(a^2+a+1)^2
$$
</s>