シングマスターの無限族とフィボナッチ数
はじめに
二項係数とフィボナッチ数の面白い関係を紹介します。
最初に結論を提示し、後半で証明します。
そのあと、パスカルの三角形との関係などを確かめます。
お急ぎの方は、結論部分だけでもみていただければと思います。
この記事では $F_n$ でフィボナッチ数を表し、$L_n$ でリュカ数を表します。
$\{F_n\}=\{0,1,1,2,3,5,8,13,21,34,55,89,\cdots\}\qquad(n \ge 0)$
$\{L_n\}=\{2,1,3,4,7,11,18,29,47,76,123,199,\cdots\}\qquad(n \ge 0)$
フィボナッチ数・リュカ数は次のように漸化式で定義できます。
$$ \begin{eqnarray} \left\{ \begin{array}{l} F_0 = 0,\\ F_1 = 1,\\ F_{n+2} = F_n + F_{n+1} (n \ge 0). \end{array} \right. \end{eqnarray}$$
$$ \begin{eqnarray} \left\{ \begin{array}{l} L_0 = 2,\\ L_1 = 1,\\ L_{n+2} = L_n + L_{n+1} (n \ge 0). \end{array} \right. \end{eqnarray}$$
また、記号 $\varphi$ で黄金比を表します。すなわち
${\displaystyle \varphi=\frac{1+\sqrt{5}}{2}}$
二項係数とフィボナッチ数の不思議な関係
シングマスターの無限族
まずは、次の式をご覧ください。
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ }$
(余談ですが、まるでフィボナッチ数やリュカ数の漸化式みたいな式ですね。)
この式が成り立つ整数 $x,y$ について考えます。
たとえば、
$({}_{14}C_{4},{}_{14}C_{5},{}_{14}C_{6})=(1001,2002,3003)$
について
${}_{14}C_{4}+{}_{14}C_{5}={}_{14}C_{6}$
となりますので、$(x,y)=(14,4)$ は解の一つとなります。
このような $x,y$ は他にもあるのでしょうか?
実は、この問題には既に答えが出ています。
${\displaystyle
{}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\
}$
${\displaystyle
\Leftrightarrow
\begin{eqnarray}
\left\{
\begin{array}{l}
x=F_{2n+2}F_{2n+3}-1\\
y=F_{2n}F_{2n+3}-1
\end{array}
\right.
\end{eqnarray}
\qquad(n\ge1)
}$
この式により、フィボナッチ数を使って無数の$x,y$の組み合わせが得られます。シングマスターが1975年に発表した定理だそうです。
黄金比との関係、3項の比とフィボナッチ数の関係
さらに今日、次のような関係もあることに気が付きました!
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} \qquad(n\ge1) }$
${}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}$
まとめるとこうなります。
for $n\in\mathbb{N}$,
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ }$
${\displaystyle \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} }$
${\displaystyle \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} }$
$\Leftrightarrow {}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}.$
実に美しい関係だと思いませんか?
具体例
$x,y$の具体的な値は次のようになります。
| $n$ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | $\cdots$ |
| $x$ | 14 | 103 | 713 | 4894 | 33551 | 229969 | 1576238 | $\cdots$ |
| $y$ | 4 | 38 | 271 | 1868 | 15814 | 87839 | 602068 | $\cdots$ |
${\displaystyle {}_{14}C_{4}+{}_{14}C_{5}={}_{14}C_{6}\\ {}_{103}C_{38}+{}_{103}C_{39}={}_{103}C_{40}\\ {}_{713}C_{271}+{}_{713}C_{272}={}_{713}C_{273}\\ {}_{4894}C_{1868}+{}_{4894}C_{1869}={}_{4894}C_{1870}\\ {}_{33551}C_{12814}+{}_{33551}C_{12815}={}_{33551}C_{12816}\\ {}_{229969}C_{87839}+{}_{229969}C_{87840}={}_{229969}C_{87841}\\ {}_{1576238}C_{602068}+{}_{1576238}C_{602069}={}_{1576238}C_{602070}\\ }$
${\displaystyle {}_{14}C_{4}:{}_{14}C_{5}:{}_{14}C_{6}=1:2:3\\ {}_{103}C_{38}:{}_{103}C_{39}:{}_{103}C_{40}=3:5:8\\ {}_{713}C_{271}:{}_{713}C_{272}:{}_{713}C_{273}=8:13:21\\ {}_{4894}C_{1868}:{}_{4894}C_{1869}:{}_{4894}C_{1870}=21:34:55\\ {}_{33551}C_{12814}:{}_{33551}C_{12815}:{}_{33551}C_{12816}=55:89:144\\ {}_{229969}C_{87839}:{}_{229969}C_{87840}:{}_{229969}C_{87841}=144:233:377\\ {}_{1576238}C_{602068}:{}_{1576238}C_{602069}:{}_{1576238}C_{602070}=377:610:987\\ }$
証明の方針
では、ここから上記の式を証明していきます。
証明すべきことを3つに分けます。
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} \qquad(n\ge1) }$
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} \qquad(n\ge1) }$
${}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow {}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}$
証明すべきこと(その1)の証明
まずは、１つめの証明です。
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} \qquad(n\ge1) }$
これを証明します。
$x,y$ は二項係数の添字ですから、
$x\ge y+2\ge 2$
であることに注意します。
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2} }$
を展開して整理していきます。
${\displaystyle \frac{x!}{(x-y)!y!}+\frac{x!}{(x-y-1)!(y+1)!}=\frac{x!}{(x-y-2)!(y-2)!} }$
分母を払うと
${\displaystyle (y+2)(y+1)+(x-y)(y+2)=(x-y)(x-y-1) }$
展開して整理すると
$y^2-3xy+x^2-3x-2=0$
ぺル型方程式(あとで説明します。)の形にしたいので、両辺を $20$ 倍してから平方完成します。
$20y^2-60xy+20x^2-60x-40=0$
$5(3x-2y)^2-(5x+6)^2=4$
ここで
$$ \begin{eqnarray} \left\{ \begin{array}{l} X=3x-2y \\ Y=5x+6 \end{array} \right. \end{eqnarray} $$
とおくと、$X,Y$ は自然数で、
$5X^2-Y^2=4$
の関係にあることがわかります。
ペル型方程式 $5X^2-Y^2=4$ の解
この形は「ペル型方程式」と呼ばれており、無限個の自然数解を持ちます。
ペル型方程式の中でも、$5X^2-Y^2=4$のすべての自然数解は次のように奇数番目のフィボナッチ数とリュカ数で表すことができることが知られています。
$5F_{2n+1}^2-L_{2n+1}^2=4\qquad(n=0,1,2,\cdots)$
証明はこの記事では省略しますが、気になる方はこちらの記事をご覧ください。
Arithmetica算術ノート:フィボナッチ数の判定式（1） 二次体の整数の整除と単数
これで、$X,Y$ の候補をしぼることができます。
$$ \begin{eqnarray} \left\{ \begin{array}{l} X=F_{2n+1} \\ Y=L_{2n+1} \end{array} \right. \end{eqnarray} $$
(不適な解も含んでいることに注意してください。)
$5$ を法として考えると
$Y=5x+6\equiv 1\mod5$
となります。リュカ数は
$\{2,1,3,4,7,11,18,29,47,\cdots\}\equiv\{2,1,3,4,2,1,3,4,2,\cdots\}\mod5$
と周期的に変化します(証明略)から、
$Y=L_{4n+1}$
の場合のみ$x=\frac{L_{4n+1}-6}{5}$ が整数になることがわかります。
$x=\frac{L_{4n+1}-6}{5}$
次に $y$ について考えます。$x=\frac{L_{4n+1}-6}{5},X=F_{4n+1}$ を代入すると
${\displaystyle \begin{align} y&=\frac{3x-X}{2}\\ &=\frac{3\cdot\frac{L_{4n+1}-6}{5}-F_{4n+1}}{2}\\ &=\frac{1}{10}\left( 3L_{4n+1}-5F_{4n+1}-18 \right) \end{align} }$
ここで次の公式を使います。
$5F_n=L_{n-1}+L_{n+1}$
${\displaystyle \begin{align} y &=\frac{1}{10}\left( 3L_{4n+1}-5F_{4n+1}-18 \right)\\ &=\frac{1}{10}\left( 3L_{4n+1}-L_{4n+2}-L_{4n}-18 \right)\\ &=\frac{1}{10}\left( 3L_{4n+1}-\left(L_{4n+1}+L_{4n}\right)-L_{4n}-18 \right)\\ &=\frac{1}{10}\left( 2L_{4n+1}-2L_{4n}-18 \right)\\ &=\frac{1}{10}\left( 2L_{4n-1}-18 \right)\\ &=\frac{L_{4n-1}-9}{5} \end{align} }$
ここで
$L_{4n-1}\equiv4\mod5$
ですから、
$$
\begin{eqnarray}
\left\{
\begin{array}{l}
X=F_{4n+1} \\
Y=L_{4n+1}
\end{array}
\right.
\end{eqnarray}
$$
のときは $y$ は必ず整数になることがわかります。
$x\ge y+2\ge 2$
に注意して、添字を見やすいように4ずらして得られた式を整理すると次のようになります。
$$ \begin{eqnarray} \left\{ \begin{array}{l} x=\frac{L_{4n+5}-6}{5} \\ y=\frac{L_{4n+3}-9}{5} \end{array} \right. \end{eqnarray} $$
$(n=1,2,\cdots)$
さらに次の公式を使って変形しましょう。
$5 F_j F_k = L_{k + j} − (−1)^j L_{k − j}$
公式2で $j=2n,k=2n+3$ とすれば
$5 F_{2n} F_{2n+3} = L_{4n+3} −4$
となりますから、先ほどの式に代入して
${\displaystyle \begin{align} y&=\frac{L_{4n+3}-9}{5}\\ &=\frac{(5 F_{2n} F_{2n+3}+4)-9}{5}\\ &=F_{2n} F_{2n+3}-1\\ \end{align} }$
同様に、公式2で $j=2n+2,k=2n+3$ とすれば
$5 F_{2n+2} F_{2n+3} = L_{4n+5} − 1$
となりますから、先ほどの式に代入して
${\displaystyle \begin{align} x&=\frac{L_{4n+5}-6}{5}\\ &=\frac{\left(5 F_{2n+2} F_{2n+3}+1\right)-6}{5}\\ &=5 F_{2n+2} F_{2n+3}-1 \end{align} }$
以上より、$x,y$ は次のとおりとなります。
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} }$
$(n=1,2,\cdots)$
証明すべきこと(その2)の証明
次に、2つめの証明です。
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} \qquad(n\ge1) }$
これを証明します。
$$ \begin{eqnarray} \left\{ \begin{array}{l} x=\frac{L_{4n+5}-6}{5} \\ y=\frac{L_{4n+3}-9}{5} \end{array} \right. \end{eqnarray} $$
この式から始めます。
まず、リュカ数は黄金比を使って次のように表現できます(証明略)。
$L_n=\varphi^n+\left(-\frac{1}{\varphi}\right)^n$
これを代入すると、
$$ \begin{eqnarray} \left\{ \begin{array}{l} x=\frac{L_{4n+5}-6}{5}=\frac{\varphi^{4n+5}+\left(-\frac{1}{\varphi}\right)^{4n+5}-6}{5} \\ y=\frac{L_{4n+3}-9}{5}=\frac{\varphi^{4n+3}+\left(-\frac{1}{\varphi}\right)^{4n+3}-9}{5} \end{array} \right. \end{eqnarray} $$
次のように変形します。
$$ \begin{eqnarray} \left\{ \begin{array}{l} x+1+\frac{1}{5}\left(1-\left(-\frac{1}{\phi}\right)^{4n+5}\right)=\frac{\varphi^{4n+5}}{5} \\ y+1+\frac{1}{5}\left(4-\left(-\frac{1}{\phi}\right)^{4n+3}\right)=\frac{\varphi^{4n+3}}{5} \end{array} \right. \end{eqnarray} $$
両辺の床関数をとると
$$ \begin{eqnarray} \left\{ \begin{array}{l} \left\lfloor x+1+\frac{1}{5}\left(1-\left(-\frac{1}{\phi}\right)^{4n+5}\right)\right\rfloor=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor \\ \left\lfloor y+1+\frac{1}{5}\left(4-\left(-\frac{1}{\phi}\right)^{4n+3}\right)\right\rfloor=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor \end{array} \right. \end{eqnarray} $$
ここで $\left|-\frac{1}{\phi}\right|<1$ ですから、
$$ \begin{eqnarray} \left\{ \begin{array}{l} x+1=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor \\ y+1=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor \end{array} \right. \end{eqnarray} $$
$$ \therefore \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1 \\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} $$
これで証明できました!
証明すべきこと(その3)の証明
最後に、3つめの証明です。
${}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ \Leftrightarrow {}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}$
これを証明します。
$\Leftarrow$ は自明ですから、$\Rightarrow$について以下証明します。
${\displaystyle \begin{align} &{}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}\\ &=\frac{x!}{(x-y)!y!}:\frac{x!}{(x-y-1)!(y+1)!}:\frac{x!}{(x-y-2)!(y+2)!}\\ &=(y+2)(y+1):(y+2)(x-y):(x-y)(x-y-1) \end{align} }$
これに
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} }$
を代入します。
${\displaystyle \begin{align} &(y+2)(y+1):(y+2)(x-y):(x-y)(x-y-1)\\ &=(F_{2n}F_{2n+3}+1)F_{2n}F_{2n+3}:(F_{2n}F_{2n+3}+1)(F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3}):(F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3})((F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3})-1)\\ \end{align} }$
ここで
${\displaystyle \begin{align} F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3} &=\left(F_{2n+2}-F_{2n}\right)F_{2n+3}\\ &=F_{2n+1}F_{2n+3} \end{align} }$
なので、
${\displaystyle \begin{align} &(F_{2n}F_{2n+3}+1)F_{2n}F_{2n+3}:(F_{2n}F_{2n+3}+1)(F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3}):(F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3})((F_{2n+2}F_{2n+3}-F_{2n}F_{2n+3})-1)\\ &=(F_{2n}F_{2n+3}+1)F_{2n}F_{2n+3}:(F_{2n}F_{2n+3}+1)F_{2n+1}F_{2n+3}:F_{2n+1}F_{2n+3}(F_{2n+1}F_{2n+3}-1)\\ \end{align} }$
ここで次の公式を使います。
$F_{i + j} F_{i + k} − F_{i} F_{i + j + k} = (−1)^i F_{j} F_{k}$
公式３で
$i=2n,j=1,k=2$ とすれば、
$F_{2n + 1} F_{2n + 2} − F_{2n} F_{2n + 3} = 1$
$\therefore F_{2n} F_{2n + 3} + 1=F_{2n + 1} F_{2n + 2} $
公式３で
$i=2n+1,j=1,k=1$ とすれば、
$F_{2n+2} F_{2n+2} − F_{2n+1} F_{2n+3} = -1$
$\therefore F_{2n+1} F_{2n+3} -1 = F_{2n+2} F_{2n+2}$
これらの式を使うと
${\displaystyle \begin{align} &(F_{2n}F_{2n+3}+1)F_{2n}F_{2n+3}:(F_{2n}F_{2n+3}+1)F_{2n+1}F_{2n+3}:F_{2n+1}F_{2n+3}(F_{2n+1}F_{2n+3}-1)\\ &=F_{2n + 1} F_{2n + 2}F_{2n}F_{2n+3}:F_{2n + 1} F_{2n + 2}F_{2n+1}F_{2n+3}:F_{2n+1}F_{2n+3}F_{2n+2} F_{2n+2}\\ &=F_{2n}\left(F_{2n + 1}F_{2n + 2}F_{2n+3}\right):F_{2n+1}\left(F_{2n + 1}F_{2n + 2}F_{2n+3}\right):F_{2n+2}\left(F_{2n + 1}F_{2n + 2}F_{2n+3}\right)\\ &=F_{2n}:F_{2n+1}:F_{2n+2}\\ \end{align} }$
これで証明の完成です!
$\therefore {}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}$
黄金比やパスカルの三角形との関係
さて、得られた関係式を改めてみてみましょう。
for $n\in\mathbb{N}$,
${\displaystyle {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ }$
${\displaystyle \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} }$
${\displaystyle \Leftrightarrow \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} }$
$\Leftrightarrow {}_{x}C_{y}:{}_{x}C_{y+1}:{}_{x}C_{y+2}=F_{2n}:F_{2n+1}:F_{2n+2}.$
3つめの式では、 $x,y$ を床関数と黄金比で表しています。
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} x=\left\lfloor\frac{\varphi^{4n+5}}{5}\right\rfloor-1\\ y=\left\lfloor\frac{\varphi^{4n+3}}{5}\right\rfloor-1 \end{array} \right. \end{eqnarray} }$
この式をみると、シングマスターの無限族に含まれる数字がパスカルの三角形のどのあたりに出てくるかわかります。
パスカルの三角形とは、次のように二項係数を三角形にならべたものでした。
$$ \begin{array}{c} 1 \\ 1\ 1\\ 1\ 2\ 1\\ 1\ 3\ 3\ 1\\ 1\ 4\ 6\ 4\ 1\\ 1\ 5\ 10\ 10\ 5\ 1\\ 1\ 6\ 15\ 20\ 15\ 6\ 1\\ 1\ 7\ 21\ 35\ 35\ 21\ 7\ 1\\ \vdots \qquad \vdots \qquad \vdots \end{array} $$
まず、$x,y$ は $n$ が $1$ 増えるごとに約 $\varphi^4(\fallingdotseq6.85)$ 倍ずつ増えていくことがわかります。
また、
$x:(x-y):y\,\, \fallingdotseq \,\,\varphi^{2}:\varphi:1$
ですから、パスカルの三角形の行の中では、両端からの比がおよそ $1:\varphi$ の位置にあることになります。
パスカルの三角形は左右対称ですので、同じ行の中にもう一つ同じ数字があります。2つの数字の、行の中での位置の両端からの比は $\varphi:1:\varphi$ であることもわかりますね。
全体が相似の関係になっており、フラクタルのように思えます。面白いですね!
より直接的な表現
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} {}_{14}C_{4}=\frac{14!}{10!6!}\cdot5\cdot3\cdot2\cdot1\\ {}_{14}C_{5}=\frac{14!}{10!6!}\cdot5\cdot3\cdot2\cdot2\\ {}_{14}C_{6}=\frac{14!}{10!6!}\cdot5\cdot3\cdot2\cdot3\\ \end{array} \right. \end{eqnarray} }$
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} {}_{103}C_{38}=\frac{103!}{65!40!}\cdot13\cdot8\cdot5\cdot3\\ {}_{103}C_{39}=\frac{103!}{65!40!}\cdot13\cdot8\cdot5\cdot5\\ {}_{103}C_{40}=\frac{103!}{65!40!}\cdot13\cdot8\cdot5\cdot8\\ \end{array} \right. \end{eqnarray} }$
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} {}_{713}C_{271}=\frac{713!}{442!273!}\cdot34\cdot21\cdot13\cdot8\\ {}_{713}C_{272}=\frac{713!}{442!273!}\cdot34\cdot21\cdot13\cdot13\\ {}_{713}C_{273}=\frac{713!}{442!273!}\cdot34\cdot21\cdot13\cdot21\\ \end{array} \right. \end{eqnarray} }$
一般化すると
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} x=F_{2n+2}F_{2n+3}-1\\ y=F_{2n}F_{2n+3}-1 \end{array} \right. \end{eqnarray} }$
${\displaystyle \begin{eqnarray} \left\{ \begin{array}{l} {}_{x}C_{y}=\frac{(F_{2n+3}F_{2n+2}-1)!}{(F_{2n+3}F_{2n+1})!(F_{2n+3}F_{2n}+1)!}F_{2n+3}F_{2n+2}F_{2n+1}\cdot F_{2n}\\ {}_{x}C_{y+1}=\frac{(F_{2n+3}F_{2n+2}-1)!}{(F_{2n+3}F_{2n+1})!(F_{2n+3}F_{2n}+1)!}F_{2n+3}F_{2n+2}F_{2n+1}\cdot F_{2n+1}\\ {}_{x}C_{y+2}=\frac{(F_{2n+3}F_{2n+2}-1)!}{(F_{2n+3}F_{2n+1})!(F_{2n+3}F_{2n}+1)!}F_{2n+3}F_{2n+2}F_{2n+1}\cdot F_{2n+2}\\ \end{array} \right. \end{eqnarray} }$
${\displaystyle \therefore {}_{x}C_{y}+{}_{x}C_{y+1}={}_{x}C_{y+2}\\ }$
フィボナッチ数がたくさんでなかなか壮観ですね!
関連情報など
もともとは、Twitterでの ゆう の 右腕 さんのこのツイートを見て、自分で解いてみようと思ったのが始まりでした。(ツイート内で言及されている資料はまだ見ていません。)
「あの数列」とみてもしやと思ったのですが、やはりフィボナッチ数列が絡んできましたね!
また、この問題は ゆう の 右腕 さんのブログ記事の演習問題にもなっています。ペル型方程式の解もこのブログから引用しています。
Arithmetica算術ノート:フィボナッチ数の判定式（1） 二次体の整数の整除と単数
Arithmetica算術ノート:フィボナッチ数の判定式（2） 二次体の整数の整除と単数
Arithmetica算術ノート:フィボナッチ数の判定式（3） 二次体の整数の整除と単数
それから、tsujimotter さんのブログ記事に、今回の記事ででてきた「Singmasterの定理」と、パスカルの三角形に複数回出てくる数字とのとても面白い関係が紹介されています。
tsujimotterのノートブック:パスカルの三角形にたくさん出てくる数: 3003
この記事を見ると、パスカルの三角形に8回出てくる3003という数が特別であることがよくわかります!
おわりに
フィボナッチ数と二項定理には、ほかにもいろいろ面白い関係が隠れていそうです。
関連情報など何かあれば教えていただければ幸いです。
参考文献
この記事を高評価した人
この記事に送られたバッジ
投稿者
