2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение07.06.2015, 15:38 


27/05/15
17
iifat в сообщении #1023867 писал(а):

(grizzly)

grizzly в сообщении #1023675 писал(а):
Не хотел Вас задеть
О! Да, да. Задеть меня легко :wink: Я к своим словам отношусь весьма трепетно :wink:
grizzly в сообщении #1023675 писал(а):
некую прибавочную стоимость от себя
Дабы закрыть этот вопрос :wink: (о прибавочной стоимости от себя).
В варианте A ТС сначала берёт две тройки $\{y,x,z},\ x^2+y^2=z^2$ и $\{y,x,z_3},\ x^3+y^3=z_3^3$, а потом (в подвариантах A.2 и A.3) требует, чтобы $f_b=z-x=z_3-x$. Доказательства доказываемой теоремы, простите, не вижу. Как и, повторюсь, связи с Теоремой Ферма.

Уважаемые господа, Как я понимаю в разделе "А" с 1-м вариантом Вы согласны. Во 2-м и 3-ем вариантах Вы меня не так поняли. Я действительно написал: " 2-ой вар.: $z_3<z$. Такой вариант также невозможен, так как в этом случае нарушается уравнение $z_3=(x_3+f_b)$ (8).
3-ий вар.: $z_3>z$. Такой вариант также невозможен, так как и в этом случае нарушaeтся уравнение $z=(x_3+f_b)$ (8)." Но я не требовал, чтобы $f_b=z-x=z_3-x$. Прочитайте внимательно начало § 2, где в частности написано: "будем принимать : $y_3$ и $f_b$, или $x_3$ и $f_b$ - натуральными числами." В нашем случае мы приняли, что $x_3$ и $f_b$ - натуральные числа, а это значит, что $z_3 =x+f_b$ будет натуральным числом. ( См. ур-ние $z_3=(x_3+f_b)$ (8) в верху § 2.
Но если принять, что если $z_3<z$ или $z_3>z$, то в этих случаях $z_3$ не будет отвечать условию, что $z_3 =x_3+f_b$, т.к. при одном и том же $x_3$ это будет совсем другое
$z_3$, назовём его $Z{_3_а}$. А это $Z{_3_а}$ не равно принятому при рассмотрении
$z_3=x_3+f_b$. Здесь $f_b$ - будет другое.

iifat в сообщении #1023644 писал(а):
nnosipov в сообщении #1023642 писал(а):
что совсем неинтересно читать, ибо в этом случае всё наоборот и известно как
Эта-то часть, как по мне, ещё ничего. Там показан метод решения. А вот следующая, со всеми этими перескоками с $n=3$ к $n=2$ и обратно — вот тут глаза-то и отказывают.

Уважаемые господа, поясните конкретно, что Вы имеете в виду под фразой " перескоками с $n=3$ к $n=2$ и обратно — вот тут глаза-то и отказывают."

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение07.06.2015, 17:35 
Заслуженный участник


16/02/13
4214
Владивосток
vladlen в сообщении #1024410 писал(а):
Такой вариант также невозможен, так как и в этом случае нарушaeтся уравнение $z=(x_3+f_b)$ (8)
А вот это у вас не доказано абсолютно.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение07.06.2015, 17:41 


10/08/11
671
vladlen в сообщении #1024331 писал(а):
"Покажите источник, где найдена зависимость, при $n = 2$, чисел рациональных троек, а результаты этой зависимости - систематизированы."

Уважаемый vladlen! Речь идет не о теореме, которую Вы доказываете, а о способе доказательства. Фактически Вы как и ранние пифагорейцы признаете существование минимальной единицы измерения. масштабированием и другими преобразованиями сводите числа к этой мифической единице и совсем забываете про соотношение чисел, которое не изменяется при масштабировании.
vladlen в сообщении #1024331 писал(а):
Разница в том, что при $x+y=z$, в любых сочетаниях троек это верно, а для $x^2+y^2=z^2$ - только при всех возможных вариантах сочетаний троек.

Не вижу ни каких ограничений для применения вашего способа с использованием уравнения $x+y=z$. Множество любых сочетаний разве не содержит подмножество всех возможных сочетаний троек?

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение09.06.2015, 10:11 


