日曜数学 Advent Calendar 2021 の2日目の記事です。
昨日の記事の 後編 として、小数展開に色々な数列が登場するような分数を生み出していきたいと思います!
さてここで問題です!
以下の4つの分数は、それぞれどんな数列が出てくる分数でしょうか?
(答えは記事の中で紹介します。)
前編の記事をまだ読んでいない方は、前編の記事をぜひご覧になってください。
tsujimotter.hatenablog.com
前回に続いて、分数の小数展開には以下のページをご活用ください!
tsujimotter.info
いろいろな数列が出てくる分数
前編で紹介したフィボナッチの母関数を使う方法は結構有名な事実です。
一方で、フィボナッチ数列でなくても、まったく同じ考え方で小数展開に登場させることができそうだと気づきました。
というわけで、やってみたいと思います!
たとえば、以下のような名前のついている数列を考えてみましょう:
- ペル数列:
- パドヴァン数列:
- ペラン数列:
それぞれの母関数は
- ペル数列の母関数:
- パドヴァン数列の母関数:
- ペラン数列の母関数:
となります。
フィボナッチ数列のときと同様に、これらの母関数に を入れてみましょう。
ペル数列の場合は
となります。(分母分子に10000をかけるのがポイントですね。)
これを展開すると
となります。これで、ペル数列の
が復元できたことになりますね!
ほかもまったく同様です。
パドヴァン数列の場合は
となります。展開すると
となります。これで、パドヴァン数列の
までが復元できます。
ペラン数列の場合は
となります。展開すると
となります。これで、ペラン数列の
までが復元できます。
いやー、面白いですね!!
このセクションでは、漸化式
- (ペル数列)
- (パドヴァン数列・ペラン数列)
で表されるような数列について、母関数が についての有理式で表せることを示しました。
より一般には、次のような事実が知られているそうです。
事実:
「ある数列の通常型母関数が有理式で表されるための必要十分条件は、その数列が線型漸化式を持つことである」
(引用元:2.数列と母関数 | 理系のための備忘録)
つまり、線型漸化式を持つ数列を考えれば、原理的には の有理式で表すことができ、 に を代入することで所望の分数が得られるというわけですね。
平方数が出てくる分数
もう一つ、母関数を作るのにちょっとしたテクニックが必要なものについて考えてみましょう。
ここでは
という、平方数の数列 について考えてみたいと思います。
すなわち
という母関数について、閉じた式を求めてみたいと思います。
いったいどうやって考えたらよいでしょうか?
これを求めるには少しテクニックが必要です。よろしければ少し考えてみてください。
それでは求め方に行きたいと思います。
まず、最も基本的な の母関数
から始めます。
この両辺を2乗することを考えたいと思います。つまり
を考えるわけですね。右辺は良いとして、左辺を展開するとどんな式になるでしょうか。
つまり
という母関数の積を考えたいわけですね。
次数が小さい方から確定していきましょう。
定数項は、第1因子と第2因子からそれぞれ を取り出してかければ良いので、係数は になります。
の係数は
- 第1因子から 、第2因子から を取り出してかけた
- 第1因子から 、第2因子から を取り出してかけた
を取り出して足し合わせれば良いので、 となり、係数は となります。
の係数は
- 第1因子から 、第2因子から を取り出してかけた
- 第1因子から 、第2因子から を取り出してかけた
- 第1因子から 、第2因子から を取り出してかけた
を取り出して足し合わせれば良いので、 となり、係数は となります。
同様に、 の係数は になるので、以下の式が得られるというわけですね。
係数の ですが、これは「 という 個の中から、1個の数を選ぶ場合の数」ということになります。
続いて、式 の基本的な母関数を、今度は3乗してみましょう。
この場合は
となるわけですが、左辺の展開が問題です。
一気に の係数を考えたいと思います。これはつまり、第1因子から 、第2因子から 、第3因子から を
となるように選ぶ場合の数に相当します。 の2つが決まると、 は自動的に決まってしまいますので、これは 個の中から2個選ぶ重複組合せになりますね。
これは ということになります。したがって
が得られました。二項係数を具体的に計算すると
なので
となります。
以上の議論により
なる基本的な母関数が得られました。
あとは、係数が になるように適当に定数倍して足し引きすれば良いわけです。
実際
となり、これが平方数の数列の母関数ということになります。
あとは、 の閉じた式を使って
となり、これにて平方数の数列の母関数の閉じた式が得られました!
最後に、 を入れると
となり、これが平方数を生み出す分数になります。
実際、
となります。これで、平方数を
まで復元できたことになります。面白いですね!!
微分を使った母関数の求め方
上では、平方数の数列の母関数を組合せ論的に考えました。実は、微分 を使ってもう少しスマートに実行することもできます。
まず、基本的な母関数
からはじめます。
この両辺を で微分してみましょう。
両辺に をかけると
が得られて、これは数列 の母関数となります。
さらにこれを で微分すると
が得られます。
あとは両辺に をかけて
となり、見事に平方数の数列の母関数が得られました。
母関数にしたことで、微積分が使えるようになるというのは面白いですね!
2通りのやり方で同じ結果になるのも、当然とい言えば当然ですけど、面白いですね。
おわりに
そんなわけで、前編・後編の2つの記事を通して、所望の数列が小数展開に登場するような分数を作る方法について紹介しました。
冒頭で出したクイズの答えはこうでした。
- (ペル数列)
- (パドヴァン数列)
- (ペラン数列)
- (平方数の数列)
いろいろな数列を作ることができて面白かったですね! 母関数のさまざまなテクニックが使えるのも面白いですね。
それでは今日はこの辺で!
明日の日曜数学アドベントカレンダーは @apu_yokai さんが「フィボナッチ数から円周率を作る式」について紹介してくださるそうです。フィボナッチつながりですね!お楽しみに!