Форум программистов, компьютерный форум, киберфорум
Непризнанные теории, гипотезы
Войти
Регистрация
Восстановить пароль
 
Рейтинг 5.00/11: Рейтинг темы: голосов - 11, средняя оценка - 5.00
0 / 0 / 0
Регистрация: 29.05.2017
Сообщений: 6
1

Доказательство гипотезы (теоремы) Эндрю Била в контексте "Полного доказательства великой теоремы Ферма методом деления"

18.01.2019, 20:05. Показов 2096. Ответов 1

УДК 512.1
Доказательство гипотезы Эндрю Била
Ведерников Сергей Иванович – пенсионер, г. Москва
Аннотация. Методы доказательства Гипотезы Била, использованные в статье, заключаются в возможности показать базовое уравнение в виде равноценного ему, позволяющего представить значение выражения разностью квадратов двух нечётных чисел и использовать особенности её разложения на множители.
Ключевые слова: разность квадратов, общий делитель, разложение на множители.
The proof of Andrew Beal’s hypothesis
Vedernikov Sergey Ivanovich – Retired, Moscow
Abstract. The methods of proof of the Andrew Beal’s hypothesis, used in the article, show a basic equation equivalent to the original one, which allows to present the value of the expression by the difference of squares of two odd numbers and to use the features of its factorization.
Keywords: difference of squares, common divisor, factorization.

Имеется: https://www.cyberforum.ru/cgi-bin/latex.cgi?A^x+B^y=C^z, (1) A, B, C, x, y, z – целые, положительные числа, x, y, z >2 .

Доказать: A, B, C имеют общий простой делитель.
Доказательство.
Пусть C > A > B. Определимся с чётностью A, B, С. А именно: два из этих чисел должны быть нечётными, а одно чётным. (Случай одновременной чётности A, B, C можно исключить из детального рассмотрения, поскольку эти числа заведомо имеют общий простой делитель – 2.) Примем A и C нечётными числами, а В чётным числом, поскольку принципиальной разницы между числами А и В нет. (О возможности чётного С будет обговорено ниже.)
Исходя из посыла, что любое чётное число, имеющее делителем 2^n при n ≥ 3, можно выразить разностью квадратов двух нечётных чисел, произведём следующие преобразования.
Преобразуем ф. (1).
https://www.cyberforum.ru/cgi-bin/latex.cgi?C^z-A^x=B^y. (2)

Прибавим к левой и правой частям ф. (2) https://www.cyberforum.ru/cgi-bin/latex.cgi?2A^x.

https://www.cyberforum.ru/cgi-bin/latex.cgi? C^z+A^x=B^y+2∙A^x. (3)

Выразим ф. (2) и ф. (3) следующим образом:
https://www.cyberforum.ru/cgi-bin/latex.cgi?C^z-A^x=2^y∙B_1^y. (3)

https://www.cyberforum.ru/cgi-bin/latex.cgi? C^z+A^x=2^y∙B_1^y+2∙A^x=2∙(2^((y-1) )∙B_1^y+A^x). (4)

В формуле (4) число [LATEX]A(2^((y-1))∙B_1^y+A^x)[/LTEX]
нечётное, которое можно обозначить как k, но для дальнейшего доказательства предположим, что https://www.cyberforum.ru/cgi-bin/latex.cgi?(2^((y-1) )∙B_1^y+A^x )=B_2^( y),
поскольку число https://www.cyberforum.ru/cgi-bin/latex.cgi?2∙(2^((y-1))∙B_1^y+A^x)
нельзя принять n – ой степенью целого числа при n ≥2, т. к. оно имеет только один множитель 2.
Запишем ф. (3) и ф. (4) следующим образом:
https://www.cyberforum.ru/cgi-bin/latex.cgi?C^z-A^x=B^y; (5)

https://www.cyberforum.ru/cgi-bin/latex.cgi?C^z+A^x=2∙B_2^y. (6)

Примем для простоты https://www.cyberforum.ru/cgi-bin/latex.cgi?C^z=C_1, а https://www.cyberforum.ru/cgi-bin/latex.cgi?A^x=A_1.

