3. Построение ряда Штурма.

Заметим прежде всего, что если полином имеет на корень четной кратности, то для него построение ряда Штурма невозможно. Действительно, нужно, чтобы так что знак полинома должен сохраняться в окрестности . Так как корень четной кратности для полином тоже не меняет знака в окрестности так что не может изменить знак, как это должно быть согласно последнему требованию. Однако удовлетворить этому требованию можно всегда. Именно, верно следующее

Предложение. Произведение полинома на его производную меняет знак с минуса на плюс, когда возрастая, проходит через корень

Доказательство. Пусть — корень полинома кратности k, так что . Тогда

так что

Имеем и, следовательно, остается положительным в окрестности . Но меняет знак с минуса на плюс, когда проходит через Следовательно, то же самое будет и для произведения

Далее будем считать, что полином f не имеет кратных корней и, следовательно, взаимно прост со своей производной.

За полином ряда Штурма примем производную полинома . Затем применим к полиномам алгорифм Евклида, меняя на каждом шагу знак остатка на обратный.

Полученные последовательные остатки примем за полиномы . В силу взаимной простоты последний полином есть константа. Таким образом, эти полиномы связаны соотношениями

Проверим, что построенные полиномы удовлетворяют всем требованиям ряда Штурма. Последний полином не обращается в нуль, так как он есть отличная от нуля константа. Из соотношения следует, что если , то и но тогда и и т. д., наконец что невозможно. Итак, два соседних полинома ряда одновременно в 0 не обращаются. Далее, если , то так что они имеют противоположные знаки. Итак, три первых требования ряда Штурма выполнены.

Заметим, что они были бы выполнены, если в качестве взять любой полином, взаимно простой с

Наконец, четвертое требование выполнено при в силу доказанного предложения.

Заметим еще, что свойства ряда Штурма сохраняются, если полиномы умножить на любые положительные константы. Это замечание полезно при решении примеров.

Пример 1. .

Возьмем . При делении на в остатке получим так что в качестве можно взять При делении на получим в остатке —1, так что . Таблица распределения знаков показывает, что имеется один положительный корень и два отрицательных в интервале

Для уточнения расположения корней вычислим , так что мы можем заключить, уже не обращаясь к ряду Штурма, что корни лежат по одному в интервалах Для уточнения положения положительного корня заметим, что , следовательно, корень лежит в интервале (3, 4).

Пример 2.

Здесь мы несколько отступим от описанного выше приема построения ряда Штурма. Полином не имеет положительных корней, так что все его вещественные корни, если они есть, лежат в интервале , где М достаточно большое и достаточно малое положительные числа. Именно для этого интерваламы будем строить полиномы Штурма. Имеем так что Положим . Очевидно, что все требования для ряда Штурма на интервале выполнены. Таблица распределения знаков

показывает одну перемену знаков при и одну или нуль перемен при , в соответствии с четностью или нечетностью . Следовательно, полином f имеет один вещественный (отрицательный) корень при нечетном и не имеет вещественных корней при четном п.