【４】ｘ^3＋ｙ^3＝ｚ^3 on Ｆp=1(mod3)

　前節より，３乗で表される数ｘ^3＝ａの解の個数が

　　指数が３の倍数のとき・・・・・３個

　　指数が３の倍数でないとき・・・０個

で与えられることが理解されます．

　ｐ＝１（ｍｏｄ３）の場合，Ｎpは複雑となるのですが，実は

　　ｘ^3＋ｙ^3＝１　　　（ｘ≠０，ｙ≠０）

の解の個数をＭpとおけば，

　　Ｎp＝９＋Ｍp

となることがわかっています．

　そこで，

　　Ｓ（ｕ）＝（ｕ＝ｘ^3を満たす解の個数）

　　Ｓ（ｖ）＝（ｖ＝ｙ^3を満たす解の個数）

とおくと，Ｆ7では

　　指数が３の倍数のとき・・・・・Ｓ(1)＝Ｓ(6)＝３

　　指数が３の倍数でないとき・・・Ｓ(2)＝Ｓ(3)＝Ｓ(4)＝Ｓ(5)＝０

で，ｕ＋ｖ＝１を満たす（ｕ，ｖ）の組は

　　（２，６），（３，５），（４，４），（５，３），（６，２）

ですから

　　Ｍ7＝Ｓ(2)Ｓ(6)+Ｓ(3)Ｓ(5)+Ｓ(4)Ｓ(4)+Ｓ(5)Ｓ(3)+Ｓ(6)Ｓ(2)＝０

より，Ｎ7＝９が得られるというわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　次に，

　　指数が３の倍数のとき・・・・・３個

　　指数が３の倍数でないとき・・・０個

と結びつけるために，１の原始３乗根

　　ω＝（−１＋√３）／２，ω~＝（−１−√３）／２

　　ω^2＝ω~，１＋ω＋ω^2＝０

を使うことにします．

　　ω^k＝０　　　（ｋ＝０　　ｍｏｄ３）

　　　　＝ω　　　（ｋ＝１　　ｍｏｄ３）

　　　　＝ω^2　　（ｋ＝２　　ｍｏｄ３）

ですから

　　１＋ω^k ＋ω^2k＝３　　　（ｋ＝０　　ｍｏｄ３）

　　　　　　　　　　＝０　　　（ｋ≠０　　ｍｏｄ３）

が成立します．１＋ω^k ＋ω^2kという式は指数ｋが３で割り切れるかどうかの指標になっているというわけです．

　Ｆpにおける原始根ｒが与えられたとき，０以外のすべての元は，

　　ａ＝ｒ^k　　　（k=0〜p-2）

で表されるのですが，このとき，

　　χ（ａ）＝ω^k，χ~（ａ）＝ω~^k＝ω^2k

と定めます．この指標は乗法的性質

　　χ(m)χτ(n)＝χτ(mn)

をもっています．

　するとＦ7（ｒ＝３）では

　　ａ　　：１　，２　，３　，４　，５　，６

　　ｋ　　：０　，２　，１　，４　，５　，３

　　χ(a) ：１　，ω^2，ω　，ω　，ω^2，１

　　χ~(a)：１　，ω　，ω^2，ω^2，ω　，１

　これより

　　ｘ^3＝ａなるｘが存在する←→χ(a)＝１，χ~(a)＝１

　　Σχ(a)＝Σχ(r^k)＝Σω^k＝０

　　Σχ~(a)＝Σχ(r^k)＝Σω^2k＝０

であり，

　　Ｓ（ｕ）＝１＋ω^k ＋ω^2k＝１＋χ(u)＋χ~(u)

　　Ｓ（ｖ）＝１＋ω^2k ＋ω^k＝１＋χ(v)＋χ~(v)

　ここで，

　　Ｊ(χ)＝Σχ(u)χ(v)

　　Ｊ(χ~)＝Σχ~(u)χ~(v)　　　（Σはu+v=1をわたる）

なる記号を使えば

　　Ｍp＝ｐ−８＋Ｊ(χ)＋Ｊ(χ~)

より

　　Ｎp＝ｐ＋１＋Ｊ(χ)＋Ｊ(χ~)

と表されます．

　Ｊ(χ)とＪ(χ~)はヤコビ和と呼ばれる複素数ですが，Ｆ7（ｒ＝３）の場合は

　　Ｊ(χ)＝χ(2)χ(6)+χ(3)χ(5)+χ(4)χ(4)+χ(5)χ(3)+χ(6)χ(2)

　　　　　＝２ω^3＋３ω^2＝−１−３ω

同様に

　　Ｊ(χ~)＝２＋３ω，

　　Ｊ(χ)＋Ｊ(χ~)＝１，Ｊ(χ)Ｊ(χ~)＝７

となります．

　このように，Ｊ(χ)＋Ｊ(χ~)は実数となり，また，

　　｜Ｊ(χ)｜^2＝Ｊ(χ)Ｊ(χ~)＝ｐ

　　｜Ｊ(χ)｜＝｜Ｊ(χ~)｜＝√ｐ

が成り立ちますから，ｐ＝１（ｍｏｄ３）のとき

　　ｐ＋１−２√ｐ＜Ｎp＜ｐ＋１＋２√ｐ

となることがわかります．Ｎpは各素数ｐごとにてんでんばらばらになっておらす，そこにはある秩序が存在しているというわけです．

　なお，

　　ｐ＋１−２√ｐ＜Ｎp＜ｐ＋１＋２√ｐ

という式は楕円曲線と有限体の関係においても登場しますので，それについてはコラム「楕円曲線と有限体」，「谷山予想・佐藤予想・ラマヌジャン予想」をご参照下さい．ワイルズも２０代になったばかりのデビューしたての頃，楕円曲線のゼータ関数についての仕事で数学界に衝撃を与えました．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