多項式の割り算
整数同士の和、差、積は整数となりますが、商、つまり割り算に関しては
というように整数の世界から飛び出してしまいます。しかし、
というように、余りという概念を考えることが出来ました。これを、
と書きます。これは、とはで割った余りが等しいことを意味し、このような式を合同式といいます。
同様に、多項式同士の和、差、積は多項式になり、商に関しては多項式の世界から飛び出してしまいますが、多項式にも余りという概念が存在します。
多項式における除法の原理
整数係数多項式,(ただし、)があり、は最高次の項の係数がである。このとき、
を満たす整数係数多項式,がただ一つ存在する。
- 命題1における,を、をで割った時の商、余りと呼びます。
- 多項式に対し、はの次数を表します。つまりは次の多項式です。
- 最高次の項の係数がである多項式をモニックと呼びます。ここでは、はモニックです。
- 整数係数多項式で無い多項式(実数係数多項式など)についても同様な定理が成り立ちます(実数係数多項式の場合はがモニックである必要はない)。
(命題1の証明は、ここでは省略します。)
因数定理
以下の定理が成り立ちます。
剰余の定理
を任意の整数とする。整数係数多項式を多項式で割った余りはである。
このように、剰余の定理を用いることで、簡単に余りを求めることができます。
では、この命題を証明しましょう。証明に命題1を用います。
命題2
命題1より
を満たす多項式,が存在する。とより、となり、が定数であることが分かる。にを代入すると、
となり、が定数であることから、
がいえる。よって、をで割った余りはである。
命題2より次の命題が導かれます。
因数定理
を整数とする。整数係数多項式がで割り切れることと、であることは同値である。
命題3
がで割り切れるとき、ある整数係数多項式があって、
となる。にを代入するとが得られる。
逆に、とすると、命題2より、をで割ったときの余りはになる。よって、はで割り切れる。
合同世界での因数定理
多項式同士の合同式を以下の通りに定義します。
多項式の合同
整数係数多項式,と正の整数に対し、であるとは、の各項の係数がの倍数であることとする。
整数係数多項式,と正の整数に対し、であるとき、任意の整数に対し、である。
命題4
より、の各項の係数がの倍数である。従って、はの倍数である。よって、である。
実は、合同式の世界における因数定理というものが成り立ちます。
合同世界での因数定理
を整数係数多項式、を正の整数とし、を整数とする。このとき、なる整数係数多項式が存在することと、であることは同値である。
命題5
なる整数係数多項式が存在するとする。このとき、両辺にを代入すると、となる。
逆に、とする。命題2より
なる整数係数多項式がある。より、
が分かる。
この命題を用いて、ウィルソンの定理を証明することができます。
ウィルソンの定理
ウィルソンの定理とは以下のような定理のことです。
この定理を示します。
定理6
のときは容易なので、は奇数であるとする。
とおく。フェルマーの小定理より、であるから、である。と命題5より、
となる整数係数多項式が存在する。これにを代入すると、が分かる。と命題5より、
となる整数係数多項式が存在する。この操作を繰り返すことで、
となる整数係数多項式の存在が分かる。左辺は次のモニックなので、である。従って、
である。を代入すると、
が奇数なので、である。
おわりに
今回は合同世界での因数定理を利用してウィルソンの定理の定理を示しました。ウィルソンの定理の証明はこれだけではないので、興味のある方は、自分で考えてみたり、色々調べて見て下さい!
最後に、ウィルソンの定理が整数が素数であることの必要十分条件を与えている、ということを紹介しましょう。
となる整数において、であることと、が素数であることは同値である。
最後までお読みいただきありがとうございました!