Консерваторион
дежурный администратор
УДК 510
Введение:
Считается признанным факт [1], что теорему Ферма достаточно доказать в случаях, когда n = 4 и n является простым числом. С помощью метода бесконечного спуска случай n = 4 был решен самим Ферма, а позже Эйлером.
Эндрю Уайлс доказал в 1993г. [2] гипотезу Таниямы-Шимуры, из которой следует теорема Ферма для всех простых показателей степени n. Но данное доказательство занимает 150 страниц печатного текста [3]. При этом, сами доказательства для случаев n = 4 и n = p, – это разные математические теории. Принципиально разные. А лаконично сформулированная задача Ферма должна иметь и соответствующее решение, - решение подобного рода.
Так же существуют два утверждения, что, при условии справедливости гипотезы Била, великую теорему Ферма можно доказать от противного или она автоматически считается доказанной. Кроме этого существует ещё одно утверждение, согласно которому доказательство гипотезы Эстерле -Массера (abc-гипотеза), позволит провести еще одно доказательство великой теоремы Ферма для больших степеней.
В данной работе предпринята попытка показать, что Великая теорема Ферма имеет простое объяснение, без привлечения гипотезы Била, доказательства Эндрю Уайлса и гипотезы abc.
Актуальность. Показать на конкретном примере, что иногда сложные математические задачи имеют простое объяснение и решение.
Цели и задачи. Применить правило количественного соотношения степеней с чётными и нечётными целыми положительными основаниями для подтверждения высказывания Пьера Ферма о существовании «удивительного свойства» степеней и подтвердить неразрешимость равенства Ферма в натуральных числах.
Теорема Ферма:
При значениях n > 2 уравнения вида xn + yn = zn не имеют ненулевых решений в натуральных числах.
Приведём утверждение самого Пьера Ферма: «Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашёл этому поистине чудесное доказательство, но поля книги слишком узки для него.»
Из данного утверждения следует, что приведённое выше равенство может иметь два варианта записи:
I. xn + yn = zn, где xn и yn имеют нечётные основания, а zn имеет чётное основание.
II. xn - yn = zn, где xn и yn имеют нечётные основания, а zn имеет чётное основание.
При этом мы будем рассматривать основания x, y, z, как тройку взаимно простых чисел, не имеющих общего делителя.
Запишем равенство, устанавливающее количественные соотношения степеней нечётных и чётных натуральных чисел [4] для натуральных показателей степени n>2:
Znm = kZnm-1 = kmDn, (1)
где n>2, m>0, k=2n, D – нечётное число, а n, m, D, Z – натуральные числа.
Таким образом, zn = kmDn.
Следующим шагом, откажемся от выполнения условия минимальности выбора [5] для оснований x, y и определителя D.
Это означает, что при выполнении условия взаимной простоты членов равенства в I. и II., сами основания x и y могут быть представлены в виде степеней. Например: x = 37, y = 73.
А при факторизации определителя D, в составе множителей могут одновременно присутствовать множители из факторизованных чисел x и y, при условии взаимной простоты x и y.
Задержим наше внимание на члене равенства zn = kmDn.
Если мы представляем отдельное чётное натуральное число в виде kmDn, то как было отмечено ранее, согласно общепринятой терминологии, мы производим факторизацию числа, - представляем данное натуральное число в виде его простых сомножителей:
242 = 2*112 , 164 = 22*41 , 21952 = 26*73 , 17000 = 23*53*17.
Иногда, в определённых математических задачах, необходимо «свернуть» или «развернуть» группу множителей. Например, приведённое в качестве примера, факторизованное число 17000 = 23*53*17 имеет три множителя: k3D32D6 , где нижний индекс при определителе D соответствует порядковому номеру простого числа в ряду простых нечётных чисел.
Мы имеем возможность «свернуть» три множителя до двух, представив данное произведение в виде суммы или разности двух других факторизованных чисел, каждое из которых представлено произведением двух простых множителей.
Представим в виде суммы:
a.1. k3D32D6 = 23*53*17 = 23*53(24 + 1) = 27*53 + 23*53 = k7D32 + k3D32 = 17000.
Представим в виде разности:
a.2. k3D32D6 = 23*53*17 = 23*53(52 - 23) = 23*55 - 26*53 = k3D52 - k6D32 = 17000.
Аналогичным образом мы можем «развернуть» группу множителей до необходимого их количества.
Представим факторизованное число в виде суммы двух факторизованных чисел с равными показателями степеней двух сомножителей из трёх:
b.1. 21952 = k6D33 = 26*73 = 8*2373 = 2373*3 + 2373*5 = k3D33D11 + k3D33D12.
Теперь в виде разности:
b.2. 21952 = k6D33 = 26*73 = 8*2373 = 2373*13 - 2373*5 = k3D33D15 - k3D33D12.
При этом отметим, что в зависимости от решаемой задачи, в качестве числового коэффициента, которым мы оперируем для «сворачивания» или «разворачивания» количества множителей и представления в виде суммы или разности двух факторизованных чисел, может использоваться как коэффициент кратности km, так и определитель Dn. В вышеприведённых примерах мы оперировали и определителем Dn , и коэффициентом кратности km, - они выделены красным цветом.
Но во всех случаях, избавившись от общего множителя у членов равенств, мы приходим к нелинейным диофантовым равенствам с различными показателями степени :
a.1. k3D32D6 = k7D32 + k3D32 , => D6 = k4+ 1.
a.2. k3D32D6 = k3D52 - k6D32 , => D6 = D22 – k3.
b.1. k6D33 = k3D33D11 + k3D33D12 , => k3= D11 + D12 .
b.2. k6D33 = k3D33D15 - k3D33D12 , => k3= D15 - D12 .
Таким образом, мы уже имеем наглядный пример того, что при представлении факторизованного чётного натурального числа в виде разности или суммы двух других факторизованных чисел, все факторизованные члены равенства имеют общий множитель.
Но прежде чем перейти к рассмотрению общего случая, рассмотрим следующую задачу, которая наглядно демонстрирует возможность нахождения решения, используя представление степени с чётным основанием в виде двух слагаемых и последующим исключением общего множителя.
Запишем равенство Каталана:
1+23=32,
где коэффициент кратности k или определитель D можно представить, соответственно, как 23 = 32 – 1 или 32 = 23 + 1.
Мы понимаем, что само равенство 1+23=32 представлено тройкой взаимно простых чисел 1, 32-1, 23+1 и радикал всего выражения меньше суммы слагаемых : rad(1*2*3)<32.
Поскольку любое чётное число мы можем представить в виде kmDn, и затем представить в виде суммы двух других чисел двумя следующими способами,
kmDn = vDn + (km-v)Dn или Dnkm = vkm + (Dn-v)km ,
то, приняв определитель D=32, и разделив в равенстве Dnkm = vkm + (Dn-v)km все члены равенства на общий множитель km , получаем равенство для любых значений D в степени n>0, при v=1:
9n = 1 + (9n-1), откуда можем определять тройки взаимно простых чисел, удовлетворяющих требованию гипотезы abc.
Например, это следующие тройки чисел abc:
1, 8, 9;
1, 80, 81;
1, 728, 729;
1, 6560, 6561;
1, 59048, 59049;
1, 531440, 531441;
1, 4782968, 4782969;
1, 43046720, 43046721; …
Вместе с этим, в качестве небольшого отступления, нужно сказать о следующем.
Поскольку в самом начале упоминается о связи между гипотезой Великая теорема Ферма и гипотезой Била, приведём ещё два равенства, которые имеют логическую связь с вышеприведёнными рассуждениями.
Нам известно, что степень с основанием 2 и показателем n можно представить в виде суммы двух равных степеней c показателями степени n-1:
Если k=2n=2n-1 + 2n-1,
то применив общий множитель (Dn-1)n , приходим к равенству вида
2n (Dn-1)n=2n-1(Dn)n-1 + 2n-1(Dn)n-1 .
А поскольку для любых натуральных а, m, n верно (am)n = (an)m, мы можем преобразовать полученное равенство в равенство Била.
В другом случае, мы можем рассматривать равенство
kDn = Dn + (k-1)Dn
в качестве равенства общего вида. Для этого в коэффициенте кратности k=2n заменим число 2 на переменную а.
Мы получаем равенство
anDn = Dn + (an -1)Dn, где а можем рассматривать как любое натуральное число.
Приняв (an -1)=D, приходим к равенству вида:
an(an -1)n = (an -1)n + (an -1)n+1, где происходит повышение показателя степени у одного из членов равенства.
И в этом случае, поскольку для любых натуральных а, m, n верно (am)n = (an)m, мы можем преобразовать полученное равенство в равенство Била.
Эти приведённые в качестве примера два равенства могут рассматриваться независимо от равенства Ферма.
В итоге мы приходим к тому, что рассматривая равенство Ферма, мы можем вовсе пренебречь двумя членами равенства, - двумя степенями с нечётными основаниями, - и анализировать только один член равенства, - факторизованную степень с чётным основанием.
Таким образом, мы должны убедиться в следующем:
можно или нет представить степень с чётным основанием и показателем степени n>2, в виде суммы или разности двух других степеней с равными показателями степени, при выполнении для этих двух степеней условия минимальности выбора.
Или, сформулируем задачу словами самого Пьера Ферма:
Возможно ли «…разложить куб на два куба, биквадрат на два биквадрата и вообще… степень, большую квадрата, на две степени с тем же показателем»?
Рассуждаем следующим образом.
Пусть Zn – натуральное чётное число. Тогда мы можем записать:
Xn + Yn = Znm = kmDn,
где n>2, m>0, k=2n, а X, Y, Z, – нечётные натуральные взаимно простые числа и n, m - натуральные числа.
Поскольку степени Xn и Yn имеют нечётные основания, то каждое из них является определителем для соответствующего ряда чётных степеней. Переобозначим их как определители Dnx и Dny.
Следовательно, сумма двух нечётных степеней Dnx и Dny равна чётной степени kmDnz , и мы можем записать следующие равенства:
для общего случая Dnx + Dny = Znm = kmDnz, и (2)
для частного случая при любом показателе степени n>2
Dnx + Dny = Zn1 = kDnz= 2nDnz . (3)
А. Рассмотрим случай (3), используя в качестве числового коэффициента коэффициент кратности 2n.
В соответствии с распределительным законом умножения, степень 2nDnz можно представить в виде двух слагаемых следующими способами:
1. 2nDnz = Dnz + (2n-1)Dnz,
2. 2nDnz = 2Dnz + (2n-2)Dnz,
3. 2nDnz = 3Dnz + (2n-3)Dnz,
4. 2nDnz = 4Dnz + (2n-4)Dnz,
…
N. 2nDnz = VDnz + (2n-V)Dnz, где (2n/2) >V>0, Dnx= VDnz , Dny = (2n-V)Dnz.
Но мы видим, что это противоречит начальным условиям:
- все члены равенства имеют общий множитель,
- в половине случаев, - в равенствах с чётными порядковыми номерами, - все члены равенств являются чётными.
Для случая разности двух степеней с нечётными основаниями, равенство 1. приобретает вид
2nDnz = (2n+1)Dnz - Dnz,
Что приводит к тем же противоречиям.
В. Рассмотрим случай (2) , используя в качестве числового коэффициента коэффициент кратности km .
Как и в предыдущем случае, степень kmDnz можно представить в виде двух слагаемых следующими способами:
1. kmDnz = Dnz + (km-1)Dnz,
2. kmDnz = 2Dnz + (km-2)Dnz,
3. kmDnz = 3Dnz + (km-3)Dnz,
4. kmDnz = 4Dnz + (km-4)Dnz,
…
N. kmDnz = VDnz + (km-V)Dnz, где (km/2) >V>0, Dnx= VDnz , Dny = (km-V)Dnz.
Независимо от показателя степени мы снова получаем противоречие начальным условиям:
- все члены равенства имеют общий множитель,
- в половине случаев, - в равенствах с чётными порядковыми номерами, - все члены равенств являются чётными.
Для случая разности двух степеней с нечётными основаниями, равенство 1. приобретает вид
kmDnz = (km+1)Dnz - Dnz,
Что приводит к тем же противоречиям.
С. Теперь рассмотрим случай (3), используя в качестве числового коэффициента определитель Dnz .
Степень 2nDnz можно представить в виде двух слагаемых следующими способами:
1. 2nDnz = 2n + 2n(Dnz -1),
2. 2nDnz = 2*2n + 2n(Dnz -2),
3. 2nDnz = 3*2n + 2n(Dnz -3),
…
Откуда, уже на данном этапе, совершенно очевидно, что все члены равенств во всех случаях будут чётными и имеют общий множитель, - что противоречит начальным условиям о взаимной простоте членов равенства.
Мы можем сделать следующий вывод: способов представить степень с чётным основанием в виде суммы или разности двух других степеней с нечётными основаниями и равными показателями степени n>2, - не существует.
Совершенно очевидным является и то, что сама математическая операция со степенями с нечётными основаниями не имеет значения. - Независимо от того, слагаем мы или вычитаем две степени с нечётными основаниями, - мы получаем результат, который является чётным. Следовательно, - повторимся, - нам необходимо было просто проанализировать, - можем ли мы представить факторизованную степень с чётным основанием в виде суммы или разности двух других степеней с тем же показателем степени. – Собственно сделать то, о чём говорит сам Ферма : «…разложить куб на два куба, биквадрат на два биквадрата…».
То есть, это задача того же плана, что и проблема Гольдбаха о представлении любого чётного числа начиная с 4-х в виде суммы двух простых чисел, с той лишь разницей, что для решения проблемы Гольдбаха нам нужно установить порядок чередования пар простых нечётных равноудалённых чисел относительно среднего арифметического любого чётного числа.
Теперь уделим немного внимания методу бесконечного спуска, который применял Пьер Ферма.
Непосредственно появление самого метода бесконечного спуска в вычислениях Ферма можно рассматривать следующим образом.
Поскольку мы могли убедиться в том, что применение метода конечного спуска [6] к любой степени с чётным основанием позволяет получить значение нечётного простого определителя D, то, вероятнее всего Пьером Ферма был использован метод рассуждения от обратного, когда предположение о делимости остальных членов равенства приводит к противоречию:
«Часто метод бесконечного спуска используется для доказательства того, что у некоторого уравнения нет решений по следующей схеме. Из предположения, что решение существует, доказывается существование другого решения, которое в некотором смысле меньше. Тогда можно построить бесконечную цепочку решений, каждое из которых меньше предыдущего. Это вызывает противоречие с тем, что в любом непустом подмножестве натуральных чисел есть минимальный элемент, значит предположение о существовании начального решения неверно.» [7]
В противном случае, если мы огласим это правило количественного соотношения степеней нечётных и чётных натуральных чисел, а так же огласим метод конечного спуска для степеней с чётными основаниями, - нам будет бессмысленно формулировать утверждение, которое сделал Пьер Ферма. – Но это не удивительно для самого Пьера Ферма, который многие свои выводы и заключения представлял без должного и необходимого обоснования, а потому просто мог не оглашать замеченное свойство, а попробовал рассуждать от противного, чтобы прийти к логическому противоречию. Вот эти оставленные им рассуждения мы и начали использовать в математике в качестве математического инструмента и называть методом бесконечного спуска. Бесспорно, что сам метод появился и применялся задолго до математических исследований Пьера Ферма, но в данном случае мы говорим о его применении автором известной теоремы.
Данную точку зрения или предположение можно воспринимать по-разному, но в данный момент это уже не имеет ни какого принципиального значения.
В итоге формулируем вывод, с использованием слов самого Пьера Ферма:
«…невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем» по той причине, что степень с чётным основанием и показателем степени n>2, невозможно представить в виде суммы или разности двух других степеней с тем же показателем степени.
Научная новизна. Определено и на практике применено для решения сложной задачи новое правило количественного соотношения степеней с основаниями разной чётности.
Результаты. Правило количественного соотношения степеней с основаниями разной чётности успешно применено для подтверждения утверждения Пьера Ферма о существовании «удивительного свойства» степеней.
Заключение. В данной работе показано, что Великая теорема Ферма имеет простое объяснение, без привлечения доказательства гипотезы abc, доказательства Эндрю Уайлса и доказательства гипотезы Била. Данную работу можно рассматривать как доказательство верности утверждения Пьера Ферма, сформулированного в гипотезе Великая теорема Ферма.
Комментарии пользователей:
11.09.2017, 13:20 Танченко Владимир Евгеньевич Отзыв: Уважаемый Вадим Григорьевич, а что, в этой работе имеются места, которые дают основания ссылаться на Ваши статьи? С уважением, Владимир Танченко. |
4.10.2017, 18:37 Танченко Владимир Евгеньевич Отзыв: Уважаемые члены редколлегии, я очень надеюсь, что появятся конкретные замечания, указания на ошибки и предметная критика, которые позволят мне представить окончательный, исправленный и доработанный вариант для публикации. Заранее благодарен. С уважением, Владимир Танченко. |