フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想(その4・証明完成)
はじめに
この記事は先に投稿した記事
・
フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想
・
フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想(その2)
・
フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想(その3)
の続きになります。まだ読んでいない方はそちらを先に読んでみてください。
今回、ついに予想が正しかったことが証明できました!
私一人ではとうてい証明できなかったと思いますが、私の予想にたくさんの方が考察や情報を寄せていただいたおかげで証明することができました。特に、
H.O.
さん、
kzaukzau
さんから教えていただいた複素解析の手法や、
子葉
さんがほとんどの $n$ について予想が成立していることを証明していただいたことにより、私は最後のピースをはめるだけで証明を完成させることができました。皆様のご協力に大いに感謝いたします。
この記事では、以前の記事と同様に四捨五入を表す関数として $\left\lfloor x\right\rceil$ を使います。すなわち
$\left\lfloor x\right\rceil=\left\lfloor x+\frac{1}{2}\right\rfloor$
ということです。
以下では特に断りがない限り $k$ は２以上の自然数とします。$(2\leqq k,k\in\mathbb{N})$
また、$n$ は非負整数とします。$(n\in\mathbb{Z_{\ge0}})$
予想の内容
k-ナッチ数列の第$n$項を $a_k(n)$ と表記する。このとき、$a_k(n)$ は次の式で求めることができる。
${\displaystyle
a_k(n)=\left\lfloor
\frac{A_k^n}{B_k}
\right\rceil
}$
ただし、$A_k,B_k$は次の定数である。
$f_k(x)=x^k-x^{k-1}-x^{k-2}-\cdots-x^2-x-1$
として、
${\displaystyle A_k\cdots\cdots f_k(x)=0\text{ の正の実数解} }$
${\displaystyle \begin{align} B_k &=f_k'(A_k) \end{align} }$
差の数列
$k$ -ナッチ数列と ${\displaystyle\frac{A_k^n}{B_k}}$ との差の数列を次のように $R_k(n)$と定義します。
${\displaystyle R_k(n):=a_k(n)-\frac{A_k^n}{B_k}}$
そうすると、次のことを示せば私の予想を証明できることになります。
全ての $n$ に対して ${\displaystyle\left |R_k(n)\right|<\frac{1}{2}}$ が成り立つ
$R_k(n)$ については、次の漸化式が成り立つことがわかっています。
参考:
フィボナッチ数列を拡張したk-ナッチ数列の一般項についての予想(その3)
$R_k(n+k)=R_k(n+k-1)+\cdots+R_k(n+1)+R_k(n)$
証明
証明の方針
① まず $0\le n< k$ のとき ${\displaystyle\left |R_k(n)\right|<\frac{1}{2}}$ であることを示します。
② 次に $2k-1\le n$ のとき ${\displaystyle\left |R_k(n)\right|<\frac{1}{2}}$ であることを示します。
③ 最後に、 $k\le n < 2k-1$ のとき ${\displaystyle\left |R_k(n)\right|<\frac{1}{2}}$ であることを示します。
$0\le n< k$ のときの証明
子葉 さんの記事「 k-ナッチ数列の四捨五入表示についての考察(ほぼ証明) 」で証明済みですのでこの記事では省略します。
$2k-1\le n$ のときの証明
子葉 さんの記事「 k-ナッチ数列の四捨五入表示についての考察(ほぼ証明) 」で証明済みですのでこの記事では省略します。
$k\le n < 2k-1$ のときの証明
$n\ge k$ のとき
${\displaystyle R_k(n)=\frac{R_k(n+1)+ R_k(n-k)}{2}}$ が成り立つ。
${\displaystyle R_k(n+1)=R_k(n)+R_k(n-1)+\cdots+R_k(n-k+1)\cdots\text{①}}$
${\displaystyle R_k(n)=R_k(n-1)+\cdots+R_k(n-k+1)+R_k(n-k) \cdots\text{②}}$
①-②より
${\displaystyle R_k(n+1)-R_k(n) =R_k(n)-R_k(n-k)}$
${\displaystyle\therefore R_k(n)=\frac{R_k(n+1)+ R_k(n-k)}{2}}$
ここから数学的帰納法のように補題を使って、ドミノ倒しで証明していきます。順番は $n$ が大きい順で、$R_k(2k-2),R_k(2k-3),\cdots R_k(k+1),R_k(k)$ の順番に証明していきます。
${\displaystyle\left |R_k(2k-2)\right|=\left|\frac{R_k(2k-1)+ R_k(k-2)}{2}\right| <\frac{1}{2}}$
${\displaystyle\left(\because\left |R_k(2k-1)\right|<\frac{1}{2},\left|R_k(k-2)\right|<\frac{1}{2}\right)}$
${\displaystyle\left |R_k(2k-3)\right|=\left|\frac{R_k(2k-2)+ R_k(k-3)}{2}\right| <\frac{1}{2}}$
${\displaystyle\left(\because\left |R_k(2k-2)\right|<\frac{1}{2},\left |R_k(k-3)\right|<\frac{1}{2}\right)}$
${\displaystyle\qquad\qquad\qquad\vdots}$
${\displaystyle\left |R_k(k)\right|=\left|\frac{R_k(k+1)+ R_k(0)}{2}\right| <\frac{1}{2}}$
${\displaystyle\left(\because\left |R_k(k+1)\right|<\frac{1}{2},\left |R_k(0)\right|<\frac{1}{2}\right)}$
以上より、
${\displaystyle\left |R_k(n)\right|<\frac{1}{2}
\qquad(k\le n < 2k-1)}$
これですべてのパーツが揃いました！
予想の証明の完成
全ての $n$ に対して ${\displaystyle\left |R_k(n)\right|<\frac{1}{2}}$ が成り立つから、
${\displaystyle
\begin{align}
\left\lfloor
\frac{A_k^n}{B_k}
\right\rceil&=
\left\lfloor
a_k(n)-R_k(n)
\right\rceil\\
&=a_k(n)
\end{align}
}$
となる。
${\displaystyle
\therefore
a_k(n)=\left\lfloor
\frac{A_k^n}{B_k}
\right\rceil
}$
これで証明の完成です!
予想は正しかった!
おわりに
数値計算で私の予想が正しいことはほぼ確信していましたが、実際に数式で正しいことを証明できてこんなうれしいことはありません。しかも、とてもシンプルで美しい式ができたと思います。
証明完成までおつきあいいただきありがとうございました。