四平方の定理
| 分野 | 数論・計算航法理論 |
|---|---|
| 主張の形 | 整数のある性質が4つの平方の和で表せるとされる |
| 提案起源 | 航海暦改訂と航路誤差補正 |
| 初出とされる資料 | 『沿岸航法手引 第4巻』(架空) |
| 関連概念 | 格子分解、誤差楕円、合同類 |
| 論争点 | 証明の“調達”経路（資金の出所） |
（よんほうけいのていり、英: The Four-Square Theorem）は、ある種の数の分解が四つの「平方」によって説明されるとする定理である。もともとは末の航海暦改訂会議で“実務的な近似”として提案されたとされる[1]。
概要[編集]
は、整数や有理数の“見かけの形”を、四つので置き換えることで計算を単純化できるとする枠組みである。形式的には一見すると初等的な恒等式の系統に見えるが、当時は天体観測や海上測位の誤差処理と結び付けられて発展したとされる。
成立の経緯には、数学それ自体よりも「誰が・どの計算を・どれだけ短時間で回すか」という事情があったとされる。具体的には、の港湾測量局に配属された算術官たちが、紙の航海暦に頼るのではなく、航路計算機（当時の呼称）で誤差補正を回す必要に迫られ、簡約規則として普及したと語られている[2]。
なお、定理の“定義”は史料によって微妙に揺らいでいる。ある版では「4つの平方の合成」で十分とされ、別の版では「符号（プラスマイナス）の割当て」まで含めて定められていたと記録される。どちらの系統も、最終的には同様の計算効率をもたらすため、結果として同じものとして扱われていったとされる。
歴史[編集]
航海暦改訂会議での“実務的定理”[編集]
の起源は、に開催された「沿岸航法改訂会議」（事務局は）に置かれることが多い。議事録では定理が“仮の簡約規則”と呼ばれ、観測値の整合性を保つために四つの平方パラメータに割り当てる手順が採用されたとされる[3]。
当時の海上測位は、観測誤差を楕円で近似し、その楕円の主軸方向を整数の平方に“丸め込む”必要があった。そこで、算術官の一人である（おがさわら せいいち、1880年生）は、誤差楕円の面積を整数分解に置き換える際に「四つで足りる」と主張したとされる。ただし議事録の該当箇所は欠落しており、のちに同局の写本係が「ページが港の倉庫で湿って溶けた」と書き足したことが、後の噂を生んだ[4]。
会議の参加者は、証明らしきものではなく計算量の見積りを重視していたとされる。具体例として、近海での観測整列において、従来方式だと平均回の加減乗算が必要だったのに対し、四平方規則に切り替えると平均回まで削減された、という数字が強調されたと報告されている。さらに、削減率が“その日の風向き（平均風速 3.4ノット）”と相関して見えたことも、なぜか最初から注目された[5]。
学術誌への移植と、証明“調達”の噂[編集]
頃から、四平方規則は海軍測量局の内規から離れ、数学寄りの形で再解釈され始めた。その転機として挙げられるのが、の私立研究会「格子計算懇談会」（略称：格計懇）での連続講義である。講義の記録をまとめた（さいおんじ まさみち）は、定理を“整数の分解原理”として整形し、数学者にも「使える」と感じさせたとされる[6]。
一方で、学術誌に掲載された初期の論文には、なぜか資料の出所が曖昧だった。たとえばの系統に投稿されたという「Vol.12, No.3」の記事は、紙面上では厳密な証明が提示されているのに、脚注に「当時の未公開測量簿を参照」としか書かれていないとされる[7]。この“測量簿の調達ルート”が、当時の学生たちの間で「港湾税の還付で手に入った」という類の冗談半分の噂に発展した。
ただし後年、実務家側は反論している。彼らは「証明は存在するが、計算手順を秘密保持しなければならなかった」と主張したとされる。さらに決定的な要素として、講義に出された例が“航路”ではなく“宴会の席順”の暗号化であったことが挙げられる。つまり四平方規則が、理論と同時に「並べ替えを見抜く技術」として広まり、数学の外へも波及したという解釈がある。
社会的影響[編集]
は直接には人命救助の速度を変えたとされる。海上では、推定位置を更新するたびに計算が必要であり、演算時間が短いほど、通信可能なタイミングを逃しにくいからである。ある回顧録では、救難信号の送受が遅れた結果、救助隊がの沖合で平均遅延した年があり、翌年に四平方規則を取り入れたら平均遅延がまで縮んだと書かれている[8]。
また、教育面でも独特な影響があった。学校の算数教材は、平方の扱いを“地味な作業”として終わらせるのが普通だった。しかし格計懇の講習を経た地域では、四平方規則が「問題を四つの箱に分ければ終わる」という快感の象徴として教えられたとされる。この結果、の一部では「四平方競技会」（非公式）が開かれ、同じ級でも平均試験点が上がったという統計が、なぜか家庭教師協会の内部通信に残っている[9]。
さらに、数学コミュニティにおいては“使える定理”の評価が強まったとされる。証明の美しさだけでなく、計算を現場で回せるかが重視され、それが後の分野横断（数論×計算機×誤差理論）を後押ししたと解釈されている。もっとも、その結果として「定理がなぜ成り立つか」を理解しないまま暗記だけが増え、形式の空洞化が進んだという批判も同時に生まれた。
批判と論争[編集]
四平方規則を巡っては、まず“証明の所在”が繰り返し問題になった。特に、最初期に広まった「滑らかな証明」は、実務担当者が後に作った“計算説明”を数学化したものではないかという疑念が呈されたとされる。実際、代のある検証記事では、論文中の手順が三箇所だけ「直感的ジャンプ」になっていると指摘され、そのジャンプの直前でだけ記号の定義が省略されていたと報告された[10]。
第二の論点は、四つの平方の“符号”の扱いである。資料によっては符号を自由にしてよいとされ、別の版では「海図座標の符号規約に一致させる」ことが前提とされている。これにより、同じ数に対して異なる分解が出てしまう場合があり、学生同士の間で「それは定理の失敗だ」といった口論が起きたとされる。面倒なことに、会場がの下宿街で行われることが多く、騒ぎの収拾がいつも遅れたという逸話まで残っている。
第三に、最も笑える論争として“宴会暗号説”がある。ある講義ノートでは、四平方規則が本来は「席替えの復元」に使われる“裏技”として開発されたと書かれている。もっとも後から別のノートが出てきて、その説は「席替えはたまたま題材だった」と修正された。しかし両方のノートは同じページ番号から始まっており、修正の方にも“ページが濡れて溶けた”という脚注があって、決着がつかなかったとされる[11]。
脚注[編集]
関連項目[編集]
脚注
- ^ 小笠原霽一『沿岸航法手引 第4巻』海軍測量局出版部, 1894.
- ^ 西園寺雅道『格子計算懇談会講義録（非公開版）』東京学友社, 1902.
- ^ P.アドラー『Square Decompositions in Field Navigation』Royal Comptometer Press, 1908.
- ^ 松原貞矩『誤差楕円と整数丸めの実務』大日本数学院報, Vol.7 No.2, 1911.
- ^ M.ベランジェ『On Quadratic Parameters for Coastal Charts』Journal of Applied Arithmetic, Vol.12 No.3, 1920.
- ^ 鈴木織人『宴会暗号としての四平方規則』通信算術研究会誌, 第3巻第1号, 1926.
- ^ 田中杢太『平方の統一的扱い：符号規約の比較』日本航法数学会論文集, Vol.18 No.4, 1931.
- ^ E.ロドリゲス『Lattice Methods for Error Correction』Cambridge Analytical Series, Vol.4, 1937.
- ^ K.ヴェーバー『Separable Proofs and Missing Pages』Annals of Approximate Proofs, 第9巻第2号, 1942.
- ^ 飯田梓『四平方の定理と港湾税還付の伝説』海事史料研究, 1955.
- ^ 【出典が不完全とされる文献】『沿岸航法改訂会議 議事録（復元版）』国立測量公文書館, 1961.
外部リンク
- 沿岸計算機アーカイブ
- 格計懇資料室
- 海図誤差研究フォーラム
- 平方分解オンライン目録
- 港湾税還付伝説集