ニュートン平面におけるニュートン-フィンチ定理
| 名前 | ニュートン-フィンチ定理 |
|---|---|
| 分野 | 幾何学（折れ線微分幾何） |
| 定理の主張 | 折れ線座標の局所曲率和は経路選択に依存せず一定となる。 |
| 証明者 | E. ニュートン平面研究所の共同研究班（署名: A. Finち） |
| 成立年 | 1887年 |
におけるニュートン-フィンチ定理（にゅーとん-ふぃんちていり、英: Newton–Finch Theorem）は、上の折れ線座標がを満たすことを述べた定理である[1]。
概要[編集]
とは、ユークリッド平面に“角度分解の癖”を追加し、座標を折れ線として扱う形式的な枠組みであるとされる。この平面では、点は単なる座標ではなく、そこへ至る“折れ角の履歴”を伴う。
ニュートン-フィンチ定理は、そのような折れ線座標に対し、経路を少し変えたとしてもの和が変化しないことを保証する定理として紹介された。とりわけ、角度が“連続”ではなく“段”で与えられる場面で有効であるとされる。[2]
定理の主張[編集]
上の折れ線座標系を考え、折れ線が点Pを通過するとする。このときPの近傍で定義されるκ(P)は、Pを挟む2本の折れ線片のなす角θ1, θ2から
κ(P) = (θ1^2 + θ2^2) / (θ1 + θ2 + 1/12)
により定義されるとする（分母の1/12は“測定誤差の慣習項”と呼ばれる）。さらに折れ線の“履歴長”をL(P)=（折れ角の数）として、L(P)≧2を仮定する。
このとき、任意の2つの微小な経路分岐で同じ開始点・終端点を結ぶなら、曲率総和
∑_{P∈経路分岐点} κ(P)
が経路選択に依存せず一定となることが成り立つ。なお一定値は、開始点と終端点の距離Dにより
一定値 = (3D^2 + 7D + 19)/24
で与えられると示された。[1]
証明[編集]
証明はfを用いて行われる。写像fは、折れ線の各折れ点Pを、角度の“繰り返し誤差”を打ち消すように再配置し、局所曲率を不変に保つように設計される。
まず、経路分岐点の集合をP1, …, Pnとし、それぞれに対する局所曲率κ(Pi)を導入する。次に、折れ線が成す角の段差が“同位体的”であると仮定して、κ(Pi)の差分を
κ(Pi) − κ(Pi+1) = (θi − θi+1)·(θi + θi+1 + 1/12) / 24
の形に整理することが示される。
一方で、ループ補正写像fにより、(θi − θi+1)に相当する量は、閉路を回すたびに±1/48ずつ符号反転し、全体の和が0になると仮定する。この仮定は、当時の実験台（後述）で“半日で7回だけズレた計測”から採用されたとする記録がある。したがって総和
∑ κ(Pi)
は経路の詳細に依存せず、距離Dのみで決まる形に約される。[2]
最後に、約された式から一定値（3D^2 + 7D + 19）/24が導かれ、ニュートン-フィンチ定理が証明された。なおこの部分は、出版社の校閲で式の“+19”が何度も削除され、最終的に“19は真面目に読んだ印刷工の名前のイニシャル数”という注記に差し替えられたとされる。[要出典]
歴史的背景[編集]
ニュートン平面は、都市計画用の測量で知られるの旧測図倉庫に保管されていた“角度履歴付きの下書き”が、学術的には最初の使用例になったとされる。ただし当時その倉庫は、の前身である“測図整理班”が管理していたと記述されることが多い。[3]
1887年、E. ニュートン平面研究所は国際測量会議の分科会「微小折れの整合」に提出するため、折れ線座標系における保存則を探していたとされる。この作業には数理係だけでなく、実務係としてから派遣された技師S.レイホーンが関与したという。
同年の報告書には、証明の前段として“分母の1/12”がなぜ必要かが、やけに具体的に - 角度計が0.0833度ずつ読み違える - 読み違えは1/12ラジアン換算で整合する - 最初の修正がうまくいったのが1887年2月14日の夜
のような形で書き残されているとされる。[4] なお、その報告書の当該ページだけが後に紛失し、写しが別の書誌に現れたため、真偽が揺れているとも指摘される。[5]
一般化[編集]
その後、ニュートン-フィンチ定理はへ一般化された。ここでは局所曲率 κ(P)の定義を
κ_w(P) = w(P)·(θ1^2 + θ2^2) / (θ1 + θ2 + 1/12)
とし、w(P)は“測量優先度”に対応すると定義される。
この一般化では、経路分岐点のうち優先度の高い点の重みの取り扱いが保存則の中核となり、一定値が
一定値 = (3D^2 + 7D + 19 + (Σw)/8)/24
のように補正される形で示されたとされる。[6]
さらに2012年ごろには、w(P)が“角度の段の数により符号反転する”設定が提案され、局所曲率が平面全体でなく、折れ線の同値類ごとに保存されるとする見方が広がった。なおこの版は、証明の鍵となる写像fの性質が不明確だとして、数学会の特集号で疑義付き掲載になったとされる。[7]
応用[編集]
ニュートン-フィンチ定理は、やのように、滑らかさよりも“段差の履歴”が重要な場面に適用されるとされる。
特に、山岳トンネルの掘削計画では、計測器の更新で角度の段が変わることが問題になった。そこで技術者は“履歴を含む折れ線座標”に変換し、経路が違っても局所曲率総和が一定なら、基準線の再設定が不要になるのではないかと考えたとされる。[8]
また、教育上の応用としては、中学向け教材で“経路を折っても答えが同じ”というパズル形式に落とし込まれた。ある学習指導要領の別冊解説では、D=5を代入して一定値が(3·25 + 7·5 + 19)/24 = (75+35+19)/24 = 129/24=5.375になると具体例が示された。これにより、計算の結果が小数で終わらない“もやもや”が逆に学習動機を生んだと報告されている。[9]
脚注[編集]
関連項目[編集]
脚注
- ^ A. Finち『折れ線座標における保存則：ニュートン平面の事例研究』E.ニュートン平面研究所出版, 1887.
- ^ R. K. Bell『Discretized Curvature in the Newton Plane』Journal of Planar Geometry, Vol. 12, No. 3, pp. 101-167, 1891.
- ^ 渡辺精一郎『測図整理と角度履歴の数理』測図庁叢書, 第2巻第1号, pp. 1-42, 1895.
- ^ S. Rayhorn『On the 1/12 Habit in Angular Instruments』Proceedings of the International Survey Partition, pp. 55-73, 1888.
- ^ J. McCarthy『Conservation Across Route Branching』The Annals of Micro-Curves, Vol. 4, No. 2, pp. 221-240, 1910.
- ^ 田中澄人『重み付き折れ線と測量優先度のモデル化』東京天文測量局技術報告, 第9号, pp. 7-33, 2012.
- ^ L. Ishikawa『Weighted Loop Corrections and Equivalence Classes』Bulletin of Discrete Geometry, Vol. 30, pp. 1-19, 2015.
- ^ B. van Sutter『Teaching Newton–Finch via Puzzles』Mathematics Education Review, Vol. 8, No. 1, pp. 88-96, 2018.
- ^ 「校閲者が消した+19」編『数式の行方：注記の書誌学』第3巻, pp. 13-28, 1942.
- ^ M. Ahmed『Curvature Sum Invariance for Step Angles』（※書名は一部誤記とされる）Springer-like Proceedings, Vol. 21, No. 7, pp. 300-318, 2006.
外部リンク
- Newton Plane Archives
- Loop Correction Bibliography
- Discrete Curvature Lecture Notes
- E. Newton Plane Research Institute Digital Shelf
- Survey Habit Museum