tan1°有理数確定問題
| 分野 | 整数論・解析的数論 |
|---|---|
| 対象 | tan(1°) の有理性（または非有理性） |
| 別名 | tan1° rationality certification problem |
| 成立経緯 | 1960年代の「角度復号」計画に端を発するとされる |
| 主要手法 | 連分数評価・位相的復元・格子判定 |
| 論争点 | 『確定』の定義が研究者ごとに揺れる点 |
（たんいちどゆうりすうかくていもんだい）は、の正接がであるか否かを「確定」するための数学的手続であるとされる[1]。とくにやに接続する問題として、20世紀後半の研究者間で論争的に扱われた[2]。
概要[編集]
は、の値を直接計算せずとも、ある基準を満たす論証によって「有理数である／ない」を確定することを目標とする問題である[1]。ここでいう「確定」は、証明の形式体系が明示される場合と、観測・推定の積み重ねで十分とされる場合とがあるため、議論が複雑になったとされる[3]。
歴史的には、天文学的な角度計測（例えばとからの換算）で生じる誤差が、当時「有理数らしさ」を帯びて見えることに注目した研究者が、角度を入力として有理性判定を行う枠組みを提案したのが起点とされる[4]。この提案は後に展開の評価を中心に再編され、大学間で「tan(1°)儀式」と呼ばれる実験的ワークフローが定着した[5]。
歴史[編集]
角度復号計画と「1°の封印」[編集]
問題の原型は、にの委託研究として走った「角度復号計画」に求められるとされる[6]。当時、霞ヶ浦周辺で運用された測量ブイの位相ログが、しばしば単位で量子化され、そのとき得られる統計量が「有理数っぽい列」を生成しているように見えたという[7]。
この計画の中核メンバーには、ので学位を得たや、計算機室を率いたのような国際色の強い人員が含まれていたと伝えられる[8]。彼らはtan(1°)を“封印”した理由として「角度が増えるほど誤差の位相が分岐し、証明の芯が散るからだ」と説明したとされるが、実際には、復号器の仕様上の剰余に固定されていたため「1°だけが都合良かった」可能性が指摘されてもいる[9]。
また、計画報告書では「誤差は最大度まで許容」「復号はサイクルで収束」と細かい数字が列挙されており、当時の編集者はそれを“数学的根拠”のように見せるため、故意に強調したとも言われる[6]。このときの書き方が、のちの「確定」という語の温度差を生んだとする見方がある。
形式化と“確定”の定義戦争[編集]
頃から、tan1°有理数確定問題は研究室ごとに異なる「確定条件」を持つようになったとされる[10]。あるグループは、ある整数係数の多項式にtan(1°)を代入し、整合する係数が存在することをもって有理性が確定すると主張した[10]。別のグループは、証明の最終行がに依存するか、より弱い体系で足りるかを重視し、「確定は論理の強さで測る」とした[11]。
この分岐は、国際会議での発表スライドにまで露出したと伝えられる。例えば、で行われた「角度と論証」セッションでは、が「確定は“鍵穴に鍵が入る”こと」だと喩えた一方で、後続の議論では「鍵穴はどの寸法か」という問いが飛び、司会者が“寸法”をやなどと場当たり的に言い換えたため、後年まで記録が引用される羽目になった[12]。
さらにには、計算機検証にかかわる研究者が「10万項の検算を通せば確定とみなす」と提案したが、これが「確定＝確実性の雰囲気」へ傾き、数学者たちの反感を買ったとされる[13]。一方で、解析系の研究者は「有理性判定は雰囲気から始まってよい」と応じ、結果として“確定”の語が複数の意味を抱えたまま定着した。
連分数ブームと「tan1°儀式」[編集]
に入ると、tan(1°)の連分数展開の収束速度が、なぜか「理工系の学部入試の解答順」に似ていると感じられたことが流行の火種になったとされる[5]。そのため大学では、ゼミ開始前にの第一〜第八項だけを暗唱し、最後に「本当に有理かは知らないが、確定っぽい」と言い切る儀式が広がった[14]。
この“tan1°儀式”は、形式的な証明とは別に、研究室の同調を生む装置として機能したと考えられている[15]。もっとも、統計的に見ると儀式が有効だったかは疑わしく、で行われた追跡調査では、暗唱者の誤り率が「暗唱しない群より低いだけ」であったと報告された[16]。にもかかわらず、誤差率の改善が“確定”の説得材料として扱われたため、批判も同時に蓄積した。
研究の枠組み[編集]
tan1°有理数確定問題で用いられる枠組みは、一般に「有理性らしさ」を数値計算ではなく、構造の整合性で確かめる方向に寄せられている[17]。典型的には、をの根として扱う試みや、ある整数母関数からの復元によって、係数が有理数に整流されるかどうかを確認する手順が取られるとされる[18]。
また、形式化の段階ではと呼ばれる離散構造が持ち出されることが多い。格子が「それっぽい形」で満たされるとき、確定条件のうち少なくとも一つが成立するよう設計されているという[19]。ただしこの格子の選び方は恣意性を含み得るため、同じ数に対して別格子を用いると別の結論へ誘導される危険がある、と指摘されている[20]。
近年では、確定を「証明書の存在」と捉える立場もあり、を担当する機構（研究室内ではと呼ばれた）が導入されたとされる[21]。そこでは、証明が整合しているかを単位で機械が査読し、整合が取れた場合のみ“確定済みラベル”が付くという運用が語られている[22]。この運用は、数学的には過剰であるとして笑い話にもされたが、逆に研究の速度を上げたとも報じられた。
具体的なエピソードと“確定”の実例[編集]
もっとも有名な逸話として、にので行われた中間報告が挙げられる[23]。そこでとは、tan(1°)を直接扱わずに、角度の“符号付き半径”から作った補助系列が、項目で「係数が完全に整流された」と主張した[23]。
その整流は次のように説明されたとされる。補助系列の各項は、ある整数列の畳み込みによって生成され、その第項だけが符号の反転なしで一致し、以後は周期で同型写像が繰り返される、という[24]。さらに彼らは「整流の確認にはの許容誤差が必要だった」と述べ、聞き手の多くを置き去りにしたと記録されている[24]。この細かさが、疑念を生む一方で“真剣さの証拠”にもなり、発表は熱を帯びた。
ただし、後に別の研究者が「その補助系列は別の復号器仕様だと第項がずれるはずだ」と指摘し、原報告の設定値が暗黙に選ばれていた可能性が出た[25]。この一件は、tan1°有理数確定問題がしばしば“確定”の定義を同じ言葉で共有していないことを象徴する事例として語り継がれている。
社会的影響[編集]
tan1°有理数確定問題は、純粋数学にとどまらず、測量技術や暗号化の比喩としても流通したとされる[26]。特に、角度を扱う計測機器のベンダーが「tan1°確定アルゴリズム搭載」を謳うことがあり、厳密な意味での有理性判定ではないにもかかわらず、マーケティング上の“確定”が独り歩きしたという[27]。
また、大学の授業では「確定」の曖昧さを使って、論理学の授業を数学の顔で教える試みが広まった。例としての学部では、講義の試験問題に「tan(1°)を有理とみなすかどうか」を書かせ、添削者が“雰囲気採点”をしたと批判された[28]。それでも受講者が増えたのは、答案が短く書けるからだとされ、教育効果よりも運用上の都合が勝った側面がある[28]。
さらに、研究費審査では「確定条件の明確化」を掲げる評価項目が導入され、結果として研究者は“確定”の語に過剰な形式性を付与するようになった。これは数学の健全性を高めた一面がある一方、言葉遊びを誘発し、「証明より先に言葉が決まる」現象も起きたとされる[29]。
批判と論争[編集]
批判の中心は、問題がしばしば「tan(1°)の本体」ではなく「確定の置き方」に依存している点にあるとされる[20]。つまり、同じ“有理数”という言葉でも、・・が変われば結果が変わり得るため、数学的な一意性が損なわれるという指摘がある[19]。
また、連分数ベースの手法は、収束の速さを根拠に“有理っぽい”結論を急ぎやすいと批判された[30]。一方で擁護側は「連分数は情報圧縮の鏡像であり、適切に設計すれば確定を与える」と反論したという[17]。この論争は長引き、議論の末に“確定”の用語を「宣言確定」「機械検証確定」「体系確定」の三種類に分ける提案が出されたが、結局は運用が追いつかず、会議資料だけが増えたとされる[31]。
さらに、一部では「tan1°有理数確定問題は、角度復号計画の失敗を数学で覆うための看板だったのではないか」という噂も流れた[32]。根拠は薄いとされるが、少なくとも当時の報告書に見られる過剰な細目（例としてサイクルのような数値）が、後から追加された編集痕跡に似ているという観測があるとされる[6]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「角度復号計画におけるtan(1°)の取り扱い」農林水産省水理測量局研究報告, 1967.
- ^ Martha A. Thornton「Rationality certification via continued-fraction mirrors」Journal of Applied Number Realities, Vol. 12 No. 3, 1971, pp. 41-58.
- ^ 榊原ユウ「第31項が語るもの：系列整流の試験運用」京都数理情報研究センター紀要, 第4巻第2号, 2014, pp. 12-29.
- ^ Hermann John「On the meaning of “certainty” in angle-based proofs」Proceedings of the Oxford Session on Argument Geometry, Vol. 7, 1993, pp. 201-219.
- ^ 田中カオル「連分数の収束速度と“確定っぽさ”の統計」日本数理教育学会誌, 第22巻第1号, 2002, pp. 77-96.
- ^ 伊藤真琴「格子による復元とtan(1°)の擬似同型」数理工学レビュー, Vol. 19 No. 1, 1986, pp. 9-33.
- ^ Lewis A. Grayson「Machine-verifiable certainty in symbolic logs」Cryptographic Proof Atelier Reports, 第11巻第4号, 2009, pp. 301-320.
- ^ Dr. Claire M. Voss「Tolerance thresholds in rationality rituals」International Journal of Overfitting Theorems, Vol. 5 No. 2, 2016, pp. 88-104.
- ^ 佐藤正彦「角度が先か、言葉が先か：確定の定義戦争」数学と言語研究, 第3巻第3号, 1999, pp. 55-73.
- ^ 井上礼子「tan1°儀式の社会史的観察（試論）」名古屋学術年報, 2020, pp. 1-18.
外部リンク
- tan1°アーカイブ（暫定閲覧）
- 角度復号計画デジタル展示室
- 連分数ミラー研究会
- 証明室運用マニュアル
- tan1°儀式ファンネルデータ