【1】正n角形の対角線の交点数は?
正n角形の対角線に多重交点がなければI=nC4となります.nが奇数の場合は多重交点がないのでこれが正解ですが,nが偶数のときは中心では必ずn/2本の対角線が交わります.
また,nが6以上の偶数の場合は必ず多重交点が存在します.多重度は最大でも7を超えないことが確認されていて,6重点以上はnが30の倍数でないと出現しません.
この後は代数的な議論に加え,煩雑な場合分けと例外処理が必要となります.ここで,関数
δm(n)=1 (nはmの倍数)
δm(n)=0 (それ以外)
を用います.すなわち,nがmの倍数ならば1,それ以外ならば0となる関数です.
正n角形の対角線の交点数の公式には,
m=2,4,6,12,18,24,30,42,60,84,90,120,210
が出現し,次のようなものになります.
I=nC4+(−5n^3+24n^2−70n+24)/24・δ2(n)+3n/2・δ4(n)+(−45n^2+262n)/6・δ6(n)+42n・δ12(n)+60n・δ18(n)+35n・δ24(n)−38n・δ30(n)−82n・δ42(n)−330n・δ60(n)−144n・δ84(n)−96n・δ90(n)−144n・δ120(n)−96n・δ210(n)
たとえば,
I(6)=13
I(12)=301
I(18)=1837
I(180)=40841461
また,正n角形をすべての対角線で分断したときの断片数は,
R=(n−1)(n−2)(n^2−3n+12)/24+(−5n^3+42n^2−40n−48)/48・δ2(n)−3n/4・δ4(n)+(−53n^2+310n)/12・δ6(n)+49n/2・δ12(n)+32n・δ18(n)+19n・δ24(n)−36n・δ30(n)−50n・δ42(n)−190n・δ60(n)−78n・δ84(n)−48n・δ90(n)−78n・δ120(n)−48n・δ210(n)
R(6)=24
R(12)=444
R(18)=2466
===================================
【2】円の最大分割数
正n角形にすべての対角線を引いたときにできる断片数についてはわかったが,それでは・・・
(問)円周上にn点をとり,円周上の点同士をすべて互いに弦で結ぶ(n点は同一円周上に等間隔に配置されているとは限らない).その際,円の分割によってできる領域が最も多くなるようにする.最大分割領域数Mnはいくつになるか?
(答)M1=1,M2=2は明らか.また,円に内接する三角形,四角形,五角形を描くと
M3=4,M4=8,M5=16
このことから,
Mn=2^(n-1)
であると予想されます.しかし,この式ではM0=1/2となってしまい,M0=1とならないことが気にかかるところです.
n=6の場合を実際にやってみると,正六角形のように3本の線が1点で交わってしまう場合は最大領域数にならないのでNGですが,第6の点が既存の弦の交点を通らないように注意すると,M6=32ではなく,M6=31となることがわかります.
ここで
Mn=2^(n-1)
は間違いであることに気づかされるのですが,さらに
M7=57,M8=99,M9=163,M10=256,M11=386
となり,数列
{1,2,4,8,16,31,57,99,163,256,386,・・・}
は,公比2の等比数列
{1,2,4,8,16,32,64,128,256,・・・}
から大きく離れていきます.
それでは一般式はどのように表されるのでしょうか? 図を描きながらパターンを探してみると,円周上に3点がある場合は三角形の外側に3つの領域,内側に1つの領域,4点の場合は四角形の外側に4つの領域,内側に4つの領域ができる.
4=3+1,8=4+4
円周上に5点がある場合は五角形の外側に5つの領域,すぐ内側に10個の三角形領域,中心部に五角形がひとつある.
16=5+10+1
円周上に6点がある場合は六角形の外側に6つの領域,すぐ内側に18個の三角形領域,その内側に3つの五角形と3つの四角形,そして中心部に三角形がひとつある.
31=6+18+6+1
しかしこのパターンからはどうしてもこれといったアイディアが浮かばないのですが,領域の数は弦の数や交点の数と関係していることは明らかであって,前者はnC2,後者はnC4で計算されます.
図なしにこれ以上説明することは難しいので,結論を述べますが
[参]コンウィイ・ガイ「数の本」シュプリンガー・フェアラーク東京
には,すべての領域にラベルを与えると,ラベルを含む数の個数は0,1,2,3,4のいずれかであって,2項係数の和
Mn=n-1C0+n-1C1+n-1C2+n-1C3+n-1C4
=1+(n−1)+(n−1)(n−2)/2+(n−1)(n−2)(n−3)/6+(n−1)(n−2)(n−3)(n−4)/24
=(n^4−6n^3+23n^2−18n+24)/24
となることが示されています.
パスカルの三角形のはじめの5項の和というわけですが,
n-1C0+n-1C1+n-1C2+n-1C3+n-1C4+・・・+n-1Cn-1=2^(n-1)
ですから,nが大きくなればその答えは2^(n-1)からますます離れていくというわけです.
Mn=n-1C0+n-1C1+n-1C2+n-1C3+n-1C4
Mn=n+nC4+n-1C2
Mn=nC4+nC2−1
M1=1,M2=2,M3=4,M4=8,M5=16,
M6=31,M7=57,M8=99,M9=163,M10=256,
M11=386,M12=562,M13=794,M14=1093,
M15=1471,M16=1941,M17=2517,M18=3214,
M19=4048,M20=5036,M21=6196,M22=7547,
M23=9109,M24=10903,M25=12951,M26=15276,
M27=17902,M28=20854,M29=24158,M30=27841,
M31=31931,・・・
数列
{Mn}={1,2,4,8,16,31,57,99,163,・・・}
をこの問題を提起したモーザーにちなんでモーザー数列と呼ぶことにすると,モーザー数列は先入観から間違った答えを予想してしまう例としてしばしば引き合いにだされるものになっています.
===================================
【3】円の最大分割数(おまけ)
(問)1つの円をn本の弦で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか?
(答)パンケーキをnスライスしたときの最大ピース数を求めよという問題ですが,この問題は実は円という条件を取り去っても同じ答えになります.すなわち,平面をn本の線で分割する.その際,分割によってできる領域が最も多くなるようにする.最大分割領域数Snはいくつになるか?
分割される領域数が最大になるためには,新しい線(弦)を引くとき,それ以前のすべての線(弦)と新しい交点で交わるようにします.既存の交点を通ると分割される領域が最大数にならないからです.
S0=1,S1=2,S2=4,S3=7
はすぐに求められます.このことからn本目の線(弦)を引くと新しい領域がn個増えることがわかります.これを式で表すと
Sn=Sn-1+n
Sn=Sn-1+n
Sn-1=Sn-2+n−1
・・・・・・・・・・
S1=S0+1
S0=1
を辺々加えると,一般式
Sn=1+(1+2+3+・・・+n)=1+n(n+1)/2
=(n^2+n+2)/2
が得られます.
S0=1,S1=2,S2=4,S3=7,
S4=11,S5=16,S6=22,S7=29,
S8=37,S9=46,S10=56,・・・
と続くというわけです.
パンケーキではなく,ケーキをnスライスしたときの最大ピース数を求めよという問題では,
Sn=(n+2)(n+3)/6
S0=1,S1=2,S2=4,S3=8,
S4=15,S5=26,S6=42,S7=64,
S8=93,S9=130,S10=176,・・・
===================================