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

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



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

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


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

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