5

合同世界での因数定理とウィルソンの定理

608
0

多項式の割り算

整数同士の和、差、積は整数となりますが、商、つまり割り算に関しては
23=23というように整数の世界から飛び出してしまいます。しかし、
114=23というように、余りという概念を考えることが出来ました。これを、
113(mod4)と書きます。これは、1134で割った余りが等しいことを意味し、このような式を合同式といいます。

同様に、多項式同士の和、差、積は多項式になり、商に関しては多項式の世界から飛び出してしまいますが、多項式にも余りという概念が存在します。

多項式における除法の原理

整数係数多項式f(x),g(x)(ただし、g(x)0)があり、g(x)は最高次の項の係数が1である。このとき、
f(x)=g(x)q(x)+r(x)degr(x)<degg(x)を満たす整数係数多項式q(x),r(x)がただ一つ存在する。

  • 命題1におけるq(x),r(x)を、f(x)g(x)で割った時の余りと呼びます。
  • 多項式f(x)に対し、degf(x)f(x)の次数を表します。つまりf(x)degf(x)次の多項式です。
  • 最高次の項の係数が1である多項式をモニックと呼びます。ここでは、g(x)はモニックです。
  • 整数係数多項式で無い多項式(実数係数多項式など)についても同様な定理が成り立ちます(実数係数多項式の場合はg(x)がモニックである必要はない)。

(命題1の証明は、ここでは省略します。)

因数定理

以下の定理が成り立ちます。

剰余の定理

aを任意の整数とする。整数係数多項式f(x)を多項式xaで割った余りはf(a)である。

f(x)=x3+x2+x+1x1で割ると、商はx2+2x+3、余りは4となる。余りはf(1)となる。

このように、剰余の定理を用いることで、簡単に余りを求めることができます。
では、この命題を証明しましょう。証明に命題1を用います。

命題2

命題1より
f(x)=(xa)q(x)+r(x)degr(x)<deg(xa)を満たす多項式q(x),r(x)が存在する。degr(x)<deg(xa)deg(xa)=1より、degr(x)=0となり、r(x)が定数であることが分かる。f(x)=(xa)q(x)+r(x)aを代入すると、
f(a)=r(a)となり、r(x)が定数であることから、
r(x)=f(a)がいえる。よって、f(x)xaで割った余りはf(a)である。

命題2より次の命題が導かれます。

因数定理

aを整数とする。整数係数多項式f(x)xaで割り切れることと、f(a)=0であることは同値である。

命題3

f(x)xaで割り切れるとき、ある整数係数多項式g(x)があって、
f(x)=g(x)(xa)となる。xaを代入するとf(a)=0が得られる。

逆に、f(a)=0とすると、命題2より、f(x)xaで割ったときの余りは0になる。よって、f(x)xaで割り切れる。

f(x)=x3+x2+x+1とする。f(1)=0より、f(x)x+1で割り切れる。
実際、f(x)=(x2+1)(x+1)である。

合同世界での因数定理

多項式同士の合同式を以下の通りに定義します。

多項式の合同

整数係数多項式f(x),g(x)と正の整数mに対し、f(x)g(x)(modm)であるとは、f(x)g(x)の各項の係数がmの倍数であることとする。

整数係数多項式f(x),g(x)と正の整数mに対し、f(x)g(x)(modm)であるとき、任意の整数aに対し、f(a)g(a)(modm)である。

命題4

f(x)g(x)(modm)より、f(x)g(x)の各項の係数がmの倍数である。従って、f(a)g(a)mの倍数である。よって、f(a)g(a)(modm)である。

実は、合同式の世界における因数定理というものが成り立ちます。

合同世界での因数定理

f(x)を整数係数多項式、mを正の整数とし、aを整数とする。このとき、f(x)(xa)g(x)(modm)なる整数係数多項式g(x)が存在することと、f(a)0(modm)であることは同値である。

命題5

f(x)(xa)g(x)(modm)なる整数係数多項式g(x)が存在するとする。このとき、両辺にaを代入すると、f(a)0(modm)となる。

逆に、f(a)0(modm)とする。命題2より
f(x)=(xa)g(x)+f(a)なる整数係数多項式g(x)がある。f(a)0(modm)より、
f(x)(xa)g(x)(modm)が分かる。

この命題を用いて、ウィルソンの定理を証明することができます。

ウィルソンの定理

ウィルソンの定理とは以下のような定理のことです。

ウィルソンの定理

素数pに対し、(p1)!1(modp)である。

p=2のとき、(p1)!=11(mod2)
p=3のとき、(p1)!=21(mod3)
p=5のとき、(p1)!=241(mod5)
p=7のとき、(p1)!=7201(mod7)

この定理を示します。

定理6

p=2のときは容易なので、pは奇数であるとする。
f(x)=xp11とおく。フェルマーの小定理より、1p112p11(p1)p10(modp)であるから、f(1)f(2)f(p1)0(modp)である。f(1)0(modp)と命題5より、
f(x)(x1)g1(x)(modp)となる整数係数多項式g1(x)が存在する。これに2,3,,p1を代入すると、g1(2)g1(3)g1(p1)0(modp)が分かる。g1(2)0(modp)と命題5より、
g1(x)(x2)g2(x)(modp)となる整数係数多項式g2(x)が存在する。この操作を繰り返すことで、
f(x)(x1)(x2)(x(p1))gp1(x)(modp)となる整数係数多項式gp1(x)の存在が分かる。左辺はp1次のモニックなので、gp1(x)1(modp)である。従って、
xp11(x1)(x2)(x(p1))(modp)である。0を代入すると、
1(1)(2)((p1))(modp) 1(1)p1×1×2××(p1)(modp) (1)p1×2××(p1)(modp) (p1)!(1)p(modp) pが奇数なので、(p1)!1(modp)である。

おわりに

今回は合同世界での因数定理を利用してウィルソンの定理の定理を示しました。ウィルソンの定理の証明はこれだけではないので、興味のある方は、自分で考えてみたり、色々調べて見て下さい!

最後に、ウィルソンの定理が整数が素数であることの必要十分条件を与えている、ということを紹介しましょう。

n>1となる整数nにおいて、(n1)!1(modn)であることと、nが素数であることは同値である。

最後までお読みいただきありがとうございました!

投稿日:2020117
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

魚鱈
魚鱈
8
2100
好きなキャラはカロン(Nintendo®の)

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 多項式の割り算
  2. 因数定理
  3. 合同世界での因数定理
  4. ウィルソンの定理
  5. おわりに