2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Короткое доказательство для n=3
Сообщение01.05.2025, 15:45 


08/07/07
103
Пусть $ \exists a, b, c \in \mathbb{N}: a^3 + b^3 = c^3 $.
$ x = a + b \implies c^3 = x^3 - 3abx $.
$ z = \frac{a - b}{2} \in \mathbb{Z} $ (так как $ a $ и $ b $ одной чётности) $ \implies 4c^3 = x(x^2 + 12z^2) $.

Покажем, что $ 3 \mid x $:
$ \quad $ Если $ x \not\equiv 0 \pmod{3} $, то $ x \equiv \pm1 \pmod{3} \implies  x^3 \equiv x \pmod{9} $.
$ \quad $ Из $ 4c^3 \equiv x \pmod{9} $ и $ c^3 \equiv x \pmod{3}  \implies x \equiv 0 \pmod{3} $. Противоречие.

Следовательно, $ x = 3k, k \in \mathbb{N} $.
$ x = 3k $, $ a + b = 3k $ $\implies $ $ a \equiv -b \pmod{3} $.
$ a = 3k - b \implies (3k - b)^3 + b^3 = 27k^3 - 27k^2b + 9kb^2 = c^3 \implies  $
$3k^3 - 3k^2b + kb^2 = 3r^3, c = 3r, r \in \mathbb{N} $.

Из $ kb^2 \equiv 0 \pmod{3} \implies (3 \mid k) \cup (3 \mid b) \implies 3 \mid a, b, c $.
Пусть $ a = 3p, b = 3q, c = 3r \implies (3p)^3 + (3q)^3 = (3r)^3 \implies p^3 + q^3 = r^3, p,q \in \mathbb{N} $.

Получено меньшее решение $ (p, q, r) $, что противоречит минимальности исходного решения $ \implies $ исходное уравнение неразрешимо в $ \mathbb{N} $.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение01.05.2025, 16:13 
Заслуженный участник
Аватара пользователя


26/01/14
4950
maravan в сообщении #1684596 писал(а):
Если $ x \not\equiv 0 \pmod{3} $, то $ x \equiv \pm1 \pmod{3} \implies  x^3 \equiv x \pmod{9} $.
Это неверно. Например, $2\not\equiv 0 \pmod{3}$, но $2^3\not\equiv 2 \pmod{9}$.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение01.05.2025, 16:18 


07/06/17
1295
maravan в сообщении #1684596 писал(а):
так как $ a $ и $ b $ одной чётности

Интересно, почему???

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение01.05.2025, 18:59 


08/07/07
103
Mikhail_K
Вы правы, спасибо за замечание, погорячился, переписал вывод для 2-х вариантов, сейчас с текущим вопросом разберёмся, если ок, то скину исправленный вариант.

Booker48
Если $ a,b,c \in \mathbb{N}$, $ a $ и $ b $ разной чётности, то $ \quad z \in \mathbb{Q} \setminus \mathbb{Z} $. Тогда $ 4c^3=x(x^2+12z^2) \implies x(x^2+12z^2) \in \mathbb{Q} \setminus \mathbb{Z}, 4c^3 \in \mathbb{N} $. Противоречие, значит $ a $ и $ b $ имеют одинаковую чётность.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение01.05.2025, 19:15 


07/06/17
1295
maravan в сообщении #1684642 писал(а):
Booker48
Если $ a,b,c \in \mathbb{N}$, $ a $ и $ b $ разной чётности, то $ \quad z \in \mathbb{Q} \setminus \mathbb{Z} $. Тогда $ 4c^3=x(x^2+12z^2) \implies x(x^2+12z^2) \in \mathbb{Q} \setminus \mathbb{Z}, 4c^3 \in \mathbb{N} $. Противоречие, значит $ a $ и $ b $ имеют одинаковую чётность.

Да нет.
$12z^2$ всё равно будет целым.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение01.05.2025, 23:09 


08/07/07
103
Booker48 в сообщении #1684644 писал(а):
maravan в сообщении #1684642 писал(а):
Booker48
Если $ a,b,c \in \mathbb{N}$, $ a $ и $ b $ разной чётности, то $ \quad z \in \mathbb{Q} \setminus \mathbb{Z} $. Тогда $ 4c^3=x(x^2+12z^2) \implies x(x^2+12z^2) \in \mathbb{Q} \setminus \mathbb{Z}, 4c^3 \in \mathbb{N} $. Противоречие, значит $ a $ и $ b $ имеют одинаковую чётность.

Да нет.
$12z^2$ всё равно будет целым.


Да, вы правы

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение05.05.2025, 02:58 


08/07/07
103
Придумал, как обойти противоречия.

Рассмотрим кольцо $ R=\mathbb{Z}(\sqrt{3}) $, оно евклидово, следовательно является кольцом главных идеалов, в нём возможно разложение с точностью до 1, в $ R $ нет делителей $ 0 $.
$ N(z) $ - норма, $ N(\sqrt{3})=3 $, следовательно $ \sqrt{3} $ - простое в $ R $.
$R/(\sqrt{3})\cong\mathbb Z/3\mathbb Z$.

Рассмотрим $ a^3+b^3=c^3 $, причём $ \gcd(a,b,c)=1 $, и $ a,b,c \in R $.

