この教科書ではフェルマーの定理を検討するために必要な材料となるそれに関係する専門知識や技術について集めることにしたい。
(1) 不定方程式とは何か? この問題は最初に、ある種の不定方程式の解のふるまいというテーマで開始されたことから不定方程式に関して検討する。
(2) 無限降下法は技術か? 4,3のときは既に論文があるが、 3の場合は 補題が6つついた定理を適用するもので、難解で、哲学者の間でも、理想的な構成かどうか
はっきりしていない。しかも、3のときは、u^p+w^p+w^p=0 という式も出てきて非常に理解困難である。
(3) エレガントな技術ぬきにして、性格だけに着目した愚直な証明と言うのは存在するのか? 証明とは何か? 証明論
例
背理法による√2が無理数の証明 背理法とは何か? 公理系や定義といったその界隈の致命的なところに矛盾させるもの
背理法による証明はエレガントであるか? 学会ではまだ意見がない 話にならない
(4)発見された経緯 整数の分野に対して興味を持っていた人が発見
専門知識はほとんどない。 技術は、背理法=無限降下法による。 受験生でも分かる部分的な議論 p^4+q^4 は 整数の2乗にならないことから開始する。
(2p)^4+q^4 は自然数の2乗にならないことを証明していく。非常に真面目な精神作業となり、苦しい。最終的に無限降下法を適用することも、それがどのような技術なのか皆目不明。
(5)関係する先生 誰もおらず何の生産性もない。 早稲田大学の雪江というごみ・・・ やる気がない。