This is a technique to solve the more general problem of counting the number of zeros of a polynomial inside the unit circle. One could use it for other curves other than the circle. All is needed is to be able to map it to a line by a rational function.
The idea is to use the argument principle instead: The number of zeros of a polynomial lying inside a loop is the number of times the image of that loop by the polynomial winds around the origin. But the unit circle is hard on additions. That is why a pretty proof by Rouche's can be tricky sometimes.
Let's instead map the unit circle to the imaginary line.
You might know a rational function that does the map, but we can derive it step by step.
- Translate the circle one unit to the right. $z= x-1$.
- Then we do inversion. Inversion would be $x = 1/\overline{y}$. But since the coefficients are real the conjugate won't matter. So we do $x=1/y$. We get a rational function of which we only care about the numerator (a polynomial). If zero is a solution, then $-1$ was a solution of the original polynomial and that we should've tested before hand. After this the circle got mapped to the vertical line passing through (1/2,0).
- Finally we translate to the left by 1/2. y = w+1/2.
So, we get some polynomial with real coefficients. Let's evaluate it at $w = ir$ with $r$ real.
Now, separate imaginary part and real part. Both a polynomials of smaller degree. For this particular problem I think we get
$$(880r^4-392r^2+23)+r(96r^4-912r^2+54)i$$
Now, to determine the number of times this winds around the origin we just need to see how it jumps from quadrant to quadrant. The counting of roots (no need of precise determination) can be done with Sturm's theorem in general.
For this particular problem the work is much easier. For $r=0$ we are at the point (23,0). The polynomials $880r^4-392r^2+23$ and $96r^4-912r^2+54$ are just quadratics in disguise. One can compute the roots if so inclined.
But all it matters is their relative position, which I think it is $ABBAABBA$, where the $A$'s represent roots from the second polynomial and the $B$'s represent the roots of the first one. Take into account the factor $r$ in the imaginary part which also changes its sign when $r$ crosses zero.
That order of the roots tells you the sign of the imaginary part and real part on each of the intervals between the roots. This tells you to which quadrant the whole expression is moving. From the succession of quadrants you count the winding number and that is your number.
Note that on the boundary of the disc you have $|f(z)|=|6 z^3| = 6$ and $|g(z)|=|e^z+1| \le e+1 < 4$.
Hence $|f(z)+g(z)-f(z)| = |g(z)| < 4 < 6 = |f(z)|$ on the unit disc (strict inequality is important) and so
Rouché tells us that $f+g,f$ have the same number of zeros inside the disc.
Hence $f+g$ has 3 zeros inside the disc.
Best Answer
We can apply Rouché's theorem to $$ f(z) = z^7 +9z^4 -7z +3 $$ and $$ g(z) = z^7 +9z^4 -10z = z(z^3+10)(z^3-1) \, . $$ For $|z| = 2$ is $$ |f(z)-g(z)| = |3z+3| \le 9 $$ and $$ |g(z)| \ge |z| (10 - |z^3|) (|z|^3-1) = 28 \, . $$ It follows that $f$ and $g$ have the same number of zeros inside ($4$) and outside ($3$) of the circle $|z|=2$.
How did I find the comparison polynomial $g$? Trial and error, essentially, but here is a possible approach: Numerical approximations (e.g. with WolframAlpha) indicate that $f$ has three roots with absolute value greater than two: $$ \begin{align} z_1 &\approx -2.14379 \\ z_2 &\approx 1.05711 - 1.84842 i \approx 2.12935 \cdot e^{-0.3346 i \pi }\\ z_3 &\approx 1.05711 + 1.84842 i \approx 2.12935 \cdot e^{0.3346 i \pi } \end{align} $$ These are – very roughly – the roots of $z^3+9.72$. This suggest to choose $g$ as $(z^3 + 10)$, multiplied with a fourth-degree polynomial having zeros only inside $|z|=2$. I chose the factor $z (z^3 - 1)$ so that in the difference $f-g$ both the $z^7$ and the $z^4$ terms vanish.