Публикация научных статей.
Вход на сайт
E-mail:
Пароль:
Запомнить
Регистрация/
Забыли пароль?

Научные направления

Поделиться:
Разделы: Математика
Размещена 30.08.2021. Последняя правка: 15.03.2022.
Просмотров - 1190

Гипотеза, обобщающая Великую теорему Ферма и гипотезу Била

Частухин Александр Евгеньевич

-

Индивидуальный предприниматель

-

Аннотация:
В данной работе выдвинута гипотеза, обобщающая Великую теорему Ферма и гипотезу Била для произвольных значений k ≥ 0. Рассмотрены частные случаи выдвинутой гипотезы при k находящемся в интервале от 0 до 7 включительно.


Abstract:
In this paper, a Conjecture is put forward that generalizes Fermat's Great Theorem and Beale's Conjecture for arbitrary values of k ≥ 0. Special cases of the proposed Conjecture are considered for k being in the range from 0 to 7 inclusive.


Ключевые слова:
обобщение; великая теорема Ферма; гипотеза Била; теория чисел

Keywords:
generalization; Fermat's great theorem; Beale’s conjecture; theory of numbers


УДК 511

Введение

Великая теорема Ферма не одно столетие будоражила умы самых выдающихся математиков и не только их. С появлением доказательства этой теоремы Эндрю Уайлсом, казалось бы, проблема решена. Однако в конце прошлого века сформулирована гипотеза Била, которая обобщает Великую теорему Ферма на случаи произвольных степеней трех слагаемых. Данная гипотеза еще не доказана.

Актуальность

Доказательство Великой теоремы Ферма появилось спустя три столетия после ее формулировки. Гипотезу Била очевидно доказать будет еще труднее. Чтобы ее доказать необходимо знать как можно больше о числах вообще, о степенях чисел. Поиск новых закономерностей, новых обобщений лишь приблизит к достижению данной цели.

Цели

Сформулировать гипотезу, обобщающую гипотезу Била для произвольного количества слагаемых.

Научная новизна

В 1967 году была сформулирована гипотеза Ландера – Паркина – Селфриджа, которая является некоторым обобщением Великой теоремы Ферма на случаи произвольного количества слагаемых. Однако обобщения, в котором эти слагаемые имели бы произвольные степени, еще сформулировано не было.

В данной работе мы будем рассматривать уравнения с суммой степеней вида:

 

 

 

где k – количество слагаемых, k ≥ 0; ai – натуральные числа; ni – целые числа, ni ≥ 0. Слагаемые  – всегда положительные числа, которые могут как прибавляться, так и вычитаться.

Определение. Минимальная из степеней ni называется порядком уравнения. Обозначим его n.

Пример. Уравнение 1 + 23 – 32 = 0 имеет порядок 2. Это минимальная из степеней слагаемых. У числа 1 степень может быть любая. Если она явно не указана, то будем считать, что она больше, чем любая из степеней у других слагаемых.

Определение. Уравнение вида (1) является составным, если его можно разложить на два или более уравнения с тем же набором слагаемых.

Пример составного уравнения: 1 + 23 – 32 + 52 + 122 – 132 = 0. Данное уравнение является составным, потому что его можно разложить на два уравнения: 1 + 23 – 32 = 0 и 52 + 122 – 132 = 0. Общий набор слагаемых в этих двух уравнениях идентичен набору слагаемых первоначального общего уравнения.

Определение. Уравнение вида (1) будем считать примитивным если:

1)    Оно не является составным уравнением;

2)    Его нельзя сократить на какое-либо простое число (слагаемые  являются взаимно простыми числами);

3)    Основания степеней ai не повторяются.

Условие 3 будет использоваться в двух вариантах:

а) Строгий вариант. Слагаемые  должны быть приведены к виду, когда основание ai минимально, а степень ni максимальна. После такого приведения основания степеней ai не должны повторяться.

б) Нестрогий вариант. Приведение слагаемых к виду, описанному в варианте «а», не требуется.

Пример. По строгому варианту слагаемые 24 и 42 будут иметь одинаковые основания равные 2. По нестрогому варианту они будут иметь разные основания.

Определение. Уравнение разности степеней вида:

 

(a + b)n – (a – b)n = 2∙n∙an-1∙b + …                      (2)

 

где a и b взаимно простые числа, будем называть уравнением резонанса степени n.

 

При такой разности двух степеней сокращается максимальное количество слагаемых и остается их минимальное количество. Итоговое количество слагаемых в уравнении (2) будем называть уровнем резонанса и будем обозначать kрез.

 

Пример 1. Уравнение резонанса 3-ей степени:

 

