Уважаемые модераторы форума, тему напечатал на планшете. Тут нет ''иконок'' для [math]...[\math], поэтому тему не смог написать TeXУ меня показывают ''иконки'' B...fx.
Великая теорема Ферма - одна из самых популярных теорем математики. Печально известная тем, что она широка известна и дилетантам от математики. Ее условие сформулировано на ''школьном арифметическом уровне'', доказательство искали более трехсот лет. В настоящее время признано только одно - чрезвычайно сложное доказательство Эндрю Уайлсом.
Но ферматисты до сих пор не оставляют попыток доказательств ВТФ.Единственное, что могу добавить, что ферматист, который не вычислит ''эффект бесконечного спуска'' для k=2n, n>1, - идёт по своему пути, чрезвычайно сложному, неизвестному Пьеру Ферма.
Так чем же ещё знаменит Пьер Ферма?
Он активно использовал в своих работах ''метод бесконечного спуска''. Что это такое? Можем узнать в интересной книге -
http://www.ega-math.narod.ru/Books/Edwards.htm
Сформулирован Пьером Ферма: ''Если из предположения, согласно которому данное положительное число обладает данным множеством свойств, следует, что существует меньшее положительное целое с тем же множеством свойств, то ни одно целое не может обладать этим множеством свойств''.
Как замечено в этой книге, математики считали, что для доказательства Последней формулы Ферма при n=4, достаточно, руководствуясь интуицией, сочетать методы бесконечного спуска и метод построения ''пифагоровых троек''...
К сожалению, они забыли о том, что Пьер Ферма вычислил ''поистине чудесное доказательство''.
Вычислив его, можем твёрдо сказать, что для доказательства при n=4, не надо использовать ''метод построения пифагоровых троек''. Он тут вреден, усложняет процесс доказательства многократно!
В данном случае надо обратить внимание на вычисление ''чётного натурального'' при k=2n,n=1.
b_k^2=c^2-a^2=(c-a)(c+a).
Обратите внимание, что ''чётное натуральное'' степени k=2n, равно произведению разница (c-a=b) на сумма (c+a=b_*).
Пьер Ферма указал о том, что он вычислил ''чудесное доказательство''. Так как же оно выглядит? Предполагаю, оно связано с взаимозависимостью ''натуральных нечетных'' (a,c) и ''натуральных четных'' (b,b_*).
(c-a=b, a+b=c) (a+c=b_*).
''Чудесные формулы'', по моему мнению, имет вид:
a=(c+a)/2-(c-a)/2=b_*/2-b/2.
c=(c+a)/2+(c-a)/2=b_*/2+b/2.
Обратите внимание на взаимосвязь
одного нечётного и второго нечётного с парой ''чётных''.
(a,b,b_*), (c,b,b_*).
c=b_*/2+b/2, a=b_*/2-b/2.
Далее используем признак ''натурального чётного числа'':
b_*=2(b_*/2=x_{b_*}), b=2(b/2=x_b).
Что же вычислили?
При k=2n,n=1. a=x_{b_*}-x_b, c=x_{b_*}+x_b.
Что же вычисляется при k=2n, n>1.
Вспоминаем признак ''натуральных чётных'',
b^n=(2x_b)^n=2(2^{n-1})x_b^n, b^n/2=2^{n-1}x_b^n.
b_*^n=(2x_{b_*})^n=2(2^{n-1})x_{b_*}^n, b_*/2=2^{n-1}x_{b_*}^n.
Оценили формулы?
При k=2n, n>1, моими словами, растёт иррациональность ''чётных натуральных.
b^n=(2x_b)^n=2(2^{n-1})x_b^n.
При k=2n,n=1. Что происходит?
b=2x_b, так как 2^{n-1}=2^{n-1=1-1=0}=1.
На основании изложенного, при k=2n, n=1, иррациональность ''чётных натуральных'' отсутствует.
Вычислим иррациональность ''чётных чисел'' при k=2n=2*2=4, n=2.
b^2=(2x_b)^2=2(2^{n-1=2-1=1})x_b^2.
b_*^2=2(2x_{b_*}^2).
*
Далее вычисляем, по формуле взаимосвязи каждого нечётного с ''парой чётных''.
a^n=b_*^n/2-b^n/2=2^{n-1}x_{b_*}^n-2^{n-1}x_b^n=2^{n-1}(x_{b_*}^n-x_b^n),
c^n=2^{n-1}(x_{b_*}^n+x_b^n).
При k=2n=4=2*2, вычислено, что:
b^4=c^4-a^4=(c^2-a^2=b^2)(c^2+a^n=b_*^2).
В данном случае, из-за роста иррациональности, вычислено, что
a^2=2^{2-1}(x_{b_*}^2-x_b^2)=2(x_{b_*}^2-x_b^2),
c^2=2(x_{b_*}^2+x_b^2).
В силу свойств натуральных чётных и нечетных, данные равенства при натуральных (c,x_b,x_{b_*}), (a,x_b,x_{b_*}), не решаемы!
Вывод, при k=2n=2*2, n=2>1,вычислено, что (c,x_b,x_{b_*}), (a,x_b,x_{b_*}) при натуральных нерешаемы!
ВТФ для k=4=2*2, 2>1, доказана!
#########################
Внимательно оцените формулы:
a^2=2(...), c^2=2(...). Для четной степени: k=2n=4,n=2.
Раньше мы указали на то, что было условие, что (a,c)- натуральные нечетные!
На основании изложенного, вычислено, что при k=2n,n>1, вычислено взаимодействие между (a,b,b_*), (a,b,b_*), затем преобразованных в вычисление (a,x_b,x_{b_*}), (c,x_b,x_{b_*}).
При k=2n, n>1, вычислен ''рост иррациональности пары чётных натуральных'',
b^n=2*(2^{n-1}x_b^n), b_*^n=2*(2^{n-1}x_{b_*}^n).
Вычислена невозможность из-за роста иррациональности ''чётных натуральных'' при k=2n,n>1, пар (a,x_b,x_{b_*}), (c,x_b,x_{b_*}).
На основании изложенного благодаря роли ''старших чётных степеней'', - k=2n,n>1, вычислена взаимосвязь каждого ''нечётного'' с парой ''чётных'', затем дальше преобразованных из-за роста иррациональности - 2^n=2*2^{n-1}, в новую пару чисел,
( x_b,x_{b_*}), вычислено, что вычислить (a,x_b,x_{b_*), (c,x_b,x_{b_*}) - нельзя! При k=2n, вычислены равенства a^n=2^{n-1}(...), c^n=2^{n-1}(...).
***
Для того, чтобы доказать ВТФ, при k=2n,n>1, надо вычислить и эффект ''бесконечного спуска''.
a^n=2^{n-1}(x_{b_*}^n-x_b^n=a^n/(2^{n-1})=x_a^n).
c^n=2^{n-1}(x_{b_*}^n+x_b^n=c^n/(2^{n-1})=x_c^n).
Вычисляем пару ''бесконечного спуска'':
x_a^n+x_b^n=x_{b_*}^n, x_b^n+x_{b_*}^n=x_c^n.
Продолжаем,
b_2^n=a^n+c^n=2a^n+b^n=2c^n-b^n.
В связи с тем, что при k=2n,n>1, вычислен рост иррациональности,
b^n=2(2^{n-1})x_b^n, b_*^n=2(2^{n-1})x_{b_*^n},
x_a^n=a^n/(2^{n-1}), x_c^n=c^n/(2^{n-1}).
*
a^n+b^n=c^n, a^n+c^n=b_*^n=2a^n+b^n=2c^n-b^n,
1/(2^{n-1}) бесконечный спуск, k=2n,n>1.
x_a^n+2x_b^n=x_c^n, x_a^n+x_c^n=2x_{b_*}^n,
2a^n+b^n=b_*^n, b_*^n+b^n=2c^n.
*
На основании изложенного, из-за роста ''иррациональности''чётных натуральных (b,b_*) для k=2n,n>1, 2^n=2*2^{n-1}, вычислен эффект бесконечного спуска, после преобразования:
b^n=2(2^{n-1})x_b^n, b_*^n=2(2^{n-1})x_{b_*}^n,
a^n/(2^{n-1})=x_a^n, x_c^n=c^n/(2^{n-1}).
Редактировалось 2 раз(а). Последний 01.08.2020 01:51.
