突然ですが「無理数」って面白いですね!この分野には未解決問題もたくさんあり、魅力的なトピックがたくさん詰まっています。
今日はその無理数をきっかけに tsujimotter が考えることになった、ちょっと変わった興味深い問題についてご紹介します。
きっかけは、tsujimotter が先日発表した「無理数とお友達になろう」というプレゼンでした。
70スライドに渡って色々なことを語りまくったのですが、発表の中で特に伝えたかったメッセージは『「無理数であるか有理数であるかどうか」を知ることは、数を理解する上で本質的である』という点です。
無理数は、潜在的にある種の無限性をもっています。たとえば、ネイピア数 は典型的な無理数ですが、以下のように無限級数で表現できます。
この級数はこれ以上簡単にすることができず、したがって有限回の手続きで計算することが出来ないのです。一方で、有理数であれば分数の形で表すことができ、その手続きは有限に閉じています。
したがって、「無理数であるか有理数であるか」を知ることは、「その数をどこまで理解可能か」を知るために必要な所作であるといえます。
このことを具体的な例で説明するために、「有理数だけど無理数っぽく見える数」の例を作ることを試みました。《一見これ以上計算できないようにみえる無限級数》が出来れば、その級数で表せる数は《無理数っぽく》みえますよね。
さて、ここで1つ問題が生じます。「有理数に収束する無限級数」をいったいどうやったら作ることが出来るでしょう。そのような一般的な方法はあるのでしょうか。
無限級数で表せる数としては、たとえば に収束する無限級数がよく知られています。
このままでは「整数に収束する級数」ですので、収束先を有理数にするために、両辺に をかけてあげましょう。すると、
のように、「有理数に収束する無限級数」を作ることが出来ます。
しかし、なんというか、これでは風情がありませんね。 の部分をつくるために、むりやり で割った感じがバレバレです。人工的すぎるのです。
もっと自然に、有理数に収束するような級数はないか。もっといえば、その収束先がすぐ計算できないようにしたい。
このような問題に対する一般的な方法は、tsujimotter が探した限りでは見つかりませんでした。ありそうでないのですね。
というわけで、頭を使って考えました。
本記事では、私が試行錯誤してなんとか見つけた以下の2通りの方法について、ご紹介したいと思います。
- 等比級数を用いる方法
- 超幾何級数を用いる方法
とくに2番目の方法は、非常に面白いので期待してご覧ください。
等比級数を用いる方法
級数を作ろうと考えたときに、真っ先に思い浮かぶのは関数 のテイラー展開です。
ただし、 はどんなものでもよいわけではなく「関数値が有理数」という条件があります。もし が についての有理関数であれば、有理数 を入れると自動的に関数値 が有理数になるはずです。
これをふまえて、有理関数のテイラー展開を考えましょう。少し調べれば の展開がその条件に該当することがわかります。この式の展開は、以下のような無限級数となり、いわゆる 等比級数 になることがわかります。
ただし、右辺が収束するのは のときだけなので、 に代入できるのはこの条件のものだけです。
この式に を代入すると、冒頭で挙げた級数を得ることが出来ます。
ほかにも、この式に となる有理数 を代入してあげることで、似たような級数をいくらでも生成できるのです。たとえば、 を代入すると、以下の式が得られます。
これにて、有理数 に収束するそれっぽい級数を作ることが出来ました。今回のスライドでは、この級数を説明に採用したのでした。
一方で、等比級数を用いた方法には、個人的には少し不満があります。なぜ不満かというと、右辺の級数が簡単に計算できてしまうからです。
高校数学に慣れた人が見ると、右辺の形はどうみても等比数列の和です。したがって、和の公式を当てはめれば、即座にこれが であることがバレてしまいます。これは面白くないですね。
というわけで、この「級数が簡単に計算できてしまう」という問題を解消するために、二番目の方法に移りましょう。
超幾何級数を用いる方法
二番目に紹介する方法は「一見無理数にみえるような無限級数であり」なおかつ「級数が簡単に計算できない」という素晴らしい方法です。
とはいえ、発表スライドを作っている段階では、この方法はまったく頭にありませんでした。
等比級数の方法があまりしっくりこなかったため、しばらく「どうしたもんかなあ」と悩んでいたのですが、フォロワーである @triprod1829 さんから素晴らしいアイデアをいただいたのです。それが、「超幾何級数」 を用いた方法です。
超幾何級数は Wikipedia にも載っていますので、まずは調べることから始めましょう。
冒頭部分に書かれた が今回用いる超幾何級数の式です。 は の4変数関数になっています。
変数の数が多いので、おどろおどろしい姿にみえますね。超幾何級数はガウスによって研究されていたことで知られています。たとえば、五次方程式の超越的な解を求めるためにも使われていたりするそうです。
その意味で tsujimotterもいろんな場面で見かけてはいたのです。しかしながら、この厳めしいフォルムに「得体の知れないエイリアン」に出会ったようなそんな気持ち悪さを感じて、どうしても親しみがもてないでいました。簡単にいうと、避けていたのです。
今回は、勇気を出して踏み込んでいきましょう。
改めて定義を書いていきましょう。以下の式の右辺が超幾何級数と呼ばれる級数です。
右辺の の部分は「ポッホハマー記号」というらしく、以下の式で定義されます。
積記号は、 からはじまって、 と順に 個の数の積をとります。
ポッホハマー記号の例を挙げると、 のとき、
となります。
見た目は複雑な超幾何級数ですが、計算は思いのほか単純で、機械的に計算することができます。
たとえば、 を入れると、以下のようになります。
ところで、このままではこの級数がどの値に収束するか分かりませんね。ここで使えるのが、ガウスによって発見された「超幾何定理」です。
《超幾何定理》
複素数 に対して、以下が成り立つ。
ただし、収束条件は である。
下に見えるものは収束条件です。1つめの条件は の実部の和が の実部より小さい。2つめの条件は、 は負の整数ではない。というものです。
結構複雑な式ですが、もともとの超幾何級数の定義では が複素数であることを想定しているため、こんなに複雑なのです。今回の用途では は整数なので、定理の式も収束条件も、もっと簡単になります。
たとえばガンマ関数は、整数 に対しては、
のようにふるまいます。
また、整数 の実部をとっても、整数 のままです。
以上をふまえて、 を整数におきかえると、以下のようになります。
《超幾何定理の言い換え》
整数 に対して、以下が成り立つ。
ただし、収束条件は である。
ずいぶん簡単な形で表せました。
この式に を代入すると、
となります。ちゃんと有理数になりましたね。
結局、上の級数と合わせると、
であることが分かりました。
この式を見ただけでは、右辺の級数が左辺の有理数値に収束するなど、まったく想像もつきませんね。
むしろ、本当にこの等式は合っているのだろうかと疑いたくなるかもしれません。念のため確認してみましょう。
最初の10項に関して、1項ずつ足し合わせていき、 と比較したものが次のグラフです。
足し合わせる毎に、赤線(無限級数)が青線()に近づいていっているのが見て取れます。これで、右辺の級数が に収束していることが、数値的にも確認できました。一安心ですね。
ほかにも、 の組み合わせを変えたいくつかのパターンで試してみましょう。
の場合
の場合
の場合
いずれの例も、右辺がとても左辺に収束するとは思えないような、不思議な等式となっています。面白いです。
以上の計算を簡便にするために、今回は Ruby のスクリプトを作りました。以下のページにあげたスクリプトを計算に用いています。
ソースコードの を色々変えてみれば、自分でも試すことが出来ますので、Ruby の実行環境がある方はぜひやってみてください。
また、Ruby が使えない方でも、簡単に試せるように、次のようなサイトを作ってみました。ぜひ遊んでみてください。
tsujimotter.info
まとめ
今回は「有理数に収束する級数」を求めるための方法を2つ開発してご紹介しました。
2つめの方法は、「超幾何級数」というものを使った方法でしたが、まさかこんな応用があるとは私は思いもしませんでした。これまでにも、超幾何級数を見る機会はあって、存在を知ってはいたのですが、ただ得体の知れない存在という感じで、その変数の多さはまるでエイリアンのようでした。それぐらい遠い存在だったのです。
が整数で のときに限っては、超幾何級数は単なる有理関数になってしまうのですね。これでこの級数に対して、ずいぶんと親しみが沸いたのではないでしょうか。
教えてくださった @triprod1829 さんには、本当に感謝です。
それでは今日はこの辺で。
参考文献
冒頭のスライドの参考文献です。
途中に挟んだ挿絵は、小林銅蟲さんの巨大数マンガ「寿司虚空編」の3話に登場するキャラクターを参考にしました。私の絵がへたくそなので全然似てはいませんが。笑
マンガ自体もとても面白いのでぜひ読んでみてください。
comic.pixiv.net