(a + b)3 – (a – b)3 = 6∙a2∙b + 2∙b3                     (3)

 

Уровень резонанса 3-ей степени равен 4.

 

Пример 2. Уравнение резонанса 4-ой степени:

 

(a + b)4 – (a – b)4 = 8∙a3∙b + 8∙a∙b3                     (4)

 

Уровень резонанса 4-ой степени равен 4.

 

Уровень резонанса для произвольной степени n можно определить по формулам:

 

kрез = n / 2 + 2 – для четных n                     (5)

 

kрез = (n + 1) / 2 + 2 – для нечетных n                     (6)

 

(Помимо резонанса разности степеней существует и резонанс суммы степеней. Однако эффект от него ниже в случае четной степени n, так как после сокращения слагаемых остается большее их количество по сравнению с резонансом разности степеней.)

 

Гипотеза. Не существует примитивных уравнений вида (1) порядка n, у которых количество слагаемых k меньше, чем соответствующий уровень резонанса kрез для степени n определяемый по формулам (5) и (6). Т.е. примитивные уравнения порядка n могут существовать только если kkрез.

 

Гипотеза сформулирована как для строгого, так и для нестрогого варианта условия 3 определяющего примитивные уравнения вида (1).

 

Для наглядности представим условия гипотезы в виды таблицы.

 

 

 

В данной таблице ячейки, выделенные красным цветом, обозначают, что при соответствующих значениях n и k не могут существовать примитивные уравнения вида (1). Ячейки, выделенные зеленым цветом, обозначают, что при соответствующих значениях n и k они могут существовать. В ячейках красным шрифтом отмечен резонанс соответствующей степени n, которому соответствует определенное количество слагаемых k.

Рассмотрим частные случаи при различных значениях k.

 

k = 0

 

При k = 0 для любого порядка уравнения n будет существовать лишь одно равенство 0 = 0. Является ли это равенство примитивным?

 

Очевидно, что нет, так как его можно сократить на абсолютно любое простое число.

 

Таким образом, примитивных уравнений при k = 0 не существует.

 

k = 1

 

В случае k = 1 уравнение вида (1) будет выглядеть так: an = 0. При этом основание степени «a» должно быть натуральным числом. Понятно, что данное уравнение никогда выполняться не может ни при какой степени n.

 

k = 2

 

Согласно выдвинутой гипотезе при k = 2 примитивные уравнения вида (1) могут существовать только для n = 0. Уравнение резонанса для n = 0 будет таким:

 

(a + b)0 – (a – b)0 = 0                     (7)

 

Данное уравнение выполняется для любых чисел a и b.

 

Пример примитивного уравнения 0-го порядка:

 

20 – 30 = 0                     (8)

 

Все условия примитивного уравнения выполняются. Равенство (8) не является составным. Его нельзя сократить на какое-либо простое число. Основания степеней не повторяются.

 

Другой пример примитивного уравнения 0-го порядка:

 

20 – 1 = 0                     (9)

 

Все три условия выполняются.

 

Для n > 0 примитивных уравнений вида (1) быть не может. Например, равенство 24 – 42 = 0 не является примитивным, так как его можно сократить на простое число 2.

 

Равенство 1 – 1 = 0 также не является примитивным, так как в этом случае основания степеней повторяются. Если же в этом уравнении одну 1 записать, например, как 20, то оно становится уравнением 0-го порядка, разрешенным при k = 2.

 

k = 3

 

Настоящая гипотеза утверждает, что при k = 3 порядок примитивного уравнения не может превышать 2. Уравнение резонанса для n = 1 будет таким:

 

(a + b) – (a – b) = 2b                     (10)

 

Уровень резонанса равен 3.

 

Уравнение резонанса для n = 1 описывает все возможные взаимно простые тройки чисел, так как любое число является 1-ой степенью самого себя.

 

Уравнение резонанса для n = 2 будет таким:

 

(a + b)2 – (a – b)2 = 4ab                     (11)

 

Уровень резонанса равен 3.

 

Уравнение резонанса для n = 2 описывает все возможные примитивные пифагоровы тройки. Слагаемое 4ab может иметь степень и выше 2. Порядок уравнения (11) при этом останется равным 2.

 

Для n = 3 уровень резонанса уже будет больше 3. Поэтому порядок примитивного уравнения равный 3 или выше не возможен при k = 3.

 

Частный случай при k = 3 является не чем иным, как гипотезой Била.

 

Гипотеза Била формулируется так:

 

ax + by = cz                     (12)

 

