Skip to content
Part BCSIR NET December 2023rouche-dominant-term

Rouche dominant term

How many roots does the polynomial z100−50z30+40z10+6z+1z^{100} - 50z^{30} + 40z^{10} + 6z + 1 have in the open disc {z∈Cz \in \mathbb{C} : |z| < 1}?

  1. A.100
  2. B.50
  3. C.30✓ Correct
  4. D.0

The idea, in plain words

On the unit circle one term is bigger than everything else put together. When one term dominates like that, the whole polynomial has exactly as many roots inside as that single term does — and a bare power has all its roots stacked at the origin.

Solution

On |z| = 1, |−50z30-50z^{30}| = 50 > 1 + 40 + 6 + 1 = 48 ≥ |z100+40z10+6z+1z^{100} + 40z^{10} + 6z + 1|

so by Rouché the polynomial has as many zeros inside as −50z30-50z^{30}: thirty.

Why each option is right or wrong

Checked against 2 symbolic computations
  • False.

    100 is the total number of roots in C\mathbb{C}, by the fundamental theorem of algebra — not the number inside the unit disc.

    Rouché's theorem localises them, and it selects the dominant term on the circle, not the leading term of the polynomial.

  • False.

    50 is the coefficient of the dominant term, not its degree.

    Rouché counts zeros of the dominant term −50z30-50z^{30}, and a constant multiple contributes nothing to the zero count — only the exponent 30 does.

  • C.Correct

    True.

    On |z| = 1 every power has modulus 1

    so |−50z30-50z^{30}| = 50 while the remaining terms satisfy |z100+40z10+6z+1z^{100} + 40z^{10} + 6z + 1| ≤ 1 + 40 + 6 + 1 = 48 (verified)

    leaving a margin of 2 (verified).

    Since 48 < 50, Rouché's theorem says the polynomial has the same number of zeros inside as −50z30-50z^{30}

    which has a zero of order 30 at the origin.

    The trigger: on the unit circle, compare the single largest coefficient against the sum of all the others.

  • D.Wrong

    False.

    The polynomial takes the value 1 at z = 0 and is dominated by −50z30-50z^{30} on the boundary

    so it certainly changes character inside; Rouché gives exactly 30 zeros there, not none.

2 of these 3 wrong options correspond to a named reasoning error — the same errors recur across subjects.

The trap it tests

Execution slip

The idea was right. The computation was not.

Drill statements like this

Related counterexample: f′(z) ≠ 0 everywhere implies f is injective

More on this topic

The chapter behind this: Argument principle, Rouché and zero counting — free to read

From Zeros and Mappings › Argument principle, Rouché's theorem, open mapping

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram