二項係数とフィボナッチ数の面白い関係を紹介します。
最初に結論を提示し、後半で証明します。
そのあと、パスカルの三角形との関係などを確かめます。
お急ぎの方は、結論部分だけでもみていただければと思います。
この記事では $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年に発表した定理だそうです。
さらに今日、次のような関係もあることに気が付きました!
${\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$のすべての自然数解は次のように奇数番目のフィボナッチ数とリュカ数で表すことができることが知られています。
$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つめの証明です。
${\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つめの証明です。
${}_{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}$
公式3で
$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} $
公式3で
$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という数が特別であることがよくわかります!
フィボナッチ数と二項定理には、ほかにもいろいろ面白い関係が隠れていそうです。
関連情報など何かあれば教えていただければ幸いです。