数学において、ブダンの定理（ブダンのていり、英語: Budan's theorem）は、ある区間における多項式の実根の数の上限と、その数の偶奇性を決定する定理である。 1807年にによって発表された。
同様の定理は、1820年にジョゼフ・フーリエによって独立に発表された。これらの定理はそれぞれが他方の定理の帰結となっている。フーリエの命題は19世紀の文献でより頻繁に見られ、フーリエの定理、ブダン・フーリエの定理、フーリエ・ブダンの定理、さらにはブダンの定理とも呼ばれてきた。
ブダンの元の形式は、現代の高速な多項式の実根分離アルゴリズムで使用されている。
符号変化 は実数の有限列とする。この数列における符号変化（sign variation または sign change）とは、以下の条件を満たす添え字のペア である。
かつ、以下のいずれかが成り立つ；
または、 であるすべての について
つまり符号変化は、数列のゼロは無視して、符号が変わる各箇所で発生する。
何かしらの数列の符号変化の数を用いて、多項式の実根を調べることができる。ブダンの定理では、係数の列を用いる。フーリエの定理では、ある点において連続する導関数値の列を用いる。スツルムの定理では、ある点におけるスツルム列を用いる。
デカルトの符号法則
ここで説明されているすべての結果は、デカルトの符号法則に基づいている。
が実係数を持つ一変数多項式であるとする。その正の実根を、重複度を考慮して数えた数を としこれは、重複度 の根は、 個の根として数えられることを意味する。、 その係数列における符号変化の数を とする。 すると、デカルトの符号法則により、 は非負の偶数である。
特に、 の場合、 となる。
ブダンの命題 実係数を持つ一変数多項式 について、半開区間 （ は実数）における、 の実根の数（重複度を含む）を で表す。 また、多項式 の係数列の符号変化の数を で表す。 前節の表記法では となる。
ブダンの定理は次の通り。 は、非負の偶数である。
が非負の場合、 が導かれる。
これはデカルトの符号法則の一般化であり、 を十分に大きくとれば のすべての実根よりも大きくなり、 のすべての実係数は正になる、つまり になる。 したがって かつ であり、デカルトの符号法則はブダンの定理の特別なケースである。
デカルトの符号法則によれば、 であれば である。 これにより、 であれば、『ゼロ根検定』および『単一根検定』ができることになる。
例 1. 多項式 は、開区間 について；
したがって、 であり、ブダンの定理より、多項式 は、開区間 に2個または0個の実根を持つことがわかる。
2. 同じ多項式 について；
したがって、 であり、ブダンの定理より、多項式 は、開区間 に実根がないことがわかる。これは、ブダンの定理をゼロ根検定に用いる例である。
フーリエの命題 多項式の実根に関するフーリエの定理は、フーリエ・ブダンの定理またはブダン・フーリエの定理（あるいは単にブダンの定理）とも呼ばれ、 および に対して、 の係数列が、 における の導関数列に置き換えられることを除いて、ブダンの定理とまったく同じである。
それぞれの定理は、他方の定理の帰結である。 これは における多項式 のテイラー展開；
から得られる。 これは、 における の係数が、 を で割った正の数であることを意味する。 したがって、フーリエの定理とブダンの定理で考慮される数列には、同じ数の符号変化がある。
これら2つの定理の強い関連性は、19世紀に起こった優先順位論争や、同じ定理に複数の名称が使われた理由を説明するものと考えられる。 ブダンの定理よりフーリエの定理の方が、階乗の因数の影響で係数がはるかに大きくなるため、現代のコンピュータ計算においては、一般にブダンの定理の方が好まれる。
証明 それぞれの定理は他方の系であり、フーリエの定理を証明すれば十分である。
証明：
を の次数とすると、 は非定数多項式、 はゼロでない定数、 はすべて恒等的にゼロになる。
の関数としての符号変化 は、 の1つ以上についての根でのみ変化し得る。
が で変化する場合、ある に対して は で根を持つが、 のそれぞれは で根を持たない。
のとき、 と、 を満たす多項式 に対して である。 小さな に対して、 と における を明示的に計算すると、 が成り立つ。
この式において、項『 』は、 の符号が から に変化することに起因する。 項『 』は、より高次の導関数の符号がゼロになる可能性があることに起因する。
の場合、一部の導関数は でゼロになるが、 と は両方ともゼロではないため、符号変化の回数の減少は偶数である：
が で変化する場合は、同様に議論すると、どちらの場合についても、 となるような小さな を取ることができることがわかる。
歴史 多項式の実根を数えて見つける問題は、19世紀初頭になってようやく体系的に研究され始めた。
1807年、は、デカルトの符号法則が適用できる区間が であるのを、任意の区間に拡張する方法を発見した。
ジョゼフ・フーリエは、1820年に同様の定理を発表し、20年以上その定理について研究した。
2つの定理は互いに類似しているため、独立に発見されたにもかかわらず、優先順位をめぐる論争があった。 19世紀のの教科書では、一般にフーリエの定式化と証明が使われていた。
19世紀における利用
ブダンの定理とフーリエの定理は、多項式の区間内の実根の数を数える問題を完全には解決しなかったものの、すぐに非常に重要なものと見なされるようになった。この問題は1827年にジャック・シャルル・フランソワ・スツルムによって完全に解決された。
スツルムの定理はデカルトの符号法則に基づいていないが、スツルムの定理とフーリエの定理は、数列の符号変化の数を使用するという点だけでなく、問題へのアプローチが似ているという点でも関連している。スツルム自身もフーリエの方法に触発されたことを認めている： « C'est en m'appuyant sur les principes qu'il a posés, et en imitant ses démonstrations, que j'ai trouvé les nouveaux théorèmes que je vais énoncer. » これは 『私がこれから述べる新しい定理は、彼が確立した原理に依拠し、彼の証明を模倣することによって発見されたものである。』 と翻訳される。
このため、19世紀には方程式理論に関するほぼすべての書籍に、フーリエの定理とスツルムの定理が一緒に登場した。
フーリエとブダンは結局、根を求める区間の大きさを符号変化の数の差が最大1になるように縮小し、最終的な区間がそれぞれ最大1つの根を含むことを証明するという問題を未解決のまま残した。この問題は1834年にアレクサンドル・ジョゼフ・イドゥルフ・ヴァンサン（フランス語: Alexandre Joseph Hidulphe Vincent）によって解決された。 大まかに言えば、ヴァンサンの定理は、ブダンの変数の線形変換を、連分数を用いてメビウス変換に置き換えることで構成されている。
ブダン、フーリエ、そしてヴァンサンの定理は19世紀末に忘れ去られた。 20世紀後半以前にこれらの定理に言及した最後の著者は、である。 これらの定理は1976年にコリンズとアクリタスによって再び導入され、計算機代数において、コンピュータ上で実根分離を行う効率的なアルゴリズムを提供した。
関連項目 多項式の根 求根アルゴリズム スツルムの定理 ヴァンサンの定理 実根分離
脚注
外部リンク