フェルマーの中定理
| 分野 | 初等整数論、証明技法 |
|---|---|
| 提唱とされる人物 | ピエール・ド・フェルマー（伝承） |
| 成立の文脈 | 中間値の挟み込み（と称される作法） |
| 代表的な言い換え | 「両端より先に中を確保する」 |
| 波及先 | 検証式推論、暗号用“中点”検査 |
| 関連概念 | 中間合同、挟み込み補題 |
| 備考 | 出典は版によって語られ方が異なる |
フェルマーの中定理（ふぇるまーのちゅうていり、英: Fermat’s Middle Theorem）は、素数論の研究者の間で「ある条件を“中間に挟む”と議論が閉じる」と説明される命題である。主にフランスの学術サークルで伝播し、のちに教育現場の“証明作法”にも影響したとされる[1]。
概要[編集]
フェルマーの中定理は、整数の性質を扱う際に「両端（境界）に相当する条件を置いたあとで、中間に相当する枠組みを先に整えると結論が出る」という、半ば作法的な命題として紹介されることが多い。
形式的には複数の流派により言い換えられており、共通点として「観察対象を中間点（または中間領域）に写像し、その写像の整合性によって“矛盾の出口”が固定される」とされる。ただし、言い換えのための補題が流派ごとに増殖した結果、研究史を追うほど内容が滑らかに変質していったとも指摘されている。
このため本定理は、数学そのものよりも「証明を書き換えるときの編集ルール」を体系化したものだと見なされることもある。とくにパリの大学の演習では、最初に“中を置け”という掛け声が使われたと伝えられる[2]。
成立経緯[編集]
工学者たちの“中点検査”が原型とされる背景[編集]
本定理の原型は、17世紀後半にで行われた測量誤差の補正計画にあるとする説がある。測量隊は、山の尾根から尾根へと連なる距離を記録する際、端点の誤差は大きい一方で中点の誤差は比較的小さい、という経験則を得た。
そこで彼らは、距離の連結を“端”で直接つなぐ代わりに、測定線をいったん中央のマーカー（仮の中点）へ投影し、その投影先で誤差が整合するかだけを確認する方式を採用した。結果として検算が速くなり、記録官が「証明でも同じように中を先に固めるべきだ」と書き残したことが、のちに本定理へと転用されたとされる[3]。
この転用の具体例として、記録官のメモには“中点の位置は毎回、端点から 31.25% と 68.75% の比で置く”とあり、細かすぎるほど再現性を意識していたことが知られている。もっとも、当時の地理条件が一定だったことを思えば、細則が“数字の呪い”になった可能性もあると、後世の編集者は慎重に書き添えている[4]。
フェルマーの手紙文化と「中定理」という呼称[編集]
「フェルマー」という名は、実際の証明者というよりも、手紙文化の中心にいた“編集者”として扱われることが多い。伝承では、フェルマーがある若手に送ったとされる書簡に「結論へ急ぐな。中を挟め」とだけ短く書かれていたとされる。
この手紙が写本としてを経由して広がる過程で、受け取った研究者が“中を挟む操作”を独立した命題として並べ替え、結果として「中定理」という呼称が自然に生まれた、と説明される[5]。さらに別の系統の資料では、呼称の由来が「定理の草稿が“中腹”のページに挟まっていた」からだという、やや雑な語りも残っている。
ただし、草稿が実際に存在したかどうかは版ごとに揺れがあり、初期の編者は出典欄に『本人の蔵書から』とだけ記し、後期の編者は『修道院の帳簿に類似記載あり』と補足したともされる。こうした“出典の増築”が、定理の意味をさらに増殖させたと論じられることが多い。
内容（流派ごとの“中”の取り方）[編集]
フェルマーの中定理は、単一の厳密な式としてよりも、複数の“中”の取り方の総称として扱われることが多い。たとえば初等整数論の流派では、両端を「仮定（前提）」と「結論（目的）」に見立て、中間領域を「途中で正しさが確定する補助命題」と捉える。
一方で、検証式推論（verifier calculus）に近い研究者は、中を“検査器”そのものとして定義した。つまり証明は文章ではなく手続きであり、中定理はその手続きの途中に置く検査ステップが、常に同じ形で終了することを保証する、とされるのである。
さらに暗号寄りの研究者は、本定理を“中点”の整合性に結びつけた。彼らによれば、鍵の構築では端点の性質は漏えいしやすいが、中点での合同条件は攻撃者が同時に満たしにくい。そこで本定理が、数学というより運用ルールとして会議で引用され、実装上のテンプレートに落ち込んだとも言われている。
なお、ここまでで共通するのは「中を先に固めると、あとの選択が勝手に収束する」という素朴な達観である。とはいえ、その“勝手に収束”が何を意味するかは流派ごとに違っており、編集合戦になりやすかった、との議事録が述懐している[6]。
社会的影響[編集]
教育の現場での「中挟み採点」[編集]
本定理が広まったことで、証明課題の採点基準が変わったとする逸話がある。19世紀後半、の採点担当者は、答案の評価を「前提の置き方」「中間の整合性」「結論への接続」の三項目に分割し、中間に誤りがある答案は残りを読まずに止める方式を導入した。
この制度は学生から“中挟み採点”と呼ばれ、当初は講義ノートの余白に「中だけ丸をつけろ」と指示されたことが知られている。さらに詳細に言えば、丸をつけるのは余白の左上から 3.0センチ 以内に収められた記号に限り、書き直しは 2回まで 許されるという、やけに運用細則のある規則があったという[7]。
もっとも、これは後年の編集者が“採点の怖さ”を強調するために脚色した可能性もある。一方で、当時の学生の手紙には「先生は中の行数を数えてから笑った」とあるため、運用の原型があったことは否定しがたいとされる。
法務・行政における“中定理”の転用[編集]
数理の用語が行政へ流入した例として、パリの省庁文書に“中定理式”という言い回しが登場したことが挙げられる。これは、契約審査で「端の条件」を形式的に並べただけではなく、中間条件（履行の中間報告、検収の中間基準）を先に固定しておくべきだ、という政策提案の文体に、本定理の比喩が借用されたとされる。
具体的には、（当時の仮称）では審査表の項目数を 17 に揃え、そのうち中間欄を 5項目 だけ先行承認する運用を試したと記録されている。結果として差し戻し回数が減ったのは事実とされるが、同時に中間欄の形式化が進み、柔軟な現場判断が失われたという批判も同時に残った[8]。
このような転用は、数学の比喩が“手続き化”されると制度が強くなる一方、数学に固有の柔らかさが剥げ落ちることを示す事例として引用されている。
批判と論争[編集]
フェルマーの中定理は、便利な比喩として評価される一方で、意味の輪郭が曖昧なまま流通したために、論争も絶えなかった。とりわけ批判側は、「“中を挟む”という言い方は正しいように見せながら、肝心の対応関係が曖昧だ」と指摘した。
また、ある数学史家は「中を置いた瞬間に“結論が勝手に出る”という語りは、実際には操作の自由度を隠している」と論じ、教育現場での“中挟み採点”が学生の発想を収縮させた可能性を問題視した[9]。これに対し擁護側は「発想の収縮ではなく、検証の習慣化だ」と反論し、証明の読み替え速度が上がったとする調査を持ち出した。
ただし、その調査票の集計には “中間行数の平均が 8.6 行に収束した” などの数字が並ぶ一方、母数や測定方法が書かれていないため、要出典のまま残されたとされる。編集過程でその欄に“要説明”の注があるのは、どの版にも共通しているという[10]。
脚注[編集]
関連項目[編集]
脚注
- ^ Jean-Louis Martineau『中定理と中点検査の系譜』パリ科学出版社, 1884.
- ^ Élodie Carreau『証明作法としての“中”——採点制度の社会史』リヨン大学出版局, 1921.
- ^ Margaret A. Thornton『Verifier Calculus in Early Modern Europe』Oxford Academic Press, 1969.
- ^ Philippe de Saint-Quentin『フェルマー伝承資料の比較版：余白と書簡』ガリマール数学叢書, 1977.
- ^ Kazuo Nishimura『整数論教育における中間評価の導入（架空調査）』東京書林, 1988.
- ^ R. W. Henshaw『Contract Review as a Proof Metaphor』Cambridge Legal & Logic Review, 第12巻第3号, pp. 41-66, 1994.
- ^ Marie-Christine Delorme『暗号的中点条件と素数論の接続』Revue de Cryptologie, Vol. 22, No. 1, pp. 13-29, 2003.
- ^ Satoshi Hayashi『“中挟み”の設計思想：手続きと柔らかさの関係』日本応用数学会紀要, 第7巻第2号, pp. 201-219, 2011.
- ^ Niels Kragh『Fermat in the Margin: An Annotator’s Guide』Springer Monographs in Logic, 2016.
- ^ A. M. Dupont『要出典のまま残った中定理』数学史研究通信, Vol. 3, No. 4, pp. 1-19, 2020.
外部リンク
- Fermat Archive（仮）
- Middle Point Society（仮）
- Proof Margin Index（仮）
- Lyon Manuscript Registry（仮）
- Verification Education Portal（仮）