Използвам повода, за да споделя следното наблюдение. Нека:
$P(x) = a_{n}x^n+a_{n-1}x^{n-1}+...+a_{1}x+a_0$
е полином с целочислени коефициенти. Ако трябва да доказваме делимост на полинома с дадено число $m$ за всяко $x \epsilon Z$ можем да използваме следния ред на мисли:
Ако $k$ е остатъкът при деление на $x$ с числото $m$, то
$ x \equiv k \,\ (mod\,\ m)$
$x^i \equiv k^i \,\ (mod\,\ m)$
$a_ix^i \equiv a_ik^i \,\ (mod\,\ m)$
Следователно
$a_{n}x^n+a_{n-1}x^{n-1}+...+a_{1}x+a_0 \equiv a_{n}k^n+a_{n-1}k^{n-1}+...+a_{1}k+a_0\,\ (mod\,\ m)$
Това означава, че ако полинома се дели на $m$ при последователно заместване на $x$ със всички възможни остатъци при дление на $m$ (или с най-удобните съобразно ситуацията $m$ последователни числа) , това ще означава, че той по принцип е кратен на $m$ за всички цели $x$.
В частния случай на тази задача е достатъчно да заместим $x$ в полинома последователно с числата {-2, -1, 0, 1, 2, 3} и ако при всички тях $P(x)$ се дели на $6$, значи по принцип $P(x)$ се дели на $6$ за $ \forall x \epsilon Z$.
P.S. Не знам тези сравнимости по модул кога (и въобще дали) се учат, но в този сайт има поместена достатъчно добра лекция по темата, която не би трябвало да се опре на никой достатъчно любопитен седмокласник.
https://www.matematika.bg/olimpiadi/teo ... nenia.html