メーソン・ストーサーズの定理

メーソン・ストーサーズの定理 (Mason–Stothers theorem) または単にメーソンの定理 (Mason's theorem) は多項式に関する数学の定理であり、類似するものに整数についてのABC予想がある。
この定理の名前は、この定理を1981年に発表したW. Wilson Stothersと、続いてすぐに再発見したR. C. Masonから取られている。
定理の主張.
formula_1, formula_2, formula_3 は、formula_4 を満たす互いに素な（共通零点がない）複素数係数の多項式とする。このとき次の関係が成り立つ：
ここで、formula_6 は formula_7 と同じ根を持つ最小の多項式であり、
である。"α" は "f" の相異なる零点である。つまり、formula_9 は formula_7 の相異なる根の個数を意味する。