Теорема Декарта

Теорема Декарта или правило знаков Декарта, — теорема, утверждающая, что число положительных корней многочлена с вещественными коэффициентами равно числу перемен знаков в ряду его коэффициентов или на чётное число меньше этого числа (корни считаются с учётом кратности, нулевые коэффициенты при подсчёте числа перемен знаков не учитываются).

Если известно, что все корни данного многочлена вещественны (как, например, для характеристического многочлена симметрической матрицы), то теорема Декарта даёт точное число корней. Рассматривая многочлен $f(-x)$ можно с помощью этой же теоремы найти число отрицательных корней $f(x)$ .

Доказательство

Обозначим через $N(f)$ число положительных корней многочлена $f$ , а через $L(f)$ число перемен знака в последовательности его коэффициентов. Очевидно, что эти значения не изменятся, если умножить многочлен на $-1$ , поэтому можно считать, что старший коэффициент $f$ положителен, не уменьшая общности. Кроме того, если $0$ является корнем многочлена $f$ кратности $k$ , можно разделить $f$ на $x^{k}$ , а $N(f)$ и $L(f)$ от этого, очевидно, также не изменятся. Вследствие последнего можно считать, что $0$ не является корнем многочлена, то есть свободный член многочлена $f$ отличен от нуля.

Докажем последовательно несколько лемм:

Лемма 1

$N(f)\equiv L(f){\pmod {2}}$

Доказательство: Пусть $a$ - свободный член $f$ . Тогда $f(0)=a$ . Так как по условию старший член $f$ положителен, мы можем утверждать, что значение $f(x)>0$ , при достаточно больших х. Если двигаться по числовой прямой вправо, то при прохождении корня многочлена $f$ кратности $k$ , $f(x)$ меняет знак на $(-1)^{k}$ . Следовательно количество положительных корней с учётом кратности чётно, если $f(0)>0$ , и нечётно если наоборот. Данный признак определяется положительностью или отрицательностью $a$ . Также очевидно, что так как старший коэффициент многочлена положителен, чётность $L(f)$ так же зависит от положительности свободного члена. Таким образом лемма доказана.

Лемма 2

$N(f)\leqslant N(f')+1$

Доказательство: По теореме Ролля между любыми двумя корнями многочлена $f$ лежит корень его производной. Кроме того каждый корень кратности $k$ многочлена $f$ является корнем кратности $k-1$ его производной. Отсюда получаем $N(f')\geqslant N(f)-1$ . Что и требовалось доказать.

Лемма 3

$L(f')\leqslant L(f)$

Доказательство: Очевидно, что данная характеристика при дифференцировании многочлена не может увеличиться.

Утверждение

Число отрицательных корней многочлена $f$ равно числу положительных корней многочлена $g(x)=(-1)^{n}f(-x)$ , где $n=\deg f$ .

Лемма 4

$L(f)+L(g)\leqslant n$

Доказательство: Коэффициенты многочлена $g$ получаются из коэффициентов многочлена $f$ попеременным умножением на $\pm 1$ . Если предположить, что все коэффициенты многочлена $f$ отличны от нуля, то на том месте, где в их ряду была перемена знака, в ряду коэффициентов многочлена $g$ перемены знака не будет и наоборот - где не было у $f$ , будет у $g$ . Поэтому в этом случае сумма чисел перемен знаков в этих многочленах в точности равна $n$ . При замене некоторых коэффициентов нулями количество перемен знаков не может увеличится, следовательно в общем случае имеем: $L(f)+L(g)\leqslant n$ . Лемма доказана.

Доказательство теоремы

Докажем неравенство $N(f)\leqslant L(f)$ индукцией по $\deg f$ . База индукции: при $\deg f=0$ , $N(f)=L(f)=0$ . Пусть $\deg f=n>0$ . Тогда $\deg f'=n-1$ . Пользуясь леммами 2 и 3 и предположением индукции, что $N(f')\leqslant L(f')$ , получаем: $N(f)\leqslant N(f')+1\leqslant L(f')+1\leqslant L(f)+1$ . Однако равенство $N(f)=L(f)+1$ невозможно ввиду леммы 1. А так как $N(f)$ и $L(f)$ являются натуральными числами, мы имеем: $N(f)\leqslant L(f)$ .

Если же все корни многочлена $f$ вещественны, то в силу доказанного неравенства и леммы 4 имеем: $n=N(f)+N(g)\leqslant L(f)+L(g)\leqslant n$ . Откуда по первой части теоремы получаем: $N(f)=L(f)$ и $N(g)=L(g)$ , из чего и следует теорема.

История

Правило впервые описано Декартом в его труде «Геометрия» (1637).

См. также

Теорема Штурма

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.