Простейший инструмент для доказательства Великой теоремы Ферма

Идейным везде у нас дорога!

Головоломка для школьников

Следующую лемму
Числа A+B-C (=U>0) и A-B в условиях ВТФ взаимнопростые.
(Напомню: числа A, B, C, C-B, C-A, A-B, C+B, C+A взаимнопростые и A^n+B^n=C^n.)

я доказал (частично) так:

Допустим, что первое число содержит дедлитель d числа A-B. Тогда оба числа в следующих парах делятся на d:
2A-C [=A+B-C+(A-B)] и A-B; (2A)^n-C^n [=(2A-C)R] и 2A^n-C^n [=A^n-B^n=(A-B)T]; (2^n-2)A^n [=(2A)^n-C^n-(2A^n-C^n)] и 2A^n-C^n; 2(2^{n-1}-1) и 2A^n-C^n [ибо A^n и A^n-B^n взаимнопростые].
Из этого видно, что общие делители чисел A+B-C и A-B могут находиться только среди делителей числа 2(2^{n-1}-1).

Вопрос: существует ли доказательство без ограничителя (2^{n-1}-1)?

Цитата
Mat-h-Simple
Господин victorsorokin ! А можно ли увидеть полное ваше доказетельсво ВТФ - или хотя бы его с ссылками на гипотезы (Ваши личные или уже предложенные кем-то еще :-) или леммы в тех местах где у вас есть пробелы в доказательсве

Собственно, оно в основном уже опубликовано: это вышеприведенная Лемма. Если вникнуть в переходы от пары к паре (в этих переходах НОВЫЕ делители из числа делителей числа (2^{n-1}-1) НЕ МОГУТ появиться в принципе!!!), то можно заметить, что ВСЕ делители числа (2^{n-1}-1) - в том числе и n!!! - являются делителями числа A-B.
И теперь либо пара взаимнопростых чисел A+B (кратное n) и A-B, либо все три взаимнопростых числа A-B, C+B, C+A делятся на n. По-моему, "приехали"! Готовлю полный текст доказательства ВТФ.

Меня возьмете? Я доказал, что $x^2+y^2$ равно выражению, не сводящемуся к исходному, через закономерность показателей и оснований.

Поскольку весьма часто возникает необходимость обращения к равенству Ферма в базовой, алгебраической, форме, то ниже я привожу алгебраические свойства гипотетического равенства Ферма (так сказать, канонический случай равенства; авторские выводы помечены звездочкой):

1°) A^n+B^n=C^n, где натуральные A, B, C взаимнопростые, простое n>2,

2°) C>A>B>A+B-C=U>1, для определенности AB(A-B) не кратно n.
Общеизвестны следующие простые свойства равенства Ферма (содержание буквенных обозначений понятно из соотношений):

3°) A^n=(C-B)P=a^np^n; B^n=(C-A)Q=b^nq^n; C^n=(A+B)R; A+B=c^n и R=r^n – если C не кратно n, и (A+B)n=c^n и R=nr^n – если C кратно n;

4°) из A+B-C=U и малой теоремы Ферма следует: U=uabc, где u целое.

5°) A=ap, B=bq, C=cr;

6°) A=ap=(C-B)+U=a^n+uabc; B=bq=(C-A)+U=b^n+uabc; отсюда:

7°) p=a^{n-1}+ubc; q=b^{n-1}+uac; q-p=(a-b)uc-(a^{n-1}-b^{n-1}) – самое интересное равенство*.

8°) Q-P=q^n-p^n=(q-p)T, где* q-p делится на n (см. 9°) и на a-b (см. 7°). (Интересно, что в поле действительных чисел такое целочисленное деление в общем случае не выполняется*. Так, при A=16,5166, B=11,806, C=18,3221, n=3, (q-p)/(a-b)=1,312.)

9°) Все, за исключением n, простые делители m числа PQR имеют вид m=kn+1.

10°) Равенство 1° может быть представлено в виде*: (dU+f)^n+(U+g)^n=(eU+h)^n,
где -0,5<(f, g, h)<0,5U и либо f+g-f=0 и d=e, либо f+g-f=U и d+1=e.

11°) c>a>b>1; c<a+b (компьютерное доказательство*).

12°) Для любого числа d, не кратного n, в базе с простым основанием n существуют* такие числа g^n и f^(nn), что числа dg^n и df^(nn) имеют вид: dg^n=1+n^k, df^(nn)=1+n^t.

В дальнейшем изложении мне будет удобно ссылаться на эти положения.



Редактировалось 1 раз(а). Последний 06.02.2010 00:25.

Цитата
shwedka

Цитата
victorsorokin
В дальнейшем изложении

1) очередного вранья.

2) Над полем сообщения посмотрите на значок $f(x)$. кликните на него, поле для ввода формулы и появится.

1) Инквизиция не дремлет!
2) Проверю.
$A^n, $A^n$$
Пробовал - не работает.

А почему в список Самых Важных Формул не добавлены таблицы сложения и умножения, а также формулы сокращенного умножения и Апофеоз Математических Знаний - Его Величество Бином Ньютона? Я удивлен и возмущен таким демонстративным пренебрежением к нуждам толп почитателей таланта викторсорокина!!!

Цитата
amateur
Если эта "исповедь" поможет Вам отказаться от попыток доказать ПТФ с помощью такой элементарщины, которой Вы тут балуетесь, я буду считать, что писал это не зря.

