小説 君のクイズ

2022年　小川哲　朝日新聞出版

階差数列

生放送のクイズ番組の決勝戦に出たクイズプレーヤーの三島玲央が，まだ一言も問題が読まれていないのに正解を答えて優勝した対戦相手に対して不正を疑い，真相を解明しようとする話です．

僕は早押しクイズは数列と似ていると思っている。
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)

2つ目は次の数列です． $$\{c_n\} \quad 1, 2, 4, 8, 16, 31, ......$$ 第5項まで $2^{n-1}$ になっていますね．これの階差が $b_n=1, 2, 4, 8, 15, ......$ すなわち「ケーキ数」=式$(2)$ になっていますから，$\{c_n\}$ の一般項は次のようになります． $$\begin{eqnarray}c_n&=&c_1+\displaystyle \sum_{k=1}^{n-1} b_k=1+\displaystyle \sum_{k=1}^{n-1} \frac{1}{6}\left( k^3-3k^2+8k \right)\\&=&\frac{1}{24}\left( n^4-6n^3+23n^2-18n+24 \right) \tag{3}\end{eqnarray}$$ これは「モーザー数列 (Moser's sequence)」といって，円周上に $n$ 個の点があり, すべての2点を結ぶ弦で円を切り分けたときにできる領域の最大数を表しています．（オンライン整数列大辞典A000127）

従って，$1, 2, 4, ......$ だからといって等比数列にならない例は，計算さえすれば次々とできます．

    $a_n= 1, 2, 4, 7, ......$            第3項まで$2^{n-1}$　｢怠け仕出し屋の数列｣＝式$(1)$

    $b_n= 1, 2, 4, 8, 15, ......$         第4項まで$2^{n-1}$　｢ケーキ数｣＝式$(2)$

    $c_n= 1, 2, 4, 8, 16, 31, ......$      第5項まで$2^{n-1}$　｢モーザー数列｣＝式$(3)$

    $A_n= 1, 2, 4, 8, 16, 32, 63, ......$  第6項まで$2^{n-1}$　

3つ目，$\{A_n\}$の一般項も計算してみましょう！

これは階差数列が $1, 2, 4, 8, 16, 31, ......$ すなわち「モーザー数列」＝式(3) になっていますから， $$\begin{eqnarray}A_n&=&A_1+\displaystyle \sum_{k=1}^{n-1} c_k=1+\displaystyle \sum_{k=1}^{n-1} \frac{1}{24}\left( k^4-6k^3+23k^2-18k+24 \right)\\&=&\frac{1}{120}\left( n^5-10n^4+55n^3-110n^2+184n \right)  \end{eqnarray}$$ この計算は大変でした．（オンライン整数列大辞典A006261）

ついでにもう一つ，余裕のある人は計算してみてください．$1, 2, 4, 8, 16, 32, 64, 127, ......$ の一般項は？

正解はこちらです．

まあ，実際のところ，早押しクイズに使えそうなのは公比2の等比数列だと思いますけどね．

余談ですが，「ストゥリクス・ウラレンスという学名を持ち，『森の番人』のイメージか......」という，主人公とそのライバルが答えられなかった問題で，正解がすぐに分かりました．問題の続きは「......ら，千葉駅前の交番のモチーフにもなっている生き物は何でしょう？」というものでした．（正解はこちら）