k-ナッチ数列の加法定理を求める
追記
添え字の間違いを直しました(2025/06/07 02:17)
フィボナッチ数列の加法定理
フィボナッチ数列というのはみなさん知っているかと思われます
\begin{cases} F_0 = 0 \\ F_1 = 1 \\ F_{n+1} = F_n+F_{n-1} \end{cases}
このフィボナッチ数列には加法定理があるらしく、
\begin{eqnarray} F_{m+n} &=& F_{m-1}F_n+F_m F_{n+1} \end{eqnarray}
となるらしいです。
帰納法による証明や、一般項の公式を使ったり、三角関数表示したり、行列の冪乗表示から証明したりしているものがありましたが、帰納法で証明したいと思います。
しかし、この式を最初に思いついた人はどうやって思いついたんでしょうか？
それはわからないです。(調べてないから)
でもこうすると思いついけます。
発想
\begin{eqnarray} F_{n+1}&=&F_n+F_{n-1} \\\\ F_{n+2}&=&F_{n+1}+F_n \\ &=&F_n+F_{n-1}+F_n \\ &=&2F_n+F_{n-1} \\\\ F_{n+3}&=&F_{n+2}+F_{n+1} \\ &=&2F_n+F_{n-1}+F_n+F_{n-1} \\ &=&3F_n+2F_{n-1} \end{eqnarray}
おや、見た感じに$F_n$と$F_{n-1}$で表せそうですよね
じゃぁ、$F_{n+k}$が$F_n$と$F_{n-1}$でこう表せるとします
\begin{eqnarray} F_{n+k} &=& a(k)F_n+b(k)F_{n-1} \end{eqnarray}
ここで$a(k)$と$b(k)$は何かいい感じの整数だとします。
最初の方は
\begin{eqnarray}
F_{n+0}&=&a(0)F_n+b(0)F_{n-1} \\
&=&1F_n+0F_{n-1} \\\\
F_{n+1}&=&a(1)F_n+b(1)F_{n-1} \\
&=&1F_n+1F_{n-1}
\end{eqnarray}
なので、$a(0)=1\;,\;b(0)=0\;,\;a(1)=1\;,\;b(1)=1$と分かります。
ここで、この次の$F_{n+(k+1)}$を考えると、
\begin{eqnarray}
F_{n+k+1} &=& a(k+1)F_n+b(k+1)F_{n-1}
\end{eqnarray}
しかも、こうもできます
\begin{eqnarray}
F_{n+k+1} &=& F_{n+k}+F_{n+k-1} \\
&=&a(k)F_n+b(k)F_{n-1}+a(k-1)F_n+b(k-1)F_{n-1} \\
&=&(a(k)+a(k-1))F_n+(b(k)+b(k-1))F_{n-1}
\end{eqnarray}
ほう。じゃあ
\begin{eqnarray}
a(k+1)&=&a(k)+a(k-1) \\
b(k+1)&=&b(k)+b(k-1)
\end{eqnarray}
となってくれないと困りますね。
...
ん???
んん？？？
これってフィボナッチ数列そのものじゃないですか？
\begin{eqnarray} a(0)&=&1,a(1)=1 \\ a(k+1)&=&a(k)+a(k-1) \\\\ b(0)&=&0,b(1)=1 \\ b(k+1)&=&b(k)+b(k-1) \end{eqnarray}
ってことは、$b(k)$はそのまんまフィボナッチ数列$F_k$だし、
$a(k)$はそれの一つずれたもので、$F_{k+1}$じゃないですか？
ということで、フィボナッチ数列の加法定理が
\begin{eqnarray} F_{n+k} &=& F_{k+1}F_n+F_kF_{n-1} \end{eqnarray}
となるんですね。
トリボナッチ数列
トリボナッチ数列というものがあります。
\begin{cases} T_0 = 0 \\ T_1 = 0 \\ T_2 = 1 \\ T_{n+1} = T_n+T_{n-1}+T_{n-2} \end{cases}
これはこんな感じの数列になります
\begin{eqnarray}
0, 0, 1, 1, 2, 4, 7, 13, 24, 44, 81, 149, 274, 504, 927, 1705, 3136, 5768, 10609, 19513, 35890, 66012, 121415, 223317, 410744, 755476, 1389537, 2555757, 4700770, 8646064, 15902591, 29249425, 53798080, 98950096, 181997601, 334745777, 615693474, 1132436852,\cdots
\end{eqnarray}
このトリボナッチ数列にも同じように加法定理はあるのでしょうか？
ありそう。
発想
さっきと同じようにしてみます。
\begin{eqnarray} T_{n+k} = a_1(k)T_{n}+a_2(k)T_{n-1}+a_3(k)T_{n-2} \end{eqnarray}
こう表されるとします。
すると、$T_{n+k+1}$が$2$通りの方法で表されます。
\begin{eqnarray}
T_{n+k+1} &=& a_1(k+1)T_{n}+a_2(k+1)T_{n-1}+a_3(k+1)T_{n-2} \\\\
T_{n+k+1} &=& T_{n+k}+T_{n+k-1}+T_{n+k-2}
\end{eqnarray}
\begin{eqnarray}
\quad\quad\;\;\:\,&=&\;\;\;\:\, &a_1(k)T_{n}+&\quad\;\;\,a_2(k)T_{n-1}+&\quad\;\;\,a_3(k)T_{n-2}& \\
&&+ &a_1(k-1)T_{n}+&a_2(k-1)T_{n-1}+&a_3(k-1)T_{n-2}& \\
&&+ &a_1(k-2)T_{n}+&a_2(k-2)T_{n-1}+&a_3(k-2)T_{n-2}&
\end{eqnarray}
\begin{eqnarray}
\quad\quad\;\;\:\,&=&\;\;\;\:\,\big(a_1(k)+a_1(k-1)+a_1(k-2)\big)T_n \\
&&+\big(a_2(k)+a_2(k-1)+a_2(k-2)\big)T_{n-1} \\
&&+\big(a_3(k)+a_3(k-1)+a_3(k-2)\big)T_{n-2} \\
\end{eqnarray}
(できるだけわかりやすく書いたつもり)
これらが同じなので、$T_n,T_{n-1},T_{n-2}$の係数を比較してあげると、
\begin{eqnarray} a_1(k+1) &=& a_1(k)+a_1(k-1)+a_1(k-2) \\ a_2(k+1) &=& a_2(k)+a_2(k-1)+a_2(k-2) \\ a_3(k+1) &=& a_3(k)+a_3(k-1)+a_3(k-2) \end{eqnarray}
となりました
きれい
こうなってくると初期値が重要ですよね
さっきは$F_{n+0},F_{n+1}$で考えたので、$T_{n+0},T_{n+1},T_{n+2}$でやろうかな
と思っていたのですが、
$T_{n-0},T_{n-1},T_{n-2}$でやったほうが簡単だということに気づきました
\begin{eqnarray} T_{n-0} &=& 1T_n+0T_{n-1}+0T_{n-2} \\\\ T_{n-1} &=& 0T_n+1T_{n-1}+0T_{n-2} \\\\ T_{n-2} &=& 0T_n+0T_{n-1}+1T_{n-2} \end{eqnarray}
たしかに簡単になった
\begin{eqnarray}
a_1(0) &=& 1\;,\;&a_2(0) = 0&\;,\;a_3(0) = 0& \\
a_1(-1) &=& 0\;,\;&a_2(-1) = 1&\;,\;a_3(-1) = 0& \\
a_1(-2) &=& 0\;,\;&a_2(-2) = 0&\;,\;a_3(-2) = 1& \\
\end{eqnarray}
なんかこう、図にしたい気分ですね
$a_1(0)$とか書くとややこしいので、$T_n,T_{n-1},T_{n-2}$の係数だけ書きます。
それがこう。
| $T_n$ | $T_{n-1}$ | $T_{n-2}$ | |
|---|---|---|---|
| $T_{n-2}$ | $0$ | $0$ | $1$ |
| $T_{n-1}$ | $0$ | $1$ | $0$ |
| $T_{n}$ | $1$ | $0$ | $0$ |
| $T_{n+1}$ | $1$ | $1$ | $1$ |
| $T_{n+2}$ | $2$ | $2$ | $1$ |
| $T_{n+3}$ | $4$ | $3$ | $2$ |
| $T_{n+4}$ | $7$ | $6$ | $4$ |
| $T_{n+5}$ | $13$ | $11$ | $7$ |
| $T_{n+6}$ | $24$ | $20$ | $13$ |
htmlで書くのは大変ですね。(Mathlogの表のしましまデザインが気になった)
例えば、$T_{n+5}=13T_{n}+11T_{n-1}+7\,T_{n-2}$を表しています。
この表を作るのは単純で、
\begin{eqnarray}
T_{n+k+1} = T_{n+k}+T_{n+k-1}+T_{n+k-2}
\end{eqnarray}
なので$T_{n+k+1}$の行を作りたかったら$T_{n+k}$の行と$T_{n+k-1}$の行と$T_{n+k-2}$の行を縦に足せばいいんですね。
例えば$T_{n+5}$なら$T_{n+4}$と$T_{n+3}$と$T_{n+2}$ つまり上の3行を縦に足せばよくて、
\begin{eqnarray}
2+4+7 &=& 13 \\
2+3+6 &=& 11 \\
1+2+4 &=& 7
\end{eqnarray}
という感じです。
ここで気づいたことがあります。
気づいたこと
1つめ
一番右の列、$T_{n-2}$がトリボナッチ数列じゃないですか？
最初こそ$1$ですが、それさえ無視すれば$0,0,1,1,2,4,7,13,\cdots$と、
確かにトリボナッチ数列になっています。
これはなぜかというと、$T_{n-1},T_{n},T_{n+1}$の行のときの$T_{n-2}$の列が
| $T_{n-2}$ | |
|---|---|
| $T_{n-1}$ | $0$ |
| $T_{n}$ | $0$ |
| $T_{n+1}$ | $1$ |
という風になっているからです。これはトリボナッチ数列の初期値
\begin{eqnarray} T_0=0 \;,\; T_1=0 \;,\; T_2=1 \end{eqnarray}
と完全に一致しています。
次の行も上の三つの値の和なので、完全にトリボナッチ数列と同じ構成方法になっているんですね。
$k$との対応を考えると$T_{k+1}$になります。
| $T_{n-2}$ | |
|---|---|
| $T_{n-1}$ | $0$ |
| $T_{n}$ | $0$ |
| $T_{n+1}$ | $1$ |
| $T_{n+2}$ | $1$ |
| $T_{n+3}$ | $2$ |
| $\vdots$ | $\vdots$ |
| $T_{n+k}$ | $T_{k+1}$ |
2つ目
気づいたことはもう一つあって、
よく見るとこういう関係があります。
| $T_n$ | $T_{n-1}$ | $T_{n-2}$ | |
|---|---|---|---|
| $T_{n-2}$ | $0$ | $0$ | $1$ |
| $T_{n-1}$ | $0$ | $1$ | $0$ |
| $T_{n}$ | $1$ | $0$ | $0$ |
| $T_{n+1}$ | $1$ | $1$ | $1$ |
| $T_{n+2}$ | $2$ | $2$ | $1$ |
| $T_{n+3}$ | $4$ | $3$ | $2$ |
| $T_{n+4}$ | $7$ | $6$ | $4$ |
| $T_{n+5}$ | $13$ | $11$ | $7$ |
| $T_{n+6}$ | $24$ | $20$ | $13$ |
$T_{n-2}$の列の水色のところを足すと$T_{n-1}$の列の水色のところになり、
$T_{n-2}$の列の緑色のところを足すと$T_n$の列の緑色のところになるんですよね。
これは他の場所でも成り立ちます。
| $T_n$ | $T_{n-1}$ | $T_{n-2}$ | |
|---|---|---|---|
| $T_{n-2}$ | $0$ | $0$ | $1$ |
| $T_{n-1}$ | $0$ | $1$ | $0$ |
| $T_{n}$ | $1$ | $0$ | $0$ |
| $T_{n+1}$ | $1$ | $1$ | $1$ |
| $T_{n+2}$ | $2$ | $2$ | $1$ |
| $T_{n+3}$ | $4$ | $3$ | $2$ |
| $T_{n+4}$ | $7$ | $6$ | $4$ |
| $T_{n+5}$ | $13$ | $11$ | $7$ |
| $T_{n+6}$ | $24$ | $20$ | $13$ |
ほら。
証明
一つ目($T_{n-1}$)
これはどうやったら証明できるのでしょうか？
真ん中の列について考えてみましょう
| $T_{n-1}$ | |
|---|---|
| $T_{n-2}$ | $0$ |
| $T_{n-1}$ | $1$ |
| $T_{n}$ | $0$ |
| $T_{n+1}$ | $1$ |
| $T_{n+2}$ | $2$ |
| $T_{n+3}$ | $3$ |
| $T_{n+4}$ | $6$ |
| $T_{n+5}$ | $11$ |
| $T_{n+6}$ | $20$ |
横に並べますか？
\begin{eqnarray}
0,1,0,1,2,3,6,11,20
\end{eqnarray}
これは
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]& \ar@/^1.6em/[rrrrddd]&\!\!\!-\!\!\!&&&&&&&\\ &&&&&&&\ar@/^0.34em/@{-}[ru]&&&&\ar@/_0.34em/@{-}[lu]&&&&&&&&&&&&&&&\\ &&&& \!\!\!-\!\!\!\ar@{-}[rr]& \ar@/^0.8em/[rrrdr]&\!\!\!-\!\!\!&&&&&&\\ &0\ar@/_/@{-}[rd]&&1\ar@/^/@{-}[ru]&&0\ar@/^/@{-}[ld]&&1\ar@/_/@{-}[lu]&&2 &&3&&6\\ && \!\!\!-\!\!\!\ar@{-}[rr]& \ar@/_0.8em/[rrrur]&\!\!\!-\!\!\!&&&&&& \\ &&&&&\ar@/_0.34em/@{-}[rd]&&&&\ar@/^0.34em/@{-}[ld]&&\\ &&&&&&\!\!\!-\!\!\!\ar@{-}[rr]& \ar@/_1.6em/[rrrruuu]&\!\!\!-\!\!\! } \end{eqnarray}
こんな感じで前$3$つを足していってますね。
これを、
こうするとどうでしょう
\begin{eqnarray} \xymatrix@=0pt{ &0\ar@/_0.7em/@{-}[rd]&&1&&0 \ar@{-}@/^0.7em/[dl]&&0 \\ &&\!\!\!-\!\!\!\ar@{-}[rr]& \ar[rrrrd]&\!\!\!-\!\!\!& \\ &&&&&&&1&&&&&&&&&&&&&\\ } \end{eqnarray}
最初に足したやつをそのまま横に書くのではなく、一つ下の行に書きます。
横に書くのは$0$にします。
そして、
\begin{eqnarray}
\xymatrix@=0pt{
&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\
&0&&1\ar@{-}@/^0.7em/[ur]&&0&&0\ar@{-}@/_0.7em/[ul]&&1 \\
&&& \ar@{-}@/_0.7em/[rd]&&&&1 \ar@{-}@/^0.7em/[ld]&&1&&&&&&&&&&\\
&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&
}
\end{eqnarray}
両方の行で前$3$つを足して横に書きます。
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0\ar@{-}@/^0.7em/[ur]&&0&&1\ar@{-}@/_0.7em/[ul]&&1 \\ &&&&& \ar@{-}@/_0.7em/[rd]&&1&&1 \ar@{-}@/^0.7em/[ld]&&2&&&&&&&&&&\\ &&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0\ar@{-}@/^0.7em/[ur]&&1&&1\ar@{-}@/_0.7em/[ul]&&2 \\ &&&&&&&1 \ar@{-}@/_0.7em/[rd]&&1&&2 \ar@{-}@/^0.7em/[ld]&&4&&&&&&&&&&\\ &&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0&&1\ar@{-}@/^0.7em/[ur]&&1&&2\ar@{-}@/_0.7em/[ul]&&4 \\ &&&&&&&1&&1 \ar@{-}@/_0.7em/[rd]&&2&&4 \ar@{-}@/^0.7em/[ld]&&7&&&&&&&&&&\\ &&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0&&1&&1\ar@{-}@/^0.7em/[ur]&&2&&4\ar@{-}@/_0.7em/[ul]&&7 \\ &&&&&&&1&&1&&2 \ar@{-}@/_0.7em/[rd]&&4&&7 \ar@{-}@/^0.7em/[ld]&&13&&&&&&&&&&\\ &&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& } \end{eqnarray}
気づきましたか？
これを縦に足すとさっきの数列になります。
\begin{eqnarray}
&0&\;\;\;&1&\;\;\;&0&\;\;\;&0&\;\;\;&1&\;\;\;&1&\;\;\;&2&\;\;\;&4&\;\;\;&7 \\
+\;\;&&&&&&&1&&1&&2&&4&&7&&13\\
\hline\end{eqnarray}
\begin{eqnarray}
\quad\,\;\;&0&\;\;\;&1&\;\;\;&0&\;\;\;&1&\;\;\;&2&\;\;\;&3&\;\;\;&6&\;\;\;&11&\:\,&20
\end{eqnarray}
まぁそりゃそうですよね。
さっきのをこう見ると分かります。
\begin{eqnarray}
\xymatrix@=0pt{
&0\ar@/_0.7em/@{-}[rd]&&1&&0 \ar@{-}@/^0.7em/[dl]&&0 \\
&&\!\!\!-\!\!\!\ar@{-}[rr]& \ar[rrrrd]&\!\!\!-\!\!\!& \\
+&&&&&&&1&&&&&&&&&&&&&\\
}\\
\hline
\xymatrix@=0pt{
&0\ar@{-}@/_0.7em/[rd]&&1&&0\ar@{-}@/^0.7em/[ld]&&1 \\
&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!
}
\end{eqnarray}
そして、
\begin{eqnarray} \xymatrix@=0pt{ &&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1\ar@{-}@/^0.7em/[ur]&&0&&0\ar@{-}@/_0.7em/[ul]&&1 \\ &&& \ar@{-}@/_0.7em/[rd]&&&&1 \ar@{-}@/^0.7em/[ld]&&1&&&&&&&&&&\\ +&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& }\\ \hline \xymatrix@=0pt{ &0&&1\ar@{-}@/_0.7em/[rd]&&0&&1\ar@{-}@/^0.7em/[ld]&&2 \\ &&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0\ar@{-}@/^0.7em/[ur]&&0&&1\ar@{-}@/_0.7em/[ul]&&1 \\ &&&&& \ar@{-}@/_0.7em/[rd]&&1&&1 \ar@{-}@/^0.7em/[ld]&&2&&&&&&&&&&\\ +&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& }\\ \hline \xymatrix@=0pt{ &0&&1&&0\ar@{-}@/_0.7em/[rd]&&1&&2\ar@{-}@/^0.7em/[ld]&&3 \\ &&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0\ar@{-}@/^0.7em/[ur]&&1&&1\ar@{-}@/_0.7em/[ul]&&2 \\ &&&&&&&1 \ar@{-}@/_0.7em/[rd]&&1&&2 \ar@{-}@/^0.7em/[ld]&&4&&&&&&&&&&\\ +&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& }\\ \hline \xymatrix@=0pt{ &0&&1&&0&&1\ar@{-}@/_0.7em/[rd]&&2&&3\ar@{-}@/^0.7em/[ld]&&6 \\ &&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0&&1\ar@{-}@/^0.7em/[ur]&&1&&2\ar@{-}@/_0.7em/[ul]&&4 \\ &&&&&&&1&&1 \ar@{-}@/_0.7em/[rd]&&2&&4 \ar@{-}@/^0.7em/[ld]&&7&&&&&&&&&&\\ +&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& }\\ \hline \xymatrix@=0pt{ &0&&1&&0&&1&&2\ar@{-}@/_0.7em/[rd]&&3&&6\ar@{-}@/^0.7em/[ld]&&\!\!\!\:\!11 \\ &&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&1&&0&&0&&1&&1\ar@{-}@/^0.7em/[ur]&&2&&4\ar@{-}@/_0.7em/[ul]&&7 \\ &&&&&&&1&&1&&2 \ar@{-}@/_0.7em/[rd]&&4&&7 \ar@{-}@/^0.7em/[ld]&&13&&&&&&&&&&\\ +&&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&& }\\ \hline \xymatrix@=0pt{ &0&&1&&0&&1&&2&&3\ar@{-}@/_0.7em/[rd]&&6&&\!\!\!\:\!11\ar@{-}@/^0.7em/[ld]&&20 \\ &&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
「そりゃそうだな」 ってなりましたか？
そして、この分けた数列はトリボナッチ数列そのものになっています。
なぜなら、$0\;\;0\;\;1$となる部分があり、この後ずっと
前$3$つを足して横に書く
という操作をし続けるので、これはトリボナッチ数列の構成の仕方そのものになっているからです。
実際の項数を考えると
\begin{eqnarray} \xymatrix@=3.6pt{ &&&&&T_0\ar@{=}[d]&&T_1\ar@{=}[d]&&T_2\ar@{=}[d]&&T_3\ar@{=}[d]&&T_4\ar@{=}[d]&&T_5\ar@{=}[d]&&T_6\ar@{=}[d]&\cdots&T_{k} \\ &0&&1&&0&&0&&1&&1&&2&&4&&7 \\ &&&&&&&1&&1&&2&&4&&7&&13\\ +&&&&&&&T_2\ar@{=}[u]&&T_3\ar@{=}[u]&&T_4\ar@{=}[u]&&T_5\ar@{=}[u]&&T_6\ar@{=}[u]&&T_7\ar@{=}[u]&\cdots&T_{k+1} }\\ \hline \xymatrix@=0pt{ &0&\;\:1\;\:&\;\:0\;\:&1&2&3&6&11&20\\\;\\ &T_{n-2}\ar[uu]&T_{n-1}\ar[uu]&T_n\;\ar[uu]&T_{n+1}\ar[uu]&T_{n+2}\ar[uu]&T_{n+3}\ar[uu]&T_{n+4}\ar[uu]&T_{n+5}\ar[uu]&T_{n+6}\ar[uu]&\cdots&\;T_{n+k} } \end{eqnarray}
よって真ん中の数列は$T_{k}+T_{k+1}$であることが分かりました
\begin{eqnarray} a_2(k) = T_k+T_{k+1} \end{eqnarray}
(書くのしんどい...)
証明2($T_n$)
もう一つの方も同じように証明できます
(これは証明なのか???)
| $T_n$ | $T_{n-1}$ | $T_{n-2}$ | |
|---|---|---|---|
| $T_{n-2}$ | $0$ | $0$ | $1$ |
| $T_{n-1}$ | $0$ | $1$ | $0$ |
| $T_{n}$ | $1$ | $0$ | $0$ |
| $T_{n+1}$ | $1$ | $1$ | $1$ |
| $T_{n+2}$ | $2$ | $2$ | $1$ |
| $T_{n+3}$ | $4$ | $3$ | $2$ |
| $T_{n+4}$ | $7$ | $6$ | $4$ |
| $T_{n+5}$ | $13$ | $11$ | $7$ |
| $T_{n+6}$ | $24$ | $20$ | $13$ |
これの緑のところね。
水色はさっきやりました。
さっきと同じようにやりたいだけです。
\begin{eqnarray} \xymatrix@=0pt{ &0\ar@/_0.7em/@{-}[rd]&&0&&1 \ar@{-}@/^0.7em/[dl]&&0 \\ &&\!\!\!-\!\!\!\ar@{-}[rr]& \ar[rrrrdd]&\!\!\!-\!\!\!& \\ \;\\ +&&&&&&&1&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0\ar@{-}@/_0.7em/[rd]&&0&&1\ar@{-}@/^0.7em/[ld]&&1 \\ &&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
ただ、もう一つ下の$3$行目に書いておきます。
そして、
\begin{eqnarray} \xymatrix@=0pt{ &0&&0\ar@/_0.7em/@{-}[rd]&&1&&0 \ar@{-}@/^0.7em/[dl]&&0 \\ &&&&\!\!\!-\!\!\!\ar@{-}[rr]& \ar[rrrrd]&\!\!\!-\!\!\!& \\ &&&&&&&&&1&&&&&&&&&&&\\ &&& \ar@{-}@/_0.7em/[rd]&&&&1 \ar@{-}@/^0.7em/[ld]&&1&&&&&&&&&&\\ &&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&&0\ar@{-}@/_0.7em/[rd]&&1&&1\ar@{-}@/^0.7em/[ld]&&2\\ &&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
ということもしておきます。
よく見てください。両方の行で前$3$つを足しているだけです。
ただし$1$行目はそのまま横に書くのではなく、下の$2$行目に書いています。
$3$行目はそのまま横に書いています。
気づいた人もいるかもしれませんが、上の$2$つの行はさっき証明したやつと全く同じ形をしています。
無視してどんどん行きましょう。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&0&&1\ar@{-}@/^0.7em/[ur]&&0&&0\ar@{-}@/_0.7em/[ul]&&1 \\ &&&&& \ar@{-}@/_0.7em/[rd]&&&&1 \ar@{-}@/^0.7em/[ld]&&1&&&&&&&&&&\\ &&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ &&&&& \ar@{-}@/_0.7em/[rd]&&1&&1 \ar@{-}@/^0.7em/[ld]&&2&&&&&&&&&&\\ +&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&&0&&1\ar@{-}@/_0.7em/[rd]&&1&&2\ar@{-}@/^0.7em/[ld]&&4 \\ &&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&0&&1&&0\ar@{-}@/^0.7em/[ur]&&0&&1\ar@{-}@/_0.7em/[ul]&&1 \\ &&&&&&& \ar@{-}@/_0.7em/[rd]&&1&&1 \ar@{-}@/^0.7em/[ld]&&2&&&&&&&&&&\\ &&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&\\ &&&&&&&1\ar@{-}@/_0.7em/[rd]&&1&&2 \ar@{-}@/^0.7em/[ld]&&4&&&&&&&&&&\\ +&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&&0&&1&&1\ar@{-}@/_0.7em/[rd]&&2&&4\ar@{-}@/^0.7em/[ld]&&7 \\ &&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&0&&1&&0&&0\ar@{-}@/^0.7em/[ur]&&1&&1\ar@{-}@/_0.7em/[ul]&&2 \\ &&&&&&&&&1\ar@{-}@/_0.7em/[rd]&&1&&2 \ar@{-}@/^0.7em/[ld]&&4&&&&&&&&&&\\ &&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&\\ &&&&&&&1&&1\ar@{-}@/_0.7em/[rd]&&2&&4 \ar@{-}@/^0.7em/[ld]&&7&&&&&&&&&&\\ +&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&&0&&1&&1&&2\ar@{-}@/_0.7em/[rd]&&4&&7\ar@{-}@/^0.7em/[ld]&&\!\!\!\!\:13 \\ &&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
もう一度。
\begin{eqnarray} \xymatrix@=0pt{ &&&&&&&&&&&& \!\!\!-\!\!\!\ar@{-}[rr]&\ar@/^0.8em/[rrrrd]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&&&&\\ &0&&0&&1&&0&&0&&1\ar@{-}@/^0.7em/[ur]&&1&&2\ar@{-}@/_0.7em/[ul]&&4 \\ &&&&&&&&&1&&1\ar@{-}@/_0.7em/[rd]&&2&&4 \ar@{-}@/^0.7em/[ld]&&7&&&&&&&&&&\\ &&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&&&\\ &&&&&&&1&&1&&2\ar@{-}@/_0.7em/[rd]&&4&&7 \ar@{-}@/^0.7em/[ld]&&13&&&&&&&&&&\\ +&&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\!&&&&&&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&&0&&1&&1&&2&&4\ar@{-}@/_0.7em/[rd]&&7&&\!\!\!\!\:13\ar@{-}@/^0.7em/[ld]&&24 \\ &&&&&&&&&&&&\!\!\!-\!\!\!\ar@{-}[rr]&\ar@/_0.8em/[rrrru]&\!\!\!-\!\!\! } \end{eqnarray}
ということで、
\begin{eqnarray} \xymatrix@=3.6pt{ &&&&&&&T_0\ar@{=}[d]&&T_1\ar@{=}[d]&&T_2\ar@{=}[d]&&T_3\ar@{=}[d]&&T_4\ar@{=}[d]&&T_5\ar@{=}[d]&\cdots&T_{k-1}\\ &0&&0&&1&&0&&0&&1&&1&&2&&4 \\ &&&&&&&&&T_2\ar@{=}[d]&&T_3\ar@{=}[d]&&T_4\ar@{=}[d]&&T_5\ar@{=}[d]&&T_6\ar@{=}[d]&\cdots&T_k\\ &&&&&&&&&1&&1&&2&&4&&7&&&&&&&&&&\\ &&&&&&&T_2\ar@{=}[d]&&T_3\ar@{=}[d]&&T_4\ar@{=}[d]&&T_5\ar@{=}[d]&&T_6\ar@{=}[d]&&T_7\ar@{=}[d]&\cdots&T_{k+1}\\ &&&&&&&1&&1&&2&&4&&7&&13&&&&&&&&&&\\ }\\ \hline \xymatrix@=0pt{ &0&\;\:0\;\:&\;\:1\;\:&1&2&4&7&13&24\\\;\\ &T_{n-2}\ar[uu]&T_{n-1}\ar[uu]&T_n\;\ar[uu]&T_{n+1}\ar[uu]&T_{n+2}\ar[uu]&T_{n+3}\ar[uu]&T_{n+4}\ar[uu]&T_{n+5}\ar[uu]&T_{n+6}\ar[uu]&\cdots&\;T_{n+k} } \end{eqnarray}
となり、一番左の列は$T_{k-1}+T_k+T_{k+1}$だと分かりました。
\begin{eqnarray} a_1(k) =T_{k-1}+T_k+T_{k+1} \end{eqnarray}
(知ってた)
結論
最終的に、表はこうなります。
| $T_n$ | $T_{n-1}$ | $T_{n-2}$ | |
|---|---|---|---|
| $T_{n-2}$ | $0$ | $0$ | $1$ |
| $T_{n-1}$ | $0$ | $1$ | $0$ |
| $T_{n}$ | $1$ | $0$ | $0$ |
| $T_{n+1}$ | $1$ | $1$ | $1$ |
| $T_{n+2}$ | $2$ | $2$ | $1$ |
| $T_{n+3}$ | $4$ | $3$ | $2$ |
| $T_{n+4}$ | $7$ | $6$ | $4$ |
| $T_{n+5}$ | $13$ | $11$ | $7$ |
| $T_{n+6}$ | $24$ | $20$ | $13$ |
| $T_{n+k}$ | $T_{k-1}+T_k+T_{k+1}$ | $T_k+T_{k+1}$ | $T_{k+1}$ |
ということで、
\begin{eqnarray} T_{n+k} &=& \qty(T_{k-1}+T_k+T_{k+1})T_n+\qty(T_k+T_{k+1})T_{n-1}+T_{k+1}T_{n-2} \end{eqnarray}
が証明できました。
$k$-ナッチ数列
$k$-ナッチ数列というものがあります。
\begin{cases} W_{i} = 0 \quad (0\le i\le k-2) \\ W_{k-1} = 1 \\ W_{n+1} = W_n+W_{n-1}+W_{n-2}+\cdots+W_{n-k+1}\\ \quad\quad\;\,\, =\overset{k}{\underset{i=1}{\sum}}W_{n-i+1} \end{cases}
まあ要は$k$個前まで足したやつを次の項にするというだけの、
フィボナッチ数列やトリボナッチ数列の拡張です。
この$k$-ナッチ数列にも加法定理はあるのでしょうか。
あります。(唐突な断言)
まぁさっきと全く同じことをすればいいです。
さすがに表やグラフは書きませんよ?
発想
発想もクソもないです。さっきと全く同じようにしてみます。
\begin{eqnarray} W_{n+m} &=& a_1(m)W_{n}+a_2(m)W_{n-1}+a_3(m)W_{n-2}+\cdots+a_k(m)W_{n-k+1}\\ &=&\sum_{i=1}^{k}a_i(m)W_{n-i+1} \end{eqnarray}
こう表されるとします。
すると、$W_{n+m+1}$が$2$通りの方法で表されます。
\begin{eqnarray}
W_{n+m+1} &=& a_1(m+1)W_{n}+a_2(m+1)W_{n-1}+a_3(m+1)W_{n-2}+\cdots+a_k(m+1)W_{n-k+1}\\\\
W_{n+m+1} &=& W_{n+m}+W_{n+m-1}+W_{n+m-2}+\cdots+W_{n+m-k+1}
\end{eqnarray}
\begin{eqnarray}
\quad\quad\;\;\:\,&=&\;\;\;\:\,& a_1(m)W_{n}+&a_2(m)W_{n-1}+&a_3(m)W_{n-2}+&\cdots+&a_k(m)W_{n-k+1} \\
&&+ &a_1(m-1)W_{n}+&a_2(m-1)W_{n-1}+&a_3(m-1)W_{n-2}+&\cdots+&a_k(m-1)W_{n-k+1} \\
&&+ &a_1(m-2)W_{n}+&a_2(m-2)W_{n-1}+&a_3(m-2)W_{n-2}+&\cdots+&a_k(m-2)W_{n-k+1} \\
&&+ &a_1(m-3)W_{n}+&a_2(m-3)W_{n-1}+&a_3(m-3)W_{n-2}+&\cdots+&a_k(m-3)W_{n-k+1} \\
&&\quad\vdots\\
&&+ &a_1(m-k+1)W_{n}+&a_2(m-k+1)W_{n-1}+&a_3(m-k+1)W_{n-2}+&\cdots+&a_k(m-k+1)W_{n-k+1}\\\\
\end{eqnarray}
\begin{eqnarray}
\quad\quad\;\;\:\,&=&\;\;\;\:\,\big(a_1(m)+a_1(m-1)+a_1(m-2)+\cdots+a_1(m-k+1)\big)W_n \\
&&+\big(a_2(m)+a_2(m-1)+a_2(m-2)+\cdots+a_2(m-k+1)\big)W_{n-1} \\
&&+\big(a_3(m)+a_3(m-1)+a_3(m-2)+\cdots+a_3(m-k+1)\big)W_{n-2} \\
&&\vdots\\
&&+\big(a_k(m)+a_k(m-1)+a_k(m-2)+\cdots+a_k(m-k+1)\big)W_{n-k+1} \\
\end{eqnarray}
(できるだけわかりやすく書いたつもり(無理がある))
こういう時のためにシグマがあるんじゃないですか
\begin{eqnarray}
W_{n+m+1} &=& \sum_{i=1}^{k}a_i(m+1)W_{n-i+1}
\\\\
W_{n+m+1} &=& \sum_{j=1}^{k}W_{n+m-j+1}
\\&=& \sum_{j=1}^{k} \; \sum_{i=1}^{k}a_i(m-j+1)W_{n-i+1}
\\&=& \sum_{i=1}^{k} \; \sum_{j=1}^{k}a_i(m-j+1)W_{n-i+1}
\\&=& \sum_{i=1}^{k} W_{n-i+1} \sum_{j=1}^{k}a_i(m-j+1)
\end{eqnarray}
これらが同じなので、$W_{n-i+1}$の係数を比較してあげると、
\begin{eqnarray} a_i(m+1) = \sum_{j=1}^{k}a_i(m-j+1) \quad (1\le i\le k) \end{eqnarray}
となりました
しんぷる
というかこれは$k$-ナッチ数列の定義と全く同じ構造をしています。
\begin{eqnarray}
W_{n+1} &=& \sum_{i=1}^k W_{n-i+1} \\
a_i(m+1) &=& \sum_{j=1}^{k}a_i(m-j+1)
\end{eqnarray}
初期値が重要なんでした
\begin{eqnarray} W_{n-i} &=& 0W_n+0W_{n-1}+0W_{n-2}+\cdots+0W_{n-i-1}+1W_{n-i}+0W_{n-i+1}+\cdots+0W_{n-k+1}\\ \therefore a_{i+1}(-i) &=& 1 \quad(0\le i\le k-1) \\ a_{j+1}(-i) &=& 0 \quad(i\ne j \;,\;0\le i\le k-1 \;,\; 0\le j\le k-1)\\\\ \end{eqnarray}
となります。
トリボナッチ数列から学んだこと
まとめて書くのは便利ですが、やはり具体性がなくなりますね。
先ほどのトリボナッチ数列の結果から、このような予想が立ちます。
1つめ
\begin{eqnarray} a_k(m) &=& W_{k+m-2} \end{eqnarray}
これは一番右の列($a_k(m)$)がそのまま元の数列と同じものだという、
気づいたこと$1$に対応するものです
2つめ
\begin{eqnarray} a_{k-i}(m) &=& \sum_{t=0}^{i} a_{k}(m-t) \quad(0\le i\le k-1) \end{eqnarray}
これは気づいたこと2に対応するものです。表のやつ。
証明
証明とは。
1つめ
1つ目は余裕ですね。
$a_k()$の情報は
\begin{eqnarray}
a_i(m+1) = \sum_{j=1}^{k}a_i(m-j+1) \quad (1\le i\le k)
\end{eqnarray}
から、$i=k$としたらいいですね。
\begin{eqnarray}
a_k(m+1) = \sum_{j=1}^k a_k(m-j+1)
\end{eqnarray}
これは、$k$-ナッチ数列と同じ構造をしているのでした。(さっき言った)
初期値が重要なんです(さっき言った)
\begin{eqnarray} a_{i+1}(-i) &=& 1 \quad(0\le i\le k-1) \\ a_{j+1}(-i) &=& 0 \quad(i\ne j \;,\;0\le i\le k-1 \;,\; 0\le j\le k-1) \end{eqnarray}
なので、
\begin{eqnarray}
a_{k}(1-k) &=& 1 \\
\end{eqnarray}
\begin{eqnarray}
a_{k}(-i) &=& 0 \quad &&(i\ne k-1 \;,\; 0\le i\le k-1) \\
\rightarrow a_{k}(-i) &=& 0 &&(0\le i\le k-2) \\
\rightarrow a_{k}(i) &=& 0 &&(2-k\le i\le0) \\
\end{eqnarray}
と分かります。
ここで、
\begin{eqnarray} a_k(m+1) = \sum_{j=1}^k a_k(m-j+1) \end{eqnarray}
さっきのこの式に$m=0$をぶち込みます
すると、
\begin{eqnarray} a_k(1) &=& \sum_{j=1}^k a_k(1-j) \\&=& a_k(0)+a_k(-1)+a_k(-2)+\cdots+a_k(2-k)+a_k(1-k) \\&=& 0 + 0 + 0 +\cdots+ 0 + 1 \\&=& 1 \end{eqnarray}
となりました。
ここで$k$-ナッチ数列の定義を見てみましょう
\begin{cases} W_{i} = 0 \quad (0\le i\le k-2) \\ W_{k-1} = 1 \\ W_{n+1} = \overset{k}{\underset{i=1}{\sum}}W_{n-i+1} \end{cases}
この式を改めて、$W_n=X_{n-k+2}$に変えてみましょう
\begin{cases} X_{i-k+2} = 0 \quad (0\le i\le k-2) \\ X_{k-1-k+2} = 1 \\ X_{n+1-k+2} = \overset{k}{\underset{i=1}{\sum}}X_{n-i+1-k+2} \end{cases}
$(0\le i\le k-2)$は$(2-k\le i-k+2\le 0)$と変形できるので、
\begin{cases} X_{i} = 0 \quad (2-k\le i\le0) \\ X_{1} = 1 \\ X_{n-k+3} = \overset{k}{\underset{i=1}{\sum}}X_{n-i-k+3} \end{cases}
あと$n-k$は$m-2$に変えておきます
\begin{cases}
X_{i} = 0 \quad (2-k\le i\le0) \\
X_{1} = 1 \\
X_{m+1} = \overset{k}{\underset{i=1}{\sum}}X_{m-i+1}
\end{cases}
はい。これでさっきの$a_k()$と同じものになりました
\begin{eqnarray} \\&&a_{k}(i) = 0 \quad(2-k\le i\le0) \\ &&a_k(1) = 1 \\ &&a_k(m+1) = \sum_{j=1}^k a_k(m-j+1)\\\ \end{eqnarray}
よって$a_k(m) = X_m = W_{m+k-2}$というのが証明できました。
\begin{eqnarray} a_k(m) = X_m = W_{m+k-2} \end{eqnarray}
2つめ
これも式をいじって証明したい。
トリボナッチ数列では、最初の足し算を一つ下の行に 分けて 書いて足していましたね。
最初の足し算を分けることで分けたやつそれぞれがトリボナッチ数列に対応していました。
なので分ける方針を考えます
ベクトルか
数が並んでいればなんでもいいのですがね。
まず初期値から
特定の定数$p$で考えてみます。($0\le p\le k-1$) 素数じゃないよ
\begin{eqnarray} a_{i+1}(-i) &=& 1 \quad(0\le i\le k-1) \\ a_{j+1}(-i) &=& 0 \quad(i\ne j \;,\;0\le i\le k-1 \;,\; 0\le j\le k-1)\\\\ \end{eqnarray}
2つあるうちの上のやつで$i$を$k-p-1$にすると
\begin{eqnarray} a_{k-p}(1+p-k) &=& 1 \end{eqnarray}
下のやつでは$j$を$k-p-1$にすると、
\begin{eqnarray} a_{k-p}(-i) &=& 0 \quad(i\ne k-p-1 \;,\; 0\le i\le k-1) \\ \rightarrow a_{k-p}(i) &=& 0 \quad(i \ne 1+p-k \;,\; 1-k\le i\le0) \end{eqnarray}
となります。
次はこれ
\begin{eqnarray} a_i(m+1) &=& \sum_{j=1}^{k}a_i(m-j+1) \quad (1\le i\le k) \end{eqnarray}
の$i$へ$k-p$を代入します
\begin{eqnarray} a_{k-p}(m+1) &=& \sum_{j=1}^{k}a_{k-p}(m-j+1) \\&=& a_{k-p}(m)+a_{k-p}(m-1)+a_{k-p}(m-2)+\cdots+a_{k-p}(m-k+2)+a_{k-p}(m-k+1) \end{eqnarray}
戦略
逆に言えば$a_k(m) = W_{m+k-2}$というのをさっき証明したので、
\begin{eqnarray} a_{k-p}(m) &=& \sum_{t=0}^{p} a_{k}(m-t) \end{eqnarray}
じゃなくてもう直接
\begin{eqnarray} a_{k-p}(m) &=& \sum_{t=0}^{p} W_{m-t+k-2} \end{eqnarray}
を示したらいいんじゃないですかね？
初期値に注意して計算すれば示せるはずです。
\begin{eqnarray}
\xymatrix@=0pt{
a_{k-p}(-k+1) & a_{k-p}(-k+2) & a_{k-p}(-k+3) & \cdots & a_{k-p}(-k+p+1) & \cdots & a_{k-p}(1) & a_{k-p}(0)
\\\\
0\ar@{=}[uu]&0\ar@{=}[uu]&0\ar@{=}[uu]&& \underset{\text{(ここだけ)}}{1}\ar@{=}[uu]&&0\ar@{=}[uu]&0\ar@{=}[uu]&
}
\end{eqnarray}
こういう感じです。
$a_{k-p}(1)$は$-k+1\sim0$で、上に書いたやつらの和なので$1$になります。
$a_{k-p}(2)$は$-k+2\sim1$までの和です。つまり
$a_{k-p}(1)$と$a_{k-p}(-k+p+1)$の$1$の和なので、
\begin{eqnarray}
a_{k-p}(2) &=& a_{k-p}(1) + 1
\end{eqnarray}
です。
$a_{k-p}(3)$は$-k+3\sim2$までの和で、
$a_{k-p}(1),a_{k-p}(2)$と、$a_{k-p}(-k+p+1)$の$1$の和なので、
\begin{eqnarray}
a_{k-p}(3) &=& a_{k-p}(2)+a_{k-p}(1)+1
\end{eqnarray}
このままずっとこうなりますね。
一般に、$a_{k-p}(i)$は$-k+i\sim i-1$までの和で、
$a_{k-p}(1),a_{k-p}(2),\cdots,a_{k-p}(i-1)$までの和と、$a_{k-p}(-k+p+1)$の$1$の和なので
\begin{eqnarray}
a_{k-p}(i) &=& a_{k-p}(1) + a_{k-p}(2) + \cdots + a_{k-p}(i-1) + 1
\end{eqnarray}
となります。
どこまで続くかというと、$a_{k-p}(p+1)$です。
$a_{k-p}(p+1)$は$-k+p+1\sim p$までの和で、
$a_{k-p}(1),a_{k-p}(2),\cdots,a_{k-p}(p)$の和と、$a_{k-p}(-k+p+1)$の$1$の和です。
ギリギリ入ります
\begin{eqnarray}
a_{k-p}(p+1) &=& a_{k-p}(1)+a_{k-p}(2)+\cdots+a_{k-p}(p)+1
\\&=& 1+\sum_{i=1}^{p} a_{k-p}(i)
\end{eqnarray}
なのでさっきのは$1\le i\le p+1$として
\begin{eqnarray} a_{k-p}(i) &=& a_{k-p}(1) + a_{k-p}(2) + \cdots + a_{k-p}(i-1) + 1 \end{eqnarray}
となります。
ここまでを見て、これが$\overset{p}{\underset{t=0}{\sum}}W_{i-t+k-2}$と等しいと言えないでしょうか？
示したい等式の右辺から左辺を導きたい。
\begin{eqnarray}
a_{k-p}(m) &=& \sum_{t=0}^{p} W_{m-t+k-2}
\end{eqnarray}
右辺に$m=1$を入れると、
\begin{eqnarray} W_{k-1} + W_{k-2} + W_{k-3} + \cdots + W_{k-p-1} \end{eqnarray}
これは$W_{k-1}$だけ$1$で、他は$0$なので
$1$となって$a_{k-p}(1)$と等しいです。
($W_0\sim W_{k-2}$は全部$0$という定義)
ここで言いたいことがあって、
$W_{k-p-1}$の後、$W_{k-p-2},W_{k-p-3},W_{k-p-4},\cdots,W_{0}$までも全て$0$なんですから、
\begin{eqnarray}
&&W_{k-1} + W_{k-2} + W_{k-3} + \cdots + W_{k-p-1}
\\&=& W_{k-1} + W_{k-2} + W_{k-3} + \cdots + W_{k-p-1} + W_{k-p-2} + \cdots + W_0
\\&=& W_k
\end{eqnarray}
と言えます。
よって、
\begin{eqnarray}
a_{k-p}(1) = W_k
\end{eqnarray}
と言えます。
$m=2$を入れると、
\begin{eqnarray} && W_{k}+W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p} \\&=& a_{k-p}(1) +W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p} \end{eqnarray}
ここで、先ほども言いましたが$W_{k-1}$だけが$1$で、他は$0$なので
\begin{eqnarray}
a_{k-p}(1)+1
\end{eqnarray}
となり、これは$a_{k-p}(2)$と等しいです。
また言いたいことなのですが、$W_{k-p}$の後、$W_{k-p-1},W_{k-p-2},\cdots,W_0$はやっぱり$0$なので、
\begin{eqnarray}
&& W_{k}+W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p}
\\&=& W_{k}+W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p} +W_{k-p-1}+W_{k-p-2}+\cdots+W_1
\\&=& W_{k+1}
\end{eqnarray}
よって、
$a_{k-p}(2) = W_{k+1}$と言えます。
もう一つ行きましょう。$m=3$を入れます。
\begin{eqnarray}
&& W_{k+1}+W_{k}+W_{k-1}+W_{k-2}+\cdots+W_{k-p+1}
\\&=& a_{k-p}(2) + a_{k-p}(1) +W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p+1}
\end{eqnarray}
また言いますが、$W_{k-1}$だけが$1$で、他は$0$なので
\begin{eqnarray}
a_{k-p}(2)+a_{k-p}(1)+1
\end{eqnarray}
となり、これは$a_{k-p}(3)$と等しいです。
またまた言いたいことなのですが、$W_{k-p+1}$の後、$W_{k-p},W_{k-p-1},W_{k-p-2},\cdots,W_0$はやっぱり$0$なので、
\begin{eqnarray}
&& W_{k+1}+W_{k}+W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p+1}
\\&=& W_{k+1}+W_{k}+W_{k-1}+W_{k-2}+W_{k-3}+\cdots+W_{k-p+1}+W_{k-p} +W_{k-p-1}+\cdots+W_2
\\&=& W_{k+2}
\end{eqnarray}
よって、
$a_{k-p}(3) = W_{k+2}$と言えます。
はい一般化～
仮定として($2\le i\le p+1$)
$a_{k-p}(1) = W_k\;,\;a_{k-p}(2) = W_{k+1}\;,\;a_{k-p}(3) = W_{k+2} \;,\cdots,\;a_{k-p}(i-1) = W_{k+i-2}$
が成り立っているとします。
$m=i$を代入すると
\begin{eqnarray} &&W_{k+i-2}+W_{k+i-3}+W_{k+i-4}+\cdots+W_{k-p+i-2} \\&=& a_{k-p}(i-1) + a_{k-p}(i-2) + a_{k-p}(i-3) + \cdots + a_{k-p}(1)+W_{k-1}+\cdots+W_{k-p+i-2} \end{eqnarray}
となって、$W_{k-1}=1$かつ、$ W_{k-2}\sim W_{0}$までは$0$なので、
\begin{eqnarray}
&=& a_{k-p}(i-1) + a_{k-p}(i-2) + a_{k-p}(i-3) + \cdots + a_{k-p}(1)+1
\end{eqnarray}
となり、これは$a_{k-p}(i)$に等しいです。
また、$W_{k-p+i-2}$の後、$W_{k-p+i-3},W_{k-p+i-4},\cdots,W_0$までも$0$なので、
\begin{eqnarray} &&W_{k+i-2}+W_{k+i-3}+W_{k+i-4}+\cdots+W_{k-p+i-2} \\&=&W_{k+i-2}+W_{k+i-3}+W_{k+i-4}+\cdots+W_{k-p+i-2}+W_{k-p+i-3}+\cdots+W_{i-1} \\&=&W_{k+i-1} \end{eqnarray}
と言えるので、
\begin{eqnarray}
a_{k-p}(i) &=& W_{k+i-1}
\end{eqnarray}
と言えます。
よっしゃぁ
あとは累積帰納法によって、すべての$2\le i\le p+1$に対して
\begin{eqnarray} a_{k-p}(i) &=& W_{k+i-2}+W_{k+i-3}+W_{k+i-4}+\cdots+W_{k-p+i-2} \end{eqnarray}
と分かりました。
($0\le p\le k-1$)なので、予想はあってたということです。
\begin{eqnarray} a_{k-i}(m) &=& \sum_{t=0}^i W_{k+m-t-2} \\&=& \sum_{t=0}^{i} a_{k}(m-t) \quad(0\le i\le k-1) \end{eqnarray}
これで、全貌がつかめました。
まとめて
まとめると、
\begin{eqnarray} a_{k-i}(m) &=& \sum_{t=0}^i W_{k+m-t-2} \end{eqnarray}
なので、$i$を$k-i$に改めると、
\begin{eqnarray}
a_i(m) &=& \sum_{t=0}^{k-i} W_{k+m-t-2}
\end{eqnarray}
$t$が$0\sim k-i$なので、$k-t$は$k\sim i$より、
\begin{eqnarray}
a_i(m) &=& \sum_{t=i}^k W_{t+m-2}
\end{eqnarray}
これを
\begin{eqnarray} W_{n+m}&=&\sum_{i=1}^{k}a_i(m)W_{n-i+1} \end{eqnarray}
へぶち込めば！
\begin{eqnarray} W_{n+m} &=& \sum_{i=1}^{k}W_{n-i+1}\sum_{t=i}^k W_{t+m-2} \end{eqnarray}
となりました(えぐ)
おわり
おわりです。
