アイゼンシュタインの既約判定定理
整数係数多項式
の係数について次の3つの条件を満たす素数が存在するとき,多項式は有理数の範囲でそれ以上因数分解することが出来ない.
はの倍数であるが,の倍数ではない.
~ はすべての倍数である.
はの倍数でない.
定理の嬉しさ
この定理と平行移動を利用することで,与えられた多項式が有理数の範囲で因数分解可能かどうかを判定できる.
また因数分解可能であったとしても,この定理をもう一度今度はとなる整数について適用すれば,与えられた多項式が有理数の範囲で何次以上の因数を持つかを判定することが出来る.
証明
が上記の3つの条件を満たした上で,整数係数の多項式に因数分解可能である
^1
と仮定して,背理法で示す.
今,整数係数多項式が,2つの整数係数多項式に因数分解されたとする.を
とおく.
定数項を比較すると,条件よりはを割り切るが,はを割り切らないことより,はかのどちらか一方しか割り切らない.ここではを割り切り,を割り切らないと決めても一般性を失わない.
次に一次の係数を比較すると,条件よりはを割り切る.また先の結果よりはを割り切らないから,を割り切ることが要請される.
同様にして順番にとの係数を比較していくと,はのすべての係数を割り切ることがわかる.しかしこれは条件の一つであるはを割り切らないことに矛盾する.したがって,はそれ以上因数分解できない.