一般に、境目は大事です。どこまでが友人で、どこからが恋人なのか、とか。
この記事は「好きな証明」アドベントカレンダー1日目の記事です。
上記の式のことを考えます。今回はは正の実数とします。その
が無限に乗じられているわけです。一見面食らってしまう見た目をしていますが、
という列の極限として捉えられる、と考えればそこまで異常な概念でもないと思います。あるいは、この式全体を「
」とでも置けば与式は
と閉じた見た目にできるので怖くないです。(※極限値があると仮定)
さて、当然のこととして、に値を入れてみたときにこの式がどう振る舞うのか知りたくなるのが人情です。とりあえず試しに
だとしてみましょう。これはすなわち「
」のことなわけですが、これはまあ1を何回乗じても1なので
も1になると予想がつくでしょう。
今度はだとしてみます。
という数列は、実際に計算すると
となり、明らかに発散(いくらでも大きくなる)しそうな雰囲気をたたえています。
で収束、
で発散。はい。こうなってくると当然、その「境目」はどこにあるのか? ということが気になってくるわけですね。境目は大事です。これが今回のテーマです。
収束発散ビジュアライズマシーン
これを考えるのに、とってもいい方法があります。こちらです。
再帰的な関数の収束・発散の様子が視覚的にわかるやつ〜〜〜!!
仕組み
赤いのがのグラフ、青いのは
のグラフです。動画で見て分かる通り、
を動かすと赤いグラフはいろいろの形を取ります。
いま、1と2の間にある数の例として1.4をとり、が収束するのか、発散するのかということを考えます。このマシーンを使えば、数列
、
、
...の値がどうなっていくかを視覚的に見ることができるわけです。
まず、という式の
に1を入れると、
となります(あたりまえ)。図で表すとこう。
次はがほしい。数列の2項目です。そのためには、
のxに1.4を入れれば
が得られるはずですが、この
を得るために、こういうことをします。
つまり、いま得たを、
(青いグラフ)という式に代入してやれば、
が得られる、というわけです。
そしてまたこのを
に入れると、
が得られます。
あとはこの繰り返し。得られたを
として、
に入れれば、数列の第3項である
が得られます。もう一回やれば
です。こうやってジグザグジグザグと繰り返していけば、無限回やった
の値がどうなっているかわかるというわけですね。この「ジグザグ」が、緑色で描かれている部分です。
では早速、におけるジグザグを見てみましょう。
ジグザグが「一点に収束している」感じが見て取れるでしょうか。のグラフと
のグラフとが交わっていると
は収束しそうだ、ということがわかります。実際、これは1.887くらいの値に収束します。
それに対して、の場合だとどうなるか見てみます。
さっきまでの画像とは縮尺を変えています。見るからに「発散している」感じがしますね。ジグザグをどんどん続けていくと値がいくらでも大きくなりそうだというふうに見えます。のグラフと
のグラフとが交わっていないと
は発散する、といってよさそうです。
1.4で収束、1.5で発散。さっきよりだいぶ範囲が狭まりました。そして、グラフを使うことによってその「境目」を求める方法もわかりました。つまり、のグラフと
のグラフとが「一点だけで交わる(=接する)」ような「
」を求めれば、それが収束と発散との境目になっているだろうということです。
一点だけで接するようなというのは、少しでも
がズレれば
と
は交わらなくなってしまう、という値です。「少しでもこの値を過ぎれば発散する」ということで、まさにここが収束と発散との境目というわけです。
aを求める
このグラフを使って目分量で2つのグラフが接するときのの値を見てみたところ、だいたい1.4447くらいであることがわかりました。この値は何でしょうか?
こういうときに便利な検索エンジンがあって、Wolfram|Alphaっていうんですけど、ここの検索窓にこの値を突っ込んでみると「その値ってもしかしてこれのことじゃないの?」っつっていくつかのもの(※閉形式)をサジェストしてくれます。
1.4447を入れてみたところ、第一にサジェストされたのは「」でした。
の
分の1乗。なにこれ! また
だ!
いろんなところに出てくる! ふしぎ!
もちろん、ただの目分量でしかないので、2番目にサジェストされているの可能性も捨てきれません。目分量の限界です。本当に境目が
なのかどうか知るには、実際に計算で求めてみるしかないですね。
論理の流れ
これを計算で求めるのは結構骨です。でも大丈夫。計算が苦手という方でも、を求めるためにどうすればよいか、その論理の流れだけでも理解しておきましょう。それさえ理解しておけば、ほぼほぼゴールです。
求めるとはどういう値でしょうか。それは収束と発散との境目の
です。つまり、この
によって定められる
のグラフは
に接しているわけですから、「
という直線そのものを接線としてもつような
」を定める
、ということができるでしょう。
ということは、は以下のような手順を踏めば求められると思われます。
①ごとに、
上の点における接線の傾きを求める。
②その中でも、接線の傾きが1であるようなを求める。
③傾きが1であるようなの接線が、
と一致するときの
を求める。
こうすることでがただ一つに決まるはずです。なんだかよくわかりませんか? 説明します。
①はこういうことです。
一口に「接線」といっても、グラフ上のどこの点を考えるかによってその傾きは変わります。まずは点ごとに(ごとに)接線の傾きを求めます。
②はこういうことです。
グラフ上の点によって変化する接線の中には、どこかに傾きが1であるようなものがあるはずです。それを求めます。
③はこういうことです。
によって変化する「傾きが1であるような接線」の中には、どこかに
と一致するものがあるはずです。それを求めます。
こうすることで、と
とが一点で接するような
、すなわち収束と発散の境目たる値
が求まるというわけです。やっていきましょう。
やっていく
①
①の「ごとに
上の点における接線の傾きを求める」とは、まさに微分そのものです。微分とは簡単に言って、グラフの傾きの変化を求める操作のことです。うってつけですね。
この式はもうそういうものだと認めてほしいのですが、を微分すると
となります(この先、対数の底は明示して書くことにします)。
これが、のグラフの「傾きの変化を表す式」であり、
をいろいろに変化させると
ごとにグラフの傾きが出てきます。
②
②は「接線の傾きが1であるようなを求める」でした。これを式で表現すると「
を満たすような
を求める」ことになります。
式で表現できれば、もう勝ったようなもんです。式変形してを求めましょう。
は正なので両辺を
で割ると、
より、
両辺で対数をとって、
はい。が求まりました。logが2重になってますね。ログエーログエーイー。
③
「のグラフと
のグラフとが接する点」とは、この二つの式が同時に成り立っている点です。なので、この二つの式から
という新たな式を導くことができます。
さらに、の値はさっきの計算で
であるとわかっているので、この新たな式にこれを代入します。
より右辺が簡単になって、
(ん……?)両辺をに乗じて、
(これは……?)もう一度両辺をに乗じて、
(きたきたきたきた!)両辺を乗して、
きたきたきたきた!!! 出た! 出ましたよ!! やっぱり「」だったんですね!
どこから出てきたか分からなかったという値が、いくつかの式変形のステップを踏んだだけで出てきてくれました。
私が好きなタイプの証明にもいろいろありますが、こういう「手を動かしてると自動的に一つの値が出てくる」というタイプはやってて楽しいので好きです。ちょっと時間空いたときとかたまにやってます。
まとめ&発展
で収束、
で発散した
。その収束と発散との境目は
にあることがわかりました。
では実際にこのを無限にべき乗していったとき、つまり
の値はどうなっているかといえば、これがなんとに収束するんですね。
それはを解いてもわかることなのですが、
なんて大して大きい値でもないのに発散との境目にいる感じがなんかエモいです。
さて、の収束と発散の境目が
である証明をやってきましたが、ここまでで言えたのは「
より大きい部分では、発散する」ということだけで、例えば
が1より小さい範囲でこの式がどういう振る舞いをするかは、まだわかってないわけです。こちらの証明もなかなか手応えのある感じですので、腕に覚えのある人はやってみるといいと思います。
こちらのブログ「ねくノート」さんに、この辺の話をさらに発展させたような話題があります。
この記事、すごいです。一見の価値ありです。
さて、今回の記事は「手を動かしてたら自動的に値が出てきて気持ちいい証明」のご紹介でした。電車の待ち時間とか、ちょっと暇になったときなどに是非試してみてください。
それでは今回はこのへんで!