怠け仕出し屋の数列

怠け仕出し屋の数列^{[訳語疑問点]}（なまけしだしやのすうれつ、英: lazy caterer's sequence）、より堅い言葉でいうと中心多角形数^{[訳語疑問点]}（ちゅうしんたかくけいすう、central polygonal numbers）は、円板を与えられた数の直線で切って作ることのできるピース（断片）の最大数を表す数列である。普通は円板をパンケーキやピザにたとえてこの状況が描写される。例えば、パンケーキを3回切るとき、全ての切断線が円内のある1点で交わる場合は6個になるが、そうしない場合の中には7個になるものがある。

この問題は、直線配置（英語版）におけるセル（小部屋）の数え上げの一例として数学的に定式化できる。高次元への一般化については、超平面配置（英語版）を見ること。

この数列の3次元における類似はケーキ数である。

公式と数列

n(≥0) 回の切断で作ることのできるピースの最大数 p は、式

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

で与えられる。二項係数を用いると、次のように表される。

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

簡単に言うと、それぞれの数は三角数に1を加えたものに等しい。

n = 0 から始めると、この数列は以下のようになる。

1, 2, 4, 7, 11, 16, 22, 29, 37, 46, 56, 67, 79, 92, 106, 121, 137, 154, 172, 191, 211, ...（オンライン整数列大辞典の数列 A000124）

証明

最大数の破片を作るために円をn回カットする場合、p = f(n)と表しn番目のカットを考慮する必要がある。最後のカットの前の破片の数はf(n − 1)であり、最後のカットにより加わった破片の数はnである。

破片の最大数を得るには、n番目のカットラインが園内の他の全てのそれまでのカットラインと交差する必要があるが、それまでのカットラインの交点は交わらない。それゆえn番目の線自体はn-1個の場所で切られ、n個の線分に分けられる。各線分はn-1本で切られたパンケーキの1つのピースを2つに分割し、ピースの数はn増える。新たな線は前からある各線を一度だけ横切ることができるため、これ以上区分を増やすことはできない。既にある交点ではない点を中心にナイフを小さな角度で回転させると、角度が十分小さい場合、追加する最後の線含む前からある線すべてと交差するため、カット線は、前からある線全てを常に横切ることができる。

よって、n回カットした後のピースの総数は

${\displaystyle f(n)=n+f(n-1).}$

と表される。この漸化式は解くことができ、ƒ(n − 1) を1項展開すると関係式は

${\displaystyle f(n)=n+(n-1)+f(n-2).}$

となる。ƒ(n − 2)の項の展開を最後の項がƒ(0)になるまで行うと

${\displaystyle f(n)=n+(n-1)+(n-2)+\cdots +1+f(0).}$

となる。カットする前は1つのピースしかないので${\displaystyle f(0)=1}$である。よって、次のように書き換えられる。

${\displaystyle f(n)=1+(1+2+3+\cdots +n).}$

等差数列の合計の式を用いてシンプルな式にすると、以下の式になる。

${\displaystyle 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 (Mathematical Association of America) 22 (2): 125–130, doi:10.2307/2686448, JSTOR 2686448, https://jstor.org/stable/2686448 .
• Steiner, J. (1826), “Einige Gesetze über die Theilung der Ebene und des Raumes ("A Few Statements about the Division of the Plane and of Space")”, J. Reine Angew. Math. 1: 349–364 .
• Wetzel, J. E. (1978), “On the division of the plane by lines”, American Mathematical Monthly (Mathematical Association of America) 85 (8): 647–656, doi:10.2307/2320333, JSTOR 2320333, http://webcourse.cs.technion.ac.il/236603/Spring2008/ho/WCFiles/Wetzel.pdf .

外部リンク

• Weisstein, Eric W. "Circle Division by Lines". mathworld.wolfram.com (英語).