前回の【命題2】を前に使った図を使って見ていきます。
【命題2】
、 がではない異なる素数のとき、
が成り立ちます。
図は ,
01 | ■ | □ | □ | □ | □ | □ | □ | □ | △▲[017/23] = 00 | △▲■[017/23+1/2] = 01 | ■[017/23+1/2]-[017/23] = 01 |
---|---|---|---|---|---|---|---|---|---|---|---|
02 | △ | □ | □ | □ | □ | □ | □ | □ | △▲[034/23] = 01 | △▲■[034/23+1/2] = 01 | ■[034/23+1/2]-[034/23] = 00 |
03 | △ | ▲ | □ | □ | □ | □ | □ | □ | △▲[051/23] = 02 | △▲■[051/23+1/2] = 02 | ■[051/23+1/2]-[051/23] = 00 |
04 | △ | △ | ■ | □ | □ | □ | □ | □ | △▲[068/23] = 02 | △▲■[068/23+1/2] = 03 | ■[068/23+1/2]-[068/23] = 01 |
05 | △ | △ | △ | ■ | □ | □ | □ | □ | △▲[085/23] = 03 | △▲■[085/23+1/2] = 04 | ■[085/23+1/2]-[085/23] = 01 |
06 | △ | △ | △ | △ | □ | □ | □ | □ | △▲[102/23] = 04 | △▲■[102/23+1/2] = 04 | ■[102/23+1/2]-[102/23] = 00 |
07 | △ | △ | △ | △ | ▲ | □ | □ | □ | △▲[119/23] = 05 | △▲■[119/23+1/2] = 05 | ■[119/23+1/2]-[119/23] = 00 |
08 | △ | △ | △ | △ | △ | ■ | □ | □ | △▲[136/23] = 05 | △▲■[136/23+1/2] = 06 | ■[136/23+1/2]-[136/23] = 01 |
09 | △ | △ | △ | △ | △ | △ | ■ | □ | △▲[153/23] = 06 | △▲■[153/23+1/2] = 07 | ■[153/23+1/2]-[153/23] = 01 |
10 | △ | △ | △ | △ | △ | △ | △ | □ | △▲[170/23] = 07 | △▲■[170/23+1/2] = 07 | ■[170/23+1/2]-[170/23] = 00 |
11 | △ | △ | △ | △ | △ | △ | △ | ▲ | △▲[187/23] = 08 | △▲■[187/23+1/2] = 08 | ■[187/23+1/2]-[187/23] = 00 |
□■[023/17] = 01 | □■▲[023/17+1/2] = 01 | ▲[023/17+1/2]-[023/17] = 00 |
□■[046/17] = 02 | □■▲[046/17+1/2] = 03 | ▲[046/17+1/2]-[046/17] = 01 |
□■[069/17] = 04 | □■▲[069/17+1/2] = 04 | ▲[069/17+1/2]-[069/17] = 00 |
□■[092/17] = 05 | □■▲[092/17+1/2] = 05 | ▲[092/17+1/2]-[092/17] = 00 |
□■[115/17] = 06 | □■▲[115/17+1/2] = 07 | ▲[115/17+1/2]-[115/17] = 01 |
□■[138/17] = 08 | □■▲[138/17+1/2] = 08 | ▲[138/17+1/2]-[138/17] = 00 |
□■[161/17] = 09 | □■▲[161/17+1/2] = 09 | ▲[161/17+1/2]-[161/17] = 00 |
□■[184/17] = 10 | □■▲[184/17+1/2] = 11 | ▲[184/17+1/2]-[184/17] = 01 |
■は
▲は
□は
△は
は異なる素数、、 として とすると、 となり、 は の倍数、 は の倍数になってしまいます。 とすると、 となり、 は の倍数になってしまいます。 となることも となることもありません。 と 、 と を入れ替えて考えると となることも となることもありません。
で上の長方形のすべての場所を埋めることができることはすぐにわかりますが、=の場合は起こらないので
■:
▲:
□:
△:
で上の長方形のすべての場所を埋めることができます。
△と▲の合計の個数は、 となるものの個数ですから、各 に対しては である 、すなわち は の 個となります。
△と▲と■の合計の個数は、 となるものの個数ですから、各 に対しては である 、すなわち は の 個となります。
□と■の合計の個数は、 となるものの個数ですから、各 に対しては である 、すなわち は の 個となります。
□と■と▲の合計の個数は、 となるものの個数ですから、各 に対しては である 、すなわち は の 個となります。
△と▲の合計の個数は 個、
□と■の合計の個数は 個
となります。
△と▲と□と■の合計の個数は長方形の全体なので、 個、
よって
となります。
続いて上の図と「ガウスの補題」について
「ガウスの補題」により
■の個数が偶数 ⇔
▲の個数が偶数 ⇔
よって
■の個数と▲の個数の合計が偶数 ⇔
となっていました。
■の個数と▲の個数の合計
ですが、これを図で考えるとどうなるのかはよくわかりません。
この証明は本に従って書いたと思うのですがよくわからない部分があるので今後考えてみたいと思います。