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

[age]

KORIOLA
Я думаю этот вопрос надо задать в личном сообщении при создании темы. Вверху окна сообщений есть такая кнопочка "img", которая позволит вставить копию свидетельства прям в тему. В виде рисунка. Отдельные детали можете спросить у меня, я вам разъясню. Думаю тогда, сразу станет видно, что вы дипломированный специалист в вопросе и Виктор Сорокин согласится рассмотреть ваше доказательство без отдельной высылки копии свидетельства на e-mail. Сочту за честь поучаствовать помочь вам.

[KORIOLA]

Уважаемый aqe!
Буду рад Ваше помощи. Сниму копии и попробую разместить их здесь на форуме.
Если что не получится, обращусь к Вашей любезно предлагаемой помощи.
С уважением.
KORIOLA

[victor_sorokin]

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

Сомножитель $q$ найден! Это $C-B$ и (с противоречием!) $C-A$.

Нет, теперь это $A+B$. И это окончательно.
Последовательность $U_t$ не меняется.
Последовательность $V_t$ задается по типу: $V_0=P-Q$, где $P, Q$ взяты из $C^n-B^n=(C-B)P, C^n-A^n=(C-A)Q$.
Тип противоречия не меняется.
Полный текст док-ва ВТФ будет представлен вечером.

[shwedka]

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

Полный текст док-ва ВТФ будет представлен вечером.

но не сегодня, а в четверг, после дождя

[victor_sorokin]

ВТФ. Анализ одной идеи

Допустим (для определенности $AB$ не кратно простому $n>2$), что
1°) $a^n+b^n=c^n$, где
$a^n=c^n-b^n=(c-b)P_1$, $b^n=c^n-a^n=(c-a)Q_1 $ и, как известно, в базе $n$ число $Q_1-P_1$ оканчивается на два нуля. Формулы для многочленов $Q$ и $P$ хорошо известны и здесь не приводятся.

Введем числа
2a°) $U_2=c^{n^2}-a^{n^2}+b^{n^2}$ и
$c^{n^2}-b^{n^2}=(c^n-b^n)P_2$, $c^{n^2}-a^{n^2}=(c^n-a^n)Q_2 $;
2b°) $U_3=c^{n^3}-a^{n^3}+b^{n^3}$ и
$c^{n^3}-b^{n^3}=(c^{n^2}-b^{n^2})P_3$, $c^{n^3}-a^{n^3}=(c^{n^2}-a^{n^2})Q_3 $;
…
2t°) $U_t=c^{n^t}-a^{n^t}+b^{n^t}$ и
$c^{n^t}-b^{n^t}=(c^{n^{t-1}}-b^{n^{t-1}})P_t$, $c^{n^t}-a^{n^t}=(c^{n^{t-1}}-a^{n^{t-1}})Q_t $, $t=1, 2,…Q$.

3°) Число $Q_1-P_1$, как легко видеть, делится на $n^2, a-b, c^*$, где $c^*$ – наибольший (больше 1) общий делитель чисел $c$ и $a+b$.

4°) Число $Q_2-P_2$, как легко видеть, делится уже на $n^3, a^n-b^n, c$.

5°) Легко видеть, что с увеличением $t$ отношения $A/C$, $B/C$ и $(A+B)/C$ (здесь $A=a^{n^t}, B=b^{n^t}, C=c^{n^t}$) стремятся к нулю.

Есть подозрение, что с какого-то момента с переходом к следующему $t$ увеличение числа $(Q_t-P_t)/(Q_{t-1}-P_{t-1})$ становится меньше $n$ (вернее – стремится к 1). И если это так, то с некоторого момента произведение всех $n$ в числе $Q-P$ превысит ("задавит") само $Q-P$.

Дело стоит за расчетом - теперь уже в поле действительных чисел.
Специалисты по пределам, что скажите вы?

[KORIOLA]

Уважаемый age!
Сегодня я снял копии со всех своих четырех свидетельств, пытался направить одну из них при помощи Img, но ничего не получилось. При нажатии на кнопку Img внутри высвечивается какой-то интернетадрес. Это как образец и я должен указать свой? Но у файла нет адреса. Или я должен загрузить файл на свой сайт в Интернете и именно его указать?
KORIOLA

-- Пн сен 14, 2009 15:27:50 --

Уважаемый age!
Кажется, я вроде бы немного разобрался. Посылаю копию самого последнего свидетельства № 28607. Почему-то при предпросмотре получается сильно увеличенным. Наверное, надо уменишить размер копии. Попробую с другим свидетельством.
KORIOLA

[shwedka]

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

Специалисты по пределам, что скажите вы?

Во-первых, скажЕм, что русский язык Вы у себя во Франции подзабыли.
Во-вторых, посоветуем заняться чем-нибудь более полезным.

