§ 4. ОТДЕЛЕНИЕ ДЕЙСТВИТЕЛЬНЫХ КОРНЕЙ ПОЛИНОМА
Система полиномов Штурма.
Пусть f — полином с действительными коэффициентами, а и b,
— произвольные действительные числа, не являющиеся корнями полинома.
Ниже методом Штурма решается задача о нахождении точного числа различных действительных корней полинома f в интервале 
Пусть дана конечная последовательность действительных чисел, например 2, 5, —3, 4, —5, —2, 7. Знаки чисел этой последовательности чередуются следующим образом:
и меняются четыре раза. Таким образом, в данной последовательности имеется четыре перемены знаков.
Пусть f — полином положительной степени с действительными коэффициентами, не имеющий кратных действительных корней. Определим конечную последовательность полиномов
исходя из данного полинома