27/05/15
17
iifat в сообщении #1024489 писал(а):
vladlen в сообщении #1024410 писал(а):
Такой вариант также невозможен, так как и в этом случае нарушaeтся уравнение $z=(x_3+f_b)$ (8)
А вот это у вас не доказано абсолютно.


В § 2, раздел А, мы предположили, что, подчёркиваю, при одних и тех же натуральных числах, $x_3=x$ и $y_3=y$, число $z_3$ будет, как и $z$, натуральным числом. А далее утверждаем, что при $z_3<z$ или $z_3>z$, при одних и тех же натуральных числах, $x_3=x$ и $y_3=y$, не будет соблюдаться условие, что $z_3=(x_3+f_b)$ (8).
Поясняю: Eсли увеличится или уменьшится $z_3$, то и изменится разница между $z_3$ и $x_3$. Т.е. изменится число $(f_b=z_3-x_3)$, а поэтому нарушится прежнее уравнение
$z_3=(x_3+f_b)$ (8). Т.е. в этом случае мы будем иметь дело с совершенно с другим уравнением. (С другой базовой тройкой.)
iifat, у меня к Вам просьба, да и к другим участникам Форума, если Вы знаете как представить на Форум таблицы, имеющие отношение к моему сообщению - напишите, пожалуйста.
2-ая просьба к iifat-у: Если мои ответы покажутся Вам не конкретными или неправильными, то не обижайтесь и уточните вопрос.

 Профиль  
                  
 
 Posted automatically
Сообщение09.06.2015, 14:22 


20/03/14
12041
 i  Тема перемещена из форума «Карантин» в форум «Великая теорема Ферма»

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 06:08 


10/08/11
671
vladlen в сообщении #1025184 писал(а):
как представить на Форум таблицы

http://radikal.ru/ С помощью этого сайта хранилища Вы можете вставлять таблицы в статью.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 06:43 
Заслуженный участник


16/02/13
4214
Владивосток
vladlen в сообщении #1025184 писал(а):
Поясняю: Eсли увеличится или уменьшится $z_3$, то и изменится разница между $z_3$ и $x_3$. Т.е. изменится число $(f_b=z_3-x_3)$, а поэтому нарушится прежнее уравнение
$z_3=(x_3+f_b)$ (8)
Вы в который раз повторяете одно и то же не просто бездоказательное — бессмысленное утверждение. Единственный смысл, который оно могло бы нести — $f_b=z-x_3=z_3=x_3$ — вы категорически отрицаете. $z_3$ не уменьшается и не увеличивается. Оно, в связи с вашим предположением, просто есть. И есть меньше $z$. Или больше $z$. Никакого вытекающего из этих соотношений противоречия вы не привели.
И напомню таки ещё раз: то, что вы — безуспешно пока! — доказываете, не есть теорема Ферма для показателя 3.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 07:56 


10/08/11
671
iifat в сообщении #1025522 писал(а):
Вы в который раз повторяете одно и то же не просто бездоказательное — бессмысленное утверждение.

Уважаемый iifat! Для автора достаточно, что числа натуральные, а они исчерпаны в квадратах. Для автора существует минимальная единица измерения, поэтому $z_3$, не может перескочить эту единицу, поскольку тогда $z_3$ будет относится к другой тройке.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 08:16 
Заслуженный участник


16/02/13
4214
Владивосток
Да ради ж бога! Но доказать, понимаете, до-ка-зать-то надо!

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 15:41 


27/05/15
17
lasta в сообщении #1024496 писал(а):
vladlen в сообщении #1024331 писал(а):
Разница в том, что при $x+y=z$, в любых сочетаниях троек это верно, а для $x^2+y^2=z^2$ - только при всех возможных вариантах сочетаний троек.

Не вижу ни каких ограничений для применения вашего способа с использованием уравнения $x+y=z$. Множество любых сочетаний разве не содержит подмножество всех возможных сочетаний троек?