По малой теореме Ферма:
$ a^3 \equiv a \pmod{\sqrt{3}}, b^3 \equiv b \pmod{\sqrt{3}}, c^3 \equiv c \pmod{\sqrt{3}} \implies $
$a+b \equiv c \pmod{\sqrt{3}} $, тогда $ c=a+b+t\sqrt{3}, t \in R $.
$ a^3+b^3=(a+b+t\sqrt{3})^3 $.

Раскроем куб в правой части и перенесём всё в правую часть равенства.
$ 3 \text{ab} (a+b)+9t^2(a+b)+\sqrt{3}(3t(a+b)^2+3t^3)= 0$.
Тогда $ 3t(a+b)^2+3t^3 = 0 $ и $ 3 \text{ab} (a+b)+9t^2(a+b) = 0 $.

Рассмотрим $ 3t(a+b)^2+3t^3 = 0 \implies $
$ (a+b)^2+t^2 =0 $, возможно только при $ a+b=0  $ и $ t=0 $.
Подставляя $ a=-b $ и $ t=0 $ в $ c=a+b+t\sqrt{3} $ получим $ c=0 $. Тривиально.

Вывод, возможен только $ t=0 $, тогда $ 3 \text{ab} (a+b)+9t^2(a+b) = 0 \implies $
$ ab(a+b)=0 $, тогда либо: $ a=0, b=0, a+b=0 $.

$ a=0 \implies b=c $. Тривиально.
$ b=0 \implies a=c $. Тривиально.
$ a+b=0 \implies a=-b $, но $ gcd(a,-a,0)=1 $, тогда $ a=1 $. Тривиально.

Поскольку любое решение в $ \mathbb{N} $ вложено в $ R $, то нет нетривиальных целых решений $a^3+b^3=c^3$ при $n=3, a,b,c \in \mathbb{N} $.

P.S.: Есть правда пара нюансов, которые меня смущают, но это можно будет ниже обсудить, если в доказательстве есть рациональное зерно.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение05.05.2025, 20:32 


24/12/15
8
maravan в сообщении #1685058 писал(а):
Тогда $ 3t(a+b)^2+3t^3 = 0 $

Как?

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение05.05.2025, 21:20 


26/01/24
90
maravan в сообщении #1685058 писал(а):
Придумал, как обойти противоречия.

Рассмотрим кольцо $ R=\mathbb{Z}(\sqrt{3}) $, оно евклидово.

В $Z_{7} $ нет $\sqrt 3$, в $Z_{11}[\sqrt 3] $есть, например. Или я что-то забыл. Т.о., мы можем написать, скажем, $...92486_{11}$ и$ ...18625_{11}$. Обратил внимание просто так,узнать-важно ли это, или нет, в Вашем случае? Точно у Вас$\sqrt 3$?

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение06.05.2025, 03:15 
Заслуженный участник


31/12/05
1531
maravan в сообщении #1685058 писал(а):
$ 3 \text{ab} (a+b)+9t^2(a+b)+\sqrt{3}(3t(a+b)^2+3t^3)= 0$.
Тогда $ 3t(a+b)^2+3t^3 = 0 $ и $ 3 \text{ab} (a+b)+9t^2(a+b) = 0 $.
Это было бы верно, если бы $t\in Z$, а у вас $t\in Z[\sqrt3]$.

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение06.05.2025, 04:02 


08/07/07
103
SUILVA, tolstopuz

Это допустимо, так как деление на $ 3 $ в кольце целых чисел сохраняет целочисленность коэффициентов.
$ 3 $ не является нулём в $ R $.
В кольце главных идеалов произведение равно $ 0 $, когда хотя бы один сомножитель равен $ 0 $.

Тогда, когда $ 3t(a+b)^2+3t^3 = 0, где a,b,t \in R $, возможны только 3 варинта:
$ 3=0 $, но это невозможно, т.к. 3 не делитель $ 0 $.
$ t=0 $, что приводит к тривиальности решения, т.к. в этом случае $ c=(a+b+t\sqrt{3}) $.
$ (a+b)^2+t^2=0 $, то $ a+b=0 $ и $ t=0 $, что также приводит к тривиальности решения.

transcendent
Верно, в $ \mathbb{Z}_{11} $, $ \sqrt{3} $ равен $ 5 $ или $ 6 $.
Точно, в моём случае я рассматриваю решения в $ \mathbb{Z}(\sqrt{3}) $.

Я где-то ошибаюсь?

 Профиль  
                  
 
 Re: Короткое доказательство для n=3
Сообщение06.05.2025, 11:10 


26/01/24
90
maravan в сообщении #1685175 писал(а):
SUILVA, tolstopuz
Я где-то ошибаюсь?

Вы недоговариваете о p=7, когда решений нет. Т.е., о том, что кольца-разные. Это ж надо бы как-то подстраховаться здесь тоже? Если, не надо, то почему?
maravan в сообщении #1685058 писал(а):
Придумал, как обойти противоречия.
Раскроем куб в правой части и перенесём всё в правую часть равенства.
$ 3 \text{ab} (a+b)+9t^2(a+b)+\sqrt{3}(3t(a+b)^2+3t^3)= 0$.
Тогда $ 3t(a+b)^2+3t^3 = 0 $ и $ 3 \text{ab} (a+b)+9t^2(a+b) = 0 $.

Почему нули, $0$, в двух нижних уравнениях? Аж два нуля. А, например ненулевые $u$ и $-u$ когда, где и на каком основании исключены?
Пока не ясно. Может, $0 (\mod 3)$? Что имеется в виду с этими нулями? Наверное, что-то упущено с моей стороны.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

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



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

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


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

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