デカルトの符号法則のソースを表示

'''デカルトの符号法則'''とは、[[実数]]係数の一変数[[多項式]]の[[冪根|根]]の数の上限を定める法則である。[[ルネ・デカルト]]の[[方法序説]]の付録 {{ill|La Géométrie|en|La Géométrie}} において最初に用いられ、後に[[カール・フリードリヒ・ガウス]]により精密化された<ref>{{cite journal|journal=Werke|volume=3|pages=67}}</ref>。あくまで'''上限'''であり、正確な根の数を与えるものではないことに注意。

なお、デカルトの符号法則は {{ill|ブダンの定理|en|Budan's theorem}}の特別な場合と見ることができる。

== 概要 ==

一変数多項式を冪乗の降順に並べたときの係数の符号の変化に着目する（係数が 0 のときはその項を無視する）。たとえば

: <math>f(x) = x^3 + x^2 - x - 1 </math>

において、符号は (++) → (+−) → (−−) と変化する。つまり、符号の変化は1回（(+−) の部分）だけ起こる。

以下、根の個数は重根の重複度を含めて数える。

== デカルトの符号法則 ==

以下、実数係数の一変数多項式 <math>f(x) </math> の実数根のうち <math>x > 0 </math> であるものを「正の根」、<math>x < 0 </math> であるものを「負の根」と呼ぶ。
また、<math>f(x) </math> の係数の符号が変化する回数を <math>T_{f(x)} </math> とする。

=== 正の根 ===

: '''正の根の数は <math>T_{f(x)} </math> を上限とする。'''

ガウスが <math>T_{f(x)} </math> と実際の根の個数の偶奇が一致することを示したため、より精密な表現として

: '''正の根の数は <math>T_{f(x)} - 2 n\ (n = 0, \pm 1, \pm 2, ...) </math> のいずれかである。'''

と言える。

なお、ここで ''n'' は <math>f(x) </math> を実数の範囲で因数分解したときに二次の冪が残る項の数と等しい。

=== 負の根 ===

: 負の根の数は <math>T_{f(-x)} - 2 n\ (n = 0, \pm 1, \pm 2, ...) </math> のいずれかである。

<math>f(x) </math> でなく <math>f(-x) </math> であることに注意。

=== 例 ===

* 例1
:: <math>f(x) = x^3 + x^2 - x - 1 </math>
: を考える。実際の根は x = 1, −1（二重根）である。
: 符号の変化は (++) → (+−) → (−−) で1回であるから、正の根は正確に1つである。
: 負の根の数を調べるため、<math>f(-x) </math> を考える。
:: <math>f(-x) = -x^3 + x^2 + x - 1 </math>
: 符号の変化は (−+) → (++) → (+−) で2回であるから、負の根は2個か0個である。
: 実際には −1 が重根としてあるから2個となる。

* 例2
:: <math>f(x) = x^3 + x^2 + x + 1 </math>
: を考える。実際の実数根は x = −1 である。
: 符号の変化は (++) → (++) → (++) で0回であるから、正の根は存在しない。
: 負の根の数を調べるため、<math>f(-x) </math> を考える。
:: <math>f(-x) = -x^3 + x^2 - x + 1 </math>
: 符号の変化は (−+) → (+−) → (−+) で3回であるから、負の根は3個か1個である。
: 実際には −1 の1つとなる。

== 複素根 ==

[[代数学の基本定理]]より、実数係数の ''n'' 次一変数多項式 <math>f(x) </math> は重複度を含めてちょうど ''n'' 個の複素根を有する。一方で'''0でない'''実数根の個数は最大で <math>T_{f(x)} + T_{f(-x)} </math> 個である。したがって、<math>f(x) </math> が 0 を実数根としてもたなければ、非実数根の個数の最小値は <math>n - (T_{f(x)} + T_{f(-x)}) </math> で与えられる。

=== 例 ===

* 例1
:: <math>f(x) = x^4 - 1 </math>
: を考える。実際の根は x = 1, −1, i, −i である。
: 符号の変化は (+−) で1回であるから、正の根は正確に1つである。
: 負の根の数を調べるため、<math>f(-x) </math> を考える。
:: <math>f(-x) = x^4 - 1 </math>
: 符号の変化は (+−) で1回であるから、負の根は正確に1つである。
: 0 が根でないことは明らかだから、非実数根の個数は最小で <math>4 - (1 + 1) = 2 </math> 個となる。
: 今の場合、正負の根の数が正確に分かっているため、非実数根の個数も正確に2つであると結論できる。

* 例2
:: <math>f(x) = x^5 + x^4 + x + 1 </math>
: を考える。実際の根は <math>x = -1, \frac{\pm \sqrt{2} \pm \sqrt{2}i}{2}\ (any\ double\ sign)</math> である。
: 符号の変化は (++) → (++) → (++) で0回であるから、正の根は0個である。
: 負の根の数を調べるため、<math>f(-x) </math> を考える。
:: <math>f(-x) = -x^5 + x^4 - x + 1 </math>
: 符号の変化は (−+) → (+−) → (−+) で3回であるから、負の根は3個か1個である。
: 0 が根でないことは明らかだから、非実数根の個数は最小で <math>5 - (0 + 3) = 2 </math> 個となる。

== 特別な場合 ==

根の数の可能性が 2 ずつ増減するのは、実数係数の多項式において複素根が存在したとき、その複素根が常にペアとして現れるためである。したがって多項式が複素根を有さないことが予め分かっていれば、正しい根の数が求められる。

== 発展 ==

無限級数や多変数多項式への応用が存在する<ref>{{cite journal|title=Recent extensions of Descartes' rule of signs|authors=D. R. Curtiss|journal=Annals of Mathematics|volume=19|issue=4|date=June 1918|pages=251–278|doi=10.2307/1967494|jstor=1967494}}</ref>。

== 脚注 ==
{{Reflist}}

== 関連項目 ==
* [[スツルムの定理]]
* [[ロルの定理]]
* [[w:Polynomial function theorems for zeros]]
* [[w:Budan's theorem]]

== 外部リンク ==
{{PlanetMath attribution|id=5997|title=Descartes' rule of signs}}
*{{高校数学の美しい物語|861|デカルトの符号法則}}
*[http://www.cut-the-knot.org/fta/ROS2.shtml Descartes’ Rule of Signs] &mdash; 法則の証明

{{Math-stub}}

{{DEFAULTSORT:てかるとのふこうほうそく}}
[[Category:多項式]]
[[Category:代数学の定理]]
[[Category:ルネ・デカルト]]
[[Category:数学に関する記事]]