Я слишком поторопился дав такой ответ. Ответ должен быть такой: Множества любых троек, независимо от численного значения показателя степени $n$, кроме $n=1$, не являются подмножествами множества, где $n=1$.
Определим для этого множества обозначение элементов троек $(y_1;  x_1; z_1)$. Тогда $y_1+x_1=z_1$.
Этому множеству принадлежат все рациональные (натуральные тройки), за исключением рациональных (натуральных троек), принадлежащих множеству, где $n=2$. (У других натуральных показателей степени $n$ таких троек просто нет.) Когда элементы троек $(y_1;  x_1; z_1)$ - рациональны (натуральны), тогда тройки
$(y;  x; z)$ могут быть как рационаьными, так и иррациональными. Рассмотрим уравнения: $y_1=z_1-x_1$ (11) и $y^2= z^2 -x^2$. (12)
Примем $x_1=x$, $z_1=z$, $y_1< x_1$, $y< x$.
Определим: могут ли рациональные (натуральные), тройки $(y;  x; z)$ принадлежать множеству, где
$n=1$? Разделим: $(z^2-x^2)$/$(z_1-x_1)$=$(z+x)$. Т.е.
$y_1<y$. Значит тройка $(y;  x; z)$ не может принадлежать множеству, где
$n=1$. Это множество - само по себе. Пример 1. $x_1=x=5$, $z_1=z=6$.
Тогда: тройка $(y_1=1;  x_1=5; z_1=6)$, а тройка
$(y=\sqrt{11};  x=5; z=6)$.
Пример 2. Пример 1. $x_1=x=77$, $z_1=z=85$.
Тогда: тройка $(y_1=8;  x_1=77; z_1=85)$, а тройка $(y=36;  x=77; z=85)$. Здесь, подчёркиваю: $f_b=z-x=85-77=8$
Спасибо за таблицу.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение10.06.2015, 19:36 


10/08/11
671
vladlen в сообщении #1025671 писал(а):
$y_1<y$. Значит тройка $(y;  x; z)$ не может принадлежать множеству, где
$n=1$. Это множество - само по себе. Пример 1. $x_1=x=5$, $z_1=z=6$.

Уважаемый vladlen! Можно оставить исходным и уравнение с $n=2$. Но, тогда по Вашему же способу, исходное исчерпает все тройки решения и для множества, которое "само по себе", то есть для уравнения с $n=1$. И оно не должно иметь натуральных решений.
Но, нет минимальной единицы измерения. И соотношение чисел не может изменяться при масштабировании. Например: цифры $9;8$ уменьшите в миллион раз. Разность будет одна миллионной, а соотношение как было $9/8$ так и останется.

-- 10.06.2015, 21:04 --

Кстати. Доказательство не обременено какими-либо свойствами степеней, поэтому уравнение с $n=1$ не может быть "само по себе", то есть отделено от уравнений с другими показателями.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение11.06.2015, 15:09 


27/05/15
17
lasta в сообщении #1025536 писал(а):
iifat в сообщении #1025522 писал(а):
Вы в который раз повторяете одно и то же не просто бездоказательное — бессмысленное утверждение.

Уважаемый iifat! Для автора достаточно, что числа натуральные, а они исчерпаны в квадратах. Для автора существует минимальная единица измерения, поэтому $z_3$, не может перескочить эту единицу, поскольку тогда $z_3$ будет относится к другой тройке.

lasta в сообщении #1025773 писал(а):
vladlen в сообщении #1025671 писал(а):
$y_1<y$. Значит тройка $(y; x; z)$ не может принадлежать множеству, где
$n=1$. Это множество - само по себе. Пример 1. $x_1=x=5$, $z_1=z=6$.

Уважаемый vladlen! Но, нет минимальной единицы измерения. И соотношение чисел не может изменяться при масштабировании. Например: цифры $9;8$ уменьшите в миллион раз. Разность будет одна миллионной, а соотношение как было $9/8$ так и останется.
-- 10.06.2015, 21:04 --

Уважаемый, lasta! Я отвечаю на Ваш пост частично, хотя готов ответить.
Уважаемый, iifat! На Ваш пост я готов ответить, но тоже отвечу позднее. Но я решил не торопится, во-первых потому, чтобы опять не попасть впросак, как в одном из ответов lasta(е). Во-вторых потому, что я заранее подготовил сообщение, надеясь, что оно снимет часть вопросов.

