デカルトの符号法則
デカルトの符号法則とは、実数係数の一変数多項式の根の数の上限を定める法則である。ルネ・デカルトの方法序説の付録 w:La Géométrie において最初に用いられ、後にカール・フリードリヒ・ガウスにより精密化された。あくまで上限であり、正確な根の数を与えるものではないことに注意。
なお、デカルトの符号法則は Budan–Fourier theorem の特別な場合と見ることができる。