2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки



Правила форума


Дополнение к основным правилам форума:
Любые попытки доказательства сначала должны быть явно выписаны для случая n=3



Начать новую тему Ответить на тему На страницу Пред.  1 ... 14, 15, 16, 17, 18
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение19.12.2016, 03:28 


08/12/13
173
У меня логическая ошибка была в конструкции полинома.
Возьмём правильную конструкцию, в ней всегда есть несколько корней. Нужно подобрать бесконечную цепочку модулей, в каждом из которых те же самые корни, а других нет. Если получится, то всегда можно будет взять модуль, который больший произвольно выбранного натурального числа, и использовать определение перехода к бесконечности из мат. анализа. И обнаружить, что корни не подходят к уравнению ВТФ из-за наличия общего множителя или отрицательного дискриминанта.

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение19.12.2016, 09:33 
Заслуженный участник
Аватара пользователя


23/07/05
14191
Новомосковск
Tot в сообщении #1178245 писал(а):
Возьмём правильную конструкцию, в ней всегда есть несколько корней. Нужно подобрать бесконечную цепочку модулей, в каждом из которых те же самые корни, а других нет. Если получится, то всегда можно будет взять модуль
Что значит — "те же самые"? При увеличении модуля корни тоже будут становиться всё длиннее и длиннее. В пределе Вы получите корни в некотором кольце, имеющем весьма слабое отношение к кольцу целых чисел.
Вот, например, решение уравнения $a^3+b^3=c^3$ по модулю $3^{80}$ (в троичной системе счисления):
$$a=\ldots 1120210001 1012000222 0002002121 0011020200 0001202202 2001212221 2001102201 1212000201_3,$$ $$b=\ldots 1010010200 0111022220 0122122220 0012120012 0210002211 2022111020 0012200022 2102021100_3,$$ $$c=\ldots 1111010221 1110112222 1210122012 0022102000 2020021201 2211000022 0110122212 2212100201_3.$$

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение19.12.2016, 12:19 


08/12/13
173
Стало быть не обратил внимания на бесконечно растущие вслед за модулем корни. Доказывать по набору модулей специального вида будем то, что корни полинома делятся на две группы. В первой имеем небольшое число конечных корней легко вычислимого вида для $\frac{c^6}{a^3b^3}$ (случай ВТФ с $n=3$), а во второй у нас любое число корней заведомо бесконечных в предельном переходе.

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение19.12.2016, 23:27 
Заслуженный участник
Аватара пользователя


23/07/05
14191
Новомосковск
Tot в сообщении #1178305 писал(а):
В первой имеем небольшое число конечных корней легко вычислимого вида для $\frac{c^6}{a^3b^3}$
??? Что это за корни такие у уравнения Ферма объявились?

Tot в сообщении #1178305 писал(а):
во второй у нас любое число корней заведомо бесконечных в предельном переходе
Это заблуждение. Они нисколько не бесконечные, просто у них бесконечная запись. Как, например, $$\sqrt{2}=1{,}414213562373095048801688724209698078570\ldots$$ имеет бесконечную запись, но не является бесконечным.

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение20.12.2016, 11:44 


08/12/13
173
Someone в сообщении #1178475 писал(а):
??? Что это за корни такие у уравнения Ферма объявились?

Уравнение Ферма по модулю раскладывается в полином от одной переменной. Над примером работаю. По неподходящим модулям демонстрировалось разложение в записях этой темы марта 2015 года.
Someone в сообщении #1178475 писал(а):
Это заблуждение. Они нисколько не бесконечные, просто у них бесконечная запись.

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

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение20.12.2016, 12:43 
Заслуженный участник
Аватара пользователя


23/07/05
14191
Новомосковск
Tot в сообщении #1178554 писал(а):
Бесконечная запись целого числа даёт бесконечное целое число.
Оно, в некотором смысле, целое и вполне себе конечное, но к натуральным числам имеет весьма отдалённое отношение. Однако мешает получить противоречие, используя только соображения делимости и анализ остатков.

И во всём этом есть ещё одна проблема: действительно, последовательно увеличивая модуль, мы видим, что запись числа становится всё более длинной. Однако мы не знаем, будет ли это продолжаться неограниченно. Вдруг в какой-то момент мы обнаружим, что дальше пошли одни нули, и получилось решение в натуральных числах?

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение21.12.2016, 04:35 


08/12/13
173
Someone в сообщении #1178569 писал(а):
Однако мешает получить противоречие, используя только соображения делимости и анализ остатков.

Согласен, но потенциально возможны и другие соображения.

Someone в сообщении #1178569 писал(а):
Вдруг в какой-то момент мы обнаружим, что дальше пошли одни нули, и получилось решение в натуральных числах?
Используем определение бесконечного перехода из мат. анализа. Возьмём произвольное, сколь угодно большое $N_0$ в качестве параметра степени и выкинем все корни, которые не оказались конечными на этом этапе.

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение21.12.2016, 10:31 
Заслуженный участник
Аватара пользователя


23/07/05
14191
Новомосковск
Tot в сообщении #1178867 писал(а):
выкинем все корни, которые не оказались конечными на этом этапе
А они окажутся вполне себе натуральными, но только больше этого самого $N_0$.
В таком случае нужно доказывать, что корней больше взятого $N_0$ не существует. А Вы этого делать явно не собираетесь, судя по формулировке.

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение22.12.2016, 10:58 


15/12/05
740
Tot в сообщении #1178554 писал(а):
Уравнение Ферма по модулю раскладывается в полином от одной переменной.


С одной переменной?
Вот примеры:

ananova в сообщении #1136116 писал(а):
$$(y+1)^3-y^3= \frac {1^2 + 3(2y+1)^2} 4={\color{blue}x^3} \ldots \eqno (3)$$


ananova в сообщении #1136116 писал(а):
$$(y+1)^5-y^5= \frac {-(1^2) + 5(2y^2+2y+1)^2} 4={\color{blue}x^5} \ldots \eqno (8)$$

 Профиль  
                  
 
 Re: Заметки о недостающем варианте элементарного доказательства.
Сообщение22.12.2016, 18:48 


15/12/05
740

(Оффтоп)

"Погорячился" с примерами. Разобрался - это не то, что Вы имели ввиду.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 265 ]  На страницу Пред.  1 ... 14, 15, 16, 17, 18

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group