Apply Rolle's theorem on each . This gives ordered zeros of the derivative strictly between the original zeros of . Apply Rolle's theorem to between each consecutive pair of its zeros to obtain ordered zeros of . Continue in this way.
To justify the iteration, for , the derivative is differentiable throughout and hence continuous there by differentiability implies continuity. Every new closed interval lies strictly inside , so Rolle's theorem applies at each step. After steps there are zeros of . At this gives
This is the distinct-zero case of the Rolle root count with multiplicities.

Articles by others on the same topic (0)

There are currently no matching articles.