Excel VBA 数学教室ではアフィリエイトプログラムを利用して商品を紹介しています。

ラグランジュの定理

新しい章に入ります。この章では主に平方剰余を扱いますが、その準備として n 次合同方程式を定義し、ラグランジュの定理を証明しておきます。

n 次合同方程式

数論における n 次方程式を次のように定義します。

【定義F1】n を正整数、a00 とします。a0m で割り切れないときに、
a0xn+a1xn1++an1x+an0(modp)n 次合同方程式と定義する。

m/a0 という条件がありますが、もし a0m で割り切れるのであれば、最初の項が m で割り切れるので、合同式の性質から
a1xn1+a2xn2++an1x+an0(modp)
というように次数が1つ落ちて n1 次合同方程式になってしまいます。

ラグランジュの定理

ラグランジュ (Lagrange) はフランスの数学者・物理学者です。物理を学んでいる人であれば、ラグランジュ点やラグランジアンなどでお馴染みですね。その扱う分野の幅広さから、彼の名を冠した定理はあちこちで見かけますが、数論にも「ラグランジュの定理」があります。

【定理F1」ラグランジュの定理】素数 p を法とする n 次合同方程式
a0xn+a1xn1++an1x+an0(modp)の根の個数は n 個を超えない。

合同方程式の根はまったく存在しないかもしれないし、あるいは n2 個かもしれませんが、最大でも n 個までという意味です。

[証明] 数学的帰納法で証明します。
n=1 のときは 1 次合同方程式
axb(modp)
となり、(a,p)=1 なので解は 1 つだけ存在します。つまり定理は成り立っています。

n1 のときに定理が成り立つと仮定します。すなわち、n1 次合同方程式の解の個数は n1 個を超えないものとします。f(x)n 次式として
f(x)0(modp)
という合同方程式を考えます。このとき根が1つもないならば定理は成り立ちます。もし1つ以上あって、そのうちの1つを α とすると
f(α)0(modp)
が成り立ちます。ここで g(x)n1 次式として
f(x)=(xα)g(x)+r
とおくと、合同方程式は
(xα)g(x)+r0(modp)
となります。x=α を代入すると
r0(modp)
となるので、合同方程式の左辺から省くことができて
(xα)g(x)0(modp)
上の合同方程式が α とは異なる根 x=β をもつとすると
(βα)g(β)0(modp)
βα≠≡0 かつ p は素数なので
g(β)0(modp)
すなわち βα と異なる根であるということは
g(x)0(modp)
の根であるということです。仮定により n1 次式 g(x)0 の根の個数は n1 を超えないので、f(x)0 の根は x=α と合わせても最大で n 個だということになります。(証明終)

ap11の因数分解

ラグランジュの定理を用いて ap11 を因数分解してみます。フェルマーの小定理によると素数 p について
(a,p)=1ap11(modp)
が常に成り立ちます。a=1,2,,p1 はすべて p と互いに素なので
1p11(modp)2p11(modp)(p1)p11(modp)
がすべて成り立つことになります。ラグランジュの定理によると、p1 次の合同方程式の解は最大で p1 個ですから、ap11 の解はこれですべて出揃っていることになります。したがって
ap11(a1)(a2)(a(p1))(modp)
のように因数分解することができます。

エクセルや数学に関するコメントをお寄せください