Великая теорема Ферма. Доказательство Виктора Сорокина
Модератор: модераторы
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
9 марта 2012 я опубликовал на матфорумах доказательство леммы:
Если AB≠0 mod n, то в равенстве A^n+B^n=(A+B )R число R не содержит простых делителей m=dn^t+1, где d≠0 mod n и t=0 или 1.
Спустя 10 дней я нашел доказательство леммы для любого t. Оно основано на простой теореме:
Для взаимно простых натуральных a, n, m (все больше 2), где n и m простые, существует такое сколь-угодно большое t, что число a^{n^t-1}-1 делится на m.
Очевидно, для выполнения этого требования нужно, чтобы, согласно малой теореме Ферма, показатель степени n^t-1 делился на m-1, что возможно при условии, если t делится на m-1, а кроме этого на сколь-угодно большое число g, т.е. t=(m-1)g.
И теперь доказательство ВТФ в общем случае будет немного сложнее частного случая.
Текст оформляется.
Если AB≠0 mod n, то в равенстве A^n+B^n=(A+B )R число R не содержит простых делителей m=dn^t+1, где d≠0 mod n и t=0 или 1.
Спустя 10 дней я нашел доказательство леммы для любого t. Оно основано на простой теореме:
Для взаимно простых натуральных a, n, m (все больше 2), где n и m простые, существует такое сколь-угодно большое t, что число a^{n^t-1}-1 делится на m.
Очевидно, для выполнения этого требования нужно, чтобы, согласно малой теореме Ферма, показатель степени n^t-1 делился на m-1, что возможно при условии, если t делится на m-1, а кроме этого на сколь-угодно большое число g, т.е. t=(m-1)g.
И теперь доказательство ВТФ в общем случае будет немного сложнее частного случая.
Текст оформляется.
-
- Сообщения: 1615
- Зарегистрирован: Ср, 07 янв 2004, 16:10
- Откуда: PUNK_22_13
- Контактная информация:
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Во-первых, не нужно, а можно - это про малую теорему Ферма.
>n^t-1 делился на m-1, что возможно при условии, если t делится на m-1
Можно вот тут поподробнее?
Почему n^t-1 делится на m-1, если t делится на m-1?
Ну и так, на всякий случай: в малой теореме Ферма модуль сравнения - простое число.
>n^t-1 делился на m-1, что возможно при условии, если t делится на m-1
Можно вот тут поподробнее?
Почему n^t-1 делится на m-1, если t делится на m-1?
Ну и так, на всякий случай: в малой теореме Ферма модуль сравнения - простое число.
"Ты - мой вопрос на главный ответ!"(с)СЛОТ
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
Превратился в дерьмо, а как обратно - не знаю...
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Превратился в дерьмо, а как обратно - не знаю...
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Влад писал(а):
Почему n^t-1 делится на m-1, если t делится на m-1?
Ну и так, на всякий случай: в малой теореме Ферма модуль сравнения - простое число.
Если t - составное, то n^t-1 разлагается на сомножители, некоторые из которых могут делиться на m-1.
===========================
Завершить мартовское доказательство не удалось, но зато удалось найти решение, меньшее меньшего.
Напомню свойства равенства Ферма в базовом случае
Допустим, что в системе счисления с простым основанием n>2 (т.е. в базе n)
1°) C^n=A^n+B^n [=(A+B )R], A^n=C^n-B^n [=(C-B )P], B^n=C^n-A^n [=(C-A)Q], где
1a°) c – наибольший общий делитель чисел C и A+B;
1b°) r – второй сомножитель в числе C=cr;
1c°) если C не делится /делится/ на n, то A+B=c^n /A+B=(c^n):n/.
2°) 2C>A+B>C (т.к. A+B-C=U>0, 2C-A-B=C-U>0>-U).
Лемма
Обозначение: « => » – «однозначно определяет».
Тройка чисел C-B, C-A, R, взятая из решения уравнения 1° с наименьшим значением R, однозначно определяет все остальные числа в равенстве 1°, т.е. диофантово уравнение
3°) (C-B )P+(C-A )Q=(A+B)R с параметрами C-B, C-A, R имеет единственное решение.
Доказательство
R => r. И теперь {C-B, C-A} => 2C-(A+B)=2cr-c^n => c => cr => C => {P, Q, ...}.
Доказательство ВТФ.
Возьмем минимальные положительные решения (x, v) и (y, w) двух следующих линейных диофантовых уравнений:
4a°) (C-B)x-vR=-1
4b°) (C-A)y-wR=1.
Складывая эти уравнения, мы получаем линейное диофантово уравнение:
5°) (C-B)x+(C-A)y=(v+w)R, где, как следует из свойств линейных диофантовых уравнений, 0<x<R<P; 0<y<R<Q; 0<v<C-B, 0<w<C-A, откуда 0<v+w<2C-(A+B)<C<A+B.
Таким образом, новое решение (x, y, v+w) меньше наименьшего решения (P, Q, A+B). Полученное противоречие подтверждает истинность ВТФ.
-
- Сообщения: 1615
- Зарегистрирован: Ср, 07 янв 2004, 16:10
- Откуда: PUNK_22_13
- Контактная информация:
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Виктор Сорокин писал(а):Влад писал(а):
Почему n^t-1 делится на m-1, если t делится на m-1?
Ну и так, на всякий случай: в малой теореме Ферма модуль сравнения - простое число.
Если t - составное, то n^t-1 разлагается на сомножители, некоторые из которых могут делиться на m-1.
А могут и не делиться. Доказательство?
Остальное - бред чуть более, чем полностью. При чём тут вообще система счисления?
>1c°) если C не делится /делится/ на n, то A+B=c^n /A+B=(c^n):n/.
с чего это вдруг?
> Обозначение: « => » – «однозначно определяет».
бугага =))
>Доказательство
>R => r. И теперь {C-B, C-A} => 2C-(A+B)=2cr-c^n => c => cr => C => {P, Q, ...}.
Это набор символов, а не доказательство.
"Ты - мой вопрос на главный ответ!"(с)СЛОТ
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Превратился в дерьмо, а как обратно - не знаю...
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Превратился в дерьмо, а как обратно - не знаю...
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Влад писал(а):1) А могут и не делиться. Доказательство?
2) Остальное - бред чуть более, чем полностью. При чём тут вообще система счисления?
1) См. формулировку малой теоремы Ферма.
2) При том, что в системе счисления с простым основанием n все свойства простых чисел записываются на порядок проще. Например, число a^(n-1) при а не кратном n оканчивается на цифру 1.
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
В конце реализации последней идеи доказательства возникла интересная гипотеза:
Два диофантовых равенства с положительными параметрами A, B, C
0°) [D_0] Ax_0+By_0-Cz_0=0 с положительным решением (x_0, y_0, z_0) и v_0=max(x_0, y_0, z_0) и
1°) [D_1] Ax_1+By_1-Cz_1=0 с положительным решением (x_1, y_1, z_1) и v_1=max(x_1, y_1, z_1), где
все числа Ax_0, By_0, Cz_0, Ax_1, By_1, Cz_1 взаимно простые,
порождают последовательность диофантовых равенств
k°) [D_k] Ax_k+By_k-Cz_k=0 с положительным решением (x_k, y_k, z_k) и v_k=max(x_k, y_k, z_k), где
v_(k-1)>v_k>0.
Следовательно, система равенств 0°-1° (а также равенство Ферма) противоречива.
Два диофантовых равенства с положительными параметрами A, B, C
0°) [D_0] Ax_0+By_0-Cz_0=0 с положительным решением (x_0, y_0, z_0) и v_0=max(x_0, y_0, z_0) и
1°) [D_1] Ax_1+By_1-Cz_1=0 с положительным решением (x_1, y_1, z_1) и v_1=max(x_1, y_1, z_1), где
все числа Ax_0, By_0, Cz_0, Ax_1, By_1, Cz_1 взаимно простые,
порождают последовательность диофантовых равенств
k°) [D_k] Ax_k+By_k-Cz_k=0 с положительным решением (x_k, y_k, z_k) и v_k=max(x_k, y_k, z_k), где
v_(k-1)>v_k>0.
Следовательно, система равенств 0°-1° (а также равенство Ферма) противоречива.
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Говоря иначе:
Теорема (по-видимому, фундаментальная)
Если для взаимно простых натуральных A, B, C существуют два равенства
Ax+By-Cz=0 и Ae+Bf-Cg=0, то числа x, y, z, e, f, g не взаимно простые.
Являясь одним из таких равенств, равенство Ферма порождает и второе, что (если Теорема истинна) и доказывает истинность ВТФ (где числа A, B, C не могут быть взаимно простыми).
Теорема (по-видимому, фундаментальная)
Если для взаимно простых натуральных A, B, C существуют два равенства
Ax+By-Cz=0 и Ae+Bf-Cg=0, то числа x, y, z, e, f, g не взаимно простые.
Являясь одним из таких равенств, равенство Ферма порождает и второе, что (если Теорема истинна) и доказывает истинность ВТФ (где числа A, B, C не могут быть взаимно простыми).
-
- Сообщения: 1615
- Зарегистрирован: Ср, 07 янв 2004, 16:10
- Откуда: PUNK_22_13
- Контактная информация:
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Виктор Сорокин писал(а):Влад писал(а):1) А могут и не делиться. Доказательство?
2) Остальное - бред чуть более, чем полностью. При чём тут вообще система счисления?
1) См. формулировку малой теоремы Ферма.
.
А вы сами-то эту теорему поняли? Вы можете привести строгое доказательство, или нет?
Повторюсь, в малой теореме ферма идёт речь о делимости на простое число, у вас - о делимости на m-1, которое не является простым.
Вы будете отвечать на вопросы, или опять напишите многозначительную ничего не объясняющую фразу?
Виктор Сорокин писал(а):2) При том, что в системе счисления с простым основанием n все свойства простых чисел записываются на порядок проще. Например, число a^(n-1) при а не кратном n оканчивается на цифру 1.
И как это используется в последних выводах?
На остальные вопросы, я так понимаю, ответа не последует?
"Ты - мой вопрос на главный ответ!"(с)СЛОТ
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Превратился в дерьмо, а как обратно - не знаю...
She broke my heart.
You merely broke my life.
Я сразу всё, но я ничто.
Я тысячи людей, но я никто...
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
![Very Happy :D](./images/smilies/icon_biggrin.gif)
Превратился в дерьмо, а как обратно - не знаю...
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Влад писал(а):На остальные вопросы, я так понимаю, ответа не последует?
Ответ на них был дан еще в Сообщении 83 (стр 4), в Приложении.
=====================
Проект доказательства ВТФ с помощью пары диофантовых равенств
Допустим, что для простого n>2 и взаимно простых натуральных a, b, c
1°) c^n=a^n+b^n [=(a+b )R], a^n=c^n-b^n [=(c-b )P], b^n=c^n-a^n [=(c-a)Q].
Из равенств 1° следуют также равенства (см. известные формулы разложения):
2°) a^n-b^n=(a-b )r, c^n+b^n=(c+b )p, c^n+a^n=(c+a)q, с равенством
3°) (c+a)q-(c+b)p-(a-b)r=0, где r+p+q=d, и
4°) Q-P=(a-b)u, Q-R=(c+b)v, P-R=(c+a)w, с равенством
5°) (c+a)w-(c+b)v-(a-b)(-u)=0, где -u+v+w=e.
Умножим равенства 3° на e и 5° на d, затем вычтем из первого произведения второе:
6°) (c+a)x-(c+b)y-(a-b)z=0 (где x=qe-wd, y=pe-vd, z=re+ud), где
7°) (c+a)-(c+b)-(a-b)=0 и х+y+z=0.
По-видимому, можно доказать, что, как и c+a, c+b, a-b, числа x, y, z взаимно простые.
Последний вопрос: существует ли целочисленное решение уравнения 6°?
Возможно, П.Ферма искал ответ на этот вопрос в «Четвертой книге Арифметики» Диофанта...
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Виктор Сорокин писал(а):Умножим равенства 3° на e и 5° на d, затем вычтем из первого произведения второе:
6°) (c+a)x-(c+b)y-(a-b)z=0 (где x=qe-wd, y=pe-vd, z=re+ud), где
7°) (c+a)-(c+b)-(a-b)=0 и х+y+z=0.
По-видимому, можно доказать, что, как и c+a, c+b, a-b, числа x, y, z взаимно простые.
И теперь, после исключения из равенства 6° чисел a-b и z мы получаем противоречивое равенство: разность двух ВЗАИМНО ПРОСТЫХ чисел равна нулю.
Таким образом, осталось доказать, что все числа c+a, c+b, a-b, x, y, z взаимно простые.
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Уточнение
Доказательство ВТФ с помощью однородной системы линейных уравнений
Допустим, что для простого n>2 и взаимно простых натуральных a, b, c имеет место
1°) c^n=a^n+b^n, из чего следуют равенства (см. известные формулы разложения):
1a°) c^n-b^n=(c-b )P, c^n-a^n=(c-a)Q, a^n-b^n=(a-b )T, где
2a°) Q-P=(a-b)u, Q-T=(c-b)v, P-T=(c-a)w, с равенством
3a°) (c-b)v-(c-a)w-(a-b)u=0, и, учитывая 1a°, с равенством
3b°) (c-b)P-(c-a)Q-(a-b)r=0.
Для того, чтобы однородная система линейных уравнений – в нашем случае 2a°-2b° – имела нетривиальное решение, как известно, необходимо, чтобы все миноры системы – в частности
vQ-wP=0 – были равны нулю. То есть
4°) vQ=wP, где числа Q и P – взаимно простые.
Отсюда следует, что число w должно делиться на Q (а число w – на P). Но это невозможно, поскольку Q>>w.
Действительно, значения чисел P, Q, T лежат в пределах между a^{n-1} (которое, заметим, больше, чем 0,5c^{n-1}) и nc^{n-1}, а число c-a [или n(c-a) – если b кратно n] является, как известно, n-й степенью, к тому же числа c-a и Q взаимно простые. Поэтому, даже если мы возьмем число w со значением (P-T)/(c-a), то даже при c-a=2^n, P= nc^{n-1} и T=0 соблюдается неравенство:
5°) (nc^{n-1})/(2^n)< 0,5c^{n-1}, поскольку при n>2 мы имеем неравенство n/(2^n)< 0,5.
И нам остается признать, что решение равенства 1° в целых числах не существует.
Доказательство ВТФ с помощью однородной системы линейных уравнений
Допустим, что для простого n>2 и взаимно простых натуральных a, b, c имеет место
1°) c^n=a^n+b^n, из чего следуют равенства (см. известные формулы разложения):
1a°) c^n-b^n=(c-b )P, c^n-a^n=(c-a)Q, a^n-b^n=(a-b )T, где
2a°) Q-P=(a-b)u, Q-T=(c-b)v, P-T=(c-a)w, с равенством
3a°) (c-b)v-(c-a)w-(a-b)u=0, и, учитывая 1a°, с равенством
3b°) (c-b)P-(c-a)Q-(a-b)r=0.
Для того, чтобы однородная система линейных уравнений – в нашем случае 2a°-2b° – имела нетривиальное решение, как известно, необходимо, чтобы все миноры системы – в частности
vQ-wP=0 – были равны нулю. То есть
4°) vQ=wP, где числа Q и P – взаимно простые.
Отсюда следует, что число w должно делиться на Q (а число w – на P). Но это невозможно, поскольку Q>>w.
Действительно, значения чисел P, Q, T лежат в пределах между a^{n-1} (которое, заметим, больше, чем 0,5c^{n-1}) и nc^{n-1}, а число c-a [или n(c-a) – если b кратно n] является, как известно, n-й степенью, к тому же числа c-a и Q взаимно простые. Поэтому, даже если мы возьмем число w со значением (P-T)/(c-a), то даже при c-a=2^n, P= nc^{n-1} и T=0 соблюдается неравенство:
5°) (nc^{n-1})/(2^n)< 0,5c^{n-1}, поскольку при n>2 мы имеем неравенство n/(2^n)< 0,5.
И нам остается признать, что решение равенства 1° в целых числах не существует.
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Виктор, а зачем вы уже 6 лет пытаетесь здесь доказать ВТФ? Ведь она уже доказана в 1995 году.
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
KHL писал(а):Виктор, а зачем вы уже 6 лет пытаетесь здесь доказать ВТФ? Ведь она уже доказана в 1995 году.
Чтобы разгадать величайшую тайну!
=============================
КОНЕЦ
Доказательство Великой теоремы Ферма
Допустим, что для n>2 и взаимно простых натуральных A, B, C существует равенство
1°) c^n=a^n+b^n, из чего следуют также равенства (см. формулы разложения):
2°) c^n-b^n=(c-b )P, c^n-a^n=(c-a)Q, a^n-b^n=(a-b )T, где
3°) числа c-a, c-b, a-b взаимно простые,
4°) (c-b)P-(c-a)Q-(a-b)T=0 и
5a°) (c-b)-(c-a)=(a-b), а также: 5b°) (c-b)-(a-b)=(c-a).
Доказательство ВТФ
Из 4° и 5a° мы имеем:
(c-b)P-(c-a)Q=[(c-b)-(c-a)]T, откуда
(c-b)(P-T)=(c-a)(Q-T).
Из этого, учитывая 3°, следует, что (P-T) делится на (c-a), а (Q-T) делится на (c-b), или
6a°) (P-T)=(c-a)V, (Q-T)=(c-b)W.
Аналогично из 4° и 5b° мы имеем:
(c-b)P-[(c-b)-(a-b)]Q=(a-b)T, откуда
(c-b)(Q-P)=(c-a)(Q-T).
Из этого, учитывая 3°, следует, что (Q-P) делится на (c-a), а (Q-T) делится на (c-b), или
6b°) (Q-P)=(c-a)U, (Q-T)=(c-b)W.
В итоге 6a° и 6b° дают равенства:
6°) (P-T)=(c-a)V, (Q-T)=(c-b)W, (Q-P)=(c-a)U.
Если одно из чисел V, W, U равно нулю, то и два других тоже равны нулю, откуда
7°) P=Q=R и, следовательно, равенство 1° невозможно.
А далее, заменив в 4° числа P, Q, T на числа V, W, U, мы целиком повторяем проведенные выше рассуждения. И так далее.
И поскольку в каждой итерации числа P, Q, T заменяются на меньшие (по абсолютному значению) числа V, W, U, то после некоторой итерации в уравнениях 6° появятся неравенства |W_i -U_i|<|c-a|, |V_i-U_i|<|c-b|, |V_i-W_i|<|c-a| и равенства 6°, следовательно и равенство 1°, в целых числах будут невозможными.
На этом история ВТФ заканчивается.
(Mezos, 24 апреля 2012).
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
Полагаю, что я нашел доказательство более сильной теоремы, чем ВТФ, а именно:
S-Теорема:
Если
a, b, c, p, q, r – натуральные,
a, b, c – взаимно простые и больше 2,
a+b-c=0 (либо a-b+c=0),
q-r делится на a,
p-r делится на b,
q-p делится на c,
то целочисленные равенства
ap+bq-cr=0 (ap-bq+cr=0) не существуют.
Доказательство S-Теоремы почти совпадает с доказательством ВТФ в публикациях 24-26 апреля 2012.
На базе S-Теоремы доказательство ВТФ выглядит так:
Равенство Ферма невозможно, поскольку с необходимостью порождает равенство
(c-b)P-(c-a)Q-(a-b)T=0, которое, согласно S-Теореме, не имеет целых решений.
* * *
Таким образом, дальнейшее обсуждение проблемы ВТФ сводится к уяснению S-Теоремы – ее идеи, инструментов и методов. Если ее доказательство не содержит серьезных ошибок, то ее математический аппарат не выходит за пределы 6-го класса средней школы. (Лишь для доказательства ВТФ необходимо знать формулы разложения, которые проходят, кажется, в 8-м классе.)
S-Теорема рассматривает интересный математический объект: последовательность троек уменьшающихся чисел. В начале последовательности лежит тройка натуральных чисел {p1, q1, r1}. Для вычисления следующей тройки сначала составляется тройка разностей {p1-q1, q1-r1, r1-p1}; при этом выясняется, что каждая из разностей содержит свой сомножитель a, b или c (каждый >2), после отбрасывания которых и получается вторая тройка {p2, q2, r2} в последовательности.
Понятно, что даже в случае, когда, например, сомножитель a=3 и числа p1 и q1 противоположны по знаку, частное от деления p1-q1 на 3 по абсолютному значению будет меньше и p1, и q1 [например, после отбрасывания в суммы 7+8 сомножителя 3 частное от деления (7+8) на 3, т.е. 5, будет меньше 8].
Очевидно, что рано или поздно в какой-то тройке {pi, qi, ri} должно появиться нецелое число, что противоречит закономерности, изначально заложенной в последовательность.
S-Теорема:
Если
a, b, c, p, q, r – натуральные,
a, b, c – взаимно простые и больше 2,
a+b-c=0 (либо a-b+c=0),
q-r делится на a,
p-r делится на b,
q-p делится на c,
то целочисленные равенства
ap+bq-cr=0 (ap-bq+cr=0) не существуют.
Доказательство S-Теоремы почти совпадает с доказательством ВТФ в публикациях 24-26 апреля 2012.
На базе S-Теоремы доказательство ВТФ выглядит так:
Равенство Ферма невозможно, поскольку с необходимостью порождает равенство
(c-b)P-(c-a)Q-(a-b)T=0, которое, согласно S-Теореме, не имеет целых решений.
* * *
Таким образом, дальнейшее обсуждение проблемы ВТФ сводится к уяснению S-Теоремы – ее идеи, инструментов и методов. Если ее доказательство не содержит серьезных ошибок, то ее математический аппарат не выходит за пределы 6-го класса средней школы. (Лишь для доказательства ВТФ необходимо знать формулы разложения, которые проходят, кажется, в 8-м классе.)
S-Теорема рассматривает интересный математический объект: последовательность троек уменьшающихся чисел. В начале последовательности лежит тройка натуральных чисел {p1, q1, r1}. Для вычисления следующей тройки сначала составляется тройка разностей {p1-q1, q1-r1, r1-p1}; при этом выясняется, что каждая из разностей содержит свой сомножитель a, b или c (каждый >2), после отбрасывания которых и получается вторая тройка {p2, q2, r2} в последовательности.
Понятно, что даже в случае, когда, например, сомножитель a=3 и числа p1 и q1 противоположны по знаку, частное от деления p1-q1 на 3 по абсолютному значению будет меньше и p1, и q1 [например, после отбрасывания в суммы 7+8 сомножителя 3 частное от деления (7+8) на 3, т.е. 5, будет меньше 8].
Очевидно, что рано или поздно в какой-то тройке {pi, qi, ri} должно появиться нецелое число, что противоречит закономерности, изначально заложенной в последовательность.
-
- Сообщения: 533
- Зарегистрирован: Вт, 31 янв 2006, 16:45
Re: Великая теорема Ферма. Доказательство Виктора Сорокина
1. Последнее доказательство ВТФ ошибочно.
2. Если за основание степенного бинома a^n+b^n принять сумму оснований его слагаемых a+b, то возникает странный вопрос:
Почему сумма оснований в равенстве Ферма
1°) a^n+b^n-c^n=0 равна a+b-c (>0),
а сумма оснований в тождественном ему равенстве
2°) (a^n+b^n)-(c^n-a^n)-(c^n-b^n)=0 равна 2(a+b-c)?
Замечу, что второе равенство получено из первого БЕЗ умножения оснований на 2.
2. Если за основание степенного бинома a^n+b^n принять сумму оснований его слагаемых a+b, то возникает странный вопрос:
Почему сумма оснований в равенстве Ферма
1°) a^n+b^n-c^n=0 равна a+b-c (>0),
а сумма оснований в тождественном ему равенстве
2°) (a^n+b^n)-(c^n-a^n)-(c^n-b^n)=0 равна 2(a+b-c)?
Замечу, что второе равенство получено из первого БЕЗ умножения оснований на 2.
Вернуться в «Доска математических объявлений»
Кто сейчас на конференции
Сейчас этот форум просматривают: нет зарегистрированных пользователей и 144 гостя