ζ(3)は３０年ほど前にアペリーが証明（アペリ，１９７９年）し，その後，Zudilinがζ(5)，ζ(7)，ζ(9)，ζ(11)のうちの少なくとも一つは無理数であることを，奇数ゼータζ(2n+1)で無理数のものが無限個あることはRivoalが示しています．

　近年めざましい進展があるようで，誰がζ(5)の無理性を示すかだったのですが，２０１１年末，ζ(5)の無理性が証明されたようだという驚くべきニュースが入った．しかし，その後，その証明の裏がとれたと話は聞かない．

　その「証明」はボイカーズによるζ（3）の無理数性の証明を一般化したもののようだった．あの「証明」どうなったのであろうか？

http://arxiv.org/abs/1105.0730v2

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

【１】周期

　新しい数の概念《周期》の定義から紹介することにしましょう．ある数が周期であるとは「代数的係数多項式で与えられる領域ｃ上で，代数係数の代数的関数の積分として表される」ことをいいます．

　周期という用語は，２次ないし３次曲線の弧の長さを表す周期積分に由来をもつと思われるのですが，周期はふつう超越数からなり，周期積分�唐ﾉよって超越数の細分類を考えることであるといっても差し支えありません．

　周期の例を掲げていきましょう．たとえば，代数的数√２は領域ｃ：２ｘ^2≦１上で，定数関数１の積分

　　√２＝∫(c)ｄｘ

と表すことができますから，周期になります．

　代数的でない周期の最も簡単な例は円周率πです．πは領域ｃ：ｘ^2＋ｙ^2≦１上で，定数関数１の積分

　　π＝∫(c)ｄｘｄｙ

ですが，円の面積として

　　π＝２∫(-1,1)√(1-x^2)ｄｘ

円周の長さとして，

　　π＝∫(-1,1)１／√(1-x^2)ｄｘ

また，ローレンツ関数のグラフの下の面積に等しいという事実から

　　π＝∫(-∞,∞)１／（１＋ｘ^2）ｄｘ

など，様々な形の積分を用いて周期として表現できます．さらにまた，代数的数２ｉをかけると，複素数平面内のｚ＝０の周りの複素積分

　　２πｉ＝�唐р噤^ｚ

で表すことも可能です．

　楕円：x2/a2+y2/b2=1の全周は，完全楕円積分4aE(e)となり，代数的には表すことができない超越数ですが，楕円積分は定義からして周期そのものです．

　　∫(-b,b)(1+(dy/dx)^2)^(1/2)dx

　 =∫(-b,b)(a^2-k^2x^2)/{(a^2-x^2)(a^2-e^2x^2)}^(1/2)dx

　　　　　　　　　　　　e＝{(a^2-b^2)/a^2}^(1/2)は離心率

　また，リンデマンの定理より代数的数βの対数ｌｏｇβは超越数ですが，たとえば，

　　ｌｏｇ２＝∫(1,2)ｄｘ／ｘ

より，周期になることがわかります．

　これらに対して，自然体数の底

　　ｅ＝ｌｉｍ（１＋１／ｎ）^n

やオイラーの定数

　　γ＝ｌｉｍ（Σ１／ｋ−ｌｎｎ）

は周期ではないと思われています．前者は超越数（エルミート，１８７３年）であることがわかっていますが，後者は有理数とも無理数ともわかっていません．おそらく超越数なのでしょう．また，周期πの逆数１／πは周期に属しません．なかなか一筋縄ではいかないものです．

　ここで，代数的数の集合をＱ~，周期の集合をＰと書くことにしますが，

　　Ｑ　＜　Ｑ~　＜　Ｐ　＜　Ｃ

周期の集合Ｐは可算集合であることがわかっています．周期（代数的数と複素数の間にある新しい数の世界）も超越数の候補ではありますが，超越数とは別の由来をもち，次元の異なる数なのです．

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