2014 dxdy logo

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

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


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


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



Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней. На страницу Пред.  1, 2, 3, 4, 5, 6  След.
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение02.11.2016, 21:45 
Заслуженный участник
Аватара пользователя


11/12/05
3542
Швеция
cmpamer Ну, конечно не совсем формула Бинома, но некоторая ее перегруппировка. Все слагаемые, кроме крайних, переносятся в другую сторону. Но, в общем, не важно. И без Автора все знают, что формулу Бинома можно кувыркать по-всякому. А точные значения коэффициентов пока что и не важны.

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение03.11.2016, 17:06 
Заслуженный участник
Аватара пользователя


11/12/05
3542
Швеция
TPB!
Я склоняюсь к мнению, что Вы неправильно проинтерпретировали правило раздела,
Любые попытки доказательства сначала должны быть явно выписаны для случая n=3

Вы же скопировали доказательство Эйлера, которое вряд ли может рассматриваться как Ваша
попытка доказательства. Поэтому, когда Вы станете Ваше доказательство излагать, начните все же со степени 3. Для этого сложные 'формулы разложения' в общем виде и излишни,
а для степени 3 они выглядят намного прозрачнее.

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение03.11.2016, 19:55 


21/11/10
546
TPB в сообщении #1165202 писал(а):
Универсальные формулы разложения.

Формула бинома Ньютона.


Уважаемый ТРВ!
Эти формулы хорошо известны.
Многие ВТФ любители их переоткрыли.
http://www.mathpages.com/HoME/kmath014/kmath014.htm
http://www.mathpages.com/HoME/kmath367/kmath367.htm
М.М. Постников,

(Оффтоп)

царство ему небесное,
в далёкие годы московской олимпиады, опубликовал брошюру посвящённую ВТФ и пустил ВТФ волну в массы.
К сожалению, на русском языке всё появляется уже неактуальным, читайте или смотрите формулы на английском :-)

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение03.11.2016, 20:48 


26/09/16
49
ishhan в сообщении #1165818 писал(а):
Эти формулы хорошо известны.
Многие ВТФ любители их переоткрыли. http://www.mathpages.com/HoME/kmath014/kmath014.htm

Благодарю за информацию! Если П. Ферма эти формулы знал, то у него могло быть полное элементарное доказательство!

 Профиль  
                  
 
 Где доказательство?
Сообщение05.11.2016, 19:39 
Аватара пользователя


10/08/16
102
Похоже, ТС самостоятельно нашёл ошибку в своём обещанном к публикации доказательстве и, в связи с этим, почёл за благо по-тихому покинуть дискуссионную площадку.
Если это и в самом деле так, то заметить надобно, что правила приличия предписывают в таких случаях обращаться к администрации Форума с просьбой о закрытии Темы...

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение05.11.2016, 19:55 


26/09/16
49
Прошу прощения за длительные паузы. Я Вам забыл сказать, что у меня не так много свободного времени для участия в форуме. Когда я говорил, что дорогу осилит идущий, я имел ввиду именно это! Тем более, что дорога эта действительно не так уж коротка, как Вы думаете!

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение05.11.2016, 22:02 
Аватара пользователя


10/08/16
102
TPB в сообщении #1166371 писал(а):
Я Вам забыл сказать, что у меня не так много свободного времени для участия в форуме.

А ещё Вы забыли представить обещанное доказательство.
Времени, может, у Вас и действительно мало (это мы тут все бездельники), но, однако ж, его хватило Вам, чтобы просветить всех нас и насчёт пифагоровых троек, и всяких биномов; "передоказали" вслед за Эйлером ВТФ-3 и даже успели не торопясь покопаться в душе Уайлса.
Я, собственно, о соблюдении приличий речь веду. Не получилось доказать - так и скажите. Не Вы первый будете. Потом обязательно докажете. А вот вместо этого разводить "философию" про "длинную дорогу" - это неприлично выглядит. Смахивает на троллинг.

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение05.11.2016, 22:37 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва

(cmpamer)

cmpamer в сообщении #1166367 писал(а):
правила приличия предписывают в таких случаях обращаться к администрации Форума с просьбой о закрытии Темы...
На этом форуме темы не закрывают по чьей-либо просьбе. Ну, может быть, в каких-то совершенно исключительных случаях…

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение06.11.2016, 11:05 


