AlesСамое интересное не в этом. Самое интересное, что если расширить кривую Фрея до
![$y^2=x(x-a^n)(x-c^k)$ $y^2=x(x-a^n)(x-c^k)$](https://dxdy-03.korotkov.co.uk/f/6/f/d/6fdb895e5b78c775f87c26686982bcdd82.png)
, то получится эллиптическая кривая
![$y^2=x^3-\dfrac{a^{2n}-a^nc^k+c^{2k}}{3}x-\dfrac{(2c^k-a^n)(c^k-2a^n)(c^k+a^n)}{27}$ $y^2=x^3-\dfrac{a^{2n}-a^nc^k+c^{2k}}{3}x-\dfrac{(2c^k-a^n)(c^k-2a^n)(c^k+a^n)}{27}$](https://dxdy-03.korotkov.co.uk/f/6/b/d/6bd1df92fdac1388f32d47ea2dc2eaa382.png)
Ее дискриминант равен
![$\Delta=a^{2n}c^{2k}(c^k-a^n)^2$ $\Delta=a^{2n}c^{2k}(c^k-a^n)^2$](https://dxdy-02.korotkov.co.uk/f/d/7/a/d7af683746b578abf87d41dfd272e71f82.png)
, т.е. если
![$c^k-a^n=b^m$ $c^k-a^n=b^m$](https://dxdy-04.korotkov.co.uk/f/b/e/2/be2b1e7f49d3c1a6af378f2bd720af3582.png)
, то
![$\Delta=a^{2n}b^{2m}c^{2k}$ $\Delta=a^{2n}b^{2m}c^{2k}$](https://dxdy-03.korotkov.co.uk/f/a/a/f/aafac9a38459b3faa2ad407ae9addafa82.png)
.
Последнее, есть не что иное как кондуктор уравнения
![$x^n+y^m=z^k$ $x^n+y^m=z^k$](https://dxdy-04.korotkov.co.uk/f/b/f/9/bf99ac53b97bc4f5ecccecf4904e0d7982.png)
.
Т.е. для уравнения
![$x^n+y^m=z^k$ $x^n+y^m=z^k$](https://dxdy-04.korotkov.co.uk/f/b/f/9/bf99ac53b97bc4f5ecccecf4904e0d7982.png)
мы получаем
те же самые условия, что и для теоремы Ферма и точно такой же результат
![:!: :!:](./images/smilies/icon_exclaim.gif)
Теперь очень интересно и очень важно понять каким образом трансформируется теорема Рибета. Будет ли получен тот же самый результат, и может ли данная кривая быть модулярной
![:?: :?:](./images/smilies/icon_question.gif)
По сути, вместо одного простого числа
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
там будут фиксироваться три
![$n,m,k$ $n,m,k$](https://dxdy-02.korotkov.co.uk/f/d/7/4/d7449073e8b06890b52a46be01c6793982.png)
. Это единственное различие. Повлияет ли это на модулярность?
Т.е. вместо кондуктора
![$N_n$ $N_n$](https://dxdy-03.korotkov.co.uk/f/a/9/a/a9adf832b20257e42cdb334e471b470782.png)
будет получен кондуктор
![$N_{n,m,k}$ $N_{n,m,k}$](https://dxdy-02.korotkov.co.uk/f/1/2/b/12bd5938201bce4fcccc8483c4e025b782.png)
. Суть та же самая! Т.е. это
не должно влиять на модулярность никак. Т.е. эта кривая также не может быть модулярной!