Если существуют натуральные числа a, b, c, x, y и z (x > 2, y > 2 и z > 2), удовлетворяющие этому уравнению, то числа a, b и c обязательно имеют общий простой делитель.

 

Такую формулировку гипотезы Била можно переиначить наподобие Великой теоремы Ферма. Не существует натуральных чисел a, b, c, x, y и z, удовлетворяющих уравнению (12), при x > 2, y > 2 и z > 2, когда a, b и c взаимно простые.

 

Очевидно, что гипотеза Била является частным случаем выдвинутой в данной работе гипотезы при k = 3.

 

Напомним, что гипотеза Била в свою очередь является обобщением Великой теоремы Ферма.

 

k = 4

 

Согласно выдвинутой гипотезе при k = 4 могут существовать примитивные уравнения максимум 4-го порядка. Как мы писали ранее, уравнение резонанса для n = 4 будет выглядеть так:

 

(a + b)4 – (a – b)4 = 8∙a3∙b + 8∙a∙b3                     (13)

 

Можно подобрать такие a и b, чтобы степени слагаемых правой части уравнения были не ниже 4-ой.

 

Например, a = 23, b = 36. В этом случае будем иметь такое уравнение 4-го порядка:

 

7374 – 7214 = 126 + 546                     (14)

 

Могут существовать и другие уравнения 4-го порядка, которые не описываются уравнением резонанса для 4-ой степени. Например:

 

210 + 34 + 64 = 74                     (15)

 

k = 5

 

При k = 5 могут существовать примитивные уравнения максимум 6-го порядка. Уравнение резонанса для n = 6 будет выглядеть так:

 

(a + b)6 – (a – b)6 = 12∙a5∙b + 40∙a3∙b3 + 12∙a∙b5                     (16)

 

Можно подобрать такие a и b, чтобы степени слагаемых правой части были не ниже 6-ой. Задача эта не такая простая. И чем больше слагаемых, тем она труднее.

 

Например, a = 210∙31331, b = 51404. В этом случае будем иметь такое уравнение 6-го порядка:

 

(210∙31331 + 51404)6 – (210∙31331 – 51404)6 = (24∙3512∙5108)13 + (23∙3363∙5383)11 + (2∙3111∙5585)12                     (17)

 

Как видно, в этом уравнении 6-го порядка содержатся большие степени. Чем больше число n, тем больше будут потенциально степени простых множителей составляющих a и b, так как сложнее подобрать такие a и b, чтобы все составляющие их множители для каждого слагаемого схлопнулись с биноминальными коэффициентами в какие-то степени не ниже требуемой.

 

При k = 5 существуют уравнения, порядок которых якобы выше разрешенного условием резонанса. Например:

 

213 + 313 + 57 = 210 + 68                     (18)

 

1 + 710 + 187 = 77 + 197                     (19)

 

Оба уравнения являются якобы 7-го порядка. А максимально разрешенным для k = 5 является 6-ой порядок. Если присмотримся на эти уравнения, то увидим, что их некоторые основания степеней повторяются. При строгом варианте определения примитивного уравнения эти равенства не являются примитивными. При нестрогом варианте можно попробовать у некоторых слагаемых уменьшить степень, чтобы изменилось основание. В этом случае наиболее высокий порядок уравнений будет, если их записать так:

 

213 + 313 + 57 = 45 + 68                     (20)

 

1 + 495 + 187 = 77 + 197                     (21)

 

Как видно, в этом случае эти уравнения превращаются в уравнения 5-го порядка. При k = 5 они не запрещены условием резонанса.

 

k = 6

 

При k = 6 могут существовать примитивные уравнения максимум 8-го порядка. Уравнение резонанса для n = 8 будет выглядеть так:

 

(a + b)8 – (a – b)8 = 16∙a7∙b + 112∙a5∙b3 + 112∙a3∙b5 + 16∙a∙b7                     (22)

 

Можно подобрать такие a и b, чтобы степени слагаемых правой части были не ниже 8-ой. Задача эта еще сложнее, чем в случае n = 6.

 

Например, a = 25, b = 736153. В этом случае будем иметь такое уравнение 8-го порядка:

 

(25 + 736153)8 – (25 – 736153)8 = (2∙7927)39 + (2∙73740)29 + (2∙79514)19 + (2∙728119)9                     (23)

 

Как видно, в этом уравнении 8-го порядка содержатся степени еще большие, чем в описываемом нами ранее уравнении 6-го порядка.

 

При k = 6 могут существовать и равенства, не описывающиеся уравнением резонанса. Например:

 

1 + 711 + 147 + 187 = 197 + 217                     (24)

 

Как видно, порядок этого уравнения равен 7.

 