21/11/10
546
TPB в сообщении #1165841 писал(а):
Если П. Ферма эти формулы знал, то у него могло быть полное элементарное доказательство!

По этому поводу в статье из mathpages под названием "Почему Z не может быть простым" сделано предположение:

It's conceivable that Fermat in (say) 1638 might have momentarily assumed that any solution with composite z must be factorable into solutions with prime z, and since the latter cannot exist, he might have (rashly) concluded that neither can the former.
В переводе яндекс это выглядит следующим образом:)
Вполне вероятно, что Ферма в (скажем) 1638 бы на мгновение предположить, что любое решение с композитными Z должно быть разделяется на составляющие, в растворах с премьер-Z, и поскольку последняя не может существовать, он может иметь (сгоряча) :-) пришли к выводу, что не может бывшего.


Вами, скорее всего сгоряча, был сделан тот же вывод.

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение09.11.2016, 00:40 


26/09/16
49
Доказательство теоремы Ферма для четвёртой степени.


Докажем, что уравнению (1) при $n = 4$ не могут удовлетворять никакие три целых положительных числа $X$, $Y$ и $Z$.
Для этого допустим, что такие три целых положительных числа $X$, $Y$ и $Z$ существуют, и воспользуемся одной из универсальных формул разложения - второй формулой для разложения суммы двух чисел в одинаковых чётных положительных степенях (11):
$Z^4 = X^4 + Y^4 = (X-Y)^4 + 4  (X-Y)^2   X  Y + 2  X^2   Y^2 =
             (X-Y)^4 + X  Y  (4  (X-Y)^2 + 2  X  Y)$ (14)
Поскольку любое целое число в четвёртой степени одновременно является целым числом в квадрате, то, как и для второй степени, в этой формуле числа $X$ и $Y$ должны иметь разную чётность, а число $Z$ – должно быть нечётным. К тому же будем считать, что все три числа $X$, $Y$ и $Z$ попарно не имеют общих делителей, иными словами – они взаимно просты. Действительно, если бы они не были взаимно простыми, то, поделив их на общий делитель, все три числа $X$, $Y$ и $Z$ стали бы взаимно простыми.
Теперь заметим, что в правой части равенства (14) содержится уже готовое число в четвёртой степени: $(X-Y)^4$, а то выражение, что к нему прибавляется, является дополнением до величины числа $Z^4$. При этом нечётное число $(X-Y)$ дополняется до нечётного числа $Z$ путём добавления некоторого чётного числа $r$.
Если воспользоваться формулой бинома Ньютона (8), то для равенства $Z = (X-Y + r)$ число $Z$ в четвёртой степени запишется в виде:
$Z^4 = (X-Y + r)^4 = (X-Y)^4 + 4  (X-Y)^3   r + 6  (X-Y)^2  r^2 +
 4  (X-Y)  r^3 + r^4$,
откуда видно, что каждое слагаемое, кроме первого, делится на число $r$, поэтому число $r$ никак не зависит от числа $(X-Y)$, и его в качестве единственного общего множителя можно вынести за общие скобки:
$Z^4 = (X-Y + r)^4 = (X-Y)^4 + r  (4  (X-Y)^3 + 6  (X-Y)^2   r +
 4  (X-Y)  r^2 + r^3)$ (15)
