二項係数とフィボナッチ数の面白い関係を紹介します。
最初に結論を提示し、後半で証明します。
そのあと、パスカルの三角形との関係などを確かめます。
お急ぎの方は、結論部分だけでもみていただければと思います。
この記事では
フィボナッチ数・リュカ数は次のように漸化式で定義できます。
また、記号
まずは、次の式をご覧ください。
(余談ですが、まるでフィボナッチ数やリュカ数の漸化式みたいな式ですね。)
この式が成り立つ整数
たとえば、
について
となりますので、
このような
実は、この問題には既に答えが出ています。
この式により、フィボナッチ数を使って無数の
さらに今日、次のような関係もあることに気が付きました!
まとめるとこうなります。
for
実に美しい関係だと思いませんか?
1 | 2 | 3 | 4 | 5 | 6 | 7 | ||
14 | 103 | 713 | 4894 | 33551 | 229969 | 1576238 | ||
4 | 38 | 271 | 1868 | 15814 | 87839 | 602068 |
では、ここから上記の式を証明していきます。
証明すべきことを3つに分けます。
まずは、1つめの証明です。
これを証明します。
であることに注意します。
を展開して整理していきます。
分母を払うと
展開して整理すると
ぺル型方程式(あとで説明します。)の形にしたいので、両辺を
ここで
とおくと、
の関係にあることがわかります。
この形は「ペル型方程式」と呼ばれており、無限個の自然数解を持ちます。
ペル型方程式の中でも、
証明はこの記事では省略しますが、気になる方はこちらの記事をご覧ください。
Arithmetica算術ノート:フィボナッチ数の判定式(1) 二次体の整数の整除と単数
これで、
(不適な解も含んでいることに注意してください。)
となります。リュカ数は
と周期的に変化します(証明略)から、
の場合のみ
次に
ここで次の公式を使います。
ここで
ですから、
のときは
に注意して、添字を見やすいように4ずらして得られた式を整理すると次のようになります。
さらに次の公式を使って変形しましょう。
公式2で
となりますから、先ほどの式に代入して
同様に、公式2で
となりますから、先ほどの式に代入して
以上より、
次に、2つめの証明です。
これを証明します。
この式から始めます。
まず、リュカ数は黄金比を使って次のように表現できます(証明略)。
これを代入すると、
次のように変形します。
両辺の床関数をとると
ここで
これで証明できました!
最後に、3つめの証明です。
これを証明します。
これに
を代入します。
ここで
なので、
ここで次の公式を使います。
公式3で
公式3で
これらの式を使うと
これで証明の完成です!
さて、得られた関係式を改めてみてみましょう。
for
3つめの式では、
この式をみると、シングマスターの無限族に含まれる数字がパスカルの三角形のどのあたりに出てくるかわかります。
パスカルの三角形とは、次のように二項係数を三角形にならべたものでした。
まず、
また、
ですから、パスカルの三角形の行の中では、両端からの比がおよそ
パスカルの三角形は左右対称ですので、同じ行の中にもう一つ同じ数字があります。2つの数字の、行の中での位置の両端からの比は
全体が相似の関係になっており、フラクタルのように思えます。面白いですね!
一般化すると
フィボナッチ数がたくさんでなかなか壮観ですね!
もともとは、Twitterでの ゆう の 右腕 さんのこのツイートを見て、自分で解いてみようと思ったのが始まりでした。(ツイート内で言及されている資料はまだ見ていません。)
「あの数列」とみてもしやと思ったのですが、やはりフィボナッチ数列が絡んできましたね!
また、この問題は ゆう の 右腕 さんのブログ記事の演習問題にもなっています。ペル型方程式の解もこのブログから引用しています。
Arithmetica算術ノート:フィボナッチ数の判定式(1) 二次体の整数の整除と単数
Arithmetica算術ノート:フィボナッチ数の判定式(2) 二次体の整数の整除と単数
Arithmetica算術ノート:フィボナッチ数の判定式(3) 二次体の整数の整除と単数
それから、tsujimotter さんのブログ記事に、今回の記事ででてきた「Singmasterの定理」と、パスカルの三角形に複数回出てくる数字とのとても面白い関係が紹介されています。
tsujimotterのノートブック:パスカルの三角形にたくさん出てくる数: 3003
この記事を見ると、パスカルの三角形に8回出てくる3003という数が特別であることがよくわかります!
フィボナッチ数と二項定理には、ほかにもいろいろ面白い関係が隠れていそうです。
関連情報など何かあれば教えていただければ幸いです。