Выражение можно переписать как (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 значений а.
В левой части неравенства угадывается формула квадрата суммы, всё, что осталось, переносим в правую часть.
Если нужно, чтобы у неравенства не было решений, правая часть должна была отрицательной:
Вспоминаем, что нужно найти такие b, чтобы такое неравенство выполнялось при всех a. Относительно a левая часть либо линейная функция (при b = 1/2), либо квадратичная.
Разбираем случаи:
1) b = 1/2. Тогда при всех a должно быть так:
Понятно, что это выполняется не при всех a, так что b = 1/2 в ответ входить не должно.
2) b не равно 1/2. Квадратный трёхчлен должен принимать только положительные значения. Как известно, так будет, если: 1. Коэффициент при a^2 положительный и 2. Дискриминант отрицательный.