<まなぶ>やっぱり2の倍数です。
<よしお>3の倍数も含んでいると思います。
<先 生>その通り。よしおのいうように3の倍数を含んでいるね。ではこうやってどんどん切り取る間隔を延ばしていったらどうなるだろう。下の図を見て各自考えてごらん。
<かず子>分かりました。間隔が5だと5の倍数。間隔が6だと6の倍数のように「間隔の倍数」を含んでいます。
<先 生>もっと具体的にいってみよう。間隔がnの場合はnの倍数を含んでいるということだね。ところで実は、先ほどまなぶがいっていたことも重要なことなんだ。間隔3ということは、間隔2を延ばしたものだね。だから2の倍数も含むことになる。間隔5ではどうだろう。
<まなぶ>2の倍数、3の倍数、4の倍数,5の倍数を含みます。
<先 生>したがって、間隔nは、k(k=1,2,3,……,n)の倍数を含む。これから間隔nに含まれるすべての数の積を計算すると、2の倍数、3の倍数、…、nの倍数の積を含むわけだから、「連続するn個の整数の積」は、
n×(n−1)×(n−2)×(n−3)×………×3×2×1 ………(*)
で割りきれることが分かるんだ。
さて、(*)の計算を圧縮して表現し、n!と書くことにしよう。読みかたはnの階乗(n factorial) 「ひゃくとおりある」なんて語路合せで覚えればよい。
<生徒達>…………
<先 生>……まっ、冗談はさておき、まとめると
「連続するn個の整数の積はn!で割りきれる」
ということだが、次にこれを利用した問題を解いてみよう。
<先 生>まず(1)を考えてみよう。3!=6だから、与式は連続する3個の整数の積になっていればいいことがわかる。
n3+5n=n(n2+5)
となるけど、さて連続する3個の整数の積をどうやって作ればいいだろう。nをそのひとつとして考えてみよう。
<よしお> n,n+1,n+2でしょうか。
<先 生>うん、そうすると、与式の中の因数には(n+1)(n+2) すなわちn2+3n+2 が足りないことになるから
(与式)=n(n2+5)
=n{(n+1)(n+2)−(n2+3n+2)+n2+5}
=n{(n+1)(n+2)−3(n+1)}
=n(n+1)(n+2)−3n(n+1)
ここで、n(n+1)(n+2)は連続する3個の整数の積だから6の倍数となる。また、n(n+1)は連続する2個の整数の積だから2の倍数、したがって3n(n+1)は6の倍数。よって、以上より与式は6の倍数であることがわかる。ところで他のみんなもよしおと同じような連続する3つの整数を考えたのかな。
<かず子>あのう、私は、n−1とnとn+1 を考えました。
<先 生>では、かず子の考えた整数について、どうなるか計算してみよう。
(与式)=n(n2+5)
=n(n2−1+6)
=(n−1)n(n+1)+6n
(n−1)n(n+1)は連続する3個の整数の積だから明らかに与式も6の倍数だね。こちらの方が分かり易いかもしれない。では、まなぶはどう考えたのだろう。
<まなぶ>あのう、ぼくは、nをもとにするのを忘れて、n+1,n+2,n+3にしてしまったんですけど。
<先 生>話をよく聞いていないということだが、でも間違いではないよ。ちょっとやってみよう。
(n+1)(n+2)(n+3)=n3+6n2+11n+6n
だから、
(与式)=n3+5n
=(n3+6n2+11n+6)−6n2−6n−6
=(n+1)(n+2)(n+3)−6(n2+n+1)
ほら、できてしまった。要は、方針を決めたら初志貫徹、何が何でもその方向へ式を変形するって気持ちを持つことだ。数学はエレガントだけでなくこういった強引さも必要なんだ。これを強引ぐ(Going)my way という。
<生徒達>………
<先 生>………まっ、とにかく(1)はできたから、次は(2)。まず与式を因数分解してみよう。
(与式)=n(n4−1)
=n(n2−1)(n2+1)
=(n−1)n(n+1)(n2+1) ……(**)
さて、ここで、(n−1)n(n+1)は連続する3個の整数の積だ。5の倍数であることを示すには連続する5個の整数の積を作ればいい。では残りの2つの整数はなんだろう。
<よしお> (n+2),(n+3)です。
<先 生>確かにそうだけど、もう少し計算しやすいものはないかな。
<かず子>n−2とn+2のほうがいいと思います。
<先 生>そう、その通り。(n−1)n(n+1)の前後の数を考えればいいね。そうすると(n−2)(n−1)n(n+1)(n+2)という連続する5個の整数の積が作られる。さあ、それでは変形しよう。
(与式)=(n−1)n(n+1){(n2−4)+5}
=(n−2)(n−1)n(n+1)(n+2)+5(n−1)n(n+1)
あとは、もう明らかだよな。
ところで、(**)を見てごらん。この式の(n−1)n(n+1)は連続する3個の整数の積であるわけだから、実は与式は6の倍数でもある。したがって、与式は5の倍数かつ6の倍数、すなわち30の倍数になっているんだ。
さあ、それでは最後の問題(3)だ。まなぶ、まず因数分解をしてみよう。
<まなぶ> (与式)=n(n6−1)
=n(n2−1)(n4+n2+1)
=(n−1)n(n+1)(n4+n2+1)
となります。
<先 生>OK!。この段階で6の倍数であることが分かるね。したがって42の倍数であるには、あとは7の倍数であることを示せばよい。さあ、それでは連続する7個の整数の積を作ってみよう。よしお、どうする。
<よしお> (n−1)n(n+1) の前後に、(n−3),(n−2),(n+2),(n+3)を掛けます。
<先 生>だいぶ、要領良くなってきたな。
(n−3)(n−2)(n+2)(n+3)=(n−3)(n+3)(n−2)(n+2)
=(n2−9)(n2−4)
=n4−13n2+36
だから、
(与式)=(n−1)n(n+1)(n4+n2+1)
=(n−1)n(n+1){(n4−13n2+36)+14n2−35}
=(n−3)(nー2)(n−1)n(n+1)(n+2)(n+3)+7(2n2−5)(n−1)n(n+1)
さあ、7の倍数であることが示されたね。
従来は、例えば6の倍数を示すには、剰余系を考え2と3を法(modulus)として分類し、場合分けで証明していたが、「数学T」で並行して個数の処理を学ぶようになってからは、組合せを利用した方法も可能となってきた。
ここで、 は自然数であることから、右辺も自然数。よって、n(n−1)(n−2)(n−3)………(n−k+1)なる連続するk個の整数の積はk!で割りきれる。したがって、m(2≦m≦k)の倍数であるかどうかを示すには連続するk個の整数の積を作ればいいことになる。そして倍数問題は、この考え方の方が安易にそして簡単にできてしまうことが多いようだ。
もちろん場合分けというもっとも数学的な思考整理法は大切にしなければならないと思うが、中学校での場合分けの指導が単位数減の現状において段々と希薄になってきている関係から、高校現場では剰余類の概念を生徒に指導するのは困難になってきてもいる。もう少し思考を練り、そしてほぐす時間が欲しい。1年間を通して少しずつ場合分けの思考を育てていけばいいのではないだろうか。
ところで、本文の問題の(2),(3)は、フェルマーの小定理に関するものである。一般に
pを素数とするとき、 np≡n (mod p) n∈N ………(#) |
proof)
P(n)=np−n とおく。
P(1)=0より 明らかに成立
P(m)で成立すると仮定する。 すなわち P(m)=mp−m≡0 (mod p)
ここで
連続するk個の整数の積p(p−1)(p−2)………(p−n+k)はk!で割り切れるが、
pは素数、 1≦k≦p−1
であるから、(p−1)(p−2)(p−3)………(p−k+1)か゛k!で割り切れる。
∴ pCk=ptk,tk∈N とおける。
よって P(m+1) においても成立する。
以上より、すべての自然数nにおいてP(n)は成立する。 Q.E.D
この(#)から、
np−n=ap a∈N とおくと、
n(np-1−1)=ap
ここで(n,p)=1であれば、
np-1−1≡0 (mod p)
よって、フェルマーの小定理を得る。
nを自然数、pを素数とする。nとpが互いに素であるとき、 np-1≡1 (mod p) |
以上の証明は、剰余系の概念を必ずしも理解していなくても、十分高校生が理解できる内容であると思う。
具体的には、次のような問題にも応用できる。
ex) 21999 を19で割った余りを求めよ。 |
解) (2,19)=1 であるから、
218≡1 (mod 19)
21999=(218)111・2
≡2 (mod 19)
よって、余りは2
フェルマーの小定理は、Mp=2p−1なるメルセンヌ数へと拡張し、「2p-1・Mpは完全数である」というユークリッドの発見に回帰する。
初等整数論は時間の流れの中を揺れ動いているのである。フェルマーの大定理は、今世紀にその証明が完結したが、この分野はまだまだ興味をそそる題材が埋もれている。その探求が高校生の知識でも可能であるとしたら楽しいことである。ちょっとした興味で「数学の尻尾」に触れることができるのである。