Прежде, чем перейти к попытке док-ва ТФ, я попытался определить взаимозависимость между числами троек $(y; x; z)$, чтобы было от чего "плясать." А затем, пользуясь полученным результатом, использовал эти тройки, в частности для док-ва, для $n=3$ - $(y_3; x_3; z_3)$. Я подробно останавливался на всех рациональных тройках лишь для того,, чтобы показать необъятность множества рациональных троек $(y; x; z)$, по этой-же причине я воспользовался понятием - бесконечно малые величины. (Не для того, чтобы подсчитывать крохотные изменения). Так- что с соотношением будет всё в порядке.
Далее я буду говорить только о натуральных тройках $(y; x; z)$, а если будет необходимо, то отдельно сообщать об изменениях.

Важным связующим звеном, при создании троек, служит число(коэф.) $f_b$. В этом посте будем говорить только об натуральном положительном $f_b$. Это число показывает разницу между $ z$ и $x$, т.е.
$f_b=z-x$. Я назвал его базовым. Взяв это $f_b$ за основу, определяем $(y; x; z)$. Т. е. тройка получается взаимосвязанной. Это не какое-то "сборище" тройки случайных чисел.
Выводим формулу $x=( y^2-f^2_b)/2f_b$ (1), которая служит для определения множества базовых взаимосвязанных троек и систематезирует порядок их определения. Полученные по ф-ле (1) тройки называем базовыми.

Умножая каждую базовую тройку на натуральные подобные коэф. $f_p$, получаем множество троек, подобных каждой базовой тройке. Итак: 1. Принимаем $y$ - нат. число. 2. Принимаем $f_b$ - нат. число.
3. Определяем по ф-ле (1) $x$. 4. Определяем по ур-нию $z=x+f_b$
5. В результате получаем базовую тройку - $(y; x; z)$
6. Умножаем числа базовой тройки на $f_p$, получаем бесконечное множество подобных троек.


Пример: Принимаем $y=37$, $f_b=23$. Определяем по ф-ле (1) $x=(37^2-23^2)/46=420/23$. Определяем по ур-нию $z=x+f_b=420/23+23=949/23$. Тройка получилась рациональной.
Умножаем числа этой базовой тройки на $23$, получаем натуральную подобную
тройку - $(851; 420; 949)$. Здесь, $f_p=529$. Умножаем числа этой подобной
тройки на 2; 3; 4 и т.д., получим, например при $f=3$: (2553; 1260; 2847). Обратите внимание: здесь -
$f_p=1587$.

Всё это я делал лишь для того, чтобы иметь возможность сравнивать тройки $(y; x; z)$ с тройками $(y_3; x_3; z_3)$, принимая $x_3=x$, $z_3=z$. В этом случае коэф. $f_b$ или
$f_p$ будет одним и тем же и для $n=2$ и для $n=3$.

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

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение16.06.2015, 11:01 


27/05/15
17
iifat в сообщении #1025522 писал(а):
vladlen в сообщении #1025184 писал(а):
Поясняю: Eсли увеличится или уменьшится $z_3$, то и изменится разница между $z_3$ и $x_3$. Т.е. изменится число $(f_b=z_3-x_3)$, а поэтому нарушится прежнее уравнение
$z_3=(x_3+f_b)$ (8)
Никакого вытекающего из этих соотношений противоречия вы не привели.
И напомню таки ещё раз: то, что вы — безуспешно пока! — доказываете, не есть теорема Ферма для показателя 3.