Сравнивая имеющееся у нас равенство (14) с равенством (15), которые показывают, каким должно быть число $Z^4$, замечаем, что в исходном равенстве (14) выражение $X  Y  (4  (X-Y)^2 + 2  X  Y)$ является тем же дополнением числа $(X-Y)^4$ до некоторого большего числа в четвёртой степени $Z^4$, что и выражение:
$r  (4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$ в равенстве (15). В исходном равенстве (14) имеется общий множитель $X  Y$, который никак не зависит от разницы двух чисел $(X-Y)$ и выносится за общие скобки без вовлечения в это вынесение числа $(X-Y)^2$, а в равенстве (15) общим множителем является число $r$, которое так же, как и множитель $X  Y$ в равенстве (14), никак не зависит от разницы двух чисел $(X-Y)$ и выносится за общие скобки без вовлечения в это вынесение числа $(X-Y)^3$.
Приравняем правые части равенств (14) и (15), и получим следующее равенство: $(X-Y)^4 + X  Y  (4  (X-Y)^2 + 2  X  Y) = (X-Y)^4 + r  (4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$,
или, без первых слагаемых $(X-Y)^4$:
$X  Y  (4  (X-Y)^2 + 2  X  Y) = r  (4  (X-Y)^3 +
 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$ (16)
Заметим, что поскольку числа $X$ и $Y$ не имеют общих делителей, то, следовательно, числа $X  Y$ и $(X-Y)$ являются взаимно простыми. Взаимно простыми также будут числа $(X-Y)^4$ и $X  Y  (4  (X-Y)^2 +
 2  X  Y)$, а значит, и числа $(X-Y)^4$ и
$r  (4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$.
Независимо от того, является ли число $r$ делителем числа
$(4  (X-Y)^2 + 2  X  Y)$ или нет, оно точно является целым делителем произведения двух чисел $X  Y$, поскольку число
$X  Y$ – это единственный делитель числа
$X  Y  (4  (X-Y)^2 + 2  X  Y)$, который никак не зависит от числа $(X-Y)$, с которым число $r$ не имеет ни одного целого делителя.
Точно так же, как и число, соответствующее выражению
$(4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$, может иметь один или несколько простых делителей, но ни один из них не будет числом $r$, дополняющим число $(X-Y)$ до некоторого большего целого числа $Z = (X-Y + r)$, число, соответствующее выражению $(4  (X-Y)^2 + 2  X  Y)$, может иметь один или несколько простых делителей, но ни один из них не будет числом $r$, дополняющим число $(X-Y)$ до некоторого большего целого числа $Z = (X-Y + r)$.
И поскольку мы допускаем, что существует целое чётное число $r$, которое никак не зависит от числа $(X-Y)$ и которое в качестве единственного общего множителя выносится за общие скобки из всего выражения: $r  (4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$ без вовлечения в это вынесение числа
$(X-Y)^3$, то оно точно не является целым делителем числа
$(4  (X-Y)^2 + 2  X  Y)$, так как число $(X-Y)^2$ не может быть вовлечено в вынесение этого целого делителя, и поэтому число $r$ обязано быть либо равно числу $X  Y$, либо быть одним из его делителей, и вместе с тем, как и число $X  Y$, быть взаимно простым с числом $(X-Y)$.
В том случае, если число $r$ равно числу $X  Y$, мы, заменяя число $X  Y$ на $r$, получаем равенство:
$(X-Y)^4 + X  Y  (4  (X-Y)^2 + 2  X  Y) = 
(X-Y)^4 + r  (4  (X-Y)^2 + 2  r) = (X-Y)^4 + 4  (X-Y)^3   r +
 6  (X-Y)^2   r^2 + 4  (X-Y)  r^3 + r^4$,
или, после сокращения, имеем следующее равенство:
$4  (X-Y)^2 + 2  r = 4  (X-Y)^3 + 6  (X-Y)^2   r +
 4  (X-Y)  r^2 + r^3$ (17)
Очевидно, что при целых положительных числах $(X-Y)$ и $r$, равенство (17) никогда не может быть справедливо, так как его левая часть всегда будет меньше правой. Это означает, что число $X  Y$ на самом деле больше, чем число $r$. И поэтому число $r$ должно быть лишь одним из делителей числа $X  Y$.
Значит, можно записать, что $X  Y = r  X_1   Y_1$, где $X_1   Y_1$ – некий целый делитель числа $X  Y$. После такой замены получим равенство (16) в следующем виде:
$r  X_1   Y_1   (4  (X-Y)^2 + 2  r  X_1   Y_1) = r  (4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$ (18)
или, после сокращения левой и правой частей равенства (18) на $r$:
$X_1   Y_1   (4  (X-Y)^2 + 2  r  X_1   Y_1) = 4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3$ (19)
из которого видно, что у всей правой части этого равенства, как и у его левой части, должен быть общий целый делитель $X_1   Y_1$.
Заметим, что для существования целого делителя $X_1   Y_1$ необходимо, чтобы целое число $r$, так же, как и число $(X-Y)$, не являлось целым делителем числа $X_1   Y_1$, иначе сумма всех слагаемых выражения $(4  (X-Y)^3 + 6  (X-Y)^2   r + 4  (X-Y)  r^2 + r^3)$ не сможет нацело поделиться на число $X_1   Y_1$, так как все слагаемые этого выражения, кроме первого, делятся на число $r$, и, кроме последнего, делятся на число $(X-Y)$.
Поэтому для одновременного существования двух целых чисел $r$ и $X_1   Y_1$ необходимо, чтобы они между собой были взаимно простыми.
Поскольку для получения нечётного числа $Z$ число $r$ должно быть чётным, то примем, что $r = 2  f$, где $f$ – некоторое целое число. Перепишем равенство (19) с учётом такой замены:
$X_1   Y_1   (4  (X-Y)^2 + 4  f   X_1   Y_1) = 4  (X-Y)^3 + 12  (X-Y)^2   f + 16   (X-Y)  f^2 + 8  f^3$,
или, после деления левой и правой частей этого равенства на 4, получим следующее равенство:
$X_1   Y_1   ((X-Y)^2+ f   X_1   Y_1) = (X-Y)^3 + 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3$ (20)
Поскольку числа $X  Y$ и $(X-Y)$ взаимно просты, а число $f$, как и число $r$ является целым делителем числа $X  Y$, то числа $f$ и $(X-Y)$ также являются взаимно простыми, но помимо этого, они ещё и никак не зависят друг от друга, то есть в то время, как одно из чисел равно нулю, например, при $Y = 0$ или $X = Y$, другое может быть сколь угодно большим, и наоборот. А это значит, что невозможно за счёт одного числа $(X-Y)$ восполнить нехватку другого числа $f$, или за счёт второго числа $f$ восполнить нехватку первого числа $(X-Y)$. Поэтому все слагаемые левой части равенства (20) должны в точности повторять все слагаемые правой части этого равенства.
Для того, чтобы получить первое слагаемое $(X-Y)^3$ правой части равенства (20), необходимо, чтобы множитель $X_1   Y_1$ левой части равенства имел в качестве одного из своих слагаемых число $(X-Y)$. А поскольку без первого слагаемого в правой части равенства сумма всех оставшихся слагаемых делится на число $f$, то в качестве второго слагаемого, число $X_1   Y_1$ должно иметь число $s  f$, где $s$ – некий множитель, дающий целое произведение $s  f$, и вместе с тем обеспечивающий верное равенство (20). То есть $X_1   Y_1 = (X-Y) + s  f$.
Действительно, если допустить, что число $X_1   Y_1$ состоит из других слагаемых, к примеру, $X_1   Y_1 = a + s  f$, где $a$ не равно числу $(X-Y)$, или $X_1   Y_1 = (X-Y) + b$, где $b$ не равно числу $s  f$, то в первом случае мы бы получили равенство:
$(a + s  f)  ((X-Y)^2+ f  a + s  f^2) = (X-Y)^3 + 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3$, или, после раскрытия скобок и приведения подобных: $(X-Y)^2   (a-(X-Y)) = 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3 -(a + s  f)  f  a -((X-Y)^2+ f  a + s  f^2)  s  f$. Поскольку каждое слагаемое правой части этого равенства нацело делится на $f$, то и вся левая часть равенства обязана делиться на $f$, а так как число $f$ взаимно простое с числом $(X-Y)$, то это число $f$ должно быть целым делителем исключительно только числа $(a-(X-Y))$. Если принять, что $(a -(X-Y)) = w  f$, где $w$ – некоторое целое число, то в таком случае $a = (X-Y) + w  f$, и $X_1  Y_1 = (X-Y) + (w + s)  f$, откуда видно, что всё равно в качестве одного из слагаемых числа $X_1   Y_1$ должно быть число $(X-Y)$.
Во втором случае, когда $X_1   Y_1 = (X-Y) + b$, где $b$ не равно числу $s  f$, мы бы получили равенство: $((X-Y) + b)  ((X-Y)^2 + f  ((X-Y) + b)) = (X-Y)^3 + 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3$, или, после раскрытия скобок и приведения подобных: $(X-Y)^3 - (X-Y)^3 = 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3 -(X-Y)  ((X-Y) + b)  f - b  ((X-Y)^2 + f   ((X-Y) + b))$.
Поскольку левая часть этого равенства равна нулю, а в правой части все слагаемые, кроме последнего выражения $b  ((X-Y)^2 + f   ((X-Y) + b))$, делятся на число $f$, и так как число $f$ взаимно простое с числом $(X-Y)$, то в таком случае число $b$ обязано делиться на число $f$, и число $X_1   Y_1$ всё равно в качестве одного из своих слагаемых должно иметь число, делящееся на $f$.
В общем же случае число $X_1   Y_1$ всё равно должно иметь вид: $X_1   Y_1 = (X-Y) + s  f$, где $s$ – некий множитель, дающий целое произведение $s  f$, и вместе с тем обеспечивающий верное равенство (20). Поэтому наше утверждение, что все слагаемые левой части равенства (20) должны в точности повторять все слагаемые правой части этого равенства, можно считать доказанным.
Перепишем равенство (20) с учётом этой замены:
$((X-Y) + s  f)  ((X-Y)^2 + f   (X-Y) + s  f^2) = (X-Y)^3 + 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3$, или:
$(X-Y)^3 + (X-Y)^2   s  f + (X-Y)^2   f + (X-Y)  s  f^2 + (X-Y)  s  f^2 + s^2   f^3 = (X-Y)^3 + 3  (X-Y)^2   f + 4  (X-Y)  f^2 + 2  f^3$, или, после упрощения:
$(X-Y)^2   s + (X-Y)^2 + (X-Y)  s  f + (X-Y)  s  f + s^2   f^2 = 3  (X-Y)^2 + 4  (X-Y)  f + 2  f^2$;
$s  ((X-Y)^2 + 2  (X-Y)  f + s  f^2) = 2  (X-Y)^2 + 4  (X-Y)  f + 2  f^2$;
$s  ((X-Y)^2 + 2  (X-Y)  f + s  f^2) = 2  (X-Y + f)^2$ (21)
Теперь выясним, какие значения может принимать число $s$, путём допущения, что одно из чисел $(X-Y)$ или $f$ равно нулю. При $(X-Y) = 0$ получаем, что $s = \sqrt{2}$, а при $f = 0$ получаем, что $s = 2$. В общем же случае, когда ни $(X-Y)$, ни $f$ не равны нулю, число $s$ имеет значение: $\sqrt{2} < s < 2$.
Кроме этого, для того, чтобы число $X_1   Y_1$, равное сумме чисел $(X-Y)$ и $s  f$, при целых числах $(X-Y)$ и $f$ было целым числом, необходимо, чтобы нецелое число $s$, равное какому-нибудь отношению двух чисел: $s = \frac{V}{U}$ , где $\sqrt{2}  U < V < 2  U$, при умножении на число $f$ давало целое число $s  f = \frac{V}{U}   f$. То есть число $U$, которое должно быть взаимно простым с числом $V$, не может быть больше числа $f$, и обязано иметь общие простые делители с этим числом $f$.
Последнее обстоятельство указывает на то, что в равенстве (21), где правая часть при целых положительных числах $(X-Y)$ и $f$ является целым положительным числом, его левая часть никогда не может быть целым положительным числом, поскольку если раскрыть скобки, перемножив число $\frac{V}{U}$, на каждое слагаемое: $(X-Y)^2$, $2  (X-Y)  f$ и $s  f^2$:
$\frac{V}{U}   ((X-Y)^2 + 2  (X-Y)  f + s  f^2) = \frac{V}{U}   (X-Y)^2 +  \frac{V}{U}   2  (X-Y)  f + \frac{V}{U}   s  f^2$,
то мы получим, что произведения со вторым и третьим слагаемыми дадут нам всегда целые положительные числа: $\frac{V}{U}   2  (X-Y)  f$ и $\frac{V}{U}   s  f^2$, так как произведение $s  f = \frac{V}{U}    f$ всегда будет целым числом; а вот произведение числа $s = \frac{V}{U}$ с первым слагаемым $(X-Y)^2$, то есть число $\frac{V}{U}   (X-Y)^2$, всегда будет нецелым, так как число $(X-Y)$ не имеет общих делителей с числом $f$, а следовательно, и не имеет общих делителей с числом $U$.
Поэтому мы приходим к выводу, что для того, чтобы число $X  Y$ имело целый делитель - число $f$, то есть $X  Y = 2  f   X_1   Y_1 = 2  f  ((X-Y) + s  f)$, необходимо, чтобы одновременно числа $f$ и $X_1   Y_1$ были целыми. Однако, если число $X_1   Y_1$ – целое, то поскольку $X_1   Y_1 = (X-Y) + \frac{V}{U}    f$, число $f$ должно полностью делиться на число $U$; но в то же время, если число $f$ полностью делится на число $U$, то на это число $U$ никак не может делиться число $(X-Y)$, так как оно с числом $f$, а значит, и с числом $U$ не имеет никаких общих делителей.
Прибавим к левой и правой части равенства (21) одно и то же выражение $4  (X-Y + f)  f + 2  f^2$, в результате чего получим равенство:
$ s  ((X-Y)^2 + 2  (X-Y)  f + s  f^2) + 4  (X-Y + f)  f + 2  f^2 = 2  (X-Y + f)^2 + 4  (X-Y + f)  f + 2  f^2$, или, после упрощения:
$s  ((X-Y)^2 + 2  (X-Y)  f + s  f^2) + 4  (X-Y + f)  f + 2  f^2 = 2  (X-Y + 2  f)^2$;
$s  ((X-Y)^2 + 2  (X-Y)  f + s  f^2) + 4  (X-Y + f)  f + 2  f^2 = 2  (X-Y + r)^2 = 2  Z^2$ (22)
При целых взаимно простых положительных числах $(X-Y)$, $f$ и $r = 2  f$, а также целом числе $s  f = \frac{V}{U}    f$, и нецелом числе $s  (X-Y)^2 = \frac{V}{U}   (X-Y)^2$, левая часть равенства (22) представляет собой нецелое число. Значит, и правая часть этого равенства: $2  (X-Y + r)^2 = 2  Z^2$ обязана быть также нецелым числом. В этом случае число $r$ в действительности оказывается нецелым числом. Но если число $2  Z^2$ - нецелое, то и число $Z$ также обязано быть нецелым числом при любых взаимно простых целых положительных числах $X$ и $Y$.
Следовательно, этим утверждением мы завершили доказательство Великой теоремы Ферма для четвёртой степени.

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение09.11.2016, 01:16 
Заслуженный участник
Аватара пользователя


11/12/05
3542
Швеция
До первой ошибки.

TPB в сообщении #1167377 писал(а):
В исходном равенстве (14) имеется общий множитель $X\cdot Y$, который никак не зависит от разницы двух чисел (X – Y)


Понятие независимости чисел не определено.
Число 7777 зависит или не зависит от числа 123456?

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение09.11.2016, 01:46 


26/09/16
49
Читайте, пожалуйста, полностью! Дальше по тексту есть ответы на все интересующие Вас вопросы.
TPB в сообщении #1167377 писал(а):
Поскольку числа $X\cdot Y$ и (X – Y) взаимно просты, а число f, как и число r является целым делителем числа $X\cdot Y$, то числа f и (X – Y) также являются взаимно простыми, но помимо этого, они ещё и никак не зависят друг от друга, то есть в то время, как одно из чисел равно нулю, например, при $Y = 0$ или $X = Y$, другое может быть сколь угодно большим, и наоборот. А это значит, что невозможно за счёт одного числа (X – Y) восполнить нехватку другого числа f, или за счёт второго числа f восполнить нехватку первого числа (X – Y).

 Профиль  
                  
 
 Re: Элементарное доказательство Великой теоремы Ферма.
Сообщение09.11.2016, 03:13 
Заслуженный участник
Аватара пользователя


11/12/05
3542
Швеция
TPB в сообщении #1167410 писал(а):
А это значит, что невозможно за счёт одного числа (X – Y) восполнить нехватку другого числа f, или за счёт второго числа f восполнить нехватку первого числа (X – Y).


Это 'невозможно' нужно доказать. Учтите, что ни одно из чисел выше не находится в Вашей власти. Это какие-то конкретные числа, выраженные через решения УФ4 (Уравнения Ферма степени 4). Вы не можете придавать им значения по Вашему выбору, ноль или еще что-то. Вы не можете положить $X=0$ или $X=Y$ Это конкретные числа, вне Вашей власти.

И все-таки, отдельным абзацем напишите четкое определение независимости чисел.
.ответьте на вопрос 7777, 127356 независимы или нет?

 Профиль  
                  
 
 Posted automatically
Сообщение09.11.2016, 06:00 


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

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте формулы по всей теме, пожалуйста, и ответьте на все заданные Вам вопросы.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 Профиль  
                  
 
 Posted automatically
Сообщение13.11.2016, 20:29 


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 77 ]  На страницу Пред.  1, 2, 3, 4, 5, 6  След.

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



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

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


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

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