La pregunta es:
Encontrar un resto cuando $f(x)=(x^5+1)^{100} + (x^5-1)^{100}$ se divide por $x^4+x^2+1$
Empecé por la descomposición de $$x^4+x^2+1=(x^2+x+1)(x^2-x+1)$$ y el uso de $$x^3-1=(x-1)(x^2+x+1)\\x^3+1=(x+1)(x^2-x+1)$$
y podría conseguir resto cuando se divide por cada uno de los factores. \begin{align} (x^5+1)^{100}&\equiv(x^2+1)^{100}&(\mathrm{mod}\,x^3-1)\\ &\equiv(-x)^{100}&(\mathrm{mod}\,x^2+x+1)\\ &=x^{100}=x\cdot(x^3)^{33}\\ &\equiv x&(\mathrm{mod}\,x^3-1)\\\\ (x^5-1)^{100}&\equiv(x^2-1)^{100}&(\mathrm{mod}\,x^3-1)\\ &=(x+1)^{100}(x-1)^{100}\\ &=(x^2+x+1+x)^{50}\cdot(x^2+x+1-3x)^{50}\\ &\equiv x^{50}\cdot(-3x)^{50}&(\mathrm{mod}\,x^2+x+1)\\ &=3^{50}(x^2)^{50}=3^{50}x\cdot(x^3)^{33}\\ &\equiv 3^{50}x&(\mathrm{mod}\,x^3-1)\\ \end{align} Por lo tanto $$f(x)\equiv (3^{50}+1)x\quad(\mathrm{mod}\,x^2+x+1)\\$$ Del mismo modo, $$f(x)\equiv -(3^{50}+1)x\quad(\mathrm{mod}\,x^2-x+1)\\$$ Así \begin{align} f(x) &= (x²+x+1)p(x) + (3^{50}+1)x\\ f(x) &= (x²-x+1)q(x) - (3^{50}+1)x \end{align} Como $f(x)$ es una función par, podría derivar en que $$q(x)=p(-x)$$ Y entonces, mi plan era encontrar un resto cuando $p(x)$ es compartida por $x²-x+1$ y así sucesivamente \begin{align} p(x)&=(x²-x+1)A(x)+Cx+D\\ q(x)&=(x²+x+1)B(x)+Ex+F\\ \end{align} De modo que yo podría llegar a la conclusión de que $$f(x)\equiv (x^2+x+1)(Cx+D)+(3^{50}+1)x\quad(\mathrm{mod}\,x^4+x^2+1)\\$$ El uso de $p(x)=q(-x)$, podría derivar en que $A(x)=B(-x)$, $C=-E$, e $D=F$. Y aún más el uso de $f(x)=f(-x)$, que podría hacer \begin{align} p(x)&=e(x)+o(x)\quad(e(x)=e(-x)\,,o(x)=-o(-x))\\ \rightarrow&(x²+x+1)(e(x)+o(x)) + (3^{50}+1)x = (x²-x+1)(e(x)-o(x)) - (3^{50}+1)x\\ \rightarrow&2xe(x)+(x²+1)o(x) + 2(3^{50}+1)x = 0\\ p(x)&=\frac{(-x²+2x-1)o(x)}{2x} - (3^{50}+1) = \frac{(-x²+x-1 + x)o(x)}{2x} - (3^{50}+1)\\ &= \frac{(-x²+x-1)o(x)}{2x} + \frac{o(x)}2 - (3^{50}+1) \end{align} Y eso fue todo. No podía seguir adelante.
