How do I demonstrate that a polynomial of degree $2$ divides one of degree $n$? Let $f$ and $g$ the polynomials
$$f(x) = (x+1)^{2n-1}+(-1)^n(x+2)^{n+1}\qquad\text{and}\qquad g(x) = x^2 + 3x + 3$$
How do I demonstrate that $g$ divides $f$? I tried finding the roots of $g$ then testing them for $f$, it didn't work ...
I also wrote g as $(x+1)^2 + x + 2$ but I couldn't get anywhere.

For $f_n(x) = (x+1)^{2n-1}+(-1)^n(x+2)^{n+1}$ with $g(x) = x^2+3x+3=(x+1)^2+x+2$, first consider $n=1,2$:
$$f_1(x) = x+1-x^2-4x-4 = -x^2-3x-3\\
f_2(x) = (x+1)^3+(x+2)^3=(2x+3)\left((x+1)^2-(x+1)(x+2)+(x+2)^2\right)\\
=(2x+3)(-(x+1)+(x+2)^2)=(2x+3)(x^2+3x+3)$$
So we have that $g(x)\mid f_1(x),\ g(x)\mid f_2(x)$.  It appears that a useful way to approach the question is to show that we end up with something either of the form $(x+1)^2+(x+2)$ or $(x+2)^2-(x+1)$.  To this end, with $y=x+1\to g(y)=y^2+y+1$, consider that we have
$$f_n(y) = y\left(y^2\right)^{n-1}+(-1)^n(y+1)^2(y+1)^{n-1}\\
=(-1)^n(y^2+y+1)(y+1)^{n-1}+y\left((y^2)^{n-1}+(-1)^n(y+1)^{n-1}\right)$$
For even $n$, $(y^2)+(y+1)$ is always a factor of $(y^2)^{n-1}+(-1)^n(y+1)^{n-1}$ (just as $a+b\mid a^{2n-1}+b^{2n-1}$).  Now the only remaining issue is to determine whether $(y^2)+(y+1)$ is a factor of $f_n(x)$ for odd $n$.  But we see that for odd $n=2m+1$, $(y^2)^{n-1}+(-1)^n(y+1)^{n-1}$ is a difference of squares, and therefore factors as
$$\left((y^2)^m-(y+1)^m\right)\left((y^2)^m+(y+1)^m\right)$$
If $m$ is odd, we are done; if $m$ is even, we can split the left-hand term as a difference of squares again; we can repeat as needed until we have a sum with odd outer exponents.  Therefore $g(y)\mid f_n(y)$ and thus $g(x)\mid f_n(x)$.
