Търсените полиноми ще са от вида [tex]f=a_0x^n+a_1x^{n-1}+...+a_{n-1}x+a_n[/tex].
От [tex]x^2-3=x^2-1-2=(x+1)(x-1)-2[/tex] и от равенството [tex]f(x^2-3)=x^2f(x-1)[/tex] и развитието на Нютоновия бином [tex]\bigg((x+1)(x-1)-2\bigg)^k[/tex] ще следва
[tex]\forall x\in Z:[/tex]
[tex]f(x^2-3)\equiv f\bigg((x+1)(x-1)-2\bigg)\equiv f(-2) \equiv a_0(-2)^n+a_1(-2)^{n-1}+...+a_{n-1}(-2)+a_n \pmod {x-1}[/tex]
Нека [tex]n\ge1[/tex]
Да разгледаме само случая когато [tex](x-1)[/tex] пробягва множеството на простите числа:
[tex]f(x^2-3)=p_1.p_2.p_3....+f(-2)[/tex]
Горното е в противоречие с факта, че [tex]f(x^2-3)[/tex] e някое крайно реално число, т.е. допускането [tex]n\ge1[/tex] е невярно.
При [tex]n=0[/tex] търсените полиноми са константи.
П.П. Трудничка ми се струва задачата за обикновен 12-класник.