- iifat, Вы пишите: Вы в который раз повторяете одно и то же не просто бездоказательное — бессмысленное утверждение.
Отвечаю: Сначала разберитесь, а потом утверждайте!
- iifat, Я не понял, что Вы имеете в виду, написав: Единственный смысл, который оно могло бы нести — $f_b=z-x_3=z_3=x_3$ — вы категорически отрицаете.
Отвечаю: iifat, Объясните, пож., эту фразу.
- iifat, Вы пишите: $z_3$ не уменьшается и не увеличивается. Оно, в связи с вашим предположением, просто есть. -
Отвечаю: Я писал: Если принять, что $z_3<z$ или $z_3>z$, то в этих случаях $z_3$ не будет отвечать условию, что $z_3 =x_3+f_b$, т.к. при одном и том же $x_3$ это будет совсем другое $z_3$.
Отвечаю: Подтверждаю! - Это верно. Т. к., при этом предположении, $z_3$ - ИЗМЕНИТСЯ, т.к. меняются первоначальные условия, что $z_3=z$.
На Вашу последнюю фразу отвечать не буду, т.к. сначала надо разобраться с § 1.
А теперь ещё раз попытаюсь убедить Вас в моей правоте.
Напоминаю, что в § 1 получена ф-ла: $y^2=2xf_b+f_b^2$ (5), а в § 2 получена ф-ла: $y^3_3=3x^2_3f_b +3x_3f^2_b+f^3_b$ (9).
Попробую подробней объяснить почему при одних и тех же натуральных числах, $x_3=x$, $y_3=y$ и $z$ - натуральном числе, число $z_3$ не может быть натуральным, если
$z_3$> $z$. Если $z_3$ будет больше чем $z$, то если отнять от этого $z_3$ число $x_3=x$, которое было принято при предположении, что $z_3=z$, то полученное в этом случае число $f_b$ будет больше, чем при $z$-x$.
Подставив это большее $f_b$ в (9), получим $y_3$, который будет больше $y$, т.е. совсем другая пара $(y_3; x_3)$, где $x_3=x$.
По поводу моего утверждения, что eсли уменьшится $z_3$, то и изменится разница между $z_3$ и $x_3$, т.е. изменится число $(f_b=z_3-x_3)$, а поэтому нарушится прежнее уравнение $z_3=(x_3+f_b)$, те же аргументы, какие я привёл выше для: "Eсли увеличится $z_3$." iifat, После этого поста я отправлю сообщение Lasta(e) . Если будет желание, то ознакомьтесь с ним.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение16.06.2015, 13:04 


27/03/12
449
г. новосибирск
Уважаемый vladlen ! Я правильно Вас понимаю? Вы пытаетесь доказать, что если натуральные числа $x,y,z$ удовлетворяют уравнению $x^2 + y^2-z^2 = 0$, то не существует такого натурального числа $z_3$, удовлетворяющего уравнению
$x^3 + y^3-(z_3)^3 = 0$. Если так, то это не будет доказательством ВТФ для $n = 3$.

 Профиль  
                  
 
 Re: Попытка доказательствa теоремы Ферма.
Сообщение16.06.2015, 13:27 


27/05/15
17
quote="lasta в сообщении #1025773"]
vladlen в сообщении #1025671 писал(а):
$y_1<y$. Значит тройка $(y;  x; z)$ не может принадлежать множеству, где
$n=1$. Это множество - само по себе. Пример 1. $x_1=x=5$, $z_1=z=6$.

Уважаемый vladlen! Можно оставить исходным и уравнение с $n=2$. Но, тогда по Вашему же способу, исходное исчерпает все тройки решения и для множества, которое "само по себе", то есть для уравнения с $n=1$. И оно не должно иметь натуральных решений.
Но, нет минимальной единицы измерения. И соотношение чисел не может изменяться при масштабировании. Например: цифры $9;8$ уменьшите в миллион раз. Разность будет одна миллионной, а соотношение как было $9/8$ так и останется.

-- 10.06.2015, 21:04 --

Уважаемый lasta! Каждые м-ва, при любом натуральном $n$, независимы друг от друга, каждое м-во имеет тройки, присущие только ему и не поторяющиеся в других м-вах. Я не исключаю существования самостоятельного м-ва для $n=1$, а подтверждаю это, и заявляю, что только в двух $n=1$ и $n=2$, имеются свои, не повторяющиеся в другом, натуральные тройки. Относительно рассмотрения при доказательстве минимальных величин, я не имел в виду, что надо их рассматривать, чтобы создавать из них тройки, я хотел показать необъятность рациональных троек в м-ве $n=2$, показать способ определения любых рациональных троек(от малых до больших), и систематизировать способ их определения и взаимную зависимость каждого из элементов рациональных троек друг от друга.
Уважаемый lasta, если не трудно, то опишите, пож, подробно, как отправить таблицы? Почему-то мне каждый раз сообщается, что поступит сообщение на мой Е-маил, но ни одного сообщения я не получил.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 39 ]  На страницу Пред.  1, 2, 3  След.

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



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

Сейчас этот форум просматривают: YandexBot [bot]


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

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