ピタゴラス一致
| name | ピタゴラス一致（Pythagoras Concordance） |
|---|---|
| field | 幾何＝数論融合 |
| statement | 正規化された3辺長に対して、特定の同位数写像が一致する |
| proved_by | ベアトリス・フォン・ハルダー |
| year | 1732年 |
におけるピタゴラス一致（よみ、英: Pythagoras Concordance）は、のについて述べた定理である[1]。
概要[編集]
は、に内在する整合性を「一致」という言葉で定式化した定理である。ここでいう一致は、単なる数合わせではなく、辺長の情報が複数の同位数系（合同条件の並行系）へ同時に受け渡される現象として扱われる。
本定理は、通常の幾何学が扱う長さの議論に、と呼ばれる数論的装置を混ぜることで成立している。結果として、格子上の三角形が満たすべき条件が、たった一つの「一致スコア」で点検可能になるとされる。
なお、本定理の主張は一見すると「有名な三角形の法則っぽさ」を連想させるが、実際にはの作法が独自であるため、誤った既存定理への帰属を招きやすいとも指摘されている。
定理の主張[編集]
正の整数 a,b,c をの辺長として考え、三角形が非退化であると仮定する。さらに、辺長を次で正規化する：
- A = a^2 + b^2 − c^2 - B = b^2 + c^2 − a^2 - C = c^2 + a^2 − b^2
は、ある整数 m（m≥2）が存在して、正規化値の同位数が同時にそろうと主張する。具体的には、次が同値であるとされる：
(1) A,B,C が法 m のもとで同じ剰余類を持つ。 (2) 写像 F(x)=x(x+1)/2 を「法 m の世界」で計算した値が、同時に三つ一致する。 (3) 一致スコア S(a,b,c)=F(A)+F(B)+F(C) が、mに関する特定の周期 2m に従って変化しない。
従って、格子三角形はが一定となる格子条件を満たすとき、（幾何学的な意味で）辺長情報が数論的に整合しているといえる。ここでいう整合とは、長さの組が「三方向の同位数写像」を通して再構成可能であることを含む。
証明[編集]
は、を直接幾何から押さえるのではなく、まず「法 m の空間」上での写像の可換性を示したとされる。彼女の証明では、を 3本の系統に分解し、各系統のズレが二次合同の補題によって相殺されることが鍵となった。
第一段階として、F(x)=x(x+1)/2 の差分 F(x)−F(y) が、(x−y)と(x+y+1)の積で表せることが示される。これにより「剰余類が一致すれば、F値も一致する」という方向が固められる。
第二段階では、逆方向として「F値が一致するなら、A,B,Cの剰余類が一致する」ことが、法 m の素因数分解に依存して示される。とくに m の素因数 p に対し、pが 2 である場合を別に扱う必要があるとされ、ここで一箇所だけ「要出典」としか読めない古写本の脚注が残っているという。
第三段階では、S(a,b,c)が周期 2m に従うことが計算で確認される。理屈の中心は「周期が一致するなら、それに伴う合同の一致も強制される」という論理連結にあり、最終的に(1)〜(3)が同値となる。
歴史的背景[編集]
が生まれた背景には、1730年代の欧州で起きた「測量行政の数学化」政策があったとされる。具体的には、が地図の誤差を減らすため、測量師の訓練用に「格子三角形」の計算手順を統一したことが契機とされる。
当時、測量局は近郊の演習場で、座標の復元を行うたびに“ズレの同位数”が累積する問題に直面した。そこで「三辺長の情報を別経路に渡しても矛盾しない条件」が求められ、という考え方が、幾何計算を隠す形で導入された。
この企画に関わったのが、ハルダー派の講師陣であると、測量局の文書係だったである。彼らは「一致スコアSを毎晩手計算させる」運用を行い、1731年の冬だけで 9,438 回もの計算が提出されたと記録されている[2]。さらに、誤提出が 0.7% だった週があり、その週だけ偶然に一致条件の判定表が“合ってしまった”ことが、定理化を後押ししたとも語られている。
ただし、定理名に冠された「ピタゴラス」は、実際の数学的出所を示すというより、行政向けに分かりやすい象徴として採用されたとする見解もある。一方で、同時代の学会誌では「ピタゴラスの名前は勝手に増殖した」と批判され、結果として用語の由来が複数説に分岐したとされる。
一般化[編集]
一般化として、辺長を 3つに限らず、格子多角形へ拡張する試みが報告されている。たとえば、辺が四本のに対して、正規化値を A,B,C,D の四成分に再定義し、同位数写像が 4経路で一致する条件が提案された。
この拡張では「一致スコア」の周期が 2m から 4m へ倍増することが予測され、計算例としての教会建築で用いられた矩形の比率が挙げられた[3]。ただし、同位数の一致が成立しても、退化判定（面積が実質ゼロになるケース）を別途チェックする必要があり、そこが実装上の障壁とされる。
また、m を固定せずに「素因数の集合で一致を定義する」流儀もある。これにより、が合同の言葉の外へ出て、格子の“形の記憶”を抽象化する道具になったと評価される一方、定理の主張が長文化し過ぎるという批判も残っている。
応用[編集]
の応用は、測量・建築の計算検算だけにとどまらない。先述のでは、測量師が計算を提出する際に、各三角形の一致スコアSを記入させ、値が合わない場合は作図工程のどこかに“段階的な誤り”が潜むと判断したという。
技術的には、一致条件が成立すると、辺長から座標へ復元する過程が安定するため、地図の再計算回数が減るとされた。実測の報告として、での再測定における再計算は、通常手順と比べて 3/5 になったという。もっとも、報告書の脚注には「対象区域の天候による補正を省いた」とあるため、実際の効果は過大評価されている可能性もある[4]。
のちに教育分野でも応用が広がり、の私塾では「一致スコアは気分で暗記できる」として、年少者向けに F(x) をテーブル化する課題が出されたとされる。ここで面白いのは、子どもが計算を間違えると一致条件が“たまたま合う”現象が起き、逆に教師が解答用紙から誤りパターンを推定する手掛かりになったと報告されている点である。
脚注[編集]
関連項目[編集]
脚注
- ^ ベアトリス・フォン・ハルダー『格子三角形の整合性と同位数写像』ベルリン学芸書院, 1732年.
- ^ ルドルフ・クライン『測量行政における一致判定の手順（第1巻）』王立測量局文庫, 1731年.
- ^ J. M. Albrecht『Periodic Concordances in Modular Geometries』Journal of Survey Arithmetic, Vol. 7, No. 2, pp. 41-68, 1740.
- ^ クララ・シュミット『一致スコアの計算法：F(x)=x(x+1)/2の周辺』チューリヒ数学会紀要, 第3巻第1号, pp. 12-27, 1756.
- ^ M. Thompson『Congruence Chains and Triangular Reconstructions』Annals of Applied Numbercraft, Vol. 19, No. 4, pp. 201-233, 1782.
- ^ E. V. Rojas『Mod 2 Anomalies in Concordance Theorems』Proceedings of the Continental Logic Society, 第9巻第3号, pp. 88-104, 1799.
- ^ A. K. Nakamura『格子上の数論的地図復元：一致条件の教育利用』ロンドン幾何学叢書, 1821年.
- ^ S. I. Hart『The Administrative Naming of Mathematical Results: The “Pythagoras” Case』European History of Mathematics, Vol. 33, No. 1, pp. 1-19, 1896.
- ^ （書名が類似）ベアトリス・フォン・ハルダー『格子三角形の一致：ピタゴラス再考』ベルリン学芸書院, 1733年.
外部リンク
- Pythagoras Concordance Project
- 同位数写像データバンク（旧）
- 王立測量局アーカイブ・閲覧室
- 格子三角形計算機アーカイブ
- 一致スコア研究会