Юрий Красков - Чудеса арифметики от Пьера Симона де Ферма

Чтобы сомнений не возникало, были предприняты попытки как-то «обосновать» то, что у Ферма не могло быть доказательства, упоминаемого в оригинальном тексте ВТФ. См. например, https://cs.uwaterloo.ca/~alopez-o/math-faq/node26.html(Did Fermat prove this theorem?). Подобная «аргументация» никому из здравомыслящих людей, имеющих отношение к науке, и в голову не придёт, т.к. это даже в принципе не может быть убедительно. Ведь таким способом можно приписать Ферма любую галиматью. Но инициаторы подобных вбросов явно не учли, что это и есть свидетельство организованной и срежиссированной информационной кампании со стороны тех, кто был заинтересован в продвижении «доказательства» Вайлса.

Исключением является один из величайших английских математиков Джон Валлис (John Wallis) см. п. 3.4.3.

Очевидно, что если бы речь шла только о формулировке ВТФ, то было бы очень неразумно записывать её на полях книги. Но сетования Ферма на узкие поля повторяются и в других замечаниях, например, в 45-м, в конце которого он добавляет: « Полное доказательство и пространные объяснения не могут поместиться на полях из-за их узости » [9, 36]. А ведь только одно это замечание занимает целую печатную страницу! Конечно, он ничуть и не сомневался, что его гасконский юмор будет оценён по достоинству. Когда его сын Клеман Самюэль, который, естественно, обнаружил несоответствие пометок на полях подготовленным к публикации замечаниям, то совсем этим не был удивлён, поскольку для него было очевидно, что сразу по ходу чтения книги дать точные формулировки задач и теорем совершенно невозможно. То, что этот экземпляр «Арифметики» Диофанта с рукописными пометками Ферма не дошёл до нас наводит на мысль, что уже тогда он был исключительно ценным раритетом, поэтому мог быть куплен другим владельцем за очень высокую цену и тот, конечно, хотя бы ради собственной безопасности не был настолько глуп, чтобы трубить об этом на весь мир.

Текст последней фразы ВТФ: « Я открыл тому поистине удивительное доказательство, но эти поля слишком узки, чтобы вместить его здесь », − явно не относится к сути содержания теоремы, однако для многих математиков он выглядит настолько вызывающе, что они всячески стремились показать, что это просто пустое бахвальство. При этом они не заметили ни юмора насчет полей, ни ключевого слова «открыл», которое здесь явно не подходит. Более подходящими словами здесь могли быть, скажем, «получил» или «нашёл». Если бы оппоненты Ферма обратили на это внимание, то им стало бы ясно, что слово «открыл» указывает на то, что доказательство он получил неожиданно, решая задачу Диофанта, к которой и было написано замечание, получившее название ВТФ. Таким образом, математики столетиями безуспешно искали доказательство ВТФ вместо того, чтобы искать решение задачи Диофанта о разложении квадрата на сумму двух квадратов. Им-то казалось, что задача Диофанта явно не стоит их внимания. А вот для Ферма она стала едва ли не самой трудной из всех, которыми он занимался, и когда он все-таки с ней справился, то в награду и получил открытие ВТФ.

Любопытно, что русскоязычное издание фундаментального труда Эйлера вышло в 1768 г. под названием «Универсальная арифметика», хотя оригинальное название «Vollständige Anleitung zur Algebra» должно переводиться как «Полное руководство по алгебре». Видимо, переводчики, (студенты Петр Иноходцев и Иван Юдин), резонно полагали, что уравнения исследуются здесь главным образом с точки зрения их решений в целых или рациональных числах, т.е. методами арифметики. Для сегодняшнего читателя это 2-х томное издание представляется как китайская грамота, поскольку вместе с сильно устаревшим русским языком и орфографией здесь просто неимоверное количество опечаток. Вряд ли сегодняшняя РАН как наследница «Императорской академии наук», издавшей этот труд, понимает его истинную ценность, иначе он давно был бы переиздан в современном и общедоступном виде.

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

Здесь-то и возникает понятие «числовой плоскости», где по оси x располагаются действительные числа, а по оси y мнимые, т.е. те же действительные, только умноженные на «число» i= √-1. Но тогда между этими осями получается противоречие – на действительной оси множитель 1 nявляется нейтральным, а на мнимой оси множитель i nнет, а это не согласуется с базовыми свойствами чисел. Если уж вводится число i, то оно должно присутствовать на обеих осях, но тогда нет никакого смысла введения второй оси. Вот и выходит, что с точки зрения базовых свойств чисел эфемерное создание в виде числовой плоскости – полная бессмыслица.

Согласно основной теореме арифметики разложение любого натурального числа на простые множители всегда однозначно, например, 12=2×2×3, т.е. иными простыми множителями это число, как и любое другое, представить невозможно. Но для «комплексных чисел», в общем случае однозначность утрачивается, например, 12=(1+√–11)×(1+√–11)=(2+√–8)×(2+√–8). Фактически это означает крушение науки в самих ее основах. Однако общепринятых критериев, (в виде аксиом), того, что можно относить к числам, а что нет, как не было, так и нет до сих пор.

Теорема и ее доказательство даётся в «Началах» Евклида книга IX, предложение 14. Без этой теоремы решение преобладающего множества арифметических задач становится либо неполным, либо вообще невозможным.

Советский математик Лев Понтрягин показал, что эти «числа» не обладают базовым свойством коммутативности, т.е. для них ab ≠ ba [34]. Следовательно, одно и то же такое «число» нужно представлять только в виде, разложенном на множители, иначе в нём будут одновременно разные величины. Когда в оправдание подобных творений говорят, что математикам не хватает каких-то чисел, то на деле это может означать, что им явно не хватает разума.