CC BY
148
СЕКЦИЯ 1. ХИМИЧЕСКИЕ НАУКИ
ВЕЛИКАЯ ТЕОРЕМА ФЕРМА (НЕОБЫЧНЫЙ ПОДХОД)
Агафонцев Валерий Васильевич
канд. техн. наук, преподаватель ПсковГУ, г. Псков E-mail: fon-valery-ag@yandex. ru
FERMAT’S LAST THEOREM (THE UNUSUAL APPROACH)
Valery Agafontsev
Candidate Technical, the teacher of Pskov State University, Pskov АННОТАЦИЯ
Общепризнанное доказательство Великой теоремы Ферма (ВТФ), предложенное Эндрю Уайлсом, базируется на нескольких математических теориях, в том числе и на идее Г ерхарда Фрея, в основу которой положена предпосылка существования гипотетического (еретического) решения уравнения Ферма для некоторой степени N и последующего преобразования уравнения Ферма в уравнение эллиптической кривой. В данной статье предложен подход к ВТФ, основанный на применении Z-ричной позиционной системы счисления. В математическом инструментарии эпохи Пьера Ферма показано, что не существует гипотетического решения уравнения Ферма степени N, большей, чем степень k уравнения, для которого доказано отсутствие целочисленных решений. Показано, что если Пьер Ферма имел доказательство для показателя n=3, то он мог утверждать об отсутствии целочисленных решений для показателей n>3.
ABSTRACT
The widely accepted proof of Fermat's last theorem (FLT) suggested by Andrew Wails is based on several mathematic theories including the idea of Gerhard Fray that is in its turn based on precondition of existence of hypothetic (heretical) solution of Fermat's equation for a degree N and following transformation of Fermat's equation into elliptic curve equation.
The present article presents an approach to FLT solution based on a Z-ary positional number notation. Mathematic instruments of Pierre Fermat's time possessed no hypothetical solution to Fermat's equation of N degree bigger than k degree of the equation that has no integral solution. We are shown that if Pierre Fermat's used to have the proof for index n=3, he was able to prove absence of integral solutions for indices n>3.
Ключевые слова: Великая теорема Ферма; ВТФ; доказательство.
Keywords: Fermat's last theorem; FLT; proof.
Заранее определимся: в данной работе автор не ставит перед собой непосильную задачу полного доказательства Великой теоремы Ферма (ВТФ), которая гласит: не существует целочисленных решений уравнения
Xn+Yn=Zn,
где: X, Y, Z, n eN, n>2.
Цель работы — представить на обсуждение доказательство, утверждающее, что не существует целочисленных решений уравнения Ферма для показателей степени, больших того, для которого (кем-то, когда-то) было доказано отсутствие целочисленных решений ВТФ. И не более того! Полное доказательство оставим за великими: Эндрю Уайлсом [3] и (хочется верить!) за Пьером Ферма, который мог строить своё доказательство, избрав следующий подход:
1. На первом этапе доказать отсутствие целочисленных решений для некоторого конкретного показателя. Известно, что для показателя n=4 П.Ферма это сделал, используя предложенный им метод бесконечного спуска. Условимся называть базовым уравнение Ферма с конкретным численным показателем, для которого доказано отсутствие целочисленных решений.
2. На втором этапе доказать невозможность существования целочисленных решений для степеней, больших степени базового уравнения.
Исходя из такого подхода, если иметь строгое доказательство случая n=3, а также иметь доказательство по пункту 2, причём, оба доказательства, выполненные в инструментарии эпохи П. Ферма, то его словам на полях «Арифметики» Диофанта можно доверять. Представляется, что работа [2] убедительно показывает возможность элементарного доказательства случая n=3, построенного без использования комплексных чисел и, по сути, на методе бесконечного cпуска. Не исключено, что подобными соображениями мог руководствоваться и П. Ферма.
Покажем возможность элементарного доказательства второго этапа, а именно, что не существует целочисленных решений уравнения Ферма для степеней, больших степени базового уравнения. Отметим, что полное доказательство дано в [1].
Последовательность импликаций
1. Определение условий, необходимых для выполнения гипотетического равенства
Хп+Уп=2п, (1)
где X, У, 2, п еЫ, причём X, У, 2 — взаимно простые числа, п>2.
1.1. Переход к 2-ричной системе счисления.
1.2. Доказательство того, что хотя бы одно из слагаемых левой части гипотетического равенства (1) (X1 или Уп ) должно содержать ровно п 2- ричных разрядов. Запись этого слагаемого соответствующим ему количественным эквивалентом, например:
X =хп_1 •2п 1+хп-2 • 2п 2 +...+Х1 -2+Хо (2)
1.3. Доказательство того, что в выражении (2)
Хп-1<2-п (3)
1.4. Доказательство того, что второе слагаемое (Уп) гипотетического равенства (1) также, как и первое слагаемое (Xя), должно содержать ровно п 2- ричных разрядов и, следовательно, его количественный эквивалент должен записываться так:
Уп=Уп-1 • 2п-1+Уп-2 • 2п~2+... +У1 • 2+уо (4)
1.5. Доказательство того, что для гипотетического равенства (1) должны выполняться п равенств вида:
Хо+yо=Хi+Уi+1=2, (5)
где iе[1; п-1].
1.6. Доказательство того, что в выражении (4)
Уп-1>п-1 (6)
1.7. Формирование условий, необходимых для выполнения гипотетического равенства (1). Таких условий три:
1) Xя=xn.1 • 2п-1 +хп-2 • 2п-2+...+х1 • 2+х0
2) Уп=Уп-1 • 2п~ +уп-2 • 2п~2+... +у1 • 2+уо
3) Хо+yо=Хi+Уi+1=2, где iе[1; п-1].
1.8. Показ на конкретных примерах выполнение названных необходимых условий для п=2.
2. Предположение существования еретического решения Ап + Вп = Сп и его анализ.
2.1. Распространение условий, необходимых для выполнения гипотетического равенства (1), на еретическое решение Ап+Вп=Сп . Условия, необходимые для существования еретического решения:
1)АЫ=аЫ-1 • С1Ы1+аы-2 • СЫ2+... +ак Ск+ак-1 • Ск1+ ак-2 • Ск2 +...+02 • С2 + а1 • С + ао
2)Вы=Ьы-1 • Сы-1+Ьы-2 • СЫ-2+...+Ьк Ск+Ьы • С-1+Ьк-2- Ск-2 +... + Ь2 • С2 + Ь1 • С + Ьо
3)aо+Ьо=ai+Ьi+1=C, (7)
где iе[1; Ы-1].
2.2. Исходя из равенства (7), формирование выражения
(ак-1+Ьк1)• С'1+(ак-2+Ьк-г) • С-2+... +(а2 + Ь2 • С2+(а1 + Ь) С+ао+Ьо=С (8)
2.3.Распространение условий, необходимых для выполнения гипотетического равенства (1), на базовое уравнение Ферма Хк+Ук=2к, то есть на уравнение Ферма с таким показателем степени к, для которого кем-то и когда-то было доказано отсутствие целочисленных решений. Например: для к=7 — это доказательство Г. Ламе, для к=5 — это доказательство А. Лежандра, для к=4 - это доказательство П. Ферма, для к=3 — это доказательство Л. Эйлера.
Обоснование невыполнения как равенств следующих выражений:
1)Хк=Хк-1 2к 1+Хк-2 • 2к2+...+Х2 • 22+Х1 • 2+Хо
2) У^=Ук.12к~1+Ук.2 • 2к-2+... +У2 • 22+У1 • 2 +Уо
3)хо+уо=х,+у,+1=2, где]е\1; к-1]
из чего следует такое неравенство:
(Хк-1+Ук-0•2к1+(Хк-2+Ук-2) •2к~2+... +(Х2+У2)22+(х1+у1)•2+Хо+уоф2к
Данное неравенство выполняется при любых значениях х, у, из которых формируется 2, в том числе и при таких: х,=а, и у,=Ь, 2=С. В результате получается следующее неравенство:
(аы+Ьк-1)• С~1+(ак-2+Ьк-2)• Ск-2+... +(а2+Ь2• С2 +(а+Ь1)• С+ао+Ьф Ск (9)
2.4. Выявление локального противоречия, вытекающего из сопоставления выражений (8) и (9).
2.5. Доказательство получения из локального противоречия (9) неравенства Ап+Впф Сп , противоречащего предположению существования еретического решения Ап+Вп=Сп, из чего следует, что не существует целочисленных решений уравнения Ферма для степеней, больших степени базового уравнения.
ВЫВОД: Если Пьер Ферма имел подобную доказательную базу и доказательство отсутствия целочисленных решений своего уравнения для п=3, то в справедливости его интригующей записи на полях "Арифметики" Диофанта сомневаться не приходится... Известно, что сам Пьер Ферма доказал отсутствие целочисленных решений для п=4, а Леонард Эйлер — для п=3 [3].
Список литературы:
1. Агафонцев В.В. Великая теорема Ферма (необычный подход).
Сб. научных трудов Международной научно-практической конференции по современным проблемам прикладной информатики. 23—25 мая 2012 года/ Отв.ред. И.А. Брусакова, И.Л. Андреевский. -СПб.: Изд-во
"ЭЛМОР", 2012. - 238 с. (с. 28—38).
2. Мачис Ю.Ю. О предполагаемом доказательстве Эйлера. "Математические заметки", том 82, вып. 3, сентябрь 2007, с. 395—400.
3. Сингх С. Великая теорема Ферма, М.:МЦНМО, 2000
О СПЕКТРЕ ДИФФЕРЕНЦИАЛЬНОГО ОПЕРАТОРА ЧЕТВЁРТОГО ПОРЯДКА СО ЗНАКОПЕРЕМЕННОЙ ВЕСОВОЙ ФУНКЦИЕЙ
Митрохин Сергей Иванович
канд. ф.-м. наук, доцент, МГУ им. М.В. Ломоносова, г. Москва
ABOUT THE SPECTRUM OF THE DIFFERENTIAL OPERATOR OF THE FOURTH ORDER WITH SIGN-VARIABLE WEIGHT FUNCTION.
Sergey Mitrokhin
the candidate of physical and mathematical sciences, the assistant professor, the Moscow State University of M.V. Lomonosov, Moscow
АННОТАЦИЯ
В статье рассматривается дифференциальный оператор четвёртого порядка с разделёнными краевыми условиями. Весовая функция является знакопеременной, потенциал предполагается суммируемой функцией на отрезке [0; п]. Изучены общие решения рассматриваемых дифференциальных уравнений при больших значениях спектрального параметра, граничные условия, индикаторная диаграмма. Получены собственные значения рассматриваемого оператора. Полученные результаты найдут применение в геофизике при предсказании землетрясений.
