二項係数の和と数え上げ
はじめに
ここでは, 二項係数に関する次の等式を, 組合せ論的な方法を用いて証明していきます.
$$ \sum_{k=0}^{\lfloor n/2\rfloor}k\binom{n-k}{k}=\frac{nL_n-F_n}{5} $$
ここで, $\displaystyle\binom{m}{n}$は$m$個から$n$個を選ぶ組合せの数（二項係数）, $\lfloor x\rfloor$は$x$以下最大の整数, $F_n$は$n$番目のフィボナッチ数, $L_n$は$n$番目のリュカ数を表します.
これに似た有名な等式として
$$ \sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}=F_{n+1} $$
がありますが, 上の等式は下の等式の証明を出発点として導出することができます.
方針や補題について
まず, 次の組合せについての補題を考えます.
黒と白のいずれかで塗られた合計$n\,(\geq1)$個の玉を, 以下の「条件１」を満たすように横一列に並べる方法は$F_{n+1}$通りある. ただし, 同じ色の玉どうしは区別しない.
「条件１」
・黒玉の右隣には白玉がある.
たとえば,（白, 黒, 白）や（黒, 白, 黒, 白, 白）のように並べたものは「条件１」を満たしますが,（白, 黒）や（黒, 黒, 白）などは「条件１」を満たしません.
$n$個の玉について, あり得る並べ方の総数を$a_n$とする. $n+2$個の玉が「条件１」を満たすとき, 最も左にある玉の色が
・白ならば, 残りの$n+1$個の玉が「条件１」を満たす.
・黒ならば, その右隣に白玉があり, 残りの$n$個の玉が「条件１」を満たす.
よって, 並べ方の総数について, $a_{n+2}=a_{n+1}+a_n$が成り立つ. また, 実際に並べてみることで$a_1=1,\,a_2=2$がわかるから, $a_n=F_{n+1}$を得る（初項の決め方が$F_n$の定義よりも１項分ずれているから）.
ここで, $a_n$を別の方法で求めてみます. $n$個の玉のうち黒玉の個数を$k$とすると, 白玉の個数は$n-k$です. これらが「条件１」を満たすためには２つの白玉の間あるいは左端に黒玉を配置すればよく, その方法は$\displaystyle\binom{n-k}{k}$通りあります. また, 黒玉が連続しないための$k$の範囲は$0\leq k\leq \lfloor n/2\rfloor$なので, この範囲に渡る$k$について足し合わせれば
$$
a_n=\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}
$$
が成り立ちます. $n=0$のときは$\displaystyle\binom{0}{0}=1$と約束すれば, 以上の議論から次の結果を得ます.
すべての非負整数$n$に対して次が成り立つ.
$$
\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}=F_{n+1}
$$
二項係数の和がフィボナッチ数になるなんて、とても面白い性質です！
次の補題は数学的帰納法を用いることで示されます.
数列$(a_n)_{n\geq0}$と$(b_n)_{n\geq0}$が$a_{n+2}=a_{n+1}+a_n+b_n$を満たすならば, $n\geq2$に対して次が成り立つ.
$$
a_n=F_na_1+F_{n-1}a_0+\sum_{k=0}^{n-1}F_{n-1-k}b_k
$$
最後に, 玉の並べ方について新たな条件を導入し, それを満たす並べ方の総数について次が成り立つことを示します.
黒, 白, 赤のいずれかで塗られた$n\,(\geq 1)$個の玉を, 以下の「条件２」を満たすように横一列に並べる方法は$\displaystyle\frac{nL_n-F_n}{5}$通りある. ただし, 同じ色の玉どうしは区別しない.
「条件２」
・黒玉の右隣には白玉がある.
・赤玉がちょうど$1$個あり, その右隣には白玉がある.
たとえば,（赤, 白, 白）や（黒, 白, 赤, 白）などは「条件２」を満たしますが,（赤, 黒, 白）,（黒, 白, 白）,（赤, 白, 赤, 白）などは「条件２」を満たしません.
$n$個の玉について,「条件２」を満たす並べ方の総数を$a_n$とする. $n+2$個の玉が「条件２」を満たすとき, 最も左にある玉の色が
・白ならば, 残りの$n+1$個が「条件２」を満たす.
・黒ならば, その右隣に白玉があり, 残りの$n$個が「条件２」を満たす.
・赤ならば, その右隣に白玉があり, 残りの$n$個が「条件１」を満たす.
よって, 補題１より$a_{n+2}=a_{n+1}+a_n+F_{n+1}$が成り立つ. 実際に並べてみると$a_1=0,\,a_2=1$であるから, これらと漸化式を合わせて$a_0=0$と定めることができる. 補題３を用いて漸化式を変形すると, $n\geq 2$に対して
$$
\begin{align*}
a_n
&=F_na_1+F_{n-1}a_0+\sum_{k=0}^{n-1}F_{n-1-k}F_{k+1}\\
&=\sum_{k=0}^n F_{n-k}F_k\;\;\;(\because F_nF_0=0)\\
&=\sum_{k=0}^n \frac{\phi^{n-k}-\bar\phi{}^{n-k}}{\sqrt{ 5}}\cdot\frac{\phi^k-\bar\phi{}^k}{\sqrt{5}}
=\frac{1}{5}\sum_{k=0}^n\left(\phi^n+\bar\phi{}^n-\phi^{n-k}\bar\phi{}^k-\phi^k\bar\phi{}^{n-k}\right)\\
&=\frac{1}{5}(n+1)L_n-\frac{2}{5}\frac{\phi^{n+1}-\bar\phi{}^{n+1}}{\phi-\bar\phi}
=\frac{(n+1)L_n-2F_{n+1}}{5}
=\frac{nL_n-F_n}{5}
\end{align*}
$$
が成り立つ. また, 主張は$n=1$のときも成り立つ.
ただし, $\displaystyle\phi=\frac{1+\sqrt{5}}{2},\;\bar\phi=\frac{1-\sqrt{5}}{2}$であり, フィボナッチ数やリュカ数に関する公式
$$
F_n=\frac{\phi^n-\bar\phi{}^n}{\sqrt{5}},\;L_n=\phi^n+\bar\phi{}^n,\;L_n=F_{n+1}+F_{n-1}
$$
などを用いました.
目標の等式の証明
すべての非負整数$n$に対して次が成り立つ.
$$
\sum_{k=0}^{\lfloor n/2\rfloor}k\binom{n-k}{k}=\frac{nL_n-F_n}{5}
$$
$n\,(\geq 1)$個の玉のうち黒玉と赤玉の個数の合計を$k$とすると, 白玉の個数は$n-k$である.「条件２」を満たすようにこれらを並べるには, ２つの白玉の間あるいは左端に白でない玉を配置すればよい. そのようにして白でない玉を置く場所の選び方は$\displaystyle\binom{n-k}{k}$通りあり, そこからさらに赤玉の場所を選ぶ方法は$k$通りある. $0\leq k\leq \lfloor n/2\rfloor$に気を付けて足し合わせれば, 並べ方の総数は
$$
\sum_{k=0}^{\lfloor n/2\rfloor}k\binom{n-k}{k}
$$
であるから, 補題４より$n\geq1$に対して主張を得る. また, 主張の等式は$n=0$のときも成り立つ.
一般化など
以上の方法において赤玉の個数を$m$とすれば, 次の性質を示すことができます.
すべての非負整数$m,\,n$に対して
$$
S_n^{(m)}=\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}\binom{k}{m}
$$
とおくと, 次が成り立つ.
$$
S_{n+2}^{(m+1)}=S_{n+1}^{(m+1)}+S_n^{(m+1)}+S_n^{(m)}
$$
ただし, $k< m$のときは$\displaystyle\binom{k}{m}=0$と定義します.
非常に大変な計算になりますが, 具体的に$m=2,\,3,\,4$について求めてみると次のようになります. 実際に$n$を代入してみると成り立っていることが確認できると思います.
すべての非負整数$n$に対して以下が成り立つ.
$$
\begin{align*}
&\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}\binom{k}{2}=\frac{5(n-1)(nL_n-F_n-nF_{n+1})-nL_n+F_n}{50}\\
&\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}\binom{k}{3}=\frac{(n-1)(n-3)\{3(nL_n-F_n)-5(n+1)F_n\}}{300}\\
&\sum_{k=0}^{\lfloor n/2\rfloor}\binom{n-k}{k}\binom{k}{4}=\frac{(-10F_n+5L_n)n^4+(70F_n-40L_n)n^3+(-80F_n+85L_n)n^2+(-160F_n-38L_n)n+168F_n}{3000}
\end{align*}
$$
また, $S_n^{(m)}$の$n$についての母関数は次のようになることがわかっています.
$$ |x|<\frac{1}{\phi}\;\Rightarrow\;\sum_{n=0}^\infty S_n^{(m)}x^n=\frac{x^{2m}}{(1-x-x^2)^{m+1}} $$
おわりに
以上になります. 無事, 年に一度（二年目）の記事更新をすることができました. 来年はもうちょっと書きたいですね. ご指摘・ご質問があればお気軽にコメント欄までよろしくお願いいたします. ここまでお読みいただきありがとうございました！
この記事を高評価した人
この記事に送られたバッジ
投稿者