k = 7

 

При k = 7 могут существовать примитивные уравнения максимум 10-го порядка. Уравнение резонанса для n = 10 будет выглядеть так:

 

(a + b)10 – (a – b)10 = 20∙a9∙b + 240∙a7∙b3 + 504∙a5∙b5 + 240∙a3∙b7 + 20∙a∙b9                     (25)

 

Подберем такие a и b, чтобы степени слагаемых правой части были не ниже 10-ой.

 

Например, a = 218∙72627690, b = 3285770∙51493301. В этом случае будем иметь такое уравнение 10-го порядка:

 

(218∙72627690 + 3285770∙51493301)10 – (218∙72627690 – 3285770∙51493301)10 = (24∙36970∙536422∙7576810)41 + (210∙365947∙5344608∙71414910)13 +

 

+ (23∙346092∙5240855∙7423821)31 + (22∙368979∙5360452∙7271830)29 + (22∙3257193∙51343971∙7262769)10                     (26)

 

Как видно, в этом уравнении степени уже совсем огромные.

Выводы

1) Выдвинута гипотеза, обобщающая Великую теорему Ферма и гипотезу Била для произвольных значений k ≥ 0.

2) Рассмотрены частные случаи выдвинутой гипотезы при k находящемся в интервале от 0 до 7 включительно.

Библиографический список:

1. Великая теорема Ферма. [Электронный ресурс] // URL: https://ru.wikipedia.org/wiki/Великая_теорема_Ферма (дата обращения: 25.08.2021).
2. Гипотеза Била. [Электронный ресурс] // URL: https://ru.wikipedia.org/wiki/Гипотеза_Била (дата обращения: 25.08.2021).
3. Гипотеза Ландера – Паркина – Селфриджа. [Электронный ресурс] // URL: https://ru.wikipedia.org/wiki/Гипотеза_Ландера_—_Паркина_—_Селфриджа (дата обращения: 25.08.2021).
4. Нестеренко Ю. В. Теория чисел: учебник для студентов высших учебных заведений. -М.: Издательский центр «Академия», 2008. - 272 с.




Комментарии пользователей:

30.08.2021, 20:34 Мирмович Эдуард Григорьевич
Отзыв: Чтобы не давать отрицательную рецензию интересным упражнениям автора, рецензент предлагает решить проблему библиографического списка. Только после этого есть смысл вдаваться в детали аргументации гипотезы про гипотезы Била, Риммана или/и соотношения их и ВТФ. На личный, не признанный никем взгляд рецензента, ряд простых чисел имеет смысл начинать не ниже, чем с 5 в десятичной системе счисления. Тогда и доказательства будут иными. И второе соображение рецензента, также индивидуальное и не опубликованное состоит в том, что инструментарий доказательства любой гипотезы, теоремы, леммы и пр. должен юыть не выше по рангу, чем составляющие объекта доказательства. Мы не можем считать доказательством любого утверждения относительно целых чисел с помощью интегрального или дифференциального исчисления, и даже посредством действительных чисел, которые являются уже "порождением" манипуляций с натуральными числами. С этой точки зрения представленная работа удовлетворяет предпочтениям рецензента.


31.08.2021, 7:39 Цорин Борис Иосифович
Отзыв: Любопытная гипотеза, и, вполне возможно, верная, но надо будет поискать контрпримеры на досуге. 1. Дефект формулировок. Не "уравнения", а "тождества", раз рассматриваются равенства с уже подставленными числами. Уравнения вида (1) существуют в любом виде и любом количестве, а вот целочисленные тождества (решения этих уравнений) могут не существовать. 2. Гипотеза сформулирована для строгого или нестрогого варианта условия 3 из определения примитивного тождества вида (1)? Стоит указать в формулировке. 3. На "личные соображения" некоторых авторов отзывов можете не обращать внимания, по моим наблюдениям, некоторые авторы отзывов статьи не читают. Но вот пустой библиографический список действительно является помехой публикациям.


10.09.2021, 22:46 Харт Алекс
Отзыв: Для k=4 путем перебора контрпримеров не нашел для слагаемых ai^ni <= 10^14.


17.09.2021, 1:17 Харт Алекс
Отзыв: Для k=5 при ai^ni <= 10^14 контрпримеров не нашел.


27.09.2021, 22:02 Харт Алекс
Отзыв: Для k=6 при ai^ni <= 10^13 контрпримеров не нашел.


12.10.2021, 13:57 Частухин Александр Евгеньевич
Отзыв: Спасибо Алексу Харту за поиск контрпримеров.


Оставить комментарий


 
 

Вверх