怠けた仕出し屋の数列

怠けた仕出し屋の数列

怠けた仕出し屋の数列（英: lazy caterer's sequence）とは、与えられた数の直線で円板を切り分けた場合に得られる最大のピース数を示す数列です。この数列は、数学や幾何学の問題に広く関連しており、特に直線の配置における多くの応用があります。一般にこの数列は、円形の物体をいかに効率的に切り分けるかというシミュレーションを通じて説明され、時にパンケーキやピザに例えられることもあります。

数列の定義

この数列を理解するためには、切断回数に応じた最大のピース数を計算する必要があります。たとえば、パンケーキを3回切り分けると、すべての切断線が1点で交わる場合は6個になりますが、異なる配置においてはその数が7個になることもあります。この最大数を求めるための公式は次の通りです。

$$
p = \frac{n^{2} + n + 2}{2}
$$

ここで、nは切る回数を表し、pは得られるピースの最大数です。この公式は、数学的に洗練された方法でカットによって作成される小部屋の数を数え上げることに基づいています。

一次元の数列におけるこの原理は、二項係数を使って別の視点から表現され、次のように書けます。

$$
p = 1 + \binom{n+1}{2} = \binom{n}{0} + \binom{n}{1} + \binom{n}{2}
$$

上記の数式によって、それぞれの項は三角数に1を加えたものになっています。

数列の初項

この数列の最初のいくつかの項は以下のようになります：

1, 2, 4, 7, 11, 16, 22, 29, 37, 46, 56, 67, 79, 92, 106, 121, 137, 154, 172, 191, 211, ...

この情報は、「オンライン整数列大辞典」の A000124 にも登載されています。

漸化式による証明

n回のカットを行う場合、最大限に分けられたピースの数は以下のように定義できます。

$$
f(n) = n + f(n-1)
$$

ここで、f(n-1)はn-1回カットしたときのピースの数であり、n番目のカットによって新たに得られるピース数がn個であることから、上記の関係式が導かれます。この条件のもと、n番目のカットラインが他のすべてのカットラインと交差する場合の計算を行います。

次に、順にカットを展開していくと、最終的には次のような形になります。

$$
f(n) = n + (n-1) + (n-2) + ... + 1 + f(0)
$$

切る前の状態では1つのピースしかないので、f(0) = 1 となり、結局はピースの数が次のように簡略化されます。

$$
f(n) = 1 + \frac{n(n+1)}{2} = \frac{n^{2} + n + 2}{2}
$$

このように、怠けた仕出し屋の数列は切断に関する興味深い数学的性質を持っており、視覚的に理解しやすい例え話によって多くの人々に親しまれています。

参考文献

• - Moore, T. L. (1991). “Using Euler's formula to solve plane separation problems”, The College Mathematics Journal.
• - Steiner, J. (1826). “Einige Gesetze über die Theilung der Ebene und des Raumes”.
• - Wetzel, J. E. (1978). “On the division of the plane by lines”, American Mathematical Monthly.

関連項目

• - 中心つき多角数 - この名称は似ていますが、異なる数列です。
• - フロイドの三角形、モーザー数列

この数列は数学の幅広い分野において利用され、他の数列や理論とも関連付けられています。

もう一度検索