メーソン・ストーサーズの定理
a ( t ) {\displaystyle a(t)} , b ( t ) {\displaystyle b(t)} , c ( t ) {\displaystyle c(t)} は、 a + b = c {\displaystyle a+b=c} を満たす互いに素な(共通零点がない)複素数係数の多項式とする。このとき次の関係が成り立つ:
max { deg  a , deg  b , deg  c } < deg  rad  a b c {\displaystyle \max\{\deg a,\deg b,\deg c\}<\deg \operatorname {rad} abc}
ここで、 rad  f {\displaystyle \operatorname {rad} f} は f {\displaystyle f} と同じ根を持つ最小次数の多項式であり、
rad  f = ∏ f ( α ) = 0 ( t − α ) {\displaystyle \operatorname {rad} f=\prod _{f(\alpha )=0}(t-\alpha )}
である。α は f の相異なる零点である。つまり、 deg  rad  f {\displaystyle \deg \operatorname {rad} f} は f {\displaystyle f} の相異なる根の個数を意味する。