Тогда ф. (5) и ф. (6) примут вид:
https://www.cyberforum.ru/cgi-bin/latex.cgi? C_1-A_1=B^Y; (7)

https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1+A_1=2∙B_2^y. (8)

Перемножим левые и правые части ф. (7) и ф. (8).
https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1^2-A_1^2=2∙B^y∙B_2^y . (9)
Формула (9) не что иное, как выражение чётного числа https://www.cyberforum.ru/cgi-bin/latex.cgi?2∙B^y∙B_2^y разностью квадратов двух нечётных чисел.
Известно, что сумма и разность двух нечётных чисел, числа чётные, но одно из них имеет делителем только одно число 2, а второе – минимум https://www.cyberforum.ru/cgi-bin/latex.cgi?2^2.
Вариантов разложения чётного числа в степени n≥3 на сумму и разность двух нечётных чисел может быть столько, сколько возможно сочетаний пар множителей, составляющих это число, но для каждой пары множителей возможен только один случай. В рассматриваемом моменте важна одна особенность такого разложения, заключающаяся в том, что его нужно разделить на два способа.
1 - ый способ: множители разложения кроме числа 2 имеют ещё один или несколько простых делителей.
2 – ой способ: множители разложения не имеют общего делителя, кроме числа 2.
Выполним действия аналогичные рассмотренным автором в Случае 2 «Полного доказательства Великой теоремы Ферма методом деления» ф.(6) и ф.(7). [1]
Сложим почленно левые и правые части ф. (7) и ф. (8). https://www.cyberforum.ru/cgi-bin/latex.cgi?2∙C_1=2∙B_2^y+B^y; https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1=((2∙B_2^y+B^y ))/2=2∙(B_2^y+2^(y-1) )∙B_1^y)/2.
https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1=B_2^y+2^(y-1)∙B_1^y. (10)
Вычтем почленно ф. (7) из ф. (8).
https://www.cyberforum.ru/cgi-bin/latex.cgi? 2∙ A_1=2∙B_2^y-B^y; https://www.cyberforum.ru/cgi-bin/latex.cgi? A_1=(2∙B_2^y-B^y)/2=2∙(B_2^Y-2^(y-1) )∙B_1^Y)/2.
https://www.cyberforum.ru/cgi-bin/latex.cgi?A_1=B_2^y-2^(y-1)∙B_1^y. (11)
Рассмотрим 1-ый способ.
Из ф. (10) и ф. (11) видно, что если https://www.cyberforum.ru/cgi-bin/latex.cgi?B_2^y и https://www.cyberforum.ru/cgi-bin/latex.cgi?B_1^y имеют общий нечётный делитель, поскольку https://www.cyberforum.ru/cgi-bin/latex.cgi?B_2^y нечётное число, то этот делитель имеют числа https://www.cyberforum.ru/cgi-bin/latex.cgi?A_1 и https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1 .
Проиллюстрируем это на примере разложения на множители числа 6^3. Примем 6^3=6∙36=(2∙3)∙https://www.cyberforum.ru/cgi-bin/latex.cgi?(2^2∙3^2 ). В данном случае условие для разложения чётного числа на множители по формуле разности квадратов двух нечётных чисел соблюдено, и первый множитель имеет сомножителем только одно число 2. Кроме того оба множителя имеют общий делитель 3.
Сложим оба множителя: 6 + 36 = 42. Найдём средне арифметическое: 42: 2 = 21. Это первое нечётное число. Вычтем из него второй множитель: 21 – 6 = 15. Это второе нечётное число. Имеем: (21 – 15)(21 + 15) = 6 ∙ 36, где все числа выражения имеют общий простой делитель 3.
Следовательно, предположение о том, что числа A, B, C могут иметь общий делитель, обосновано.
Рассмотрим 2 - й способ, когда множители разложения не имеют общего делителя кроме числа 2.
Из ф. (10) и ф. (11) видно, что при отсутствии общего делителя в числах B_2^y и B_1^y, общего делителя не будет и у чисел A, B, C, что соответствует условию о взаимно простых числах X, Y, Z в «Полном доказательстве Великой теоремы Ферма методом деления».
Обратимся к числу 6^3, имеющем два степенных сомножителя. 6^3=2^3∙3^3. Выразим 6^3=216=54∙4∙1^3. Условия для выражения числа 6^3 разностью квадратов двух нечётных чисел соблюдены: 54 = 2∙27=2∙3^3, и 4 = 2^2∙1^3. (Нужно пояснить значение 2^2. В ф. (10) и ф. (11) она выражена как 2^(y-1).)
Сложим множители 54 и 4. 54 + 4 = 58.
Найдём средне арифметическое. 58 : 2 = 29 – это первое нечётное число.
Вычтем из него второй множитель. 29 – 4 = 25 – это второе нечётное число.
Имеем: (29 – 25)(29 + 25) = 4 ∙54.
Здесь члены выражения не имеют общего делителя, а число 8 = 2^3, множитель числа 6^3=2^3∙3^3, поделено на 2 и 4. Подобным образом происходит разложение на множители любой пифагоровой тройки. [2] (См. «Полное доказательство Великой теоремы Ферма методом деления» Общий случай. Формулы (3а) и (4а).) [1] Отсюда можно сделать вывод о том, что это общее правило разложения на множители по формуле разности квадратов двух нечётных чисел любого чётного числа в степени n при n > 2, если множители разложения не имеют общего делителя, т. е. должны быть в степени n, кроме чисел 2 и 2^(n-1). (См. Случай 2, формулы (6) и (7), «Полного доказательства Великой теоремы Ферма методом деления».) [1]
Ранее было предположено, что https://www.cyberforum.ru/cgi-bin/latex.cgi?(2^(y-1)∙B_1^y+A^x )=B_2^y, что согласуется с верхним абзацем. Рассмотрим ф. (9) . https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1^2-A_1^2=2∙B^y∙B_2^y . Примем https://www.cyberforum.ru/cgi-bin/latex.cgi?B^y∙B_2^y=B_3^Y. Имеем:
https://www.cyberforum.ru/cgi-bin/latex.cgi?С_1^2-A_1^2=2∙B_3^y. (12)
Очевидно, что разложение числа https://www.cyberforum.ru/cgi-bin/latex.cgi?2 ∙B_3^y на множители по формуле разности квадратов нечётных чисел не соответствует выше рассмотренному условию, зато этому условию соответствует разложение на множители числа https://www.cyberforum.ru/cgi-bin/latex.cgi?B_3^y. Поэтому выразим https://www.cyberforum.ru/cgi-bin/latex.cgi?B_3^y разностью квадратов чисел C_2 и A_2. Тогда ф. (12) будет такой:
https://www.cyberforum.ru/cgi-bin/latex.cgi?С_1^2-A_1^2=2∙(C_2^2-A_2^2) =(2∙C_2^2-2∙A_2^2). (13)
Разложим на множители левую и правую части ф. (13).
https://www.cyberforum.ru/cgi-bin/latex.cgi?(С_1-A_1 )(C_1+A_1 )≠(√2∙C_2-√2∙A_2)(√2∙C_2+√2∙A_2. (14)
Формула (14) показывает, что при равенстве https://www.cyberforum.ru/cgi-bin/latex.cgi?(2^(y-1)∙B_1^y+A^x )=B_2^y в ф. (4), уравнение (9) не имеет решения в целых числах.
Рассмотрим снова уравнение (9): https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1^2-A_1^2=2∙B^y∙B_2^y. Предположим, что число https://www.cyberforum.ru/cgi-bin/latex.cgi?B_2^y не является целым числом в степени y. Примем https://www.cyberforum.ru/cgi-bin/latex.cgi? B_2^y=k. Тогда ф. (9) примет вид:
https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1^2-A_1^2=2∙k∙B^y. (15)
Примем https://www.cyberforum.ru/cgi-bin/latex.cgi?B^y=(C_3^2-A_3^2). Запишем ф. (15) так:
https://www.cyberforum.ru/cgi-bin/latex.cgi?C_1^2-A_1^2=2∙k∙(C_3^2-A_3^2). (16)
Разложим левую и правую части уравнения (16) на множители.
https://www.cyberforum.ru/cgi-bin/latex.cgi?(C_1-A_1 )(C_1+A_1 )≠(√2∙√k∙C_3-√2∙√k∙A_3 )(√2∙√k∙C_3+√2∙√k∙A_3 ). (17)
Из ф. (17) следует, что уравнение (16) невозможно разложить на целочисленные множители, поскольку √2-иррационален,а √k - есть корень из нечётного числа.
Кроме того, из ф. (10) и ф. (11), следует, что C_1 и A_1, а следовательно, C^z и A^x невозможно разложить на целочисленные множители, поскольку невозможно разложить правую часть ф. (11) на целочисленные множители по формуле разложения на множители разности n – х степеней, а правую часть ф. (10) - на целочисленные множители по формуле разложения на множители суммы n – х степеней при n=2∙k+1. [3] (См. Случай 2 « Полного доказательства… » ф. (6) и ф. (7), а также ф. (8) и ф. (9).) [1]
Вывод: при отсутствии общих множителей в числах A,B,C уравнение A^x+B^y=C^z не имеет решения в целых числах.
Поскольку уравнение X^n+Y^n=Z^n, при n > 2, является частным случаем уравнения (1), то этот вывод относится и к теореме Ферма.
Нами рассмотрен случай, когда число B ф. (1) - чётное. Предположим, что чётным является число C, а числа A и B - нечётные.
Преобразуем ф. (1), вычтя из левой и правой её частей 2∙B^y. Имеем:
https://www.cyberforum.ru/cgi-bin/latex.cgi?A^x-B^y=C^z-2∙B^y . (18)
Перемножим левые и правые части ф. (1) и ф. (18). Имеем:
https://www.cyberforum.ru/cgi-bin/latex.cgi?A^2x-B^2y=C^z∙(C^z-2∙B^y ). (19)
Доказательство, следующее за ф. (19), аналогично выше рассмотренному.
Следовательно, утверждение, что целые положительные числа A, B, С, при целых положительных x, y, z > 2, имеют общий простой делитель в уравнении https://www.cyberforum.ru/cgi-bin/latex.cgi?A^x+B^y=C^z доказано, а значит Теорема (гипотеза) Била доказана.
Список литературы:
Ведерников С. И. Полное доказательство Великой теоремы Ферма методом деления. Журнал «Наука через призму времени». №10(19) 2018. Международный научный журнал.
Серпинский В. Пифагоровы треугольники. М.: Учпедгиз, 1959.
Гусев В. А., Мордкович А. Г. Математика: Справочные материалы. М.: Просвещение, 1990.
© С. И. Ведерников 2018.
__________________
Помощь в написании контрольных, курсовых и дипломных работ здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
18.01.2019, 20:05
Ответы с готовыми решениями:

