怠けた仕出し屋の数列

怠けた仕出し屋の数列（なまけたしだしやのすうれつ、）、より堅い言葉でいうと（ちゅうしんたかくけいすう、）は、円板を与えられた数の直線で切って作ることのできるピース（断片）の最大数を表す数列である。たいていは円板をパンケーキやピザにたとえて、怠惰で仕事が雑な仕出し屋が最少回数で最大人数分に切りわけるという設定で描写される。例えば、パンケーキを3回切るとき、全ての切断線が円内のある1点で交わる場合は6個になるが、そうしない場合の中には7個になるものがある。

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

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

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



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



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

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

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

 証明 
サムネイル|連続したカットからのピースの最大値が怠けた仕出し屋の数列の数である。
最大数の破片を作るために円をn回カットする場合、p = f(n)と表しn番目のカットを考慮する必要がある。最後のカットの前の破片の数はf(n − 1)であり、最後のカットにより加わった破片の数はnである。

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

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



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



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



となる。カットする前は1つのピースしかないのでである。よって、次のように書き換えられる。



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



 参考文献 
 .
 .
 .

 関連項目 
 中心つき多角数 - 名称が似ているが、別の数列。
 フロイドの三角形
 モーザー数列

 外部リンク 


Category:証明を含む記事
Category:整数の類
Category:最適化
Category:数学に関する記事