Три неотрицательных числа

Сколько существует натуральных чисел a не превосходящих 4000, для которых можно подобрать такие неотрицательные целые x, y, z, что

x^2 (x^2+2z) - y^2 (y^2+2z) = a

Выражение можно переписать как (x-y) (x+y) (x²+y²+2z).

Если х и y имеют разную четность, то все выражение нечетное (т. к. сумма и разность чисел разной четности - нечетные) ...

Если x и y оба четные, то все выражение делится на 8 (каждая скобка делится на 2).

Если х и y оба нечетные, то опять все выражение делится на 8 (т. к. сумма и разность нечетных чисел - четные).

Если х=1, y=0, то все выражение равно 2z+1, т. е. a может быть любым нечетным числом.

Если х=2, y=0, то все выражение равно 8 (2+z), т. е. а может быть любым числом кратным 8, кроме 8. И вообще, все это выражение не может равняться 8, т. к. если выражение кратно 8 и х≠y, то x-y≥2 и x+y≥2, а значит (x-y) (x+y) (x²+y²+2z) ≥4 (4+2z) ≥16.

Таким образом, а может быть любым нечетным числом, а их в интервале от 1 до 4000 всего 4000/2=2000 штук, любым кратным 8, кроме самой 8, а их всего 4000/8-1=499. Итого, существует 2499 значений а.