モーザーの円分割問題

ウィキペディア

モーザーの円分割問題

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/04/20 15:59 UTC 版)

点、弦、領域の個数n, c, r_G。

幾何学においてモーザーの円分割問題^[1]（モーザーのえんぶんかつもんだい、英: dividing a circle into areas, Moser's circle problem）は円に内接するn角形の辺と対角線（円の弦）によって分割される円の領域の個数の最大化問題である。レオ・モーザー（英語版）に因み名づけられ、帰納法などで解決されている。領域の個数の最大値は${\displaystyle r_{G}={n \choose 4}+{n \choose 2}+1}$

Lemma

円の上にn点を用意し、新たな1点Aを取り円上を動かす。Aともとのn点を結ぶことによりnつの線分を描く。今、新たに描いた線分が、もとのn点をそれぞれ結ぶ線分の交点のどれかを通る場合（これをaとする）と、新たに書いた線分がもとのn点をそれぞれ結ぶ線分と先のどの交点とも異なる場所で交わる場合（これをbとする）が考えられる。

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

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

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

問題の解

帰納法

補題によって問題の解決のための重要な性質が確立された。数学的帰納法を用いてn - 1点の場合の領域の個数の最大値f(n - 1) により、n点の場合の領域の個数の最大値f(n)を表現する。

Proof

図の実線の1, 2, 3, 4の点を通る線分は円を8つの領域に分割している（すなわちf(4) = 8）。図はn = 4の場合から、破線を加えたn = 5の場合を導くことを説明している。1, 2, 3, 4の点から5の点へ新たに4つの線分が結ばれている。この4線分の出現によって新しく生まれた領域の個数を数える。

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

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

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

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

${\displaystyle f(n)=f(n-1)+\sum _{i=1}^{n-1}{\big (}1+(n-i-1)(i-1){\big )}.}$

パスカルの三角形の各段の最初の5項の総和が次の段の最初の3つの奇数項の和であることの言葉のない証明（英語版）。

先の補題は、"内部の"交点がどれも単純（どの3つの弦も円の内部で共点でない）ならば、領域の個数が最大値をとることを示している。これは点を一般の位置（英語版）に置いた場合であるといえる。一般の位置にあるという仮定の下、領域の個数は（ここでは2次元球面に埋め込まれたグラフとしてみなすことができる）連結（英語版）平面グラフのオイラー標数の公式を用いて数えることができる。

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

${\displaystyle \,V-E+F=2}$

r_G（紫）とベルヌーイの三角形に現れる他のOEISの数列

ベルヌーイの三角形（英語版）の5列目（k = 4）は3 < nにおいて、n + 1の場合のモーザーの円分割問題の解である。

円内で反射する粒子の軌跡

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

均等な点の配置

4より大きい偶数個の場合で点が均一に並べられているとき、領域の個数は減少する。オンライン整数列大辞典の数列 A006533。

n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	...
rG	1	2	4	8	16	31	57	99	163	256	386	562	794	1093	1471	1941	2517	3214	4048	5036	6196	7547	9109	10903	12951	...
rG′	1	2	4	8	16	30	57	88	163	230	386	456	794	966	1471	1712	2517	2484	4048	4520	6196	6842	9109	9048	12951	...

円に内接する四角形とその辺が最大まで円を分割するときと正六角形による円分割の比較。

正整数nの階乗の正の約数の個数はn = 1, 2,...,6のときこの数列と一致するが、n = 6から先は異っている^[8]。

出典

1. ^ 竹山, 美宏『定理のつくりかた』森北出版、2018年2月、38頁。ISBN 978-4-627-06231-3。 
2. ^ ウリーン 2011; 中村 2013.
3. ^ Guy, R. K. (1988). “The Strong Law of Small Numbers”. Amer. Math. Monthly 95: 697-712. 
4. ^ Yaglom & Yaglom 1964; Conway & Guy 1996.
5. ^ 北島 2011.
6. ^ Jobbings 2008; Le Goff 2012.
7. ^ Jaud, D. (2022). “Integer Sequences from Circle Divisions by Rational Billiard Trajectories”. Proceedings of the 20th International Conference on Geometry and Graphics. doi:10.1007/978-3-031-13588-0_8. 
8. ^ A027423

参考文献

• Yaglom, A. M.; Yaglom, I. M. (1964). Challenging Mathematical Problems With Elementary Solutions Vol. 1. pp. 13,108-112. https://archive.org/details/yaglom-yaglom-challenging-mathematical-problems-with-elementary-solutions-vol.-1/page/13/mode/2up 
• Conway, J. H.; Guy, R. K. (1996). “How Many Regions”. The Book of Numbers. New York: Springer-Verlag. pp. 76–79 
• Noy, Marc (1996-02-01). “A Short Solution of a Problem in Combinatorial Geometry”. Mathematics Magazine 69 (1): 52–53. doi:10.1080/0025570X.1996.11996383. ISSN 0025-570X. https://www.tandfonline.com/doi/abs/10.1080/0025570X.1996.11996383. 
• Jobbings, Andrew (2008年). “Chords and regions”. 2011年9月4日閲覧。Archived 2011-09-04 at the Wayback Machine.
• ウリーン, ベングト 著、丹羽敏雄、森章吾 訳『シュタイナー学校の数学読本』ちくま学芸文庫、2011年4月6日、63-67,88-91頁。ISBN 978-4480093684。 
• 北島, 茂樹「思考力・判断力・表現力を育む教材とその指導」『日本数学教育学会誌』第93巻第11号、2011年、47頁、doi:10.32296/jjsme.93.11_47。 
• Le Goff, Jean-Pierre (2012年12月). “Sur le vice et les vertus... de l’induction Le problème dit “du cercle de Moser”” (フランス語). 2025年4月18日閲覧。
• 中村, 好則「円分割問題の高校数学科における課題学書での活用の可能性」『岩手大学教育学部研究年報』第72巻、2013年、71-83頁。 
• Rodriguez-Lucatero, Carlos. "The Moser's formula for the division of the circle by chords problem revisited". arXiv:1701.08155。

関連項目

• ケーキ数
• 怠けた仕出し屋の数列
• ピザの定理
• モーザー–ド・ブラウン数列（英語版）

外部リンク

• 『モーザー数列』 - 高校数学の美しい物語
• Weisstein, Eric W. "Circle Division by Chords". mathworld.wolfram.com (英語).
• 崩れるパターンとその面白い背景 モーザーの円の分割問題 - YouTube, 3Blue1BrownJapan