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