今回は、「2平方定理」について、数学書の中に幾何的証明を見つけたので、そのさわりの部分を紹介したい。読んだ本は、キャッセルズ『楕円曲線入門』岩波書店だ。
この本は、楕円曲線(で定義される曲線)の数論を解説した本だが、p進体上の楕円曲線も含むのが特徴である。
この本のユニークなところは、各章が非常に短いこと。長くても5ページぐらいで終わる。だから、長い解説や証明を読まされる苦痛は少ない。しかし、そのおかげで全部で26章もある。
この本は、(ぼくにとって)めちゃくちゃわかりやすいところとすげぇわかりにくいところが混在している。おおざっぱに言えば、最初のほうはものすごくわかりやすいが、途中からかっとんでしまって歯が立たなくなる。後半には、「ガロアコホモロジー」とか、「セルマ-群」とか、フェルマー予想解決のときに耳にしたアイテムが出てくるだけに読破できれば幸せだと思うのだけど、近未来の目標というところだ。
さて、「2平方定理」というのは、「4で割ると1余る素数は2つの平方数の和で表せる」というもの。例えば、,
,
のようなことだ。同値な言い換えをすれば、「素数
に関して、
を満たす整数
が存在するなら、
は2つの平方数の和となる」である。
この定理は、(初等的にも証明できるが)普通は2次体のガウス整数を使った証明がなされる。ガウス整数とは、(
は整数)の形の複素数だ。おおざっぱには、4で割ると1余る素数
は、ガウス整数の世界では素数でなくなり、
と素因数分解されることから証明される。
だから巧くできている。詳しい証明は、拙著『素数ほどステキな数はない』技術評論社で読んでほしい。
キャッセルズの本には、この定理の幾何学的証明が載っていてのけぞった。この手法自体は知っていたけど、2平方定理が証明できるとは初耳だった。
証明にはひとつの補題とそれから導かれる定理が使われる。
補題とは、「は正整数。
を
次元空間の点集合で、その体積
が
より大きいとする。このとき、
に属する
個の点
が存在して、任意の
について、差
のすべての座標が整数となる。」というもの。点集合
がどんなに変な形をしていても、体積が
より大きいなら、すべての座標の差が整数となる点が
個以上とれてしまう、ということだ。
の場合はBlichfeldtという数学者が最初に証明したらしい。
この補題の証明は次のようにすごく簡単明瞭だ。
まず、「単位立方体」の点集合を、「すべての座標が0以上1未満の点の集合」と定義する。すると、
次元空間のすべての点
は、点集合
の点
とすべての座標が整数である点(格子点とも言う)
を用いて、
と表せる。
次に、を
の「特性関数」とする。すなわち、
が
に属するなら
、そうでないなら、
と定義された関数である。そして、この関数を
次元空間全域で積分する。積分値は
であるが、定義からこれは体積
である。したがって、
>
さて、この積分を単位立方体に分解して実行するとしよう。2次元なら、例えば、点を最小点とする単位立方体は
なる点の集合だから、
となる。だから、先ほどの積分は、整数点
にわたる総和として、
と書き換えることができる。各積分を、を変数に取り替えて、単位立方体内での積分に書き換えると、(さらに積分と総和を入れ替えて)、
となる。
ここでもし、積分の中身のがすべての
に対して
以下であると、単位立方体の体積が1であることに注意して、
となって、>
に矛盾してしまう。よって、ある
に関して、
>
が得られることになる。左辺の総和の中身は1または0だから、左辺は整数。よって、左辺が以上になる
が存在する。これは、
が
に属する点
が少なくとも
個以上存在することを意味する。これらを
と置けば、それら任意の2点の差は(
が相殺されて)、すべての座標が整数となって、補題の証明が終わる。
ポイントは積分の単純な評価にすぎないから、こんな簡単な分析でも面白い結果が出てくることに数学のパワーを実感できる。
この補題を使うと次の定理が証明できる。の場合はMinkowskiによって、一般の場合はvan der Corputによって証明されたとのこと。
定理「を
(整数のみからなる
次元ベクトルの成す加法群)の指数
の部分群とする。
は
次元空間の凸かつ対称的な部分集合で、体積が
>
であるものとする。このとき、
と
は
以外の共通点をもつ」
この定理は、上の補題を使って、引き出し論法に持ち込めば簡単に証明できるのだけど、部分群の指数とか説明するのが難儀なので省略する。
そしていよいよ、この定理を上手に用いることで、2平方定理「正整数に関して、
を満たす整数
が存在するなら、
は2つの平方数の和となる」が証明できる。冒頭で述べたのは素数に関してだけど、ここでは一般の正整数
に拡張されていることに注目してほしい。
この2平方定理の証明は、を開円盤
<
ととり、
の部分群
を「
」で定義すれば、先ほどの定理から
と異なる
で、
をみたすものが存在する。つまり、0<
<
かつ
となる。これから、
が得られる。要するに、
の倍数となる
で、0以上
未満のものがあり、それは
そのもの、ということだ。補題や定理における「体積がある程度大きいなら整数点(格子点)が存在する」ことと、「合同式の制約」から、ピンポイントの平方和が出てくる、というからくりなわけ。実によくできている。
キャッセルズは、この2平方定理の証明は定理の簡単な応用例として紹介している。ほんちゃんは、Hasseによる「局所・大域原理」を証明することだ。これは、「上の2次曲線
上に有理点が存在するための必要十分条件は、
が実数体
上およびすべての素数
に関し
進体
上で定義された点をもつこと」
という定理。これは現代数論のひとつの象徴的定理と言えるものだ。
しつこくてすまんが、2平方定理の2次体の数論を使った証明を、わかりやすく知りたいなら、拙著『素数ほどステキな数はない』技術評論社を読んでほしい。他にも素数の魅力が満載の本だよ。