20世紀後半にワイルズにより解決されたフェルマー大定理は nを2より大きな自然数とするとき， 方程式X^n+Y^n=Z^nは0とは異なる整数解をもたない． というものだ。 ここでは、その複素数版の制約事項付きの証明を考える。証明といっても疎かかつ準初等的な流…