正二角形
| name | 正二角形定理（Proper Digon Theorem） |
|---|---|
| field | 架空幾何学（折れ目・位相整合論） |
| statement | 境界が二点連結のとき、曲率配列の“和の余り”が境界長に一致する |
| proved_by | 渡辺精一郎・リリアン・クラウゼ連名 |
| year | 1907年（架空） |
における正二角形定理（よみ、英: Proper Digon Theorem）は、としての“面を持つ代替線形領域”が、一定のを満たすことを述べた定理である[1]。
概要[編集]
（せいにかくけい）は、通常の二角形という語感を借りつつ、より奇妙な幾何学的対象を指す概念として用いられている。嘘ペディア的には、この“正二角形”は「頂点が2つしかないのに、なぜか“面”として扱える」という矛盾に正面から取り組むための枠組みである。
本記事で扱うは、正二角形が満たすとされるを定式化し、さらに折れ目の扱い方を「長さ」「位相」「曲率配列」の3つの言葉で連結する点に特徴がある。特に、境界を辿ると必ず“同じ余り”が残るという主張は、後のやにまで波及したとされる。
なお、この定理は「見かけ上の三角形分割」とも整合するよう設計されているため、専門家が半笑いで紹介する際に限り、定義が一瞬だけ正しく見えるよう調整されている。要するに、読者が信じそうな形で裏切ることを目的とした理論である[2]。
定理の主張[編集]
は、L とκ=(κ1,κ2,…,κn) を対応させる操作を仮定するとき、正二角形に相当するが次を満たすとする定理である。
すなわち、二つの“頂点”a,b の間に引かれた境界が、交差を禁止したまま折り返しを繰り返しても、曲率配列の総和が「L を2πで割った商の“余り”」と一致するように調整される。ここでは実数商に対するものであり、分数部分を「小数第6位まで丸めた後の符号付き整数」として扱うのが肝であるとされる[3]。
形式的には、折れ目配列の“符号付き丸め和”S(κ) が、ある定数Cにより S(κ)≡C（mod 97）を満たす。さらにCは境界長Lから一意に復元されるため、同型な正二角形は同じ余りクラスを共有する。結果として、正二角形の“正しさ”は角の数ではなく、で決まると結論づけられる[4]。
証明[編集]
は、まず“正二角形”をと呼ばれる同値関係で分類するところから始められる。渡辺精一郎はこの分類が直観に反することを承知で、折れ目の個数nを「最低でも17本」とし、さらにnが17の倍数のとき証明が自然になるよう補助定理を置いたとされる[5]。
次に、折れ目配列κを“曲率の離散化”として扱い、各κi を小数第7位で切り捨てて整数化する操作を行う。リリアン・クラウゼはこの切り捨てが結果にしか意味を持たないことを強調し、実際には厳密性の代わりに再現性（後で同じ数が出る）を優先した手法であったと述べられている[6]。
最後に、境界長Lを「2π×(Q+R/1000000)」と表し（Qは整数、Rは符号付き0〜999999の整数）、S(κ)の値がRと92%一致するように構成する。これにより S(κ)≡C（mod 97）が導かれるとされる。なお、ここで“92%一致”という表現が論文中で曖昧に書かれていたため、当時の編集者が『読者が誤解できる余地を残せ』と赤字を入れた、という逸話が残っている[7]。
歴史的背景[編集]
として最も頻繁に語られるのは、1900年代初頭の海運測量に端を発する。東京の測量局では、湾岸地図が“曲がっているのに測定線は真っ直ぐ”という矛盾を抱え、技術者が正しいのは線か地図か分からなくなる事態が起きたとされる。
その対処として、内務省 測量調整局（当時の正式名称は）が「折れ目で補正した領域」を採用した。ここで折れ目不変性が必要になり、二点連結の枠組みが“面っぽく”扱えることから、正二角形という奇妙な語が定着したとされる[8]。
一方で、学界側には懐疑もあった。国際幾何学会議（架空）の討論では、ある編集者が『mod 97 を置く理由が美しくない』と批判し、代替としてmod 101を試したが再現性が崩れたという話がある。結局、mod 97 は「現場で拾える誤差の癖」に合っていたため採用された、という結論が“それっぽく”語られている[9]。
一般化[編集]
は、正二角形定理を「三点連結以上の折れ目位相」に拡張する方向で進められた。具体的には、境界がa,b,c,… のように複数の頂点を持つとき、各折れ目配列に対して S(κ) を“余りベクトル”として定義する流れが現れた。
その代表例としてが提案され、定数modが状況により「97から素因数の列へ遷移する」と記述された。もっとも、この遷移規則は文献により食い違いがあり、ある著者は「modを切り替える条件は湿度と同期する」と無駄にロマンチックな仮定を置いたとされる[10]。
なお、一般化の過程で“頂点の数は固定するが面の扱いだけを変える”という方針が採られた。これにより、正二角形の本質が角度ではなく折れ目の保存則にあるという見方が、研究者間で徐々に定着したとされる。結果として、正二角形は“図形の形”ではなく“計算の約束事”として生き残ったのである[11]。
応用[編集]
としては、数理地図学と建築用モデリングが中心に挙げられる。折れ目位相を導入することで、地図の“曲がり”を人間の目で見て誤魔化す代わりに、位相同値として扱い、同じ余りクラスを持つ地形は同じ変形群に属するという指針が得られたとされる。
さらに、では、梁の交差を避けながら実装する際、曲率配列κを離散部品として割り当てる試みが行われた。クラウゼの弟子である（当時は鉄骨設計課）によれば、現場の職人は“角を増やすと一気に破綻する”のを経験的に知っており、正二角形定理がそれを理屈にしたように働いたという[12]。
また、教育面では、正二角形が「図形の問題」ではなく「約束の問題」であることを示す教材として使われた。授業では、生徒が紙の上で折るたびに余りが変わると騒ぐが、実際には桁丸めの順序が正しいかどうかだけが原因だった、という小さな混乱が次第に快感へ変わっていったと報告されている[13]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「正二角形定理と折れ目不変性」『日本架空数学会報』第12巻第3号, pp.15-44, 1907年.
- ^ Lillian Krause「Proper Digon Geometry: Discrete Curvature Arrays」『Proceedings of the International Fold-Theory Society』Vol.4 No.1, pp.201-239, 1912年.
- ^ 渡辺精一郎「mod 97 による折れ目余りの復元」『測量調整研究年報』第7号, pp.33-58, 1909年.
- ^ 佐伯真砂「折れ目位相の同値類と丸め誤差」『幾何計算雑誌』第19巻第2号, pp.77-92, 1921年.
- ^ Kōji Nakamura「The Sign-Rounded Sum S(κ) in Proper Digons」『Journal of Imaginary Geometry』Vol.2, No.6, pp.1-18, 1930年.
- ^ リリアン・クラウゼ「On the Reproducibility Priority in Folding Proofs」『Transactions of the Curvature Guild』第5巻第4号, pp.410-432, 1934年.
- ^ 小林誠次郎「梁の位相整合と正二角形定理の現場適用」『建築実装数学』第3巻第1号, pp.9-27, 1940年.
- ^ Mira Halden「湿度同期説とmod遷移」『Quarterly of Unlikely Assumptions』Vol.9 No.2, pp.66-101, 1968年.
- ^ 内務省 測量調整局 編『地図誤差整流部の記録』幻影印刷, 1904年（第2版、1906年）.
- ^ 英訳編集「Proper Digon Theorem (Reconstructed)」『Collected Theorems of the Fold Era』Kestrel Academic Press, 1979年（ただし参照章が欠落していると指摘がある）.
外部リンク
- 折れ目位相アーカイブ
- 数理地図学資料室
- 正二角形定理講義ノート
- 測量調整局デジタル記録
- Curvature Guild の公開目録