Почему Ферма не мог доказать ВТФ?

[Antoshka]

Утундрий в сообщении #1452818 писал(а):

То есть, предметом обсуждения является статус утверждения Ферма

Альтернативное доказательство теоремы в общем случае вовсе не обязано использовать бесконечный спуск. Наоборот, если его даже сегодня никто не нашёл, логично предположить, что оно лежит явно вне теории чисел и использует очень нестандартный метод

[Утундрий]

Antoshka в сообщении #1452832 писал(а):

Альтернативное доказательство теоремы в общем случае вовсе не обязано использовать бесконечный спуск.

Расшифруйте первое слово.

[binki]

nnosipov в сообщении #1452774 писал(а):

Да, но равенство испортится.

Уважаемый nnosipov
Конечно, $f^3$ представляет произведение трех кубов натуральных чисел при предположении существовании решения в натуральных числах уравнения Ферма. Куб $f_1^3$ также равен произведению трех кубов. Не следует ли из этого, что и в этом случае должно быть справедливо равенство: $(a-d)^3+(b-d)^3-(c-d)^3=0$

[nnosipov]

binki
Там в правой части равенства мне увиделось $a-b$, а на самом деле там $a+b$. Так что да, про равенство я теперь ничего не утверждаю. Но в любом случае тот текст, что там есть, вряд ли может быть доказательством для случая кубов --- уж больно он короткий, без подробностей, так не бывает. В таком несерьезном стиле доказательства не пишутся.

[Antoshka]

Утундрий в сообщении #1452835 писал(а):

Расшифруйте первое слово

Альтернативное значит второе, помимо первого, уже найденного. Альтернативное значит другое

[Утундрий]

Antoshka
Спасибо. А теперь скажите, какой в этом смысл? Статус теоремы и статус утверждения Ферма это никак не изменит.

Кроме того, мне казалось, что были и другие доказательства, помимо доказательства Эйлера.

[Antoshka]

Утундрий в сообщении #1452860 писал(а):

Кроме того, мне казалось, что были и другие доказательства, помимо доказательства Эйлера.

Действительно, для кубов было опубликовано доказательство на этом форуме

-- 08.04.2020, 19:47 --

binki в сообщении #1452765 писал(а):

Бесконечный спуск для кубов методами Ферма?

$$f^3=(a+b-c)^3=3(c-a)(c-b)(a+b)$$

уменьшим каждое число тройки решения $(a,b,c)$ на такое $(d)$, что $(a+b-2d)$ будет кубом.

Возьмите уравнение $x^3+y^3=9z^3$ и проделайте те же манипуляции. Вы получите, что оно не имеет решений в натуральных числах, что неверно

[binki]

Antoshka в сообщении #1452861 писал(а):

Возьмите уравнение $x^3+y^3=9z^3$

А где здесь уравнение Ферма? И где разложение в произведение трёх кубов?

[Antoshka]

binki в сообщении #1452888 писал(а):

А где здесь уравнение Ферма? И где разложение в произведение трёх кубов?

Делаем так же, как вы. Уменьшим $x,y,z$ на $d\in\mathbb{N}$. Тогда имеем $(x-d)^3+(y-d)^3=9(z-d)^3$. Существует меньшая тройка чисел $(x-d,y-d,z-d)$, удовлетворяющая уравнению $x^3+y^3=9z^3$$\Rightarrow$ имеем бесконечный спуск$\Rightarrow$ имеем противоречие, то есть уравнение не имеет решений в натуральных числах. Тем не менее $(1,2,1)$ удовлетворяет данному уравнению. Чем моё рассуждение отличается от вашего?

[binki]

Antoshka в сообщении #1452896 писал(а):

Чем моё рассуждение отличается от вашего?

Бесконечный спуск существует тогда, когда новая тройка решения сохраняет свойства предыдущей. Здесь, и $f^3$ и $f_1^3$ равны известным в ВТФ произведениям трех кубов. В вашем же случае просто уменьшаются числа решения. Что неизбежно, через определенное кол-во шагов приведет к нулевым решениям. У вас нет бесконечного спуска.
В вашем равенстве нет третьего куба, поэтому не может существовать упомянутое произведение трех кубов.

[venco]

binki в сообщении #1452837 писал(а):

Конечно, $f^3$ представляет произведение трех кубов натуральных чисел при предположении существовании решения в натуральных числах уравнения Ферма.

Я, может, что-то пропустил. Почему, собственно?

[binki]

nnosipov в сообщении #1452849 писал(а):

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

Уважаемый nnosipov
Да, не рассматривалось несколько моментов необходимых для полной ясности док-ва. Текст короткий, чтобы показать суть применения бесконечного спуска для кубов. Например: делимость одного из чисел тройки решения на три не влияет на существование бесконечного спуска и т. д. Конечно, эти вопросы должны возникнуть в процессе дискуссии, и придётся отвечать.

[Tot]

Думаю, что существование элементарного и небольшого по размеру, на пару листов школьной тетради, сведения ВТФ для нечётных степеней к гипотезе о бесконечности простых чисел Ферма смогло бы удовлетворить вообще всех, в том числе Эндрю Уайлса и Пьера Ферма.

[nnosipov]

binki в сообщении #1453000 писал(а):

Конечно, эти вопросы должны возникнуть в процессе дискуссии

На меня не рассчитывайте, я уже давно (содержательно) не комментирую сообщения в этом разделе форума.

[binki]

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

Я, может, что-то пропустил. Почему, собственно?

Уважаемый venco
Если возвести в куб $f^3=(a+b-c)^3$, то в сумме слагаемых появится выражение $a^3+b^3-c^3$, которое при натуральных числах $(a,b,c)$ будет равно нулю, только в случае предположения, что ВТФ не верна. Сумма остальных слагаемых преобразуется в выражение $f^3=(a+b-c)^3=3(c-a)(c-b)(a+b)$. Числа $(a,b,c)$ взаимно простые и пусть $(c-a) $ делится на три, тогда выражения $3(c-a), (c-b), (a+b)$ также взаимно простые, значит кубы.
Кроме того, это же видно и из разложения суммы и разностей кубов при предположении, что ВТФ не верна.