Математические теоремы без доказательств. Кому поля не жмут

Поскольку мало кто владеет математическим мышлением, то я расскажу о наикрупнейшем научном открытии – элементарном доказательстве Великой теоремы Ферма – на самом понятном, школьном, языке.

Доказательство было найдено для частного случая (для простой степени n>2), к которому (и к случаю n=4) легко сводятся и все случаи с составным n.

Итак, нужно доказать, что уравнение A^n=C^n-B^n решения в целых числах не имеет. (Здесь значок ^ означает степень.)

Доказательство проводится в системе счисления с простым основанием n. В этом случае в каждой таблице умножения последние цифры не повторяются. В обычной, десятичой системе, ситуация иная. Например, при умножении числа 2 и на 1, и на 6 оба произведения – 2 и 12 – оканчиваются на одинаковые цифры (2). А, например, в семеричной системе для цифры 2 все последние цифры разные: 0х2=...0, 1х2=...2, 2х2=...4, 3х2=...6, 4х2=...1, 5х2=...3, 6х2=...5, с набором последних цифр 0, 2, 4, 6, 1, 3, 5.

Благодаря этому свойству для любого числа А, не оканчивающегося на ноль (а в равенстве Ферма последняя цифра чисел А, ну или В, после деления равенства на общий делитель чисел А, В, С нулю не равна), можно подобрать такое множитель g, что число Аg будет иметь сколь угодно длинное окончание вида 000...001. Вот на такое число g мы и умножим все числа-основания A, B, C в равенстве Ферма. При этом единичное окончание сделаем достаточно длинным, а именно на две цифры длиннее, чем число (k) нулей на конце числа U=А+В-С.

Число U нулю не равно – иначе С=А+В и A^n<(А+В)^n-B^n, т.е. равенство Ферма является неравенством.

Вот, собственно, и вся подготовка равенства Ферма для краткого и завершающего исследования. Единственное, что мы еще сделаем: перепишем правую часть равенства Ферма – C^n-B^n, – используя школьную формулу разложения: C^n-B^n=(С-В)Р, или аР. А поскольку далее мы будем оперировать (умножать и складывать) только с цифрами (k+2)-значных окончаний чисел А, В, С, то их головные части можем в расчет не принимать и просто их отбросить (оставив в памяти лишь один факт: левая часть равенства Ферма является СТЕПЕНЬЮ).

Единственное, о чем стоит сказать еще, это о последних цифрах чисел а и Р. В исходном равенстве Ферма число Р оканчивается на цифру 1. Это следует из формулы малой теоремы Ферма, которую можно найти в справочниках. А после умножения равенства Ферма на число g^n число Р умножатеся на число g в степени n-1, которое, согласно малой теореме Ферма, также оканчивается на цифру 1. Так что и в новом эквивалентном равенстве Ферма число Р оканчивается на 1. И если А оканчивается на 1, то и A^n тоже оканчивается на 1 и, следовательно, число а тоже оканчивается на 1.

Итак, мы имеем стартовую ситуацию: последние цифры А", а", Р" чисел А, а, Р оканчиваются на цифру 1.

