А что, если мы захотим найти число корней не на всей прямой, а только на каком-нибудь отрезке [a,b]? (Пусть для простоты a и b не являются корнями — в конце концов, конкретные точки можно явно подставить и проверить.)
Во-первых, мы уже знаем достаточно, чтобы выкрутиться. А именно — можно найти просто число корней, меньших b — и так же найти число корней, меньших a, а потом вычесть одно из другого. Теперь, мы возьмём всё то же самое отношение P/P', но поделим его ещё на (x-b), то корни останутся теми же, но большие b будут считаться "с плюсом", а меньшие b — "с минусом".
Так что топологическая степень P/((x-b)*P') равна разности числа корней, больших и меньших b. Знаем сумму (общее число вещественных корней) и знаем разность — значит, знаем по отдельности, сколько корней, меньших b, а сколько больших.