>>760

”フライ曲線”(=楕円曲線の一種)は、フェルマーの最終定理の証明に用いられたんだ(下記)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
(抜粋)
目次
3.4 フライ・セール予想

フライ・セール予想
1984年にゲルハルト・フライはフェルマーの最終定理に対する反例 an + bn = cn からはモジュラーでない楕円曲線(フライ曲線):
y2 = x(x ? a^n)(x + b^n)
が得られ、これは谷山?志村予想に対する反例を与えることになるというアイディアを提示。
ジャン=ピエール・セールによって定式化されたこの予想はフライ・セールのイプシロン予想と呼ばれ、1986年にケン・リベットによって証明された。
(引用終り)