スツルムの定理

スツルムの定理（スツルムのていり、Sturm's theorem）とは、多項式の異なる実根の個数を決定する方法である。代数学の基本定理によれば多項式の重複を込めた複素根の個数を容易に得られるが、スツルムの定理では重複を考慮せずに実根のみを扱っている。