[age]

KORIOLA!
Нет! В этой теме нельзя! Спросите вначале разрешение у модераторов!

[victor_sorokin]

Наиболее четкое оформление идеи

Допустим (при простом $n>2$), что
0°) $a^n+b^n=c^n$, где
$a+b-c=u_0, c-b=a-u_0, c-a=b-u_0, a+b=u_0+1$ и в базе $n$ число $u$ кратно в базе $n^2$.

Введем числа
2a°) $u_1=c^n-a^n-b^n$ (заметим, что $u_1=0$),
2b°) $u_2=c^{n^2}-a^{n^2}-b^{n^2}$,
2c°) $u_3=c^{n^3}-a^{n^3}-b^{n^3}$,
…
2t°) $u_t=c^{n^t}-a^{n^t}-b^{n^t}$ (при достаточно большом $t$ обозначим его через $U$),

А также число:
3°) $v_t=(a-u_0)^{n^t}-(b-u_0)^{n^t}-a^{n^t}-b^{n^t}$. При достаточно большом $t$ обозначим его через $V$.

***

Сколько нулей в числе $V$? На первый взгляд - $2^t$.
Если $u$ возрастает по экспоненте с показателем $n$, то $v$ возрастает по экспоненте с показателем $n-1$.
И при достаточно большом $t$ сомножитель $n^{2^t}$ числа $V$ превысит число $nC^{n^{n-1}}>V$, где $C$ - хоть и большое, но фиксированное число.
(Предыдущий вариант представления идеи – с линейным возрастанием числа сомножителей $n$ в $Q-P$ – скорее всего безнадежен.)

[venco]

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

(Предыдущий вариант представления идеи – с линейным возрастанием числа сомножителей $n$ в $Q-P$ – скорее всего безнадежен.)

И этот тоже.

[victor_sorokin]

venco в сообщении #243515 писал(а):

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

(Предыдущий вариант представления идеи – с линейным возрастанием числа сомножителей $n$ в $Q-P$ – скорее всего безнадежен.)

И этот тоже.

Да, конечно. И потому:

Возврат на круги своя – к примитивизму, где я обследовал, казалось бы, все углы. Тем не менее, один закоулок оказался обойденым. Заглянуть в него побудил анализ узкого места в последнем, – по-видимому, безнадежном – доказательстве. Итак…

В равенстве Ферма
1°) $a^n+b^n=c^n$, где простое $n>2$,
после устранения общих делителей чисел $a, b, c$ число
2°) $u=a+b-c$, или $u=(a+1)+(b+1)-(c+1)-1$ (или $u=(a+1)+(b-1)-(c-1)-1$), как хорошо известно, делится на $n^2$.
И тогда число
3°) $d=(a+1)^n+(b+1)^n-(c+1)^n-1^n$ делится на $n^3$.

С другой стороны, как становится очевидным после раскрытия биномов Ньютона, число $d$ не делится даже на $n^2$.

И мы имеем противоречие. ВТФ доказана.

[shwedka]

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

И тогда число
3°) $d=(a+1)^n+(b+1)^n-(c+1)^n-1^n$ делится на $n^3$.

Доказательство, как всегда, затерялось в бороде.

[victor_sorokin]

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

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

И тогда число
3°) $d=(a+1)^n+(b+1)^n-(c+1)^n-1^n$ делится на $n^3$.

Доказательство, как всегда, затерялось в бороде.

Хоть в условиях ВТФ формула 3 и верна, третью степень я Вам презентую - повесите на усы, с которыми Вам придется остаться.
(А с меня хватит и второй степени.)

[KORIOLA]

Виктору Сорокину.
Уважаемый Виктор, простите, может быть, я сую нос не в свое дело, но...
Я просмотрел вашу переписку с некоей shwedko-й. Вы четко излагаете свои доказательства - она отвечает Вам не приемлемыми в цивилизованном общесте бессмыслеными фразами, не содержащими каких-либо математически обоснованные доказательства, опровергающие Ваши доказательства. Вряд ли она является ученым-математиком. Ученые, да и вообще, образованные люди, знают принципы ведения научного и профессионального спора и так,как она, себя не ведут. Скорее всего,
это обыкновенный школьник-троечник, играющий с Вами в дразнилки.
С уважением
KORIOLA

[bot]

Слабовато сказано, в мыслях-то, сознайтесь, покруче было ...
Этот форум вообще оккупировали школьники-троечники, они без труда становятся заслуженными участниками и гнобят своими благоглупостями высокообразованных индивидуумов. Сами-то даже не рыпаются, сложные задачи вроде ВТФ им не по плечу, ни разу сами ни одного доказательства не придумали, вот и злобствуют, завидуя ...

А зачем Вы ходите-то сюда? За признанием от этих школьников-троечников?