中線分割定理
| name | 中線分割定理 |
|---|---|
| field | ユークリッド幾何学（測度付き分割） |
| statement | 三角形の中線に沿って確率重み付けされた領域が一定の比で釣り合う |
| proved_by | 伊豆山 清和（清和幾何研究所） |
| year | 1968年 |
における中線分割定理（よみ、英: theorem name）は、のが作る部分領域のについて述べた定理である[1]。本定理は、定理の見通しに反して「分割」を“面積”だけでなく“確率的重み”まで含める点が特徴とされる[2]。
概要[編集]
は、ある三角形のが三角形内部を“分割”する際に、生じる部分領域の測度（面積に類する量）と重みの間に比例則が現れることを主張する定理である[3]。
本定理の語感は幾何学的であるが、実際には領域に確率的な重みを付ける枠組み（以下、重み付き測度）が採用されているとされる[4]。そのため、同じ面積比でも「重みの配り方」が違うと結論が変わるように書かれるのが常である。
定理の成立は“測度が滑らかに変形しても保存される”という仮定に依存するとされる一方で、文献によっては逆に「保存されない場合にこそ真価がある」とも述べられ、編集者間で解釈の揺れが確認される[5]。
定理の主張[編集]
三角形において、辺の中線をとし、点をの中点とする。さらに、内部の任意の点に対し、重み関数\(\omega(P)\)を「距離二乗に反比例する」ように定め、\(\omega(P)=\frac{1}{1+d(P,AM)^2}\)と置く（\(d\)は中線からの距離）[6]。
このとき、領域とのそれぞれに対して、重み付き測度\(\mu\)を\(\mu(R)=\int_R \omega(P)\,dP\)で定義すると、次の比が成り立つとされる：
\(\mu(△ABM):\mu(△ACM)=AB^2:AC^2\)。ただし、辺長は単位系をではなく“辺長標準単位”（伊豆山流の略称で）で測る必要があると注釈されることが多い[7]。
また、同定理は三角形が退化した場合（\(AB=AC\)を満たしつつ角が極端に鋭い場合）にも破綻しないとされるが、その際には比の右辺が「小数第7位で丸めた値」に読み替えられる、という奇妙な規則が併記される[8]。
証明[編集]
証明の骨格は、積分を直接評価する代わりに、の重み付き測度の和が、角度条件に応じて折りたたまれることを示す操作にある[9]。
まず、領域を中線に対して“半幅\(t\)”ごとの帯に分割し、それぞれの帯の重み付き測度が、距離成分に関して同一のカーネル\(\frac{1}{1+t^2}\)で書けることが示される。次に、角から帯が切り出すが\(AB\)と\(AC\)に比例するため、全体として\(AB^2\)対\(AC^2\)の比が現れる、という筋書きになっている[10]。
ただし原典では、この帯分割が“帯の数を\(N=512\)に固定する”ことで成立すると明記されており、現代的には収束の議論が必要だとされる一方で、伊豆山は「固定した方が美しい」として一切の収束注釈を削ったと伝えられる[11]。
なお、証明書はの会報に付録として掲載されたのち、数学雑誌に転載されたが、転載の際に“\(N=512\)”が“\(N=511\)”に誤植され、結果の比が小数点以下で揺れるという事件があったと報告されている[12]。
歴史的背景[編集]
は1960年代、周辺で行われた地震計測のための“幾何モデルの校正”を背景として生まれたとされる[13]。当時、測量担当者は三角網の中線に由来する誤差が系統的に偏ることを問題視しており、重み付き測度の発想は「誤差が距離二乗で増える」という経験則から採用されたとされる[14]。
中心人物として挙げられるのは、（当時は所属）である。彼は中線を「測量の基準線」ではなく「確率の配分器」とみなす癖があり、定理名も当初はと呼ばれていたが、学会報告の締切直前に“分割”へ改名されたと伝えられる[15]。
また、対立的な編集としてのが関与し、「面積なら面積で十分」とする立場から、重み関数\(\omega\)の導入に疑義が出たと記録されている。にもかかわらず、最終的に伊豆山の定式化が採用されたのは、彼が計算例として三角形を\(AB=7.3\)、\(AC=9.1\)、\(BC=10.0\)のように具体化し、比が小数第5位まで一致することを示したからだとされる[16]。
一方で、1980年代に別の研究会が「実は重み関数は\(\frac{1}{1+d^2}\)でなく\(\frac{1}{1+2d^2}\)でも同様の比が出る」と主張し、定理の“普遍性”を揺るがせた。これに対し、ある編集者は「普遍性とは編集方針である」と皮肉を込めたとされるが、出典が曖昧なため要確認扱いとなっている[17]。
一般化[編集]
中線分割定理は当初、単一中線に対して述べられていたが、その後、を可変にする一般化が試みられたとされる。すなわち、\(\omega(P)=\frac{1}{1+d(P,AM)^k}\)として指数\(k\)を正の実数に拡張し、比が\(AB^{2/k}:AC^{2/k}\)の形で出るのではないかという仮説が提示された[18]。
しかし実験的には、\(k=2\)のときだけが“見栄えのする比”になり、\(k=3\)では追加の補正項が必要になると報告された[19]。この補正項は角のサインと、辺比\(\frac{AB}{AC}\)の対数に依存するとされ、当時の学生が「幾何が急に心理テストみたいになった」と語った逸話が残る。
さらに別方向の一般化として、三角形を「面積が滑らかに測定できる対象」とするのではなく、の枠で扱う試みもあった。そこでは領域の積分を“ピクセル状の測度”へ置き換え、帯分割の枚数が\(N=512\)から\(N=768\)へ増えると比が再び安定する、という妙な経験則が記載される[20]。
このような一般化の是非については、後述の批判と論争で触れるように意見が割れているが、少なくとも定理の「中線」という語が、測量・最適化・確率にまたがる合言葉になった点は共通しているとされる[21]。
応用[編集]
中線分割定理は、幾何計算の厳密化だけでなく、やの設計に利用されたとされる。例えば、では三角網の中線を基準とし、誤差の分布が距離二乗で増えるという前提のもとで、整合度を\(AB^2:AC^2\)に比例するスコアとして評価する手法が導入された[22]。
また、理論面ではへの波及があり、三角形領域の“分割サンプリング”を高速化するために、領域とからのサンプル数を比\(AB^2:AC^2\)に揃えるという実務的規則が広まったとされる[23]。
一方、奇妙な応用例として、2010年代にで行われた公開講座では「中線を引くと心が整う」旨の比喩が紹介され、受講者に小さな折り紙三角形を配布して実演が行われたという記録がある[24]。学術的裏付けは薄いものの、参加者の満足度が前年より\(+12.4\)ポイント上がったという報告が、なぜか同ページに添えられている。
なお、定理の“測度”解釈が広がりすぎた結果、応用分野の一部で「\(AB\)と\(AC\)を距離ではなく価値として扱えば、その価値配分が一致する」といった俗説が流通した。これに対し、幾何学側の研究者は「その価値とはどこに定義されたのか」と問うが、回答が得られなかったとされる[25]。
批判と論争[編集]
批判の中心は、証明で用いられる帯分割が\(N=512\)に固定されている点にある。理論的には帯数を増やす極限で議論すべきだが、原典では“美しさ”が優先され、収束性の扱いがほぼ欠落していると指摘されている[26]。
また、転載時の誤植（\(N=512\)と\(N=511\)）が結果に影響しうるのに、訂正文が『関東測度年報』の別号に小さく掲載されたため、長らく誤った運用が続いたとされる[27]。
さらに、重み関数\(\omega\)の選び方についても論争がある。ある研究者は「\(\omega(P)=\frac{1}{1+2d^2}\)でも比が出る」と報告する一方で[17]、他の研究者は「その主張は近似であり、厳密には補正が混入する」と反論している[19]。ただしこの補正がどの程度実用上問題かは意見が割れており、実験条件が記録されないことも多いとされる。
最後に、数学者ではない編集者が一般向け記事で「中線は人間関係を割り当てる線である」と表現したため、幾何学の専門家から“概念の逸脱”が指摘されたという、やや可笑しい論争も存在する[28]。もっとも、専門家側の反論もどこか情緒的であり、議事録が後年になって“なぜか”保管庫から見つかったと報告されている[29]。
脚注[編集]
関連項目[編集]
脚注
- ^ 伊豆山 清和「中線分割定理と重み付き測度の比」『関東測度年報』第12巻第3号, pp. 41-73, 1968年。
- ^ M. A. Thornton「Medial Splitting and Probabilistic Weights」『Journal of Geometric Integrals』Vol. 27 No. 1, pp. 12-30, 1972.
- ^ 渡辺 精一郎「帯分割法の固定枚数問題について」『日本幾何学通信』第5巻第1号, pp. 88-102, 1976年。
- ^ 佐伯 玲奈「伊豆山流Iz-単位の換算手順」『測量史研究』第19巻第2号, pp. 201-219, 1981年。
- ^ E. R. Halvorsen「On the Stability of N=512 Constructions」『Proceedings of the Northern Mathematical Society』第8巻第4号, pp. 55-66, 1984。
- ^ 小林 由梨子「重み関数の指数拡張と補正項」『統計幾何の会誌』第3巻第9号, pp. 301-334, 1990年。
- ^ 京都大学測度論グループ「面積主義への反駁：中線分割定理再検討」『理論測度雑誌』Vol. 41, No. 2, pp. 1-24, 1997.
- ^ R. K. Sato「Coarse-Grained Medial Partition Sampling」『Computational Mosaic Geometry』Vol. 9 No. 7, pp. 77-95, 2006.
- ^ 清和幾何研究所編集部「訂正：中線分割定理の誤植」『関東測度年報』第13巻第1号, pp. 5-7, 1969年。
- ^ 斎藤 大翼「折り紙実演としての中線分割定理（誤解を含む報告）」『公開講座ノート』第1巻第1号, pp. 33-41, 2013年。
外部リンク
- 清和幾何研究所アーカイブ
- 中線分割定理の解釈掲示板
- Iz-単位換算テーブル（非公式）
- 『関東測度年報』旧号スキャン
- 粗視化幾何学・サンプル配布資料