Доказательство ВТФ для n=3.Часть 1.

[kotenok gav]

Я про это:

dick в сообщении #1449634 писал(а):

Поэтому, исключая из рассмотрения все $x_1-a_1/3 >1$, мы в действительности не исключаем ни одной пары.

[dick]

Вы что, не поняли? Форма $6n+1$ дает все возможные $x_1$, форма $6n$ дает все возможные $a_1/3$. Натуральное $n$- порядковый номер шага формы.

$7=6\cdot1+1$

$19=6\cdot1+13=6\cdot3+1$

$37=6\cdot2+25=6\cdot6+1$

$55=6\cdot3+37=6\cdot9+1$
и т.д.
Если выбрать любое число ряда $x_1$ и любое число ряда $a_1/3$, меньше выбранного из ряда $x_1$, то какой бы ни была разница между ними, можно выбрать такое $a_1/3$, что разница будет равной единице.

[Pphantom]

Тема перемещена из форума «Великая теорема Ферма» в форум «Карантин»
dick, наберите формулы правильно во всех своих сообщениях в теме (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Pphantom]

Тема перемещена из форума «Карантин» в форум «Великая теорема Ферма»

[kotenok gav]

dick в сообщении #1449828 писал(а):

можно выбрать такое $a_1/3$, что разница будет равной единице.

Его-то можно так выбрать. Но кто нам гарантирует, что не существует решения с по-другому выбранным $a_1$?

[dick]

То есть, Вы говорите: Я согласен, что $x_1=31=6+25$ и $x_1=31=30+1$, но я не могу выбрать один вариант, мне нужны оба, потому что решением может оказаться $x_1$ не в том варианте, который я выберу.Так?

[kotenok gav]

Да.

[dick]

Браво. Больше мне, пожалуй, нечего сказать. Если Вас заинтересует, попробуйте получить натуральное число в правой части (10), может это Вас на что-то натолкнет.

[Someone]

dick в сообщении #1450666 писал(а):

попробуйте получить натуральное число в правой части (10)

Вот и продемонстрируйте. Это, в конце концов, забота автора — обосновывать своё доказательство, а не каких-то посторонних людей. Иначе ему придётся взять их в соавторы.

[dick]

Someone
Приведенная цитата, это не аргумент в дискуссии. Это, всего лишь дружеский совет, я ведь написал "Если Вас заинтересует". Я считаю доказательство достаточно обоснованным. Но если мой визави считает, что два одинаковых числа, на самом деле могут отличаться, постольку, поскольку могут быть представлены разными парами чисел, да к тому же, ни словом не объясняет такое мнение, возникает вопрос: А можно ли вообще что либо доказать? Есть ли смысл "демонстрировать"? Тем более, что Вы разделяете его мнение.

[kotenok gav]

dick в сообщении #1450694 писал(а):

Но если мой визави считает, что два одинаковых числа, на самом деле могут отличаться, постольку, поскольку могут быть представлены разными парами чисел

Не числа одинаковые могут оличаться, а эти самые пары. Пары - тоже часть решения.

[dick]

Хорошо. Возьмем равенство (7), перепишем:
$(x_1-a_1/3)=p^2=(a_1/3)^2/(3A-3B/a_1)$ (7.1)
Умножим числитель и знаменатель правой части на $a_1/3$, получим:
$(x_1-a_1/3)=p^3=(a_1/3)^3/(a_1A-B)$ (7.2)
Не значит ли это, что всегда $p=1$ и $(a_1/3)^2=(3A-3B/a_1)$ ?

[kotenok gav]

dick в сообщении #1450753 писал(а):

значит ли это, что всегда $p=1$ и $(a_1/3)^2=(3A-3B/a_1)$ ?

Не значит.

-- 03 апр 2020, 16:59 --

Потому что вы умножаете неправильно.

-- 03 апр 2020, 17:00 --

У вас невесть откуда $p^2$ превратился в $p^3$.

[dick]

Вы не обратили внимание на то, что из (7.2) следует:
$(x_1-a_1/3)(a_1A-B)=(a_1/3)^3$
А из этого следует, что $(x_1-a_1/3)$ это куб.

[kotenok gav]

dick в сообщении #1450765 писал(а):

А из этого следует, что $(x_1-a_1/3)$ это куб.

Не следует. Контрпример: $4\times250=10^3$.