2014 dxdy logo

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

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


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


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



Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. На страницу Пред.  1 ... 8, 9, 10, 11, 12
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение03.07.2023, 18:49 


13/05/16
355
Москва
Onoochin в сообщении #1599733 писал(а):
Это уравнение сводится к такому (если Вы намерены выделить множитель $(a_1+b_2)$:
$(a_1+b_2)\left\{\left[ (a_1^2+b_2)^2-3a_1b_2\right](cd-p)-c^2d(a_1+b_2)+c^2p \right\}+\mathbf{2c^2da_1b_2}=0$
И как отсюда следует рациональность $(a_1+b_2)$?

Вы правильно уравнение записали? Меня смущает $a_1^2$ в правом сомножителе

 Профиль  
                  
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение03.07.2023, 20:01 


06/07/13
89
Antoshka в сообщении #1599735 писал(а):
Onoochin в сообщении #1599733 писал(а):
Это уравнение сводится к такому (если Вы намерены выделить множитель $(a_1+b_2)$:
$(a_1+b_2)\left\{\left[ (a_1^2+b_2)^2-3a_1b_2\right](cd-p)-c^2d(a_1+b_2)+c^2p \right\}+\mathbf{2c^2da_1b_2}=0$
И как отсюда следует рациональность $(a_1+b_2)$?

Вы правильно уравнение записали? Меня смущает $a_1^2$ в правом сомножителе


Спасибо. Исправил
$(a_1+b_2)\left\{\left[ (a_1+b_2)^2-3a_1b_2\right](cd-p)-c^2d(a_1+b_2)+c^2p \right\}+\mathbf{2c^2da_1b_2}=0$

 Профиль  
                  
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение03.07.2023, 20:57 


29/08/09
659
Onoochin в сообщении #1599733 писал(а):
Natalya,

Вы так и не ответили, как у Вас получается рациональность $(a_1+b_2)$.
У Вас такое множество постов с одним и тем же, что...
Возьмем Ваш пункт 6.1.1. из любого поста
Цитата:
$a_1+a_2$- рациональное число (4.1.3)
$(a_1^3+b_2^3)(cd-p)-c^2d(a_1^2+b_2^2)+c^2p(a_1+b_2)=0$

Это уравнение сводится к такому (если Вы намерены выделить множитель $(a_1+b_2)$:
$(a_1+b_2)\left\{\left[ (a_1^2+b_2)^2-3a_1b_2\right](cd-p)-c^2d(a_1+b_2)+c^2p \right\}+\mathbf{2c^2da_1b_2}=0$
И как отсюда следует рациональность $(a_1+b_2)$?

И как Вы обрабатываете свободный (от $(a_1+b_2)$) член - он выделен жирным шрифтом?

Да, если один дискриминант положительный, а другой отрицательный, то это просто означает что или $a_1,\,a_2$ или $b_1,\,b_2$ - комплексные
рациональность $(a_1+b_2)$ следует из 4.1.2. где я доказываю рациональность $(a_1+b_2)$. 4.1.2 перед 6.1.1
Так и обрабатываю, за счет выделения заявляю, что $a_1b_2$- рациональное число, поскольку рациональность $(a_1+b_2)$ доказана ранее в 4.1.2.

 Профиль  
                  
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение03.07.2023, 21:53 


06/07/13
89
natalya_1 в сообщении #1599746 писал(а):
рациональность $(a_1+b_2)$ следует из 4.1.2. где я доказываю рациональность $(a_1+b_2)$. 4.1.2 перед 6.1.1
Так и обрабатываю, за счет выделения заявляю, что $a_1b_2$- рациональное число, поскольку рациональность $(a_1+b_2)$ доказана ранее в 4.1.2.

Вы из равенств для функций делаете какие-то странные выводы о равенстве аргументов.
Цитата:
4.1.2 $f_2(b_2')=f(b_2)=f(b_1)=f_3(b_1')$
$f_3(a_2')=f(a_2)=-f(b_1)$
$f_2(b_2')=f(b_2)=-f(a_1)=-f_2(a_1')$
$b_1+a_2=2h-(a_2'-a_2)$

Откуда это следует?
Вы можете двигать графики сколько угодно. Но движение графиков не является математической операцией. Есть формулы для "движения графиков". Покажите на основании этих формул, как из $f_2(b_2')=f(b_2)=-f(a_1)=-f_2(a_1')$ следует хотя бы $b_1+a_2=2h-(a_2'-a_2)$

К тому же у Вас - для некоторых значений $a,\,b$ не будет выполняться $f(a_2)=-f(b_1)$ - потому что у Вас может быть только один действительный корень $f(b)$. А ВТФ требует перебора ВСЕХ значений $a,\,b,\,c$

 Профиль  
                  
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение03.07.2023, 22:03 


29/08/09
659
Onoochin в сообщении #1599750 писал(а):
natalya_1 в сообщении #1599746 писал(а):
рациональность $(a_1+b_2)$ следует из 4.1.2. где я доказываю рациональность $(a_1+b_2)$. 4.1.2 перед 6.1.1
Так и обрабатываю, за счет выделения заявляю, что $a_1b_2$- рациональное число, поскольку рациональность $(a_1+b_2)$ доказана ранее в 4.1.2.

Вы из равенств для функций делаете какие-то странные выводы о равенстве аргументов.
Цитата:
4.1.2 $f_2(b_2')=f(b_2)=f(b_1)=f_3(b_1')$
$f_3(a_2')=f(a_2)=-f(b_1)$
$f_2(b_2')=f(b_2)=-f(a_1)=-f_2(a_1')$
$b_1+a_2=2h-(a_2'-a_2)$

Откуда это следует?
Вы можете двигать графики сколько угодно. Но движение графиков не является математической операцией. Есть формулы для "движения графиков". Покажите на основании этих формул, как из $f_2(b_2')=f(b_2)=-f(a_1)=-f_2(a_1')$ следует хотя бы $b_1+a_2=2h-(a_2'-a_2)$


К тому же у Вас - для некоторых значений $a,\,b$ не будет выполняться $f(a_2)=-f(b_1)$ - потому что у Вас может быть только один действительный корень $f(b)$. А ВТФ требует перебора ВСЕХ значений $a,\,b,\,c$

Я всё это сделала, изменила,расписала специально для вас несколько раз. Похоже Вы просто не читаете мои комментарии.
Ende
Закройте, пожалуйста, тему, из-за многочисленных сообщений путаница. Я открыла новую тему

 Профиль  
                  
 
 Re: Попытка доказательства Теоремы Ферма 2
Сообщение04.07.2023, 00:28 
Админ форума


02/02/19
2038
Тема закрыта.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 171 ]  На страницу Пред.  1 ... 8, 9, 10, 11, 12

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



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

Сейчас этот форум просматривают: Antoshka


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

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