モーザーの円分割問題

サムネイル|点、弦、領域の個数。幾何学においてモーザーの円分割問題（モーザーのえんぶんかつもんだい、）は円に内接する角形の辺と対角線（円の弦）によって分割される円の領域の個数の最大化問題である。レオ・モーザーに因み名づけられ、帰納法などで解決されている。領域の個数の最大値は（は二項係数）によって表される。の数列1, 2, 4, 8, 16, 31, 57, 99, 163, 256（）はモーザー数列と呼ばれる。最初の5項は等比数列だがでこの規則から外れており、少数の観察で一般化することの危険性（）を示している。

補題右|275x275ピクセル|Lemma 円の上に点を用意し、新たな1点を取り円上を動かす。ともとの点を結ぶことによりつの線分を描く。今、新たに描いた線分が、もとの点をそれぞれ結ぶ線分の交点のどれかを通る場合（これをとする）と、新たに書いた線分がもとの点をそれぞれ結ぶ線分と先のどの交点とも異なる場所で交わる場合（これをとする）が考えられる。

補題: 円上に新たな点を、場合が起こるように定めることが可能である。

証明: 場合では、、点のうちの1点、点をそれぞれ結ぶ線分のうち2つの交点の3点が一直線上に存在する。の取り方は通りあるのでの取り方も有限個となる。直線はと異なる点で再度円と交差するが、円上にはいくらでも多くの点が存在するから、をどの直線上にもない点として定めることができる。したがってこのような場合の点とすべてのもとの点について場合が実現される。

この補題は、本の線分がと交わるとき、本の線分との交点をすべて異なる場所で交わるように設置し、新たに個の領域を生むことができることを意味する。

問題の解

帰納法補題によって問題の解決のための重要な性質が確立された。数学的帰納法を用いて点の場合の領域の個数の最大値により、点の場合の領域の個数の最大値を表現する。右|180x180ピクセル|Proof 図の実線の1, 2, 3, 4の点を通る線分は円を8つの領域に分割している（すなわち）。図はの場合から、破線を加えたの場合を導くことを説明している。1, 2, 3, 4の点から5の点へ新たに4つの線分が結ばれている。この4線分の出現によって新しく生まれた領域の個数を数える。

一般に、図の1, 2, 3, 4のように数を定める。新たな点とどの点とを結ぶか（の値）に応じて、交差する既存の弦の本数が変わる。また、新たに加えられた弦同士は新たに取った1点以外の点で交わることはない。

新しい点と点を結ぶ新たな弦が交わる既存の弦の個数は、新たな弦の「左側」にある点の個数と「右側」にある点の個数によって定められる。任意の既存の点はそれら同士が線分で結ばれているから、「左側」にある既存の点の個数と「右側」にある既存の点の個数の積は、円の内部で新しい弦と交わる既存の弦の個数と等しい。点について、個の点が「左側」に存在し個の点が「右側」に存在するとしたとき、円の内部で新たな弦と交わる既存の弦は本ある。

たとえば図（）においての場合との場合、つまり1と5、4と5を結ぶ線分は円の内部にて他のどの線分とも交わっていない。一方の場合は、円の内部にて、もとの線分のうち2つと交わっている。

新たな弦に交わる既存の弦らが成している領域の個数は、弦の個数に1を加えた値と等しい。新たに加えた弦によってそれぞれの領域は2つに分割されるので、次の式が成立する。

展開して、

1からまでの自然数及びその平方の総和を計算して、

漸化的に、

ただし。計算して、

組み合わせと位相幾何学による方法の（行）と（列）01234総和11————1211———23121——441331—8514641166151010531716152015578172135359991828567016310193684126256パスカルの三角形の各段の1項目から5項目までの総和の列サムネイル|パスカルの三角形の各段の最初の5項の総和が次の段の最初の3つの奇数項の和であることの。先の補題は、"内部の"交点がどれも単純（どの3つの弦も円の内部で共点でない）ならば、領域の個数が最大値をとることを示している。これは点をに置いた場合であるといえる。一般の位置にあるという仮定の下、領域の個数は（ここでは2次元球面に埋め込まれたグラフとしてみなすことができる）平面グラフのオイラー標数の公式を用いて数えることができる。

連結平面グラフが個の面、個の辺、個の頂点で平面を分割したとする。このとき、2次元球面において、オイラーの関係式より、

である。弦と円の図を平面グラフと見なす。の決定によっても定まることからこの問題を解決する。

円上の点を外部の頂点、弦の交点を内部の頂点とする。一般の位置にあるという仮定により、3本以上の弦が共点となることはない。

の決定のためには内部の頂点の数を調べることが必要となる。補題より"一般の位置"の仮定が達成されている配置であるとできる。今、外部の頂点の中から4点を取ったとき、その4点を頂点とする円に内接する（凸）四角形の対角線の交点として内部の頂点がただ1つ決まることが分かる。逆にすべての内部の頂点は外部の頂点の4点の唯一の組と対応させることができる。

したがって内部の頂点は4つの外部の頂点を選ぶ組み合わせに等しいのであり、

と計算できる。ゆえに、

平面グラフの辺には、隣接する外部の頂点を結ぶ延べ個の円弧と、外部の頂点を結んでできる弦を交点で分割したものが含まれる。外部、内部という頂点の分類から弦は次の3種類に分類できる。

2つの外部の頂点を結ぶ、他の弦とは交わらない弦。隣り合う外部の頂点を結ぶ弦がこれにあたる。円に内接する角形の辺となることから、計本ある。 2つの内部の頂点を結ぶ線分（辺）。内部の点と外部の点を結ぶ線分（辺）。

グループ2, 3の辺の個数を求めるため、ある特定の4つの辺と繋がる内部の頂点を考える。このとき、

個の辺が見つかる。各辺は2つの端点の頂点によって定義される。内部の頂点のみが数え上げられたから、グループ2の辺は2回数えられ、グループ3の辺は1回のみ数えられている。

他の弦と交わる弦（グループ1に含まれない弦）は、始点または終点と内部の点とを端点に持つ辺、つまりグループ3の辺を2つ含む。弦は外部の頂点2つによって決定されるから、グループ3の辺は、

個ある。これはグループ1に含まれない弦の総数の2倍の数である。

これらの結果によってグループ2, 3の辺の個数を計算できる。グループ1の辺つと元の円の円弧つを加えて辺の総和は、

の値をオイラーの関係式に代入して

このうち1面は円の外部を指すから、円の内部の分割領域の個数はである。したがって、

二項係数を階乗で表すことにより、

この式を変形すれば、帰納法を用いて証明した式と同じ四次式が表れる。

サムネイル|（紫）とベルヌーイの三角形に現れる他のOEISの数列の5列目（）はにおいて、の場合のモーザーの円分割問題の解である。

円内で反射する粒子の軌跡円内において粒子の力を与えない運動を考えたとき、円周にて粒子が特定の角度で跳ねかえるとすると、粒子の軌跡に関連する円分割の数列が等差級数で与えられる。

均等な点の配置 4より大きい偶数個の場合で点が均一に並べられているとき、領域の個数は減少する。。 n12345678910111213141516171819202122232425...rG12481631579916325638656279410931471194125173214404850366196754791091090312951...rG′124816305788163230386456794966147117122517248440484520619668429109904812951... サムネイル|円に内接する四角形とその辺が最大まで円を分割するときと正六角形による円分割の比較。正整数の階乗の正の約数の個数はのときこの数列と一致するが、から先は異っている。

出典

参考文献

モーザーの円分割問題

Źródło i licencja