Теорема Ферма и док-во Уайлса

[temp03]

Уайлс доказал справедливость гипотезы Таниямы-Шимуры: всякая эллиптическая кривая с рациональными коэффициентами является модулярной.
Если бы была не всякая, то утверждение Рибета, что кривая Фрея немодулярна не имело бы смысла, т.к. может быть на ней всё же были бы рациональные точки.
Но раз на немодулярных кривых таких точек быть не может, то не может быть и на кривой Фрея. Это доказал Уайлс.

[gervladger]

Кстати, а может кто-нибудь дать ссылку на источник, где бы содержался вывод кривой Фрея?

[zer0]

gervladger в сообщении #748247 писал(а):

temp03 в сообщении #748243 писал(а):

не может

Т.е. Рибет доказал, так сказать, ВТФ, а Уайлс его утвердил (если можно так сказать)?

Рибет? С таким же "основанием" можно сказать, что теорему доказал Фрей (или даже Танияма).
Но кто доказал последние звено в цепи - тот и доказал теорему (т.е. Уайлс).

Вообще, почитайте Стингха "ВЕЛИКАЯ ТЕОРЕМА ФЕРМА" - доступно и увлекательно.

[denisart]

zer0 в сообщении #748531 писал(а):

Вообще, почитайте Стингха "ВЕЛИКАЯ ТЕОРЕМА ФЕРМА" - доступно и увлекательно.

(Оффтоп)

Только такое нашел
Саймон СИНГХ "ВЕЛИКАЯ ТЕОРЕМА ФЕРМА"

[temp03]

gervladger в сообщении #748530 писал(а):

Кстати, а может кто-нибудь дать ссылку на источник, где бы содержался вывод кривой Фрея?

а что её выводить??? Это обычная эллиптическая кривая, такая же как и сотни других. Взята можно сказать "с потолка". Просто приведите её к форме Вейерштрасса, посчитайте дискриминант, а затем предположите что $a^n+b^n=c^n$, (теорема Ферма) - и посмотрите какой получится кондуктор.

[gervladger]

temp03 в сообщении #748560 писал(а):

gervladger в сообщении #748530 писал(а):

Кстати, а может кто-нибудь дать ссылку на источник, где бы содержался вывод кривой Фрея?

а что её выводить??? Это обычная эллиптическая кривая, такая же как и сотни других. Взята можно сказать "с потолка". Просто приведите её к форме Вейерштрасса, посчитайте дискриминант, а затем предположите что $a^n+b^n=c^n$, (теорема Ферма) - и посмотрите какой получится кондуктор.

А как избавиться от $c$?

[temp03]

$c^n=a^n+b^n$

[zer0]

(Оффтоп)

denisart в сообщении #748533 писал(а):

Только такое нашел
Саймон СИНГХ "ВЕЛИКАЯ ТЕОРЕМА ФЕРМА"

Это оно (у меня опечатка, но теперь не поправишь)

[gervladger]

temp03 в сообщении #748563 писал(а):

$c^n=a^n+b^n$

?

[temp03]

вы замену переменной проходили? У вас в кривой Фрея есть $a^n,b^n$ вот и выражайте $c^n$ через них

-- Вт июл 23, 2013 16:12:44 --

вначале узнайте что такое форма Вейерштрасса и как кривую Фрея к ней привести

[gervladger]

А где в этой статье ошибка? http://yvsevolod-28.narod.ru/vseva28/FINNON1.pdf

-- Вт июл 23, 2013 17:25:33 --

temp03 в сообщении #748594 писал(а):

вы замену переменной проходили? У вас в кривой Фрея есть $a^n,b^n$ вот и выражайте $c^n$ через них

-- Вт июл 23, 2013 16:12:44 --

вначале узнайте что такое форма Вейерштрасса и как кривую Фрея к ней привести

А чего ссылку-то не дать?

[temp03]

на что??? на форму Вейерштрасса?

[gervladger]

temp03 в сообщении #748623 писал(а):

на что??? на форму Вейерштрасса?

Да нет, на кривую Фрея.

[tolstopuz]

gervladger в сообщении #748606 писал(а):

А где в этой статье ошибка? http://yvsevolod-28.narod.ru/vseva28/FINNON1.pdf

Первая ошибка на странице 2. В формулах (2) автор путает переменные $X$ и $Y$ эллиптической кривой с ее коэффициентами. В результате получается формула (6), где $X$ нет вообще, то есть автор в принципе не понимает, чего он делает.

[gervladger]

Наткнулся вот на какую работу http://evrikaaz.narod.ru/m1.ru.htm
Получается, что в настоящее время доказано, что $0≠0$, поскольку кривой Фрея не существует?