Не поможет! Сорокин авляеыся адептом ТРИЗ, теории решения изобретательских задач,
которая, в частности, предусматривает возможность решения любой задачи при отсутствии знний, если только эту задачу достаточно долго и старательно раскручивать.
Читать книги про ВТФ он отказыватеся, поскольку лишние знания мешают творчеству,
проверять свои 'доказательства' он не хочет и не может, не хочет, поскольку проверка противоречит идеям триза,
нужно поскорее застолбить, а потом исправить в рабочем порядке,
а не может в силу своего неумения.

И, конечно, я во всем этом виновата.

Цитата
amateur
Моя маленькая исповедь

Я сам когда-то был ферматиком...

Тут есть что комментировать.

«Я сам когда-то был ферматиком – примерно до 2001 года, даже после анонса о доказательстве Уайльса».
– Но Вы не сказали о своих целях, но скорее всего Ваша цель был найти доказательство ВТФ, а поводом для этого – опять же, скорее всего – было либо желание прославиться, либо заработать какую-то премию, либо, в крайнем случае, победить в спортивном состязании математиков.
Однако существует закон, согласно которому система может иметь только ту цель, которая заложена в его наборе возможных целей. А мои цели в систему Ваших целей, уже не сомневаюсь, пока не входят, ибо, как Вы признаетесь, «осознал, что трачу время зря, и увидел более достойную для себя задачу». В моей системе ценностей решение головоломок стоит в ряду наиважнейших ежедневных задач.

«Уровень всех этих изысканий не дотягивал до принятого у математиков, занимавшихся этими проблемами»…
– Существуют два уровня исследования ВТФ: математика элементарная (плюс от силы малая теорема Ферма и линейные диофантовы уравнения) и математика высшая (по сути, все остальное). И Вы хотите сказать, что Ваш уровень не дотягивал до элементарного, школьного?

«…извините, Виктор, Ваши тривиальные попытки далеко не дотягивают даже до моих средств».
– Интересно, а что это за средства из школьного курса, которые мне не известны? А самое главное – я весьма сомневаюсь, что Вы самостоятельно придумали ну не шесть тысяч, а хотя бы одну тысячу возможных противоречий в равенстве Ферма. И уж во что я вовсе поверить не могу, так это в то, что Вы (и не только Вы, а и подавляющее большинство профессиональных математиков) имеете в своем распоряжении ЛОГИКУ анализа невозможных решений с указанием наилучшего дальнейшего направления исследования. И объясню почему: эта логика в современной официальной науке отсутствует.

«Они (мои исследования) обречены на провал, т.к. за 350 лет были миллионы ферматиков, делавших то же самое, и, что самое главное, великих математиков, пытавших гораздо более красивые идеи».
– Во-первых, НЕ то же самое – кибернетическая логика научного исследования моим предшественникам известна не была. Во-вторых, Вы этого («то же самое») знать не можете, ибо на форумы я вынес не более трехсот идей. Ну а в отношении красоты идей мы вряд ли найдем общий язык сходу…

«Они (мои исследования) обречены на провал»…
– На какой провал? На провал в чем? Из двух десятков целей, которые я преследую при исследовании ВТФ, подавляющая часть достигается…

«Наверно, даже если бы появилось метаматематическое доказательство того, что ПТФ недоказуема средствами арифметики, ряды ферматиков все равно не поредели бы. Это наркотик, привлекающий кучу народу элементарной постановкой гипотезы (теперь уже теоремы), – и ферматики всегда будут верить в элементарное доказательство (или опровержение)».
– И это замечательно! Ибо это дает надежду, что цивилизация деградировала еще не до конца. И упрек ферматистов в вере в П.Ферма заслуживает – в НОРМАЛЬНОЙ культуре – не порицания, а восхищения! Ибо в основе этой веры лежит ИНАКОМЫСЛИЕ, а не трусливое холуйство перед власть имущими – «научными авторитетами», чей основной критерий истины за тысячелетия так и не изменился: «Этого не может быть, потому что этого не может быть никогда!».
Не вызывает уважения и второй критерий: «Истина – это утверждение Хозяина»… С этим критерием Россия скатилась на 120-е место…

«Если эта "исповедь" поможет Вам отказаться от попыток доказать ПТФ с помощью такой элементарщины, которой Вы тут балуетесь, я буду считать, что писал это не зря».
– Но я Вам о своих целях еще не говорил. И было бы хорошо, если Вы сформулировали хотя бы два-три (Ваших собственных) возможных противоречия в равенстве Ферма.

С наилучшими пожеланиями,

Поскольку среди отзывов моих оппонентов немало таких, как этот: «…Извините, Виктор, Ваши тривиальные попытки далеко не дотягивают даже до моих средств /amateur/», предлагаю обеим сторонам опубликовать хотя бы по одному из своих доказательств и затем выслушать мнения непрофессиональных математиков о их эстетических и логических достоинствах.

Нижеприведенное доказательство было направлено мною на мехмат МГУ в 1990 году. Отзыва, естественно, не последовало… Вот текст доказательства.

Перепишем равенство Ферма в виде (C-B)P+(C-A)Q-(A+B)R=0
и наделим числовые выражения (C-B), (C-A), (A+B) свойствами трехмерных векторов в базисе (i, j, k) с координатами (0, -B, C), (-A, 0, C), (A, B, 0) (значения координат взяты из существующего, по предположению, равенства Ферма).

Поскольку система этих векторов является ЛИНЕЙНО НЕЗАВИСИМОЙ (поскольку ее определитель не равен нулю), то, согласно фундаментальной теореме о линейно независимых векторах, линейная комбинация линейно независимой системы векторов может быть равна лишь в единственном случае: все три коэффициента – P, Q, R – равны нулю. В равенстве же Ферма ни одно из чисел P, Q, R не равно! И, следовательно, оно невозможно.