マネトスの定理の証明
| 分野 | 代数解析学、数理形式論 |
|---|---|
| 対象 | マネトスの定理 |
| 起源 | 1868年ごろ、オーストリア＝ハンガリー帝国 |
| 提唱者 | エルンスト・フォン・マネトス |
| 主要文献 | 『Über die Manetische Gleichgewichtung』 |
| 代表的適用 | 熱力学、航法、都市配電網 |
| 特徴 | 証明過程において補助変数を先に消去する |
| 異名 | 逆向きの証明、節約証明 |
マネトスの定理の証明（マネトスのていりのしょうめい）は、においての偏りをで相殺する手続きを指す、19世紀後半に確立された証明体系である。しばしばという俗説で知られ、の講義録を起点に各国へ広まったとされる[1]。
概要[編集]
マネトスの定理の証明は、が与える不変量の釣り合いを、証明の構成そのものに埋め込む方式である。通常の証明が「命題を順に導く」のに対し、本手法では先に結論の形を固定し、そこから逆算して補題を配置する点に特色がある。
この方式は、後半ので生まれたとされるが、実際にはの夜間講座で、欠席者向けに板書を短くする必要から考案されたという説が有力である。なお、証明の最後に現れる「余剰仮定の自動消滅」は、当時の受講者が最も驚いた現象であったと記録されている[2]。
歴史[編集]
起源[編集]
起源は、の測量局に勤めていたが、沿岸の堤防計算で「式の両側に現れる誤差が、証明文中でも同じ速さで増える」ことに気づいたことに求められる。彼はこの現象を「証明の潮汐」と呼び、補助命題を先に配置する草稿法を編み出したとされる。
もっとも、後年のの研究では、マネトス本人ではなく助手のが草稿の大半を整えた可能性が指摘されている。彼女のノートには、定理の証明を「縫い目のない外套」にたとえる記述が残されているが、原本の所在は不明である。
普及[編集]
にはの例会で、が「マネトス式逆証明」を熱力学の状態方程式に応用し、会場のガス灯が三度消えた逸話が知られている。この講演は学会誌に要約のみ掲載されたが、聴講者の一人が『証明の半分を先に燃やした』と書簡に記しており、当時の熱狂ぶりを示している。
一方で、にもごろ紹介され、が和算の「反転帰納」と接続したことで、証明の行数を平均で17%削減できたとされる。もっとも、この数値は講義録の欄外に手書きで書かれただけであり、統計的根拠は薄い[3]。
体系化[編集]
に入ると、のが、マネトスの定理の証明を三段階に整理した。すなわち、第一に結論の外枠を定義し、第二に不要な補題をあえて挿入し、第三にそれらを相殺することで、証明全体に「見かけの余白」を作るのである。
この方法は、のちにの先駆けとして扱われたが、実務上は「長い証明を短く見せるための美学」として受容された面が大きい。特にのでは、参加者の一部が証明を読み終える前に拍手したため、議事録では「理解より先に礼儀が完了した」と評された。
証明の手順[編集]
標準的なマネトスの定理の証明は、まず定理の結論をとの交点に置き、その後に中間補題を三層に分けて挿入する。このとき、最外層の補題は後で必ず打ち消されるよう記述され、証明文の見かけの密度を高める役割を担う。
次に、を用いて対象量の偶奇を整え、最後に「対称変換の差分」を導入する。ここで差分が零になることを示せば証明は完了するが、実際には零になる前に証明者が納得してしまうことが多く、の講義では「学生の半数がここで帰った」と記録されている[4]。
なお、古典的な流派では、証明の最後に必ず一度だけの引用句を挿入する慣習がある。これは意味内容よりも、読者に「まだ終わっていない」と思わせるための心理的な装置であると解釈されている。
応用[編集]
熱力学への応用[編集]
では、マネトスの定理の証明を用いることで、増大の議論における余剰仮定を整理できるとされた。とくにのでの講義では、証明を適用した結果、蒸気機関の効率計算が黒板一枚分だけ短縮されたという。
ただし、工学者の間では「証明が短いほど機関が速くなる」という誤解も生まれ、実際にの製糖工場で証明書を炉に投じる騒動があった。工場長は翌日、『数学は燃やしても砂糖にはならない』と書き置きを残したとされる。
都市計画への応用[編集]
の都市計画局では、1930年代に配電網の最適化へ応用された。各区画における需要と供給を「証明の両側」とみなし、交差点の数を先に固定してから路線を引く方式が採用されたのである。
この手法により停電件数がに前年比12%減少したとする報告があるが、同報告の末尾には「なお、分析担当者の机は常に散らかっていた」とあり、証明の整頓と実務の整頓は別問題であることが示されている。
批判と論争[編集]
批判の中心は、マネトスの定理の証明が「証明した気にさせるだけではないか」という点にあった。とりわけのでは、に『美しいが危険な省略』と題する報告が読み上げられ、補題の省略率が高い証明は誤読を招くと警告された。
また、にはが、当時流布していた証明例のうち4割が実際にはマネトスの定理ではなく別の補題系に属すると指摘した。これに対し擁護派は、「証明は真実を示すだけでなく、真実に到達する経路の記憶装置でもある」と反論している。
もっとも、一般紙ではこの論争が「数学者が証明の長さで喧嘩した事件」として報じられ、紙は翌日付で『定理は短く、議論は長い』と見出しを打った。
文化的影響[編集]
マネトスの定理の証明は、学術界のみならず書法や建築にも影響を与えたとされる。後期の一部設計者は、証明の「先に外枠を置いてから内部を埋める」思想を平面構成に転用したほか、の数寄屋建築における「余白の先置き」との類似がしばしば論じられた。
さらに、以降の学生運動では、「マネトス証明のように、結論を先に掲げよ」というスローガンが壁に書かれた記録がある。ただし、実際に何を掲げるべきかは各校で解釈が分かれ、では数式、では学費、では毛糸の帽子が掲示されたという。
現代的評価[編集]
現代では、マネトスの定理の証明はにおける「逆算的思考」の教材として用いられている。特に以降は、証明支援ソフト上で補助仮定を可視化しながら学ぶ手法が普及し、理解の早い学生は45分、遅い学生は3日で体得するとされる[5]。
一方で、研究者の間では依然として賛否が分かれる。支持者は「証明の無駄を削るのではなく、無駄の配置を設計する学法である」と評価するが、反対派は「削減されたのは文字数であって論理ではない」と批判する。この対立は現在もの分科会でしばしば再燃している。
脚注[編集]
[1] マネトス本人の現存資料は少なく、初出の特定には異説がある。
[2] ただし、この講座記録は第二次写本であり、原資料の筆跡は確認されていない。
[3] 17%という数値は、講義録の余白に記された「だいたい二割弱」を後世の編集者が換算したものである。
[4] この逸話は複数の回想録に見えるが、会場が同一であったかは定かでない。
[5] 体得時間には大きな個人差があり、特に初学者は「証明が先に終わる」現象に戸惑うとされる。
関連項目[編集]
脚注
- ^ Ernst von Manetos『Über die Manetische Gleichgewichtung』Kaiserliche Akademische Druckerei, 1871.
- ^ カロリーネ・ヴェルナー『マネトス草稿帳とその周辺』ウィーン書院, 1892年.
- ^ Adolf Lautenberg, “On the Shortening of Proofs by Symmetric Cancellation,” Annalen der Reinen Formwissenschaft, Vol. 14, No. 3, pp. 201-233, 1884.
- ^ 藤堂清二『反転帰納と和算補助線』東京堂書店, 1902年.
- ^ Rosa Eichholtz, “Three-stage Normalization of Proof Narratives,” Zeitschrift für Algebraische Logik, Vol. 7, No. 1, pp. 11-49, 1931.
- ^ ブレスト数学批評会編『定理証明の省略率に関する報告集』海鳴社, 1950年.
- ^ Karl Brenner『The Misattributed Lemmas of Manetos』Cambridge Mathematical Press, 1962年.
- ^ 渡辺精一郎『証明の潮汐学』北辰館, 1978年.
- ^ H. V. Mertens, “Entropy and the Manetian Argument in Civic Grids,” Journal of Applied Formal Studies, Vol. 22, No. 4, pp. 417-442, 1994.
- ^ 『証明はどこへ消えたか――マネトス定理再訪』数理批評新書, 2016年.
外部リンク
- Manetos Archive Online
- ウィーン数学史資料館
- 代数解析学デジタル講義室
- 証明美学研究会
- マネトス注釈委員会