Великая теорема Ферма. Классическое доказательство

[shwedka]

victor_sorokin в сообщении #244521 писал(а):

°) $D=(bc)^{pnn}+(ac)^{pnn}-(ab)^{pnn}$ в базе $m$ оканчивается на цифру 1,

Напишите подробное доказательство. Увидите ошибку.

[victor_sorokin]

shwedka в сообщении #244536 писал(а):

victor_sorokin в сообщении #244521 писал(а):

°) $D=(bc)^{pnn}+(ac)^{pnn}-(ab)^{pnn}$ в базе $m$ оканчивается на цифру 1,

Напишите подробное доказательство. Увидите ошибку.

Число $(bc)^{pn}$ в базе $m=pn+1$ оканчивается, согласно малой теореме Ферма, на цифру 1.
Возведение этого числа в ЛЮБУЮ степень окончания не меняет.

[shwedka]

victor_sorokin
Да, здесь правильно. А теперь просчитайте подробно Ваш пятый пункт.

[victor_sorokin]

shwedka в сообщении #244554 писал(а):

victor_sorokin
Да, здесь правильно. А теперь просчитайте подробно Ваш пятый пункт.

Здесь ошибка. Ищу выход.

[shwedka]

victor_sorokin в сообщении #244604 писал(а):

shwedka в сообщении #244554 писал(а):

victor_sorokin
Да, здесь правильно. А теперь просчитайте подробно Ваш пятый пункт.

Здесь ошибка. Ищу выход.

Ай, Ай!!!
Ошибка в пятом пункте!! симптоматично!

[victor_sorokin]

shwedka в сообщении #244609 писал(а):

Ай, Ай!!!
Ошибка в пятом пункте!! симптоматично!

Не радуйтесь - Вы все равно проиграли...

-- Пт сен 18, 2009 23:58:03 --

victor_sorokin в сообщении #244604 писал(а):

shwedka в сообщении #244554 писал(а):

victor_sorokin
Да, здесь правильно. А теперь просчитайте подробно Ваш пятый пункт.

Здесь ошибка. Ищу выход.

Ошибка исправлена. Получается, что число $[ab-(a+b)c]c^n$ кратно $m$. Идет проверка.

[age]

victor_sorokin
Больше всего мне нравится, как вы жирным шрифтом выделяете коричневыми буквами:
Элементарное доказательство Великой теоремы Ферма!
Я так не умею!

[anwior]

shwedka писала:

KORIOLA
Я готова прилюдно принести извинения, если Вы укажете конкретный пример 'четко излагаемого доказательства',
принадлежащего victor_sorokin (или кому-нибудь еще), которое я незаслуженно оболгала и которое оказалось правильным. --- конец цитаты.

Прецедент есть (см. стр. 3 моей закрытой темы). 22 марта 2008 года я просил тебя исправить (отредактировать) свой (твой же)
пост от 15 марта 2008 года, но ты этого не сделала. А ведь именно в нем ты незаслуженно оболгала
мое правильное доказательство для Случая II как для $p=3$, так и для всех $p$, больше 3 (без ограничений сверху).
А насчет кочки и Эвереста, то можешь смело
укорять себя-- ведь продешевила в запросе от 5 марта 2008 г. (см. стр. 2 моей закрытой темы).

[age]

anwior
А если посчитать все неверные посты и доказательства, которые "ваша группа" (Вы, Николай Лощкарев, KORIOLA! , Любарцев, Семен, пресловутый Леонид Вайсруб , Виктор Ширшов, ну и конечно же Виктор Сорокин) здесь изложила - сколько томов энциклопедии получится?
Можно посоветовать модераторам сделать группу "Заслуженные ученые по неверным постам" - и туда занести всех этих авторов.

[shwedka]

anwior в сообщении #244719 писал(а):

А ведь именно в нем ты незаслуженно оболгала
мое правильное доказательство для Случая II как для $p=3$, так и для всех $p$, больше 3 (без ограничений сверху).

Правильного доказательства для этого случая не наблюдалось. Объяснений, что нужно менять в моем посте не получено.
Прошу не 'ты'кать.

[victor_sorokin]

age в сообщении #244656 писал(а):

victor_sorokin
Больше всего мне нравится, как вы жирным шрифтом выделяете коричневыми буквами:
Элементарное доказательство Великой теоремы Ферма!
Я так не умею!

Проект должен выглядеть красивым.
=========================

В связи с неясностью в завершении последнего доказательства отвлекусь от него на некоторое время для реализации интересной идеи, появившейся в процессе доказательства. Итак,

