フェルマーの定理の証明に関して、ゲルハルト・フライが提示した式

回答がつかないようので門外漢ながら。

y^2=x^3+(A^N-B^N)x^2-A^N*B^N

は

A^N+B^N=C^N

から導き出すものではないです。

もし仮にフェルマー予想が誤っていると仮定すると、

A^N+B^N=C^N

を満たすようなA,B,Cが存在します。

その様なA,B,Cの組み合わせに対して、

y^2=x^3+(A^N-B^N)x^2-A^N*B^N

という楕円曲線を想定し、その性質を考察した、というのがゲルハルト・フライの業績です。

もしフェルマー予想が誤っていると仮定すると「この楕円曲線はモジュラーではない」という性質が導きだせるだろう、とフライが予想しました。

その後、ケン・リベットがその予想を証明しました。

「フェルマー予想が誤っているならば、フライの楕円曲線はモジュラーではない」となったのです。

それとは別に「全ての楕円曲線はモジュラーである」という予想があり、かつこれはおそらく正しいだろうと考えられていました。

この予想が証明されれば、

「フェルマー予想が誤っているならば、フライの楕円曲線はモジュラーではない」

しかし、「全ての楕円曲線はモジュラーである」ので矛盾

ゆえに「フェルマー予想は正しい」

という背理法が成立することになります。

そして、「全ての楕円曲線はモジュラーである」予想が証明され、「フェルマー予想は正しい」ことも証明されました。

と、その本にもそう書いてあるのではないでしょうか?

http://ja.wikipedia.org/wiki/%E8%B0%B7%E5%B1%B1%E3%83%BB%E5%BF%9...

> が出てきた数学的な過程を知りたいです。

なるほど。

詳しくは楕円曲線の判別式について解っている必要があると思うのですが、私は解りませんw

でもそれが強い関わりを持っているらしいです。

http://mathworld.wolfram.com/FreyCurve.html

のページ。

冒頭にでてくるは、質問にあると同じです。

aとbを入れ替えて展開すると質問の式になります。

これの判別式Δ(elliptic discriminant)が、となるそうです(この時点ですでに私の理解を超えています)。URLで示したページではと書いてありますが同じことです。

フライの式では、判別式がこういう形式をしていることが重要なポイントらしいです。

逆に言うと、「判別式がこの形になるような楕円曲線」をフライが見いだしたということなので、

A^N+B^N=C^N

を並び替えた

という記述はそのことを指して言っているのではないでしょうか。