1,2,4,8,16そして？～レオ・モーザーからの挑戦状～

こんにちは。和からの数学講師の岡本です。今回は前回のマスログで扱った次の問題

【問題】1, 2, 4, 8, 16. 次にくる数字を予測しましょう。

に関連する話題についてお話しします。

この記事の主な内容

１．レオ・モーザーからの出題

カナダの数学者レオ・モーザー(1921～1970)は次の問題を考えました。

【問題】円周上の点を全て結ぶことによって円の内部をいくつかの領域にできるだけ多く分割します。\(n\)個の点でできる最大領域数を求めて下さい。

これは1969年にモーザーによって問題提起されたことから、「モーザーの問題」と呼ばれています。今回は\(n=6\)のときどうなるか考えてみることにします。

２．観察してみる

ひとまず、点の個数（\(n\)で表すことにします）の小さい方から順番に観察してみましょう。
たとえば、\(n=1\)のとき、円の内部には\(1\)の領域があります。\(n=2\)のとき、線を結ぶことで\(2\)つの領域に分かれます。

\(n=3\)のとき、図のように円内部は\(4\)つの領域に分かれ、\(n=4\)の場合、\(8\)つの領域となります。

\(n=5\)の場合、やや線が多くなりますが、最大で\(16\)の領域に分けられることがわかります。

さて、点の個数を\(n\)、分けられる領域の個数を\(a_n\)とおき、ここまでの観察をまとめてみましょう。

おや！？この流れは見覚えがありますね！

３．再び数字の規則の問題へ

さて、前節では円内部にできる領域の個数を観察しました。この流れは

【問題】1, 2, 4, 8, 16. 次にくる数字を予測しましょう。

の問題と同じ流れとなっています。安易に考えると、次は\(32\)になることが予測されますが、果たして正しいのでしょうか？実際に\(6\)個の点で、領域を分けてみましょう。

数えてみると、\(31\)の領域になっています。実はこれが最大の領域数となっています。
実は\(n=7\)のとき、最大\(57\)の領域に、\(n=8\)のとき最大\(99\)の領域に分かれることが知られています。このような数列\(a_n\)を提唱者にちなんでモーザー数列と呼びます。
なお、モーザー数列の一般項は以前のマスログで登場した“無理矢理予測モデル”