В равенстве Ферма (при $abc$ не кратном $n$)
1°) $a^n+b^n=c^n$ и
1a°$a^n=(c-b)P, b^n=(c-a)Q, c^n=(a+b)R$, где простое $n>2$,
после устранения общих делителей чисел $a, b, c$ число
2°) $u=a+b-c$, как хорошо известно, делится как минимум (возьмем это значение) на $n^2$, а числа в парах $a, c-b$; $b, c-a$; $c, a+b$; и в четверке чисел $a^{n-1}, b^{n-1}, c^{n-1}, 01$ сопоставимы по модулю $n^2$.

И тогда число
3°) $d=(bc)^{n-2}+(ac)^{n-2}-(ab)^{n-2}$ делится на $n^2$, поскольку число $d(abc)$ (согласно 2°) делится на $n^2$.

Аналогично число
4°) $e=abc(a^{n-2}+b^{n-2}-c^{n-2})=(abac)^{n-2}+(abbc)^{n-2}-(bcac)^{n-2}$ делится на $n^2$, поскольку число $(bc)^{n-2}+(ac)^{n-2}-(ab)^{n-2}=d$ (согласно 3°) делится на $n^2$.
Т.е. $a^{n-2}+b^{n-2}-c^{n-2}$ делится на $n^2$.

Умножим число $d$ из 3° на 2 и запишем в виде:
5°) $2d=(a^{n-2}+b^{n-2})c^{n-2}-(c^{n-2}-b^{n-2})a^{n-2}-(c^{n-2}-a^{n-2})b^{n-2}$.

Учитывая, что числа в парах $(a^{n-2}+b^{n-2}), c^{n-2}; (c^{n-2}-b^{n-2}), a^{n-2}; (c^{n-2}-a^{n-2}), b^{n-2}$ сопоставимы по модулю $n^2$, выражение 5° по двузначным окончаниям, кратное $n^2$, можно записать так:

6°) $2d’=c^{2(n-2)}-(a^{2(n-2)})+b^{2(n-2)})=$
$=c^{2(n-2)}-(a^{2(n-2)})+2a^{n-2}b^{n-2}+b^{2(n-2)})+2a^{n-2}b^{n-2}=$
$=c^{2(n-2)}-(a^{n-2})+b^{n-2})^2+2a^{n-2}b^{n-2}=$
$=(c^{n-2}-a^{n-2}-b^{n-2})(c^{n-2}+a^{n-2}+b^{n-2})+2(ab)^{n-2}=$ (см. 4°)
$=2(ab)^{n-2}=$, которое на $n$ НЕ делится.

И мы имеем противоречие.

Возможно, этот же прием годится и для завершения предыдущего доказательства.

[shwedka]

victor_sorokin в сообщении #244837 писал(а):

В связи с неясностью в завершении последнего доказательства

Тут как раз полная ясность. Полное фиаско, по традиции.

Цитата:

сопоставимы

и что это значит? В учебниках такого слова нет.
А в четвертом пункте исправьте опечатки и напишите подробное вычисление.

[victor_sorokin]

shwedka в сообщении #244840 писал(а):

victor_sorokin в сообщении #244837 писал(а):

В связи с неясностью в завершении последнего доказательства

1) Тут как раз полная ясность. Полное фиаско, по традиции.

Цитата:

сопоставимы

и
2) что это значит? В учебниках такого слова нет.
3) А в четвертом пункте исправьте опечатки и напишите подробное вычисление.

1) Фиаско - это когда корову проигрывают.
2) Равны по модулю.
3) Спасибо за замечание - исправил.

[shwedka]

victor_sorokin в сообщении #244837 писал(а):

$e=abc(a^{n-2}+b^{n-2}-c^{n-2})=(abac)^{n-2}+(abbc)^{n-2}-(bcac)^{n-2}$

И вот это равенство подробно распишите

shwedka в сообщении #244851 писал(а):

1) Фиаско - это когда корову проигрывают.

Фиаско - это когда докладчик прилюдно теряет штаны.

[victor_sorokin]

shwedka в сообщении #244851 писал(а):

victor_sorokin в сообщении #244837 писал(а):

$e=abc(a^{n-2}+b^{n-2}-c^{n-2})=(abac)^{n-2}+(abbc)^{n-2}-(bcac)^{n-2}$

1) И вот это равенство подробно распишите

shwedka в сообщении #244851 писал(а):

1) Фиаско - это когда корову проигрывают.

2) Фиаско - это когда докладчик прилюдно теряет штаны.

1) При первой возможности.
2) У нас с Вами разные нравственные и духовные системы.