Ну а дальше начинается милая и увлекательная операция, называемая в преферансе «мельницей»: вводя в рассмотрение последующие цифры а"", а""" и так далее числа а, мы исключительно «легко» вычисляем, что все они также равны нулю! Слово «легко» я взял в кавычки, ибо ключ к этому «легко» человечество не могло найти в течение 350 лет! А ключик действительно оказался неожиданно и ошарашивающе примитивным: число Р нужно представить в виде P=q^(n-1)+Qn^(k+2). На второй член в этой сумме обращить внимание не стоит – ведь в дальнейшем доказательстве мы все цифры после (k+2)-й в числах отбросили (и это кардинально облегчает анализ)! Так что после отбрасывания головных частей чисел равенство Ферма принимает вид: ...1=аq^(n-1), где а и q – не числа, а всего лишь окончания чисел а и q! (Новые обозначения не ввожу, так это затрудняет чтение.)

Остается последний философский вопрос: почему число Р можно представить в виде P=q^(n-1)+Qn^(k+2)? Ответ простой: потому что любое целое число Р с 1 на конце можно представить в таком виде, причем ТОЖДЕСТВЕННО. (Можно представить и многими другими способами, но нам это не нужно.) Действительно, для Р=1 ответ очевиден: P=1^(n-1). Для Р=hn+1 число q=(n-h)n+1, в чем легко убедиться, решая уравнение [(n-h)n+1]^(n-1)==hn+1 по двузначным окончаниям. И так далее (но в дальнейших вычислениях у нас необходимости нет, так как нам понадобится представление лишь чисел вида Р=1+Qn^t).

Уф-ф-ф-ф! Ну вот, философия кончилась, можно перейти к вычислениям на уровне второго класса, разве что лишь еще раз вспомнить формулу бинома Ньютона.

Итак, введем в расмотрение цифру а"" (в числе а=а""n+1) и с ее помощью вычислим цифру q"" (в числе q=q""n+1):
...01=(а""n+1)(q""n+1)^(n-1), или...01=(а""n+1)[(n-q"")n+1], откуда q""=a"".

И теперь правую часть равенства Ферма можно переписать в виде:
A^n=(а""n+1)^n+Dn^(k+2), где значение числа D нас не интересует.

А вот теперь мы переходим к решающему выводу. Число а""n+1 является двузначным окончанием числа А и, СЛЕДОВАТЕЛЬНО, согласно простой лемме ОДНОЗНАЧНО определяет ТРЕТЬЮ цифру степени A^n. И более того, из разложения бинома Ньютона
(а""n+1)^n, учитывая, что к каждому члену разложения (кроме первого, что погоды изменить уже не может!) присоединяется ПРОСТОЙ сомножитель n (основание счисления!), видно, что эта третья цифра равна а"". Но с помощью умножения равенства Ферма на g^n мы k+1 цифру перед последней 1 в числе А превратили в 0. И, следовательно, а""=0!!!

Тем самым мы завершили цикл: введя а"", мы нашли, что и q""=а"", а в заключение и а""=0!

Ну и остается сказать, что проведя совершенно аналогичные вычисления и последующих k цифр, мы получаем заключительное равенство: (k+2)-значное окончание числа а, или С-В, – так же, как и числа А, – равно 1. Но тогда (k+2)-я цифра числа С-А-В РАВНА нулю, в то время как она нулю НЕ РАВНА!!!

Вот, собственно, и всё доказательство. Для его понимания вовсе не требуется иметь высшее образование и, тем более, быть профессиональным математиком. Тем не менее, профессионалы помалкивают...

Удобочитаемый текст полного доказательства расположен здесь:

Рецензии

Здравствуйте, Виктор. Мне понравилось Ваше резюме. "Не позволить умереть раньше смерти" - здорово, конечно, звучит. От встречи на Прозе с теоремой Ферма, честно говоря, обалдела! Разве ей здесь место? Есть научные, научно-популярные и чайниковые сайты. А в остальном, спасибо за Вашу литературную работу.
С уважением, Аня.

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

Ивлиев Ю.А.

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

В 1995 году вышла статья , по размеру похожая на книгу и сообщавшая о доказательстве знаменитой Великой (Последней) теоремы Ферма (ВТФ) (об истории теоремы и попытках ее доказать см., например, ). После этого события появилось множество научных статей и научно-популярных книг, пропагандирующих это доказательство, однако ни в одном из этих трудов не была вскрыта принципиальная математическая ошибка в нем, вкравшаяся даже не по вине автора , а по какому-то странному оптимизму, охватившему умы математиков, занимавшихся указанной проблемой и смежными с ней вопросами. Психологические аспекты этого феномена были исследованы в . Здесь же дается детальный анализ произошедшей оплошности, которая носит не частный характер, а является следствием неправильного понимания свойств степеней целых чисел. Как показано в , проблема Ферма коренится в новом аксиоматическом подходе к изучению этих свойств, который до сих пор в современной науке не применялся. Но на его пути встало ошибочное доказательство , предоставившее специалистам по теории чисел ложные ориентиры и уводящее исследователей проблемы Ферма в сторону от ее прямого и адекватного решения. Данная работа посвящена устранению этого препятствия.

1. Анатомия ошибки, допущенной в ходе доказательства ВТФ

В процессе очень длинных и утомительных рассуждений первоначальное утверждение Ферма было переформулировано в терминах сопоставления диофантова уравнения p -ой степени с эллиптическими кривыми 3-его порядка (см. Теоремы 0.4 и 0.5 в ). Такое сопоставление заставило авторов фактически коллективного доказательства в объявить о том, что их метод и рассуждения приводят к окончательному решению проблемы Ферма (напомним, что ВТФ не имела признанных доказательств для случая произвольных целых степеней целых чисел вплоть до 90-х годов прошлого столетия). Целью данного рассмотрения является установление математической некорректности указанного выше сопоставления и, как результат проведенного анализа, нахождение принципиальной ошибки в доказательстве, предъявленном в .

а) Где и в чем ошибка?

Итак, будем идти по тексту , где на с.448 говорится, что после «остроумной идеи» Г.Фрея (G.Frey) открылась возможность доказательства ВТФ. В 1984 году Г.Фрей предположил и

К.Рибет (K.Ribet) позднее доказал, что предполагаемая эллиптическая кривая, представляющая гипотетическое целое решение уравнения Ферма,

y 2 = x(x + u p)(x - v p) (1)

не может быть модулярной. Однако А.Уайлс (A.Wiles) и Р.Тейлор (R.Taylor) доказали, что всякая полустабильная эллиптическая кривая, определенная над полем рациональных чисел, является модулярной. Отсюда следовал вывод о невозможности целочисленных решений уравнения Ферма и, следовательно, о справедливости утверждения Ферма, которое в обозначениях А.Уайлса записывалось как Теорема 0.5: пусть имеется равенство

u p + v p + w p = 0 (2)

где u, v , w - рациональные числа, целый показатель p ≥ 3; тогда (2) выполняется, только если uvw = 0 .

Теперь, по-видимому, следует вернуться назад и критически осмыслить, почему кривая (1) была априори воспринята как эллиптическая и какова ее реальная связь с уравнением Ферма. Предвидя этот вопрос, А.Уайлс ссылается на работу И.Эллегуарша (Y.Hellegouarch) , в которой тот нашел способ сопоставить уравнению Ферма (предположительно решаемому в целых числах) гипотетическую кривую 3-его порядка. В отличие от Г.Фрея И.Эллегуарш не связывал свою кривую с модулярными формами, однако его метод получения уравнения (1) был использован для дальнейшего продвижения доказательства А.Уайлса.

Остановимся подробнее на работе . Свои рассуждения автор проводит в терминах проективной геометрии. Упрощая некоторые его обозначения и приводя их в соответствие с , находим, что абелевой кривой

Y 2 = X(X - β p)(X + γ p) (3)

сопоставляется диофантово уравнение

x p + y p + z p = 0 (4)

где x , y, z - неизвестные целые числа, p - целый показатель из (2), а решения диофантова уравнения (4) α p , β p , γ p используются для записи абелевой кривой (3).

Теперь, чтобы удостовериться в том, что это кривая эллиптическая 3-его порядка, необходимо рассмотреть переменные X и Y в (3) на евклидовой плоскости. Для этого воспользуемся известным правилом арифметики эллиптических кривых: если имеются две рациональные точки на кубической алгебраической кривой и прямая, проходящая через эти точки, пересекает эту кривую еще в одной точке, то последняя также является рациональной точкой. Гипотетическое уравнение (4) формально представляет собой закон сложения точек на прямой. Если сделать замену переменных x p = A, y p = B, z p = C и направить полученную таким образом прямую по оси X в (3), то она пересечет кривую 3-ей степени в трех точках: (X = 0, Y = 0), (X = β p , Y = 0), (X = - γ p , Y = 0), что и отражено в записи абелевой кривой (3) и в аналогичной записи (1). Однако, является ли кривая (3) или (1) на самом деле эллиптической? Очевидно, что нет, потому что отрезки евклидовой прямой при сложении точек на ней взяты в нелинейном масштабе.

Возвращаясь к линейным координатным системам евклидова пространства, получаем вместо (1) и (3) формулы, весьма отличные от формул для эллиптических кривых. Например, (1) может быть следующей формой:

η 2p = ξ p (ξ p + u p)(ξ p - v p) (5)

где ξ p = x, η p = y, и апелляция к (1) в таком случае для вывода ВТФ представляется неправомерной. Несмотря на то, что (1) удовлетворяет некоторым критериям класса эллиптических кривых, все же самому главному критерию быть уравнением 3-ей степени в линейной системе координат оно не удовлетворяет.

б) Классификация ошибки

Итак, еще раз вернемся к началу рассмотрения и проследим, как делается в вывод об истинности ВТФ. Во-первых, предполагается, что существует некое решение уравнения Ферма в положительных целых числах. Во-вторых, это решение произвольно вставляется в алгебраическую форму известного вида (плоскую кривую 3-ей степени) в предположении, что полученные таким образом эллиптические кривые существуют (второе неподтвержденное предположение). В-третьих, поскольку другими методами доказывается, что построенная конкретная кривая немодулярна, то, значит, она не существует. Отсюда следует заключение: целочисленного решения уравнения Ферма нет и, следовательно, ВТФ верна.

В этих рассуждениях есть одно слабое звено, которое после детальной проверки оказывается ошибкой. Эта ошибка совершается на втором этапе процесса доказательства, когда предполагается, что гипотетическое решение уравнения Ферма является одновременно и решением алгебраического уравнения 3-ей степени, описывающего эллиптическую кривую известного вида. Само по себе такое предположение было бы оправданным, если бы указанная кривая действительно являлась эллиптической. Однако, как видно из п.1а), эта кривая представлена в нелинейных координатах, что делает ее «иллюзорной», т.е. реально не существующей в линейном топологическом пространстве.

Теперь надо четко классифицировать найденную ошибку. Она заключается в том, что в качестве аргумента доказательства приводится то, что нужно доказать. В классической логике эта ошибка известна как «порочный круг». В данном случае целочисленное решение уравнения Ферма сопоставляется (по-видимому, предположительно однозначно) с фиктивной, несуществующей эллиптической кривой, а потом весь пафос дальнейших рассуждений уходит на то, чтобы доказать, что конкретная эллиптическая кривая такого вида, полученная из гипотетических решений уравнения Ферма, не существует.

Как же так получилось, что в серьезной математической работе была пропущена столь элементарная ошибка? Наверно, это произошло из-за того, что ранее в математике не изучались «иллюзорные» геометрические фигуры указанного вида. Действительно, кого могла заинтересовать, например, фиктивная окружность, полученная из уравнения Ферма заменой переменных x n/2 = A, y n/2 = B, z n/2 = C ? Ведь ее уравнение C 2 = A 2 + B 2 не имеет целочисленных решений при целых x, y, z и n ≥ 3 . В нелинейных координатных осях X и Y такая окружность описывалась бы уравнением, по внешнему виду очень похожему на стандартную форму:

Y 2 = - (X - A)(X + B),

где A и B уже не переменные, а конкретные числа, определяемые указанной выше заменой. Но если числам A и B придать первоначальный вид, заключающийся в их степенном характере, то сразу же бросается в глаза неоднородность обозначений в сомножителях правой части уравнения. Этот признак помогает отличить иллюзию от действительности и перейти от нелинейных координат к линейным. С другой стороны, если рассматривать числа как операторы при их сравнении с переменными, как например в (1), то те и другие должны быть однородными величинами, т.е. должны иметь одинаковые степени.

Такое понимание степеней чисел как операторов позволяет также увидеть, что сопоставление уравнения Ферма иллюзорной эллиптической кривой не является однозначным. Возьмем, к примеру, один из сомножителей в правой части (5) и разложим его на p линейных сомножителей, введя такое комплексное число r, что r p = 1 (см. например ):

ξ p + u p = (ξ + u )(ξ + ru )(ξ + r 2 u )...(ξ + r p-1 u ) (6)

Тогда форму (5) можно представить в виде разложения на простые сомножители комплексных чисел по типу алгебраического тождества (6), однако единственность такого разложения в общем случае стоит под вопросом, что и было в свое время показано Куммером .

2. Выводы

Из предыдущего анализа следует, что так называемая арифметика эллиптических кривых не способна пролить свет на то, где надо искать доказательство ВТФ. После работы утверждение Ферма, кстати, взятое эпиграфом к этой статье, стало восприниматься, как историческая шутка или розыгрыш. Однако на деле оказывается, что пошутил не Ферма, а специалисты, собравшиеся на математический симпозиум в Обервольфахе в Германии в 1984 году, на котором Г.Фрей озвучил свою остроумную идею. Последствия такого неосторожного заявления привели математику в целом на грань утраты ею общественного доверия, что подробно описано в и что с необходимостью ставит перед наукой вопрос об ответственности научных учреждений перед обществом. Сопоставление уравнения Ферма кривой Фрея (1) является «замкóм» всего доказательства Уайлса относительно теоремы Ферма, и, если нет соответствия между кривой Ферма и модулярными эллиптическими кривыми, то значит нет и доказательства.

В последнее время появляются различные интернет-сообщения о том, будто бы некоторые видные математики, наконец-то, разобрались с доказательством Уайлса теоремы Ферма, придумав ему оправдание в виде «минимального» пересчета целых точек в евклидовом пространстве. Однако никакие новшества не в силах отменить классические результаты, уже добытые человечеством в математике, в частности, тот факт, что хотя любое порядковое число и совпадает с его количественным аналогом, оно не может быть ему заменой в операциях сравнения чисел между собой, а отсюда с неизбежностью следует вывод, что кривая Фрея (1) не является эллиптической изначально, т.е. не является ею по определению.

СПИСОК ЛИТЕРАТУРЫ:

Ивлиев Ю.А. Реконструкция нативного доказательства Великой теоремы Ферма - Объединенный научный журнал (раздел «Математика»). Апрель 2006 № 7 (167) с.3-9, см. также Працi Луганського вiддiлення Мiжнародноϊ Академiϊ iнформатизацiϊ. Мiнiстерство освiти та науки Украϊни. Схiдноукраϊнський нацiональний унiверситет iм. В.Даля. 2006 № 2 (13) с.19-25.
Ивлиев Ю.А. Величайшая научная афера ХХ века: «доказательство» Последней теоремы Ферма - Естественные и технические науки (раздел «История и методология математики»). Август 2007 № 4 (30) с.34-48.
Эдвардс Г. (Edwards H.M.) Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел. Пер. с англ. под ред. Б.Ф.Скубенко. М.: Мир 1980, 484 с.
Hellegouarch Y. Points d´ordre 2p h sur les courbes elliptiques - Acta Arithmetica. 1975 XXVI p.253-263.
Wiles A. Modular elliptic curves and Fermat´s Last Theorem - Annals of Mathematics. May 1995 v.141 Second series № 3 p.443-551.

Библиографическая ссылка

Ивлиев Ю.А. ОШИБОЧНОЕ ДОКАЗАТЕЛЬСТВО УАЙЛСА ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА // Фундаментальные исследования. – 2008. – № 3. – С. 13-16;
URL: http://fundamental-research.ru/ru/article/view?id=2763 (дата обращения: 25.09.2019). Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»

Итак, Великая теорема Ферма (нередко называемая последней теоремой Ферма), сформулированная в 1637 году блестящим французским математиком Пьером Ферма, очень проста по своей сути и понятна любому человеку со средним образованием. Она гласит, что формула а в степени n + b в степени n = c в степени n не имеет натуральных (то есть не дробных) решений для n > 2. Вроде все просто и понятно, но лучшие ученые-математики и простые любители бились над поиском решения более трех с половиной веков.

Почему она так знаменита? Сейчас узнаем...

Мало ли доказанных, недоказанных и пока не доказанных теорем? Тут все дело в том, что Великая теорема Ферма являет собой самый большой контраст между простотой формулировки и сложностью доказательства. Великая теорема Ферма – задача невероятно трудная, и тем не менее ее формулировку может понять каждый с 5-ю классами средней школы, а вот доказательство – даже далеко не всякий математик-профессионал. Ни в физике, ни в химии, ни в биологии, ни в той же математике нет ни одной проблемы, которая формулировалась бы так просто, но оставалась нерешенной так долго. 2. В чем же она состоит?

Начнем с пифагоровых штанов Формулировка действительно проста – на первый взгляд. Как известно нам с детства, «пифагоровы штаны на все стороны равны». Проблема выглядит столь простой потому, что в основе ее лежало математическое утверждение, которое всем известно, – теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.

В V веке до н.э. Пифагор основал пифагорейское братство. Пифагорейцы, помимо прочего, изучали целочисленные тройки, удовлетворяющие равенству x²+y²=z². Они доказали, что пифагоровых троек бесконечно много, и получили общие формулы для их нахождения. Наверное, они пробовали искать тройки и более высоких степеней. Убедившись, что это не получается, пифагорейцы оставили бесполезные попытки. Члены братства были больше философами и эстетами, чем математиками.

То есть легко подобрать множество чисел, которые прекрасно удовлетворяют равенству x²+y²=z²

Начиная с 3, 4, 5 – действительно, младшекласснику понятно, что 9+16=25.

Или 5, 12, 13: 25 + 144 = 169. Замечательно.

Ну и так далее. А если взять похожее уравнение x³+y³=z³ ? Может, тоже есть такие числа?

И так далее (рис.1).

Так вот, оказывается, что их НЕТ. Вот тут начинается подвох. Простота – кажущаяся, потому что трудно доказать не наличие чего-то, а наоборот, отсутствие. Когда надо доказать, что решение есть, можно и нужно просто привести это решение.

Доказать отсутствие сложнее: например, некто говорит: такое-то уравнение не имеет решений. Посадить его в лужу? легко: бац – а вот оно, решение! (приведите решение). И все, оппонент сражен. А как доказать отсутствие?

Сказать: «Я не нашел таких решений»? А может, ты плохо искал? А вдруг они есть, только очень большие, ну очень, такие, что даже у сверхмощного компьютера пока не хватает силенок? Вот это-то и сложно.

В наглядном виде это можно показать так: если взять два квадратика подходящих размеров и разобрать на единичные квадратики, то из этой кучки единичных квадратиков получается третий квадратик (рис. 2):

А проделаем то же с третьим измерением (рис. 3) – не получается. Не хватает кубиков, или остаются лишние:

А вот математик XVII века француз Пьер де Ферма с увлечением исследовал общее уравнение x n +y n =z n . И, наконец, сделал вывод: при n>2 целочисленных решений не существует. Доказательство Ферма безвозвратно утеряно. Рукописи горят! Осталось лишь его замечание в «Арифметике» Диофанта: «Я нашел поистине удивительное доказательство этого предложения, но поля здесь слишком узки для того, чтобы вместить его».

Вообще-то, теорема без доказательства называется гипотезой. Но за Ферма закрепилась слава, что он никогда не ошибается. Даже если он не оставлял доказательства какого-нибудь утверждения, впоследствии оно подтверждалось. К тому же, Ферма доказал свой тезис для n=4. Так гипотеза французского математика вошла в историю как Великая теорема Ферма.

После Ферма над поиском доказательства работали такие великие умы, как Леонард Эйлер (в 1770 году им было предложено решение для n = 3),

Адриен Лежандр и Иоганн Дирихле (эти ученые в 1825 году совместно нашли доказательство для n = 5), Габриель Ламе (нашедший доказательство для n = 7) и многие другие. К середине 80-х годов прошлого века стало понятно, что ученый мир находится на пути к окончательному решению Великой теоремы Ферма, однако только в 1993 году математики увидели и поверили, что трехвековая эпопея по поиску доказательства последней теоремы Ферма практически закончилась.

Легко показывается, что теорему Ферма достаточно доказать только для простых n: 3, 5, 7, 11, 13, 17, … При составных n доказательство остаётся в силе. Но и простых чисел бесконечно много…

В 1825 году, применив метод Софи Жермен, женщины-математика, Дирихле и Лежандр независимо друг от друга доказали теорему для n=5. В 1839 году тем же методом француз Габриель Ламе показал истинность теоремы для n=7. Постепенно теорему доказали почти для всех n, меньших ста.

Наконец, немецкий математик Эрнст Куммер в блестящем исследовании показал, что методами математики XIX века теорему в общем виде доказать нельзя. Премия Французской Академии Наук, учреждённая в 1847 году за доказательство теоремы Ферма, осталась невручённой.

В 1907 году богатый немецкий промышленник Пауль Вольфскель из-за неразделённой любви решил свести счёты с жизнью. Как истинный немец он назначил дату и время самоубийства: ровно в полночь. В последний день он составил завещание и написал письма друзьям и родственникам. Дела закончились раньше полночи. Надо сказать, что Пауль интересовался математикой. От нечего делать он пошёл в библиотеку и принялся читать знаменитую статью Куммера. Неожиданно ему показалось, что Куммер в ходе рассуждений совершил ошибку. Вольфскель стал с карандашом в руках разбирать это место статьи. Полночь миновала, наступило утро. Пробел в доказательстве был восполнен. Да и сам повод для самоубийства теперь выглядел совершенно нелепым. Пауль разорвал прощальные письма и переписал завещание.

Вскоре он умер естественной смертью. Наследники были изрядно удивлены: 100 000 марок (более 1 000 000 нынешних фунтов стерлингов) передавались на счёт Королевского научного общества Гёттингена, которое в том же году объявило о проведении конкурса на соискание премии Вольфскеля. 100 000 марок полагались доказавшему теорему Ферма. За опровержение теоремы не полагалось ни пфеннига…

Большинство профессиональных математиков считали поиск доказательства Великой теоремы Ферма безнадёжным делом и решительно отказывались тратить время на такое бесполезное занятие. Зато любители порезвились на славу. Через несколько недель после объявления на Гёттингенский университет обрушилась лавина «доказательств». Профессор Э. М. Ландау, в обязанность которого входил разбор присланных доказательств, раздал своим студентам карточки:

Уважаемый(ая) . . . . . . . .

Благодарю Вас за присланную Вами рукопись с доказательством Великой теоремы Ферма. Первая ошибка находится на стр. ... в строке... . Из-за неё всё доказательство утрачивает силу.
Профессор Э. М. Ландау

В 1963 году Пауль Коэн, опираясь на выводы Гёделя, доказал неразрешимость одной из двадцати трех проблем Гильберта — гипотезы континуума. А что, если Великая теорема Ферма тоже неразрешима?! Но истинных фанатиков Великой теоремы это ничуть не разочаровало. Появление компьютеров неожиданно дало математикам новый метод доказательства. После Второй мировой войны группы программистов и математиков доказали Великую теорему Ферма при всех значениях n до 500, затем до 1 000, а позже до 10 000.

В 80-е годы Сэмюэль Вагстафф поднял предел до 25 000, а в 90-ых математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов. Но если от бесконечности отнять даже триллион триллионов, она не станет меньше. Математиков не убеждает статистика. Доказать Великую теорему значило доказать её для ВСЕХ n, уходящих в бесконечность.

В 1954 году два молодых японских друга-математика занялись исследованием модулярных форм. Эти формы порождают ряды чисел, каждая - свой ряд. Случайно Танияма сравнил эти ряды с рядами, порождаемыми эллиптическими уравнениями. Они совпадали! Но модулярные формы – геометрические объекты, а эллиптические уравнения – алгебраические. Между столь разными объектами никогда не находили связи.

Тем не менее, друзья после тщательной проверки выдвинули гипотезу: у каждого эллиптического уравнения существует двойник – модулярная форма, и наоборот. Именно эта гипотеза стала фундаментом целого направления в математике, но до тех пор, пока гипотеза Таниямы–Симуры не была доказана, всё здание могло рухнуть в любой момент.

В 1984 году Герхард Фрей показал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение. Двумя годами позже профессор Кен Рибет доказал, что это гипотетическое уравнение не может иметь двойника в модулярном мире. Отныне Великая теорема Ферма была нерасторжимо связана с гипотезой Таниямы–Симуры. Доказав, что любая эллиптическая кривая модулярна, мы делаем вывод, что эллиптического уравнения с решением уравнения Ферма не существует, и Великая теорема Ферма была бы тотчас же доказана. Но в течение тридцати лет доказать гипотезу Таниямы–Симуры не удавалось, и надежд на успех оставалось всё меньше.

В 1963 году, когда ему было всего десять лет, Эндрю Уайлс уже был очарован математикой. Когда он узнал о Великой теореме, то понял, что не сможет отступиться от неё. Школьником, студентом, аспирантом он готовил себя к этой задаче.

Узнав о выводах Кена Рибета, Уайлс с головой ушёл в доказательство гипотезы Таниямы–Симуры. Он решил работать в полной изоляции и секретности. «Я понимал, что всё, что имеет какое-то отношение к Великой теореме Ферма, вызывает слишком большой интерес… Слишком много зрителей заведомо мешают достижению цели». Семь лет упорной работы принесли плоды, Уайлс наконец завершил доказательство гипотезы Таниямы–Симуры.

В 1993 году английский математик Эндрю Уайлс представил миру свое доказательство Великой теоремы Ферма (Уайльс прочитал свой сенсационный доклад на конференции в Институте сэра Исаака Ньютона в Кембридже.) , работа над которым продолжалась более семи лет.

Пока в печати продолжалась шумиха, началась серьёзная работа по проверке доказательства. Каждый фрагмент доказательства должен быть тщательно изучен прежде, чем доказательство может быть признано строгим и точным. Уайлс провёл беспокойное лето в ожидании отзывов рецензентов, надеясь, что ему удастся получить их одобрение. В конце августа эксперты нашли недостаточно обоснованное суждение.

Оказалось, что данное решение содержит грубую ошибку, хотя в целом и верно. Уайлс не сдался, призвал на помощь известного специалиста в теории чисел Ричарда Тейлора, и уже в 1994 году они опубликовали исправленное и дополненное доказательство теоремы. Самое удивительное, что эта работа заняла целых 130 (!) полос в математическом журнале «Annals of Mathematics». Но и на этом история не закончилась — последняя точка была поставлена только в следующем, 1995 году, когда в свет вышел окончательный и «идеальный», с математической точки зрения, вариант доказательства.

«…через полминуты после начала праздничного обеда по случаю её дня рождения, я подарил Наде рукопись полного доказательства» (Эндрю Уальс). Я ещё не говорил, что математики странные люди?

На этот раз никаких сомнений в доказательстве не было. Две статьи были подвергнуты самому тщательному анализу и в мае 1995 года были опубликованы в журнале «Annals of Mathematics».

С того момента прошло немало времени, однако в обществе до сих пор бытует мнение о неразрешимости Великой теоремы Ферма. Но даже те, кто знает о найденном доказательстве, продолжают работу в этом направлении — мало кого устраивает, что Великая теорема требует решения в 130 страниц!

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

Пьер Ферма утверждал, что:

невозможно разложить куб на два куба или биквадрат на два биквадрата и вообще невозможно разложить какую-либо степень, большую чем два, на две степени с таким же показателем.

Как же подойти к доказательству этого утверждения Ферма?

(картинка для привлечения внимания)

Представим себе, что мы нашли или построили прямоугольный треугольник со следующими сторонами: катеты - , и гипотенузой где (p, q, k, n) - числа натуральные. Тогда по теореме Пифагора получим или . Таким образом, если мы найдем или построим такой треугольник, то мы опровергнем Ферма. Если же мы докажем, что такой треугольник не существует, то мы докажем теорему.

Так как в утверждении речь идёт о натуральных числах, то найдем, чему равняется разность квадратов двух нечетных натуральных чисел. Т.е. решим уравнение . Для этого построим прямоугольные треугольники, гипотенуза которых равна , а катет равен , где и (a > b) . Тогда по теореме Пифагора можно вычислить второй катет по формуле (1) , или (2) . Мы получили, что стороны этих треугольников равны и . Таким образом, мы можем перебрать все пары чисел a и b из натурального множества (назовем эти числа “генераторами” данного тождества) и получить все возможные треугольники с заданными свойствами , . Докажем необходимость данного решения. Перепишем (1) в виде . Так как Z и Y нечетные числа, значит можно написать (Z - Y) = 2b и (Z + Y)=2a. Решая их относительно Z и Y, получим Z = (a + b) и Y = (a - b). Тогда можно записать, что X = 4ab и, подставляя эти значения в (1) , получим .

Примечание

Чтобы избежать получения подобных треугольников, и, учитывая, что Z и Y - нечетные числа по условию, числа a и b должны быть взаимно простыми и разной четности. Далее будем считать, что четным является число a . Для того, чтобы упорядочить распределение прямоугольных треугольников в множестве натуральных чисел N , поступим следующим образом: из этого множества вычтем все числа, которые являются четными степенями натуральных чисел. Обозначим это множество , где n - натуральное число. Затем из оставшихся натуральных чисел вычтем все числа, которые являются нечетными (≥3) степенями натуральных чисел и обозначим множество этих чисел как . Оставшиеся натуральные числа составят множество, числа которого есть натуральные числа в первой степени. Обозначим это множество . Очевидно, соединение этих 3-х множеств есть множество натуральных чисел, или . Множество представим как ряд = {1, 2, 3, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17,………}. Представим множества и в виде рядов. Тогда множество будет представлять собой матрицу, состоящую из бесконечного числа строк, каждая строка будет состоять из чисел ряда , возведенных в степень 2n , а n - есть номер строки. Так первая строка состоит из квадратов всех чисел ряда , вторая строка состоит из 4-х степеней этих чисел и т.д. Рассмотрим множество , которое будет представлять собой матрицу, состоящую из бесконечного числа строк, каждая строка которой будет состоять из чисел ряда , возведенных в степень 2n+1 . (n - есть номер строки). Так первая строка этой матрицы состоит из кубов чисел ряда , вторая строка состоит из чисел ряда в пятой степени и т.д. Рассмотрим множество . Т.к. , то примем тот же алгоритм построения треугольников (см. выше). Найдем «генераторы» тождества, Это будут числа , где , составим тождество: (3) , мы получили множество прямоугольных треугольников с целочисленными сторонами. Здесь - гипотенуза, - катет и - второй катет. Для опровержения утверждения Ферма нужно, чтобы стороны X, Y, Z искомого треугольника равнялись (4) . Где (p, q, k, n) - натуральные числа. По теореме Пифагора будем иметь или

и утверждение Ферма будет опровергнуто. Из тождества видно, что . Рассмотрим последнее равенство , в этом равенстве «p » ни при каких значениях «a и b » не будет натуральным числом, если . Это означает, что в рассмотренном множестве треугольников не существует ни одного треугольника с искомыми сторонами (4) .
Теперь рассмотрим множество . Обозначим (2n+1) как «m », тогда во множестве получим прямоугольные треугольники, описываемые тождеством (6) . Если мы сможем построить прямоугольный треугольник X, Y, Z со сторонами (7) , где , то мы опровергнем утверждение Ферма, т.к. по теореме Пифагора и (p, q и k) - натуральные числа. Надо, чтобы . Рассматривая последнее равенство заметим, что «p » не может быть натуральным числом ни при каких значениях «a и b », , если . Значит и в этом множестве треугольников не существует ни одного треугольника с искомыми сторонами (7) .

Однако из вышесказанного видно, что все доказательство сводится к анализу числа , где «» при любых натуральных «a и b » не будет натуральным числом в степени «m/2 ». Или же (8) при тех же условиях не будет натуральным числом в степени «m». Из доказательства видно, что «генераторами» тождества (6) являются числа «» из ряда Но, анализируя (8) , можно подставить вместо «» число . Так как есть четное число, (см.Примечание), то - натуральное число. После подстановки его в (8) получим , то есть натуральные числа в степени «m». Совершив вышеуказанную подстановку в тождество (6) , и, обозначив через , получим следующее тождество: . Мы получили множество прямоугольных треугольников со сторонами . Если (k,q, p) - натуральные числа в нечетной степени, т.е. где r - любое нечетное число, а . Чтобы опровергнуть Ферма нужно, чтобы: В последнем равенстве при любых натуральных a и b , - числа натуральные, но первые два равенства невозможны, так как, если «m и r » любые нечетные числа, то - иррациональные числа, а числа в скобках - числа натуральные. Если же (k,q, p) - натуральные числа в четной степени, т.е. , то мы получим следующие равенства (5) . В данном варианте последнее равенство невозможно, т.к. извлекая корень m степени из обеих частей равенства получим , т.е. в скобках иррациональное число, а - натуральное. Это значит, что и в этом множестве не найдено «нужного» треугольника. А это значит, что для любых нечетных «m » утверждение Ферма верно, а значит, верно, для всех простых показателей «m ≥ 3».

Остается найти доказательство теоремы для четных показателей. Из (5) следует, что, если в каноническом разложении четного показателя степени есть нечетное простое число, то утверждение Ферма для этой степени верно. Очевидно, что этому условию отвечают все четные числа, кроме числа «4 » и чисел кратных четырем, т.е. 8, 16, 32, 64 … и т.д. В разложении этих чисел есть только простое число 2 . Поэтому вышеприведенное доказательство не дает ответа для этих степеней.

Значит остается доказать теорему для «n = 4 ». Можно предположить, что у Ферма было общее доказательство, но не полное. Может быть, поэтому он и не записал свое доказательство. И только через несколько лет, создав свой метод «бесконечного или неопределенного спуска», он доказал, что не существует прямоугольного треугольника с целочисленными сторонами, у которого площадь равнялась бы квадрату натурального числа. После этого доказательство теоремы для «n = 4 » не составило труда. Это доказательство Ферма записал. И теорема оказалась доказанной полностью.

Теги: теорема Ферма, краткое доказательство

August 5th, 2013

В мире можно найти не так уж много людей, ни разу не слы-шавших о Великой теореме Ферма — пожалуй, это единственная математическая задача, получившая столь широкую известность и ставшая настоящей легендой. О ней упоминается во множестве книг и фильмов, при этом главный контекст почти всех упоми-наний — невозможность доказать теорему.

Да, эта теорема очень известна и в некотором смысле стала «идолом», которому поклоняются математики-любители и про-фессионалы, но мало кому известно о том, что ее доказательство найдено, а произошло это в уже далеком 1995 году. Но обо всем по порядку.

Итак, Великая теорема Ферма (нередко называемая послед-ней теоремой Ферма), сформулированная в 1637 году блестя-щим французским математиком Пьером Ферма, очень проста по своей сути и понятна любому человеку со средним образова-нием. Она гласит, что формула а в степени n + b в степени n = c в степени n не имеет натуральных (то есть не дробных) решений для n > 2. Вроде все просто и понятно, но лучшие ученые-математики и простые любители бились над поиском решения более трех с половиной веков.

Почему она так знаменита? Сейчас узнаем...

Мало ли доказанных, недоказанных и пока не доказанных теорем? Тут все дело в том, что Великая теорема Ферма являет собой самый большой контраст между простотой формулировки и сложностью доказательства. Великая теорема Ферма - задача невероятно трудная, и тем не менее ее формулировку может понять каждый с 5-ю классами средней школы, а вот доказательство - даже далеко не всякий математик-профессионал. Ни в физике, ни в химии, ни в биологии, ни в той же математике нет ни одной проблемы, которая формулировалась бы так просто, но оставалась нерешенной так долго. 2. В чем же она состоит?

Начнем с пифагоровых штанов Формулировка действительно проста - на первый взгляд. Как известно нам с детства, «пифагоровы штаны на все стороны равны». Проблема выглядит столь простой потому, что в основе ее лежало математическое утверждение, которое всем известно, - теорема Пифагора: в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.

В V веке до н.э. Пифагор основал пифагорейское братство. Пифагорейцы, помимо прочего, изучали целочисленные тройки, удовлетворяющие равенству x²+y²=z². Они доказали, что пифагоровых троек бесконечно много, и получили общие формулы для их нахождения. Наверное, они пробовали искать тройки и более высоких степеней. Убедившись, что это не получается, пифагорейцы оставили бесполезные попытки. Члены братства были больше философами и эстетами, чем математиками.

То есть легко подобрать множество чисел, которые прекрасно удовлетворяют равенству x²+y²=z²

Начиная с 3, 4, 5 - действительно, младшекласснику понятно, что 9+16=25.

Или 5, 12, 13: 25 + 144 = 169. Замечательно.

Так вот, оказывается, что их НЕТ. Вот тут начинается подвох. Простота - кажущаяся, потому что трудно доказать не наличие чего-то, а наоборот, отсутствие. Когда надо доказать, что решение есть, можно и нужно просто привести это решение.

Доказать отсутствие сложнее: например, некто говорит: такое-то уравнение не имеет решений. Посадить его в лужу? легко: бац - а вот оно, решение! (приведите решение). И все, оппонент сражен. А как доказать отсутствие?

Сказать: «Я не нашел таких решений»? А может, ты плохо искал? А вдруг они есть, только очень большие, ну очень, такие, что даже у сверхмощного компьютера пока не хватает силенок? Вот это-то и сложно.

В наглядном виде это можно показать так: если взять два квадратика подходящих размеров и разобрать на единичные квадратики, то из этой кучки единичных квадратиков получается третий квадратик (рис. 2):

А проделаем то же с третьим измерением (рис. 3) - не получается. Не хватает кубиков, или остаются лишние:

Вообще-то, теорема без доказательства называется гипотезой. Но за Ферма закрепилась слава, что он никогда не ошибается. Даже если он не оставлял доказательства какого-нибудь утверждения, впоследствии оно подтверждалось. К тому же, Ферма доказал свой тезис для n=4. Так гипотеза французского математика вошла в историю как Великая теорема Ферма.

После Ферма над поиском доказательства работали такие ве-ликие умы, как Леонард Эйлер (в 1770 году им было предложено решение для n = 3),

Адриен Лежандр и Иоганн Дирихле (эти ученые в 1825 году совместно нашли доказательство для n = 5), Габриель Ламе (нашедший доказательство для n = 7) и многие другие. К середине 80-х годов прошлого века стало понятно, что ученый мир находится на пути к окончательному решению Великой теоремы Ферма, однако только в 1993 году математики увидели и поверили, что трехвековая эпопея по поиску доказа-тельства последней теоремы Ферма практически закончилась.

Легко показывается, что теорему Ферма достаточно доказать только для простых n: 3, 5, 7, 11, 13, 17, … При составных n доказательство остаётся в силе. Но и простых чисел бесконечно много…

В 1825 году, применив метод Софи Жермен, женщины-математика, Дирихле и Лежандр независимо друг от друга доказали теорему для n=5. В 1839 году тем же методом француз Габриель Ламе показал истинность теоремы для n=7. Постепенно теорему доказали почти для всех n, меньших ста.

Наконец, немецкий математик Эрнст Куммер в блестящем исследовании показал, что методами математики XIX века теорему в общем виде доказать нельзя. Премия Французской Академии Наук, учреждённая в 1847 году за доказательство теоремы Ферма, осталась невручённой.

В 1907 году богатый немецкий промышленник Пауль Вольфскель из-за неразделённой любви решил свести счёты с жизнью. Как истинный немец он назначил дату и время самоубийства: ровно в полночь. В последний день он составил завещание и написал письма друзьям и родственникам. Дела закончились раньше полночи. Надо сказать, что Пауль интересовался математикой. От нечего делать он пошёл в библиотеку и принялся читать знаменитую статью Куммера. Неожиданно ему показалось, что Куммер в ходе рассуждений совершил ошибку. Вольфскель стал с карандашом в руках разбирать это место статьи. Полночь миновала, наступило утро. Пробел в доказательстве был восполнен. Да и сам повод для самоубийства теперь выглядел совершенно нелепым. Пауль разорвал прощальные письма и переписал завещание.

Вскоре он умер естественной смертью. Наследники были изрядно удивлены: 100 000 марок (более 1 000 000 нынешних фунтов стерлингов) передавались на счёт Королевского научного общества Гёттингена, которое в том же году объявило о проведении конкурса на соискание премии Вольфскеля. 100 000 марок полагались доказавшему теорему Ферма. За опровержение теоремы не полагалось ни пфеннига…

Большинство профессиональных математиков считали поиск доказательства Великой теоремы Ферма безнадёжным делом и решительно отказывались тратить время на такое бесполезное занятие. Зато любители порезвились на славу. Через несколько недель после объявления на Гёттингенский университет обрушилась лавина «доказательств». Профессор Э. М. Ландау, в обязанность которого входил разбор присланных доказательств, раздал своим студентам карточки:

Уважаемый(ая) . . . . . . . .

Благодарю Вас за присланную Вами рукопись с доказательством Великой теоремы Ферма. Первая ошибка находится на стр. ... в строке... . Из-за неё всё доказательство утрачивает силу.
Профессор Э. М. Ландау

В 80-е годы Сэмюэль Вагстафф поднял предел до 25 000, а в 90-ых математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов. Но если от бесконечности отнять даже триллион триллионов, она не станет меньше. Математиков не убеждает статистика. Доказать Великую теорему значило доказать её для ВСЕХ n, уходящих в бесконечность.

Тем не менее, друзья после тщательной проверки выдвинули гипотезу: у каждого эллиптического уравнения существует двойник - модулярная форма, и наоборот. Именно эта гипотеза стала фундаментом целого направления в математике, но до тех пор, пока гипотеза Таниямы-Симуры не была доказана, всё здание могло рухнуть в любой момент.

В 1984 году Герхард Фрей показал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение. Двумя годами позже профессор Кен Рибет доказал, что это гипотетическое уравнение не может иметь двойника в модулярном мире. Отныне Великая теорема Ферма была нерасторжимо связана с гипотезой Таниямы-Симуры. Доказав, что любая эллиптическая кривая модулярна, мы делаем вывод, что эллиптического уравнения с решением уравнения Ферма не существует, и Великая теорема Ферма была бы тотчас же доказана. Но в течение тридцати лет доказать гипотезу Таниямы-Симуры не удавалось, и надежд на успех оставалось всё меньше.

В 1963 году, когда ему было всего десять лет, Эндрю Уайлс уже был очарован математикой. Когда он узнал о Великой теореме, то понял, что не сможет отступиться от неё. Школьником, студентом, аспирантом он готовил себя к этой задаче.

Узнав о выводах Кена Рибета, Уайлс с головой ушёл в доказательство гипотезы Таниямы-Симуры. Он решил работать в полной изоляции и секретности. «Я понимал, что всё, что имеет какое-то отношение к Великой теореме Ферма, вызывает слишком большой интерес… Слишком много зрителей заведомо мешают достижению цели». Семь лет упорной работы принесли плоды, Уайлс наконец завершил доказательство гипотезы Таниямы-Симуры.

В 1993 году английский математик Эндрю Уайлс представил миру свое доказательство Великой теоремы Ферма (Уайльс прочитал свой сенсационный доклад на конференции в Институте сэра Исаака Ньютона в Кембридже.) , работа над которым продолжалась более семи лет.

Оказалось, что данное решение содержит грубую ошибку, хотя в целом и верно. Уайлс не сдался, призвал на помощь известного специалиста в теории чисел Ричарда Тейлора, и уже в 1994 году они опубликовали исправлен-ное и дополненное доказательство теоремы. Самое удивительное, что эта работа заняла целых 130 (!) полос в математическом журнале «Annals of Mathematics». Но и на этом история не закончилась — последняя точка была поставлена только в следующем, 1995 году, когда в свет вышел окончательный и «идеальный», с математи-ческой точки зрения, вариант доказательства.

«…через полминуты после начала праздничного обеда по случаю её дня рождения, я подарил Наде рукопись полного доказательства» (Эндрю Уальс). Я ещё не говорил, что математики странные люди?

С того момента прошло немало времени, однако в обществе до сих пор бытует мнение о неразрешимости Великой теоремы Фер-ма. Но даже те, кто знает о найденном доказательстве, продолжают работу в этом направлении — мало кого устраивает, что Великая теорема требует решения в 130 страниц!

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

источник