今日はフィボナッチ数列の日だったのか?
今日8月9日は、フィボナッチ数列の日です! pic.twitter.com/wexdOMNLcT
— ポテト一郎 (@potetoichiro) 2020年8月8日
これは、フィボナッチ数列の母関数(とした場合) に を代入した から得られる。
ちなみに、
The remarkable number 1/89
は、 のみたす3項間漸化式の特性方程式を固有方程式とする行列を利用して求めている。
定数係数斉次線型3項間漸化式の通常型母関数の求め方については
定数係数斉次線型3項間漸化式の通常型母関数 - 球面倶楽部 零八式 mark II
にあり、これに従ってフィボナッチ数列のとした場合の母関数を求めてみる.
とすると だから、
とおくと、が成立するので、 の全ての固有値の絶対値が1未満の場合は、
となり、が成立する.
なお、 から始まるフィボナッチ数列の母関数は,添字が1ずれているので となることがわかる.
コレ、なんでこんな簡単な分数になるのかちょい調べて考えたけどわからんくて数学科の友達に聞いたら「パスカルの三角形だよ」と…。う、美し過ぎて感動してる…。#フィボナッチ数列の日 https://t.co/4goDTs1kjD pic.twitter.com/2BuBBaaTxm
— 虚心/たけうちホロウ (@kyoshincats) 2020年8月9日
にあるような、パスカルの三角形に潜むフィボナッチ数列は有名事項だが、
https://www.chart.co.jp/subject/sugaku/suken_tsushin/76/76-5.pdf
には、この関係を母関数から眺めている。詳細はこの pdf を読めば良いが、簡単に述べておくと
の の係数は だけから得られ,これから のようなことがわかる、ということで、 が 初項1,公比 の無限等比級数となることから、フィボナッチ数列とパスカルの三角形の関係が見てとれる、ということである(pdf を読めばもっと詳しく書いてある).
ここでとおくと倍が1桁右にずらすことに注意すれば、先ほどのツイートの話になる.
そういえば、今から40年ほど前に、 となることに気がついて、有理数をの無限等比級数で表現する方法について考えたことを久し振りに思いだした。
まぁ、初項を とおくと,と表現できるような分数を考えれば良いので、の場合は、
などの組を求めることができて,
(3倍して1桁ずらす),
(2倍して2桁ずらす),
(6倍して3桁ずらす)
のように無限等比級数の和として表現できることがわかる.
一般の3項間漸化式の場合,母関数を
とおくと、初項,公比の無限等比級数となるので、
例えばとおくと,
初項 ,公比(が個)の無限等比級数をずらして並べて足したものとなるので、似た議論をすることができる.
ただ、定数係数斉次線型漸化式でフィボナッチ数列ほど有名な数列はないので、やはりフィボナッチ数列だとインパクトが違うのだろうなぁ。
先ほどのフィボナッチは、 で としたけど、 とすれば
と2桁区切りでフィボナッチ数列が登場するし、だと3桁区切りでフィボナッチ数列が登場する.