階差数列
生放送のクイズ番組の決勝戦に出たクイズプレーヤーの三島玲央が，まだ一言も問題が読まれていないのに正解を答えて優勝した対戦相手に対して不正を疑い，真相を解明しようとする話です．
僕は早押しクイズは数列と似ていると思っている。
1、2、4……と聞こえた時点で、僕は数列のルールがわかったと思ってボタンを押す。「この数列において10番目に来る数は何か」と問われているが、ボタンを押した時点で答えがわかっているわけではない。1、2、4の次は8だろう。この数列は、前の数を2倍にしていくものなのだ （$a_n=2^{n-1}$）と考えて、10番目に何が来るのかを急いで計算する。
実際に、それが正解ということもあるが、間違っている可能性もある。この数列はまだ確定していないからだ。
1、2、4の次に7が来る場合も考えられる。1から2は1増えている。2から4 は2増えている。4の次は3増えて、7になるかもしれない（$a_n=\frac{n^2}{2}-\frac{n}{2}+1$）。この数列は階差数列かもしれない。
$1, 2, 4, 8, ......$ なら，ここまでは初項1，公比2の等比数列になると推測できます．そうすると一般項（第$n$項）は $2^{n-1}$ ですから，第10項は $2^{10-1}=2^9=512$ と計算できます．
$1, 2, 4, 7, ......$ なら一般項が$\frac{n^2}{2}-\frac{n}{2}+1$になることはすぐには分かりませんね．この数列を $\{a_n\}$ とし，階差数列を$\{d_n\}$とすると，$d_n=1, 2, 3, ......$ すなわち $d_k=k$ なので，$\{a_n\}$ の一般項は次のようになります．\begin{eqnarray}a_n&=&a_1+\displaystyle \sum_{k=1}^{n-1} d_k=1+\displaystyle \sum_{k=1}^{n-1} k&=&1+\frac{1}{2}n(n-1)=\frac{1}{2}\left(n^2-n+2\right)\tag{1}\end{eqnarray}ですから，その第10項は $\frac{1}{2}\left(10^2-10+2\right)=46$ になります．
この数列は「怠けた仕出し屋の数列 (lazy caterer's sequence)」と呼ばれていて，$n=1, 2, 3, 4, ......$ のときに $1, 2, 4, 7, ......$ なら，円を$(n-1)$本の直線で切り分けたときにできる領域の最大数を表しています．(Wikipedia等のよくある説明では，円を$n$本の直線で切り分けるとしているので，$n=0, 1, 2, 3, ......$ のときに $1, 2, 4, 7, ......$ となり，一般項が $\frac{1}{2}\left(n^2+n+2\right)$となっています) (オンライン整数列大辞典A000124)
因みに，$1, 2, 4, 8, ......$ だからといって一般項が $2^{n-1}$ にならない例は他にもあります．
まず1つ目はこの数列です．$$\{b_n\} \quad 1, 2, 4, 8, 15, ...... $$第4項まで $2^{n-1}$ になっていますね．これの階差が $a_n=1, 2, 4, 7, ......$ すなわち「怠けた仕出し屋の数列」=式$(1)$ になっていますから，$\{b_n\}$ の一般項は次のようになります．\begin{eqnarray}b_n&=&b_1+\displaystyle \sum_{k=1}^{n-1}a_k=1+\displaystyle \sum_{k=1}^{n-1} \frac{1}{2}\left(k^2-k+2\right)\\&=&\frac{1}{6}\left( n^3-3n^2+8n\right)\tag{2}\end{eqnarray}この数列は「ケーキ数 (cake number)」と呼ばれていて，$n=1, 2, 3, 4, 5, ......$ のときに $1, 2, 4, 8, 15, ......$ なら，円柱等の凸立体を$(n-1)$枚の平面で切り分けたときにできる領域の最大数を表しています．(Wikipedia等のよくある説明では，立体を$n$枚の平面で切り分けるとしているので，$n=0, 1, 2, 3, 4, ......$ のときに $1, 2, 4, 8, 15, ......$ となり，一般項が $\frac{1}{6}\left(n^3+5n+6\right)$となっています) (オンライン整数列大辞典A000125)
.jpg)
.png)
&xln(x)10%5E8.png)
.png)
