本記事は 日曜数学 Advent Calendar 2023 の4日目の記事です。
特に書きたい内容があったわけではないのですが、ノリで登録してしまいました。
その結果、書く内容を中々思いつくことができずにいたのですが、渡邉究先生の以下の投稿を見て、これで何か書こうと思い立ちました。
2003年の東大の入試問題
— 渡邉究/数学科准教授/YouTube (@Kiwamu_Watanabe) 2023年12月2日
「円周率は3.05より大きいことを示せ」
は超有名問題だけど、以下の積分を計算すると、
より良い近似値が得られる。
皆さんご存知でしょうけど。
初めて知った時は驚いた。 pic.twitter.com/CzpH7xNyYL
簡単な内容まとめ
上記積分は
の の場合であり、この積分族は円周率の無理数性を証明する近似列の候補である。
より優秀なものとして
という候補も考えられるが、 や では円周率の無理数性証明には届きそうもない。
にも拘らず、本来届くはずのない が実は円周率の無理数性を知っているのだという驚愕的事実に我々は到達する。
関孝和と円周率
最近、岩波書店の『関孝和全集』が出版されたことに影響を受けて関孝和が自分の中でアツいのですが、先日1つ記事を書いたのでまだの方は是非読んでいただきたいです。
integers.hatenablog.com
本題からは少しずれますが、この節には関孝和の円周率研究の話を少しだけ書きます。
円に内接・外接する正角形を考えて、その周長を求めることにより、を大きくとればとるほど円周率の良い近似値が得られます。アルキメデスはこの方法によって の場合を考えて、
程度の結論を得ているそうです。
2003年の東大の入試問題はメッセージ性があり*1、入試問題としての難易度の適切性を考えても非常に優れた入試問題だと感じます。一方で、示される結果だけを見ると、2000年以上前の結果の方が優れており、過去の偉人は凄いなあとも感じます。
さて、関孝和も円周率の計算を行なっているのですが(『括要算法』の巻貞)、その手法がアルキメデスの方法を超えたものである点が強調できます。以下、[一巻] p.513〜p.520で展開されている解説を参考にしています。
準備としてはやはり正多角形の周長を求めるのですが、関孝和は直径の円に内接する正角形の周長 の近似値をあらかじめ に対して求めています。例えば
です(この時点では円周率と小数点以下9桁一致しています)。これを基に
として、円周率の近似値「微弱」を得ています。実際にはこの式から小数点以下18桁まで正確に出るそうです*2。
この式がどのようにして導出されたかについては『括要算法』には書かれていないそうですが、次のように解釈することができます(なお、松永良弼による後に整理された記述があるそうです)。
基本的な考え方は図形的に得た数値から何らかの法則を見出して、図形的には計算していない , の値を推測により補間し、極限として円周率を計算するというものです。
階差数列 が近似的に等比数列のように振る舞うことが観察・予想できるため、手にしているデータの中で一番番号の大きい
を公比として採用し、
と補間していきます。すると、
と円周率の近似値が得られ、これは関孝和の計算式に一致しています。
ポイントは関孝和が既に無限等比級数の和の公式を手中に収めていたことです。これは増約術と呼ばれ、『括要算法』の巻亨に書かれています*3。
円周率は周期である
有理数係数の1変数多項式であって恒等的にではないものの根になる複素数を代数的数とよびます。例えば、 は の根、すなわち方程式 の解なので代数的数です。このような代数的数の世界には定義からは想像できないほど豊かな理論が眠っており、そのうちの幾つかについてはつまびらかにされています(例えば、高木貞治先生による類体論など)。
円周率は代数的数ではありません(リンデマンが1882年に証明)。このような代数的数ではない複素数は超越数とよばれています。「整数論的に面白い現象は代数的数の世界でしか起こらず、超越数の世界は面白くない」とは全く思われていません。21世紀に入って、円周率を含み代数的数全体の集合より広い数の世界であって、なおかつ整数論的に面白い理論があるに違いないと考えられている新世界の探究が活発になっています。ここでいう新世界とは、コンセビッチとザギエによって導入された「周期の世界」のことを指します。
「周期」は簡単に述べると積分で表される複素数のことです。「積分」の部分をもう少し詳しく言うと、「有理数係数多項式を用いて定義されるユークリッド空間内の領域上における有理数係数有理関数の絶対収束する広義リーマン積分」となるでしょうか。円周率は
と表すことができるため、周期であることがわかります。
有理数近似とクオリティー
実数を有理数で近似したいんですよ。 を実数として、有理数 (は整数、は正の整数)との差の絶対値
を小さくしたいのです。
実数がどうやって定義されるかを思い出せば、有理数で近似できることは当たり前なんですが、優秀な近似有理数を見つけたいです。円周率のよく知られた優秀な近似有理数としては があります。
円周率の小数展開をある程度暗唱できる人なら、もっといい近似が簡単に得られると思われるかもしれません。例えば、
なので、有理数 の方が円周率に近いことがわかります。ですが、実は の方が よりも円周率の近似有理数として優秀な点があります。それは「分母の大きさに対する近さ」を比べることによりわかります。
と
を見比べてみてください。実数の定義から、単に有理数との差の絶対値だけを考えるならば幾らでも小さくできます。これは当たり前のことです。ですが、このように差の絶対値を、近似する有理数の分母の冪乗として表したときの指数を考えると、この値をどれだけ大きくとれるかということは非自明な問題となります。
この指数部分を近似有理数のクオリティーとよびます。円周率の近似有理数として、 のクオリティーは であり、 のクオリティーは です。
クオリティーが大きいほどより優秀な近似有理数であるという立場に立てば、 は よりも優秀であるということになるのです。
周期の有理数近似
実数 との有理数係数1次結合 を作れば、それを で割ることによって の有理数近似が得られます。
が周期であれば積分表示があるため、有理数係数1次結合 も積分表示で与えてしまおうという発想があります。そこで、を整数係数多項式として、
という形で円周率の有理数近似を作ることを考えてみましょう。ただ、勝手な を考えてしまうと、別の周期である
が混ざってしまいます。これが混ざらない条件を考えると、 を虚数単位として が満たされていればOKです。このとき、 であれば、 が円周率の有理数近似を与えますが、それが小さくなって欲しいことを考えると、 が区間 で小さな値をとればよいことがわかります。
以上の条件を満たす を探すと、単純な候補として が挙がります。そして、
と計算されるため、円周率の近似有理数 が手に入るのです*4。これが冒頭の渡邉究先生が投稿された積分に他なりません。
近似列と無理数度
与えられた実数 に対してクオリティーの大きい近似有理数を見つけることは興味がありますが、幾つか見つけるだけではなく、「一定以上のクオリティーを持つ近似有理数が無限にあるか」ということも気になります。どんな実数にもいくらでも近い有理数は存在するわけですが、大きいクオリティーを持った有理数に無限回近似されることにはどれほど耐えられるのかということです。
実際、そのような無限列を考えて耐久力を調べることは 自身の数としての性質を掴むことに繋がり、例えば無理数であることの証明を与えてくれたりもします。
実は が無理数であることと、「クオリティーが以上であるような の近似有理数が無限に存在すること」は同値です。
integers.hatenablog.com
ということはですよ。 に対してクオリティーが以上の「近似有理数の無限列」(以下、近似列。また、ここで考える列を構成する有理数たちは互いに相異なるものとする)を見つければ が無理数であることが証明されることになります。
ところが、この戦略はそんなにうまくはいきません。 が無理数なんだったら所望の近似列が存在することは正しいわけですが、その存在性は鳩の巣原理を用いて証明されるのであって、具体的に構成することは極めて難しいです。
ところが!!クオリティーが以上の近似列は存在はするんだけれども、たとえそれを見つけることができなくとも、例えば「クオリティーが以上の近似列」を別途見つければ十分であるというようなことが起き得ます。
もう少し詳しく見てみましょう。
「周期の有理数近似」の節で見たように、 が周期である場合には、その積分表示を基に近似列を構成するというアプローチがあります。そのような構成では、 を の近似列として、しばしば が指数関数的な増大度になります。そこで、 が存在して と押さえられていると仮定しましょう。
そして、正の実数 が存在して、全ての で
が成り立つと仮定します。普通は として取れるギリギリのものを選ぶので、近似有理数 のクオリティーが(大体) 以上であるという設定になっています。
このとき、 は無理数であることが示されます。実際、 が有理数であると仮定して とおくと、
が成り立つので、十分大きい で と の間の整数が手に入ります。(んなわけあるか!)
はより大きければいいだけなので、クオリティーが以上の近似列を見つける必要はないことがわかりました。
ところで、このような近似列を構成するというアプローチは無理数性を証明する唯一のアプローチというわけではありません。実際、円周率が無理数であることの有名な証明(Nivenによる証明など)はこのアプローチではありません(代数的無理数の場合は、その数が満たす方程式を用いればもっと簡単に証明できますね)。
ですが、単に が無理数であることを証明したいだけではなく、その数がどのような近似列を持つか、例えば、これから説明する無理数度がいくつかといった問題はそれ自体が興味あるテーマですので、既に無理数であることが別の方法で証明されていたとしても近似列の構成は探求されるべき研究課題といえます(代数的数であってもそうです)。ので、円周率の近似列を我々は見つけたいです。
実数 の無理数度というのは、その値を少しでも超えてしまうと(無理数度が で、 を正の実数とします)、クオリティーが 以上の の近似有理数は高々有限個になってしまうというギリギリの値のことです。
有理数の無理数度は実はです(なので、よりも少しでも大きいクオリティーの近似列があればその時点で無理数になります)。一方、無理数の無理数度は必ず以上です。
クオリティーが著しく大きいような有理数近似にも耐えてしまう最強の実数は何でしょうか。それは無理数度が無限大の実数です。そのような実数のことを我々はリュービル数とよびます。
リュービルは次数が の代数的実数の無理数度が 以下であることを示したため、リュービル数は超越数であることが従います。これが具体的な超越数の存在が示された歴史的に最初の方法であることは有名ですね。
その後、リュービルの結果を改良する研究レースが行われ、最終的に1955年にロスが次数が の代数的実数の無理数度はであるということを証明しました。ロスは少し前にエルデシュとトゥランの予想を解決しており*5、これら2つの業績からフィールズ賞を受賞しています。
実は無理数度がより真に大きい実数全体の集合のルベーグ測度はです。21世紀は周期の世界の研究が進む時代であって欲しいですが、周期も無理数度は全部なんじゃないかと思います。
現時点では円周率の無理数度は 以下であることが示されているようです(Zeilberger–Zudilin 2020)。
このように無理数度を確定するための途中研究として上からの評価を得ることは重要ですが、実は先ほど を用いて述べた指数関数的増大度を持つ近似列が存在すると、
が得られます([B, p.376])。
え?これって「クオリティーが ぐらいの良い近似列があれば、クオリティーが より大きい近似列は存在しない」ということを言っている!?
つまり、特定の近似列が他の近似列の存在を禁止する影響力を持つと言っている!?
言っています。
円周率の近似列候補
前節の内容を踏まえると、
を円周率の1つの近似有理数を得ることだけで終わるんじゃなくて、族にしたくなるんですよね。それで安直に思いつく例が
です。 とすると、 であり、区間 における の最大値は なので、余裕で ()は成り立っています。
例えば、
であり、
の円周率に対するクオリティーは です。
であり、
の円周率に対するクオリティーは です。
ですので、最初はクオリティーが超えで幸先良かったわけですが、 を見るとクオリティーがを切ってしまっています。
そして、[B]によれば が与える近似列の近似有理数のクオリティーの極限値は約らしいので*6、この近似列では円周率の無理数性はでないことになります。
他にも積分で列を作る工夫は色々考えられますが、例えば次の候補列があります:
であり、
の円周率に対するクオリティーは と15番目でもを超えています。この調子でずっとより大きければいいのですが、クオリティーはに向かうらしく、よりは良いものの、やはり円周率の無理性証明は得られません。
うーむ。
無理数判定法
ちなみに、周期の無理数性判定を使い勝手がいい形にすると次のようになります。
を実数として、 は有理数 , を用いて という表示を持ち、以下の3条件を満たすとする:
- ある , が存在して、 が全ての で成り立つ。
- 正整数列 が存在して、 および は全ての で整数である。
- ある , が存在して、 が全ての で成り立つ。
このとき、もし であれば、 は無理数である。
証明はいつも通り との間に整数を作るだけです。 が大体 であることを想定すると、として、
となるので、条件 は がとれることに対応します。
具体的な計算は省略しますが、前節の については
が成り立ちます。ここで、 は の小数部分で、 は の最小公倍数です。の区間 における最大値は なので、これを ととることができます。また、 とおくと、 なので、 としては より少しでも大きい値であれば何でもとることができます。そして、
と を超えるので、( と のどっちで見ても一緒なので当然ですが)やっぱり では円周率の無理数性は出せないことがわかります。
が無理数であることの証明
失敗例しかないかというと全くそんなことはなく、ここでは円周率以外の周期における成功例を1つ紹介しておきます*7。
とおくと、
と計算されるので、 がわかります。また、 の区間 における最大値は です。
なので、前節の判定法により は無理数であることが示されました。
ズディリンの判定法
さて、ここまでの説明だと では円周率の無理数性証明には届かないため、他の形の積分を考えようという方向にシフトすることは自然です。ですが、実は「 を使って円周率の無理数性を証明する」という俄かには信じられないことがズディリンによってなされました([Z])。
ズディリンは論文[Z]において、新しい無理数判定法を提示しています。今までは無理数判定法は毎回同じものを使用して近似列の構成を色々工夫していたのに対し、無理数判定法自体を新しく作ったのです。それは「無理数判定法」の節で扱った に対する数列 が幾つかの追加条件を満たすならば、たとえ を満たしていなくとも、代わりに
を満たしていれば は無理数と断定できるというものです。
その追加条件を具体的に述べましょう。まずは、 が次の形の積分表示を持つという仮定です。
ここで、 はあるユークリッド空間 内の領域で、 は 上の非定数連続非負値関数、 は測度とします。
この記事では周期の近似列を積分を基に構成しようという話をしてきたので、そういう意味ではこの仮定は自然です*8。
もう1つ条件があって、各 に対して整除性 が成り立つことです。これも具体的な例では成り立つようにとられることが多いです。追加条件はこれらだけなので、不自然に強い技術的仮定があるわけではありません。
とは言っても も満たしてくれない例はいくらでもあるので、今まで無理数かわかっていなかったものが次々に無理数だとわかるというような神がかった判定法というわけでもありません。ただ、無理数判定法自体が新しく見つかることがある、その結果今までは無理数性が出ないと思われていた近似列によって無理数性が証明されることがあり得るということを示してもらったことはとても示唆的です。
ズディリンの判定法の証明の簡単な解説
詳細は原論文を見ていただくことにして、キーとなる部分の解説を試みてみます。
が無理数であることを証明するために1次結合 を考えていましたが、例えば、 の形をした小さな絶対値をとる1次結合を上手く構成すると、「 と の少なくとも1つは無理数」というタイプの結果が得られることがあります。
これは初めて聞いたときは「どうやって証明するんだ!?」と思うタイプの主張ですが、 と がともに有理数だと仮定してとの間の整数を作ればいいだけです。
さて、実は が無理数であることを証明するには 型の1次結合しか使えないわけではありません。というのも、例えば、もし
ということが言えれば、 は無理数であることが従います(対偶を考えてみましょう)。ということは、 とか とかどんどん冪を増やしても同様のことが言えるため、
のような形の小さな絶対値をとる列をうまく構成することができれば、それでも が有理数であるという仮定のみからとの間にある整数を作ることができるかもしれません。
以上の観察により、列の探索範囲を広げることができます。問題はどうやって を作るかですが、ズディリンが発見したのは、 が前述の各仮定を満たす場合には、 を基に を構成することができるというものです。
そうして、 そのものはクオリティーがより小さい近似列しか生み出せず、 の無理数性を証明できそうにもないにも拘らず、別の列である を生み出すことができるため、実は が無理数であることを証明できてしまうというストーリーが現実のものとなるのです。
具体的には
と定めます。すると、各条件から
であり、より強く
が言えます。一方で、行列式の計算により
という別表示が得られるため、
と評価できます。よって、もし が有理数であれば、
なる評価からとの間の整数が得られます*9。
円周率が無理数であることのズディリンによる証明
については
および、 ととることができ、 は より少しでも大きければOKでした。
条件 については、 は自明なので、
であればOKですが、これは
と言い換えられて、 があるおかげで成立することがわかります。そして、
とより小さいため、ズディリンによる新しい無理数判定法が満たされて、 由来で円周率の無理数性を証明することができました。
ん????????
より小さくないやんけ!!!!
どうやら、 のままではズディリンの判定法を使っても円周率の無理数性は証明できないようです。
そこで、 の代わりに次の を考えることにします: が偶数のときは、
とし、 が奇数のときは
このとき、 が成り立ちます。従来の「無理数判定法」を使うことを考えると
とみるか
とみるかなので、 と で変わりません(そして、円周率の無理数性は証明できません)。一方で、
なので、ズディリンの判定法が適用できれば円周率の無理数性が出ることになります。
ただ、今の場合は脚注8が嘘になっていて、 の偶奇での場合分けのためにズディリンの判定法で仮定されていた形の積分表示になっていません。なので、ズディリンの判定法自体を少し修正する必要があります。
そこで、全ての について
という設定を考えて、
を考えることにしましょう。すると、として、
が言えます。行列式の性質から
が成り立つため、 に対して を考えるとき、
という評価に変更となります。従って、 の場合であっても、 倍した条件
を満たせば円周率の無理数性が出ることがわかりました。 は今の場合は より少しでも大きければOKであり、
なので、今度こそ円周率の無理数性が証明されました。
以上、お読みいただきまして誠にありがとうございます。
日曜数学 Advent Calendar 2023 の次の記事はTaichi Aokiさんによる『 平面上のケーキを直線三本で面積7等分したい(後編)』です。
追記
円周率が無理数であることを曲芸的に証明して何の意味があるのかと思われるかもしれませんが、この話の何が凄いかというと、クオリティーがを下回ったことによって特定の実数(例えば無理数であることが未解決のもの)の無理数性証明に失敗したと考えられていた近似列が復活するかもしれないということです。
参考文献
[一巻] 上野健爾、小川束、小林龍彦、佐藤賢、『関孝和全集 第一巻 現代語訳』、岩波書店、2023年
[B] F. Beukers, A rational approach to , Nieuw archief voor wiskunde Ser. 5 1 (2000), 372–379.
[Z] W. Zudilin, A determinantal approach to irrationality, Constr Approx 45 (2017), 301–310.
*2:[一巻] p.533
*3:その後、建部賢弘が正1024角形までのデータから円周率を小数点以下41桁まで正確に求められる累遍増約術に拡張した話を5年前のAdvent Calendarの記事に書きました。 integers.hatenablog.com この記事では「増約術」を関の加速法を指すものとしていましたが、どうやら「増約術」自体は本来は無限等比級数の和の公式のことを指すようです。つまり、「増約術」を使って加速法を得たというのが正確な表現かもしれません。が、時間がないので過去記事はそのままにしておきます。
*4:ちなみに、 は関孝和も求めています。[一巻] p.533
*6:とも書いてあるのですが、これはもっと小さくなる気がして、どちらが正しいか確認できていません。
*7:以前も書いたことがあります。 integers.hatenablog.com
*8:被積分関数が乗のものしか考えていないのはもしかしたら強い仮定かもしれませんが、今回紹介しているものやその周辺の多くの列はこの形をしています。
*9: を計算して、乗が出てくることがわかります。 の指数部分は の1乗に過ぎないので、もし であれば、例えば対数をとると「マイナス掛ける」が主要項となって に向かうことがわかります。