Многочлены с целыми коэффициентами и теорема Безу

Подсказка 1

Чтобы доказать, что у нас многочлен во всех точках кратен чему-то, бывает удобно представлять этот многочлен в виде, когда мы поделили его на какой-то другой с остатком, то есть представить P(x) = Q(x) * S(x) + R(x), и делили мы на многочлен на Q(x). Тогда если мы докажем, что во всех точках Q и R кратны чему-то, то докажем это и для P(x). Тогда, давайте сразу возьмём в качестве Q какой-то многочлен, который кратен 2^2^n. К примеру, x(x - 1)…(x - (2^n + 1)). Докажите, что такой многочлен действительно кратен 2^2^n, а после поймите какие условия тогда мы получаем на R(x).

Подсказка 2

Q(x) кратен, поскольку у нас произведениe k последовательных целых чисел кратно k!, и при этом у k! мы можем посчитать степень вхождения 2. В таком случае, на R(x) накладываются ровно такие же условия, как на P(x). А что значит, если многочлен, который принадлежит Z[x](поймите почему), и имеет степень меньшую, чем у Q, а также в хотя бы в deg(Q) подряд идущих целых точках кратен некоторому числу?

Подсказка 3

Это значит, что он кратен этому числу во всех целых точках, поскольку мы можем поделить на это целое число и индукцией показать, что если многочлен целочисленный в хотя бы t+1 подряд идущей целой точке, при том, что его степень не больше t, то он целочисленный во всех целых точках. Что тогда это нам даёт в рамках задачи?