Частные случаи доказательства теоремы Ферма
Господа, предлагаю вашему вниманию доказательство теоремы Ферма с использованием чисел, кратных...

Доказательство теоремы Ферма (нечетные степени)
ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА (нечетные степени) Уравнение Великой теоремы Ферма...

Доказательство Великой теоремы Ферма
Уважаемые господа, предлагаю вашему вниманию доказательство Великой теоремы Ферма.

Есть ли связь "Гипотезы Таниямы" с "Теоремой Ферма?"
Увидел здесь кубику y^2=x(x-t)(x-p), в формуле которой имеются две переменные ( величина,...

1
0 / 0 / 0
Регистрация: 29.05.2017
Сообщений: 6
19.01.2019, 13:53  [ТС] 2
УДК 512.1
Доказательство гипотезы Эндрю Била
Ведерников Сергей Иванович – пенсионер, г. Москва
Аннотация. Методы доказательства Гипотезы Била, использованные в статье, заключаются в возможности показать базовое уравнение в виде равноценного ему, позволяющего представить значение выражения разностью квадратов двух нечётных чисел и использовать особенности её разложения на множители.
Ключевые слова: разность квадратов, общий делитель, разложение на множители.
The proof of Andrew Beal’s hypothesis
Vedernikov Sergey Ivanovich – Retired, Moscow
Abstract. The methods of proof of the Andrew Beal’s hypothesis, used in the article, show a basic equation equivalent to the original one, which allows to present the value of the expression by the difference of squares of two odd numbers and to use the features of its factorization.
Keywords: difference of squares, common divisor, factorization.

Имеется: A^x+B^y=C^z, (1) A, B, C, x, y, z – целые, положительные числа, x, y, z >2 .
Доказать: A, B, C имеют общий простой делитель.
Доказательство.
Пусть C > A > B. Определимся с чётностью A, B, С. А именно: два из этих чисел должны быть нечётными, а одно чётным. (Случай одновременной чётности A, B, C можно исключить из детального рассмотрения, поскольку эти числа заведомо имеют общий простой делитель – 2.) Примем A и C нечётными числами, а В чётным числом, поскольку принципиальной разницы между числами А и В нет. (О возможности чётного С будет обговорено ниже.)
Исходя из посыла, что любое чётное число, имеющее делителем 2^n при n ≥ 3, можно выразить разностью квадратов двух нечётных чисел, произведём следующие преобразования.
Преобразуем ф. (1).
C^z-A^x=B^y. (2)
Прибавим к левой и правой частям ф. (2) 2∙A^x.
C^z+A^x=B^y+2∙A^x. (3)
Выразим ф. (2) и ф. (3) следующим образом:
C^z-A^x=2^y∙B_1^y. (3)
C^z+A^x=2^y∙B_1^y+2∙A^x=2∙(2^((y-1) )∙B_1^y+A^x). (4)
В формуле (4) число (2^((y-1))∙B_1^y+A^x) нечётное, которое можно обозначить как k, но для дальнейшего доказательства предположим, что (2^((y-1) )∙B_1^y+A^x )=B_2^( y), поскольку число 2∙(2^((y-1))∙B_1^y+A^x) нельзя принять n – ой степенью целого числа при n ≥2, т. к. оно имеет только один множитель 2.
Запишем ф. (3) и ф. (4) следующим образом:
C^z-A^x=B^y; (5)
C^z+A^x=2∙B_2^y. (6)
Примем для простоты C^z=C_1, а A^x=A_1.
Тогда ф. (5) и ф. (6) примут вид:
〖 C〗_1-A_1=B^Y; (7)
C_1+A_1=2∙B_2^y. (8)
Перемножим левые и правые части ф. (7) и ф. (8).
〖 C〗_1^2-A_1^2=2∙B^y∙B_2^y. (9)
Формула (9) не что иное, как выражение чётного числа 2∙B^y∙B_2^y разностью квадратов двух нечётных чисел.
Известно, что сумма и разность двух нечётных чисел, числа чётные, но одно из них имеет делителем только одно число 2, а второе – минимум 2^2.
Вариантов разложения чётного числа в степени n≥3 на сумму и разность двух нечётных чисел может быть столько, сколько возможно сочетаний пар множителей, составляющих это число, но для каждой пары множителей возможен только один случай. В рассматриваемом моменте важна одна особенность такого разложения, заключающаяся в том, что его нужно разделить на два способа.
ый способ: множители разложения кроме числа 2 имеют ещё один или несколько простых делителей.
2 – ой способ: множители разложения не имеют общего делителя, кроме числа 2.
Выполним действия аналогичные рассмотренным автором в Случае 2 «Полного доказательства Великой теоремы Ферма методом деления» ф.(6) и ф.(7). [1]
Сложим почленно левые и правые части ф. (7) и ф. (8). 2∙C_1=2∙B_2^y+B^y; C_1=((2∙B_2^y+B^y ))/2=2∙(B_2^y+2^((y-1) )∙B_1^y)/2.
C_1=B_2^y+2^((y-1))∙B_1^y. (10)
Вычтем почленно ф. (7) из ф. (8).
2∙〖 A〗_1=2∙B_2^y-B^y; A_1=(2∙B_2^y-B^y)/2=2∙(B_2^Y-2^((y-1) )∙B_1^Y)/2.
A_1=B_2^y-2^((y-1) )∙B_1^y. (11)
Рассмотрим 1-ый способ.
Из ф. (10) и ф. (11) видно, что если B_2^y и B_1^y имеют общий нечётный делитель, поскольку 〖 B〗_2^y нечётное число, то этот делитель имеют числа 〖 A〗_(1 ) и C_1 .
Проиллюстрируем это на примере разложения на множители числа 6^3. Примем 6^3=6∙36=(2∙3)∙(2^2∙3^2 ). В данном случае условие для разложения чётного числа на множители по формуле разности квадратов двух нечётных чисел соблюдено, и первый множитель имеет сомножителем только одно число 2. Кроме того оба множителя имеют общий делитель 3.
Сложим оба множителя: 6 + 36 = 42. Найдём средне арифметическое: 42: 2 = 21. Это первое нечётное число. Вычтем из него второй множитель: 21 – 6 = 15. Это второе нечётное число. Имеем: (21 – 15)(21 + 15) = 6 ∙ 36, где все числа выражения имеют общий простой делитель 3.
Следовательно, предположение о том, что числа A, B, C могут иметь общий делитель, обосновано.
Рассмотрим 2 - й способ, когда множители разложения не имеют общего делителя кроме числа 2.
Из ф. (10) и ф. (11) видно, что при отсутствии общего делителя в числах B_2^y и B_1^y, общего делителя не будет и у чисел A, B, C, что соответствует условию о взаимно простых числах X, Y, Z в «Полном доказательстве Великой теоремы Ферма методом деления».
Обратимся к числу 6^3, имеющем два степенных сомножителя. 6^3=2^3∙3^3. Выразим 6^3=216=54∙4∙1^3. Условия для выражения числа 6^3 разностью квадратов двух нечётных чисел соблюдены: 54 = 2∙27=2∙3^3, и 4 = 2^2∙1^3. (Нужно пояснить значение 2^2. В ф. (10) и ф. (11) она выражена как 2^((y-1)).)
Сложим множители 54 и 4. 54 + 4 = 58.
Найдём средне арифметическое. 58 : 2 = 29 – это первое нечётное число.
Вычтем из него второй множитель. 29 – 4 = 25 – это второе нечётное число.
Имеем: (29 – 25)(29 + 25) = 4 ∙54.
Здесь члены выражения не имеют общего делителя, а число 8 = 2^3, множитель числа 6^3=2^3∙3^3, поделено на 2 и 4. Подобным образом происходит разложение на множители любой пифагоровой тройки. [2] (См. «Полное доказательство Великой теоремы Ферма методом деления» Общий случай. Формулы (3а) и (4а).) [1] Отсюда можно сделать вывод о том, что это общее правило разложения на множители по формуле разности квадратов двух нечётных чисел любого чётного числа в степени n при n > 2, если множители разложения не имеют общего делителя, т. е. должны быть в степени n, кроме чисел 2 и 2^((n-1)). (См. Случай 2, формулы (6) и (7), «Полного доказательства Великой теоремы Ферма методом деления».) [1]
Ранее было предположено, что (2^((y-1) )∙B_1^y+A^x )=B_2^y, что согласуется с верхним абзацем. Рассмотрим ф. (9) . C_1^2-A_1^2=2∙B^y∙B_2^y. Примем 〖 B〗^y∙B_2^y=B_3^Y. Имеем:
С_1^2-A_1^2=2∙B_3^y. (12)
Очевидно, что разложение числа 2 ∙B_3^y на множители по формуле разности квадратов нечётных чисел не соответствует выше рассмотренному условию, зато этому условию соответствует разложение на множители числа B_3^y. Поэтому выразим B_3^y разностью квадратов чисел C_2 и A_2. Тогда ф. (12) будет такой:
С_1^2-A_1^2=2∙(C_2^2-A_2^2) =(2∙C_2^2-〖2∙A〗_2^2). (13)
Разложим на множители левую и правую части ф. (13).
(С_( 1)-A_1 )(C_1+A_1 )≠(√2∙C_2-√2∙A_2)(√2∙C_2+√2∙A_2. (14)
Формула (14) показывает, что при равенстве (2^((y-1) )∙B_1^y+A^x )=B_2^y в ф.(4), уравнение (9) не имеет решения в целых числах.
Рассмотрим снова уравнение (9): C_1^2-A_1^2=2∙B^y∙B_2^y. Предположим, что число B_2^y не является целым числом в степени y. Примем B_2^y=k. Тогда ф. (9) примет вид:
C_1^2-A_1^2=2∙k∙B^y. (15)
Примем B^y=(C_3^2-A_3^2). Запишем ф. (15) так:
C_1^2-A_1^2=2∙k∙(C_3^2-A_3^2). (16)
Разложим левую и правую части уравнения (16) на множители.
(C_1-A_1 )(C_1+A_1 )≠(√2∙√k∙C_3-√2∙√k∙A_3 )(√2∙√k∙C_3+√2∙√k∙A_3 ). (17)
Из ф. (17) следует, что уравнение (16) невозможно разложить на целочисленные множители, поскольку √2-иррационален,а √k - есть корень из нечётного числа.
Кроме того, из ф. (10) и ф. (11), следует, что C_1 и A_1, а следовательно, C^z и A^x невозможно разложить на целочисленные множители, поскольку невозможно разложить правую часть ф. (11) на целочисленные множители по формуле разложения на множители разности n – х степеней, а правую часть ф. (10) - на целочисленные множители по формуле разложения на множители суммы n – х степеней при n=2∙k+1. [3] (См. Случай 2 « Полного доказательства… » ф. (6) и ф. (7), а также ф. (8) и ф. (9).) [1]
Вывод: при отсутствии общих множителей в числах A,B,C уравнение A^x+B^y=C^z не имеет решения в целых числах.
Поскольку уравнение X^n+Y^n=Z^n, при n > 2, является частным случаем уравнения (1), то этот вывод относится и к теореме Ферма.
Нами рассмотрен случай, когда число B ф. (1) - чётное. Предположим, что чётным является число C, а числа A и B - нечётные.
Преобразуем ф. (1), вычтя из левой и правой её частей 2∙B^y. Имеем:
A^x-B^y=C^z-2∙B^y. (18)
Перемножим левые и правые части ф. (1) и ф. (18). Имеем:
A^2x-B^2y=C^z∙(C^z-2∙B^y ). (19)
Доказательство, следующее за ф. (19), аналогично выше рассмотренному.
Следовательно, утверждение, что целые положительные числа A, B, С, при целых положительных x, y, z > 2, имеют общий простой делитель в уравнении A^x+B^y=C^z доказано, а значит Теорема (гипотеза) Била доказана.
Список литературы:
Ведерников С. И. Полное доказательство Великой теоремы Ферма методом деления. Журнал «Наука через призму времени». №10(19) 2018. Международный научный журнал.
Серпинский В. Пифагоровы треугольники. М.: Учпедгиз, 1959.
Гусев В. А., Мордкович А. Г. Математика: Справочные материалы. М.: Просвещение, 1990.
© С. И. Ведерников 2018.
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
19.01.2019, 13:53

Общий случай полного доказательства ВТФ методом деления
ОБЩИЙ СЛУЧАЙ «ПОЛНОГО ДОКАЗАТЕЛЬСТВА ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА МЕТОДОМ ДЕЛЕНИЯ» Ведерников Сергей...

Понятие гипотезы, аксиомы, теоремы, теории
Привет. Сидел я и думал, думал и запутался. Напишите понятные определения для гипотезы, аксиомы,...

Доказательство теоремы
Здравствуйте. Объясните, пожалуйста, подробно доказательство следующей теоремы:...

Найти обратный элемент с использованием малой теоремы Ферма
Доброго времени суток форумчане, помогите найти обратный элемент a-1 при a=8, m=19 с использованием...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.