Пифагорова комната: о существовании cовершенного кубоида

УДК 511.5 MSC 11D09 Пифагорова комната: о существовании совершенного кубоида В. Г. Соловьёв Аннотация В работе представлено полное аналитическое доказательство несуществования совершенного кубоида — прямоугольного парал- лелепипеда, у которого длины всех рёбер, диагоналей граней и пространственной диагонали выражаются натуральными числа- ми. Доказательство строится на исследовании фундаментально- го инвариантного биквадратного уравнения для квадрата нечёт- ного ребра, полученного путём полной локализации геометриче- ских параметров объекта и исключения шести из семи неизвест- ных переменных. В рамках этого подхода исходная многомерная диофантова система из четырёх уравнений полностью спроециро- вана на арифметическую структуру единственного параметра — нечётного ребра кубоида и трёх его нечётных целочисленных де- лителей. Логика аналитического вывода объединяет метод локаль- ного p-адического анализа точных показателей степеней в канони- ческом разложении полиномов и глобальный метод бесконечного спуска Ферма. В результате исследования доказано, что фунда- ментальный инвариант уравнения кубоида накладывает взаимно исключающие требования на чётность показателей кратности про- стых делителей. Возникающее структурное противоречие делает невозможным извлечение целого корня и превращение получен- ного нечётного числа в точный квадрат, что строго обосновыва- ет несуществование примитивного совершенного кубоида в кольце целых чисел. Ключевые слова:-адический анализ, p-адический анализ, принцип Дирихле, теория чисел. The Pythagorean Room: On the Existence of a Perfect Cuboid V. G. Solovyov 1

Аннотация This paper presents a complete analytical proof of the non-existence of a perfect cuboid—a rectangular parallelepiped whose edges, face diagonals, and space diagonal are all represented by natural numbers. The proof is established by investigating a fundamental invariant biquadratic equation for the square of the odd edge, derived through the complete localization of the object’s geometric parameters and the elimination of six out of seven unknown variables. Within this framework, the original multidimensional Diophantine system of four equations is fully projected onto the arithmetic structure of a single parameter—the cuboid’s odd edge and three of its odd integer divisors. The logic of the analytical derivation unifies the method of local p-adic analysis of exact exponents in the canonical factorization of polynomials with the global method of Fermat’s infinite descent. As a result of the investigation, it is proved that the fundamental invariant of the cuboid equation imposes mutually exclusive requirements on the parity of the multiplicity exponents of prime divisors. The emerging structural contradiction renders it impossible to extract an integer root and transform the resulting odd number into a perfect square, which strictly substantiates the non-existence of a primitive perfect cuboid in the ring of integers. Keywords: analysis, Dirichlet’s principle, number theory. 2

1 Введение В лекциях известного математика и замечательного популяризатора д-ра физ.-мат. наук Алексея Савватеева [8] говорится о легенде существова- ния Пифагоровой Комнаты, в которой математики якобы могут обнару- жить все теоремы и их доказательства. С математической точки зрения Пифагорова Комната есть ничто иное, как прямоугольный параллелепипед со всеми семью уникальны- ми линейными размерами (тремя рёбрами, тремя диагоналями граней и одной пространственной диагональю), выраженными натуральными числами. Подобный прямоугольный параллелепипед математики назы- вают Совершенным Кубоидом, поиск которого Иэн Стюарт отнёс к одной из величайших математических задач [10]. Доказательством того, что существование Совершенного Кубоида до сих пор теоретически не обосновано, является запуск вычислительно- го проекта компьютерным перебором во всемирной сети [16], который, впрочем, не принёс результатов даже в области линейных размеров по- рядка 12 , а планируют досчитать до 63 . Хотя этот факт не доказывает и обратного утверждения о том, что Совершенный Кубоид не существу- ет. Компьютерные эксперименты, безусловно, могут продолжаться как угодно долго, но для того, чтобы решить вопрос о существовании Со- вершенного Кубоида, необходимо и достаточно исключительно матема- тическим путём. Математики решают задачу более двухсот лет, начиная с современни- ков великого Леонардо Эйлера. За это время были найдены прямоуголь- ные параллелепипеды с шестью (но не семью!) целочисленными разме- рами. В частности, прямоугольный параллелепипед с целочисленными тремя рёбрами и тремя диагоналями граней получил название Эйлерова параллелепипеда или кубоида Эйлера, при том, что первым минимально возможный кубоид (с рёбрами,,,,) нашёл в По сути, при поиске решения математики исходят из условия, что Со- вершенный Кубоид есть Эйлеров параллелепипед с целочисленной про- странственной диагональю. В настоящее время учёные активно работают над проблемой поиска доказательства существования или несуществования Совершенного Ку- боида. Например, в одной работе [3] говорится о способе получения значений сторон Эйлерова кубоида посредством подбора значений котангенсов пи- фагоровых троек, исходя из условия равенства произведения двух мень- ших значений котангенсов двух пифагоровых треугольников и значения 3

котангенса третьего пифагорова треугольника, составляющих Эйлеров кубоид. Впрочем, это решение относится к вычислительным методам и не позволяет ответить на вопрос о существовании Совершенного Кубои- да. Также обращают на себя внимание работы канд. физ.-мат. наук Рус- лана Шарипова, в одной из которых задача построения Совершенного Кубоида была сведена к единственному диофантову уравнению-го порядка от трёх целочисленных переменных [11], а в другой [13], учи- тывая полученное ранее уравнение, определена связь задачи о постро- ении совершенного кубоида с некоторым классом полиномов от одной переменной, зависящих от трёх целочисленных параметров. По мнению автора, неприводимость этих полиномов над кольцом целых чисел при определённых ограничениях на параметры достаточна для доказатель- ства несуществования совершенных кубоидов. Однако неприводимость сформулирована в виде гипотез, которые проверяются вычислительны- ми методами и могут быть подтверждены только для конечного числа комбинаций. Наконец, известна работа [7], в которой решается вопрос о несуще- ствовании Совершенного Кубоида путём приведения системы диофанто- вых уравнений кубоида к единственному уравнению невысокого поряд- ка и его анализа. Какое-то время приведённое доказательство считалось верным. Однако Руслан Шарипов обнаружил ряд ошибок в доказатель- ствах теорем [12]. Таким образом, задача поиска Совершенного Кубоида так и осталась нерешённой. Важно отметить, что классические подходы, начиная с Эйлера и за- канчивая современными работами Шарипова, идут по пути усложнения систем, в результате оперируя многомерными полиномами от нескольких переменных. В отличие от них в данной работе впервые доказано, что вся многомерная геометрия и арифметика Совершенного Кубоида может быть полностью и без потерь спроецирована на внутреннюю структуру одного-единственного параметра — его нечётного ребра. Сведение системы из четырёх связанных нелинейных диофантовых уравнений второго порядка с семью неизвестными к единому биквад- ратному уравнению от делителей одного базового параметра позволя- ет полностью изолировать задачу и исследовать её локальные свойства непосредственно в кольце целых чисел. Методология и научная новизна. альтернативный локально-арифметический подход. Вместо традицион- ного анализа плоских пифагоровых троек с последующим выходом в трёхмерное пространство, в статье применён обратный метод, а именно: ортогональное проецирование боковых граней трёхмерного кубоида на 4

плоскость диагональной грани. Научная новизна исследования заключа- ется в том, что исходная система из четырёх диофантовых уравнений све- дена к единому биквадратному уравнению зависимости квадрата един- ственного нечётного ребра кубоида от трёх его нечётных целочисленных делителей, меньших указанного ребра. Предложенный подход позволя- ет абстрагироваться от гипотетических утверждений высшей алгебры и провести строгий локальный анализ-адической структуры уравнения (анализ степеней двойки в каноническом разложении) по произвольному модулю. Целью работы является строгое аналитическое исследование полу- ченного биквадратного уравнения в качестве необходимого и достаточ- ного условия для ответа на вопрос о существовании или несуществовании Совершенного Кубоида. 2 Теоретическое обоснование. Фундаменталь- ное уравнение Совершенного Кубоида Совершенный Кубоид представляет собою прямоугольный параллелепи- пед (рис. 1) с нижней гранью 1B1C1D1, верхней гранью 2B2C2D2, рёб- рами, (глубину) и высоту соответственно, а также тремя диагоналями LW, DW Hи LHграней и, наконец, главной диагональю Cub. Рис. 1: Совершенный кубоид Для нахождения параметров Совершенного кубоида необходимо ре- шить систему из четырёх диофантовых уравнений в натуральных чис- 5

ловых значениях следующего вида: ⎧ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎩ L 2 + 2 = 2 LW, L 2 + 2 = 2 LH, W 2 + 2 = 2 W H, L 2 + 2 + 2 = 2 Cub. (1) До сих пор не было известно, существует ли такой параллелепипед, удовлетворяющий всем четырём условиям системы уравнений (1), но при этом известны прямоугольные параллелепипеды, удовлетворяющие первым трём условиям системы уравнений (1), называемые Эйлеровыми параллелепипедами. Фактически, Эйлеров параллелепипед можно пред- ставить прямоугольным тетраэдром 1C1D1D2, у которого все рёбра, W LW, LHи W Hцелочисленные. Как правило, при решении вопросов по Совершенному Кубоиду рас- сматривают решение задачи через плоские пифагоровы треугольники или пифагоровы тройки, определяя сначала параметры Эйлерова парал- лелепипеда [9], а затем переносят решение задачи в трёхмерное простран- ство для поиска параметров Совершенного Кубоида, для которого эйле- ров параллелепипед является частным случаем. Однако целесообразно применить и обратный подход, а именно: спроецировать (рис. 2) враще- нием вокруг высоты (H 1A2D1D2и 1C2D1D2прямо- угольного параллелепипеда на плоскость диагональной грани 1B2D1D2. Рис. 2: Проекция боковых граней на плоскость диагональной грани В результате получаем три прямоугольных треугольника 1D2W D1D2L 1D2DLW, имеющих один общий катет ного параллелепипеда), с катетами LW(два ребра прямоуголь- 6

ного параллелепипеда и диагональ основания соответственно), а также гипотенузами W H, LHи Cub(две диагонали боковых граней и глав- ная диагональ прямоугольного параллелепипеда соответственно). Учитывая, что один катет примитивного (то есть с взаимно просты- ми длинами рёбер) прямоугольного параллелепипеда, удовлетворяюще- го условиям (1), должен быть обязательно нечётным, для дальнейших рассуждений достаточно принять его, например, за высоту (H образом, Совершенный Кубоид существует тогда и только тогда, когда на одном нечётном катете можно построить не менее трёх пифагоровых треугольников. Рассмотрим декартову систему координат (рис. 3), в которой по оси ординат отложим отрезок отметим точки с целочисленными значениями 1, X2, X3, . . . , Xnтакими, что полученные треугольники являются пифагоровыми. Рис. 3: Пифагоровы треугольники на общем нечётном катете Определим возможное количество полученных треугольников и вы- ведем формулу, связывающую чётные катеты со значением лителями, разложив базовое диофантово уравнение на множители. По теореме Пифагора для любой тройки чисел запишем Y 2 = 2 i− 2 i. Используя формулу разности квадратов, разложим правую часть урав- нения (2) на два множителя: Y 2 = (Z i− i)(Zi+ i). 7

Поскольку мы имеем дело с целыми числами, выражение в первой скобке обязано быть натуральным делителем числа 2 . Обозначим Zi− i= i. Тогда Zi+ i= Y 2 fi . Чтобы выразить чётный катет iчерез нечётный гипотенузы i, вычтем из уравнения (5) уравнение (4) и получим иско- мую формулу зависимости чётного катета от нечётного и его делителей: Xi= Y 2 − 2 i 2fi . Так как чётный катет iдолжен быть строго положительным чис- лом, т. е. i>, то выражение в скобках тоже должно быть больше нуля. Значит i< Y Заметим, что уравнение (6) не нарушает условие целочисленности i. Поскольку В свою очередь, любой делитель нечётного числа может быть только нечётным. Отсюда разность двух нечётных чисел в выражении в скобках уравнения (6) всегда даёт чётное число, а при делении на результат гарантирует целочисленность i. Аналогичным образом можно получить и формулу для всех гипоте- нуз: Zi= Y 2 + 2 i 2fi . Можно доказать, пользуясь формулами математических сочетаний, что число неповторяющихся попарных произведений ряда чисел, пред- ставляющих собою в нашем случае набор делителей ет 2 /4. Как известно [2] из канонического разложения числа на простые множители, число делителей числа равно произведению увеличенных на единицу показателей степеней его простых множителей. Таким образом, количество пифагоровых треугольников, построенных на нечётной сто- роне, ограничено количеством значений делителей p. Поскольку количе- ство делителей любого числа конечно, то и пифагоровых треугольников, построенных на нечётном катете, тоже конечно. В качестве примера, отметив для дальнейших рассуждений, что это число равно нечётному ребру минимального (по объёму) из известных Эйлеровых параллелепипедов. 8

Выпишем все делители iквадрата числа, меньшие fi∈ {1,,,,,,}. Итого получаем семь возможных построений пифагоровых треуголь- ников на нечётном катете, при этом семь вариантов чётных катетов, вычисляемых по формуле (6), соответствуют в порядке убыва- ния индексов: Xi∈ {6844,,,,,,}, а гипотенузы, вычисляемые по формулам (7), будут равны соответствен- но: Zi∈ {6845,,,,,,}. Отметим, что максимально возможное значение чётного катета пифа- горова треугольника, построенного на нечётном катете, равно половине квадрата значения нечётного катета без единицы, т. к. из уравнения (6) следует, что значение чётного катета примет предельно большое значе- ние при, т. е. Xmax= Y 2 − 2 . Приняв в качестве нечётного катета педа за координату наты i, имеем, что формулы (6) и (7) описывают все прямоугольные параллелепипеды с-ю целочисленными параметры — высотой ной LHи W H. Число таких параллелепипедов, построенных на нечётном ребре (высо- те pнечётного ребра (высоты Если диагонали LHи W Hбоковых граней образуют с диагональю нижней грани LWпифагоров треугольник, то тогда можно говорить об образовании Эйлерова параллелепипеда с шестью целочисленными па- раметрами. На основании положений о существовании пифагоровых тре- угольников, построенных на одном нечётном катете, можно утверждать, что Эйлеров параллелепипед существует тогда и только тогда, когда в ряду нечётных значений p, построенных на высоте нимум, пара значений, которые и составят Пифагоровый треугольник: (︃ H 2 − 2 L fL )︃ 2 + (︃ H 2 − 2 W fW )︃ 2 = 4 2 LW. В частности, из выше рассмотренного примера для прямоугольно- го параллелепипеда с пятью целочисленными параметрами с нечётным 9

ребром жив, вычисляем, что правая часть уравнения (9) равно квадрату натурального числа, что позволяет сделать вывод о существовании Эйлерова параллелепипеда со сторонами, и. С учётом полученных формул, подставим их в чётвертое уравнение системы (1) и получим уравнение Совершенного Кубоида, связывающее нечётную высоту (︃ H 2 − 2 L 2fL )︃ 2 + (︃ H 2 − 2 W 2fW )︃ 2 = (︃ H 2 − 2 D 2fD )︃ 2 , причём fL, fW, fD< H, fi| 2 , fi— нечётные. (11) Таким образом, уравнение (10) есть искомая формула для поиска Со- вершенного Кубоида. Для упрощения дальнейших алгебраических выкладок и проведе- ния локального анализа перейдём к единым стандартизированным обо- значениям: примем строчную переменную соты параллелепипеда (H), а нечётные делители квадрата ребра fL, fW, fDупорядочим по величине и переобозначим через числовые ин- дексы 1, f2, f3соответственно. С учётом принятых обозначений перепи- санное исходное уравнение Совершенного Кубоида (10) примет вид: (︃ h 2 − 2 2 2f2 )︃ 2 + (︃ h 2 − 2 3 2f3 )︃ 2 = (︃ h 2 − 2 1 2f1 )︃ 2 , причём для делителей накладывается строгое упорядоченное условие за- дачи: f1< f2< f3< h. Сгруппируем все члены с переменной а свободные члены, состоящие только из делителей, перенесём в правую часть: h 4 (︃ 1 f 2 2 + 1 f 2 3 − 1 f 2 1 )︃ −h 2 = 2 1− 2 2− 2 3 (14) Приведём дроби в скобках к общему знаменателю: h 4 · f 2 1f 2 3+ 2 1f 2 2− 2 2f 2 3 f 2 1f 2 2f 2 3 −h 2 = 2 1− 2 2− 2 3 (15) Перейдём к целым числам, избавившись от знаменателя, умножив на него все члены уравнения: h 4 (︁ f 2 1f 2 3+ 2 1f 2 2− 2 2f 2 3 )︁ −h 2 (︁ f 2 1f 2 2f 2 3 )︁ = 2 1f 2 2f 2 3 (︁ f 2 1− 2 2− 2 3 )︁ (16) 10

Мы получили биквадратное уравнение (16) относительно. Решим его как квадратное относительно квадрата 2 . Для этого найдём четверть дискриминанта D 4 = (︁ f 2 1f 2 2f 2 3 )︁ 2 − (︁ f 2 1f 2 3+ 2 1f 2 2− 2 2f 2 3 )︁ · [︁ −f 2 1f 2 2f 2 3 (︁ f 2 1− 2 2− 2 3 )︁]︁ (17) Вынесем общий множитель за скобки и после полного упрощения выражения внутри скобок дискриминант сводится к произведению раз- ностей: D 4 = (︁ f 2 2− 2 1 )︁ · (︁ f 2 3− 2 1 )︁ · (︁ f 2 2+ 2 3 )︁ (18) Исходя из условий (13) отметим, что дискриминант всегда больше нуля. Запишем полное уравнение для квадрата 2 : h 2 = f 2 1f 2 2f 2 3± 1f2f3 √︂ (︁ f 2 2− 2 1 )︁(︁ f 2 3− 2 1 )︁(︁ f 2 2+ 2 3 )︁ f 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3 . Выделим общий множитель и произведем анализ разности, чтобы до- казать то, что в уравнении (19) знаменатель 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3всегда строго отрицательный. Для этого воспользуемся исходным упорядочени- ем делителей из условия задачи: 1< f2< f3, где 1, f2, f3— положи- тельные нечетные делители натурального квадрата 2 . Перегруппируем члены выражения знаменателя Z 2 1f 2 2− 2 3(f 2 2− 2 1). Проанализируем знаки и величины полученных компонентов: 1. Так как f1< f2, разность квадратовf 2 2− 2 1) числом: 2 2− 2 1>. 2. Из условия 2< f3следует, что произведение 2 3 на разностьf 2 2− 2 1) ее на 2 2: 2 3(f 2 2− 2 1) 2 2(f 2 2− 2 1). 3. Раскроем скобки в правой части этого неравенства: 2 2(f 2 2− 2 1) = 4 2− 2 1f 2 2. 4. Из очевидного неравен- ства 2> f1следует, что 4 2> f 4 1, а значит: 4 2− 2 1f 2 2> f 2 1f 2 2. Соединяя цепочку неравенств, получаем: 2 3(f 2 2− 2 1) 2 1f 2 2. Возвращаясь к на- шему выражению дляf 2 1f 2 2) вычитаем строго большее положительное число (f 2 3(f 2 2− 2 1)): Z 2 1f 2 2− 2 3(f 2 2− 2 1) Следовательно, 1< f2< f3. 11

Теперь произведем анализ числителя с целью выбора единственного знака перед радикалом. Так как 2 является квадратом веществен- ного нечетного числа, физический смысл имеют только строго положи- тельные значения (h 2 >). Поскольку знаменатель лен, числитель также обязан быть строго отрицательным. Сравним по величине два компонента внутри скобок числителя: 1. Левый компонент: M 1f2f3= √︁ f 2 1f 2 2f 2 32. Правый компонент (подкоренное выражение): Wf 2 2− 2 1)(f 2 3− 2 1)(f 2 2+ 2 3) W|Z 4 1)(f 2 2+ 2 3) =(f 2 2+ 2 3) + 4 1f 2 2+ 4 1f 2 3 (22) Сравним 2 = 2 1f 2 2f 2 3. Очевидно, что за счет множителяZ(f 2 2+ 2 3) M 2 = √ W > M ше, чем произведение 1f2f3. Отсюда получаем два следствия для знаков числителя: если мы выберем знак «плюс» (± →), то числитель будет строго положительным. Положив знак «минус» (± → −), то числитель становится строго отрицательным. Отрицательный числитель, деленный на отрицательный знаменатель и строго положительный корень 2 >. Фиксация единственного вещественного корня. Таким образом, ал- гебраически доказано, что уравнение (19) имеет ровно один корень, спо- собный быть квадратом целого числа: h 2 = f 2 1f 2 2f 2 3− 1f2f3 √︂ (︁ f 2 2− 2 1 )︁(︁ f 2 3− 2 1 )︁(︁ f 2 2+ 2 3 )︁ f 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3 . Уравнение (23) является фундаментальным инвариантом гипотети- ческого Совершенного Кубоида. Для исследования возможности суще- ствования его решений в кольце целых чисел вспомогательные леммы об интервалах и соотношениях делителей. Лемма 1. боида наименьший нечётный делитель 1квадрата ребра 2 строго боль- ше единицы, то есть: 1 1< f2< f3< h. Доказательство. 1= 1. Тогда по формуле (6) длина максимального катета основания (диагона- ли грани LW) принимает предельно допустимое значение: LW= h 2 −1 2 . 12

Из геометрической структуры прямоугольного параллелепипеда глав- ная диагональ Cubи диагональ основания LWсвязаны соотношением D 2 Cub = 2 LW + 2 . Подставим выражение для LW: D 2 Cub= (︃ h 2 − 2 )︃ 2 + 2 = (︃ h 2 + 1 2 )︃ 2 . Отсюда пространственная диагональ Cub= h 2 +1 2 . Однако в силу плос- кой теоремы Пифагора для основания должно выполняться равенство L 2 + 2 = 2 LW . Поскольку функция длины катетаf h 2 −f 2 2f строго монотонно убывает по 1< f2< f3вытекает, что катеты основания жестко ограничены сверху: W h 2 − 2 2 2f2 ≤ h 2 − 6 , L h 2 − 2 3 2f3 ≤ h 2 − 10 . Оценим сумму квадратов катетов основания для больших значений: L 2 + 2 ≤ (︃ h 2 6 )︃ 2 + (︃ h 2 10 )︃ 2 = 17 450 h 4 ≈.0377h 4 . В то же время квадрат диагонали основания асимптотически равен: D 2 LW = (︂ h 2 −1 2 )︂ 2 ≈ 1 4 h 4 = 0.25h 4 . что 2 + 2 ≪ 2 LW при любых. Таким образом, плоское уравне- ние Пифагора в основании не имеет решений при 1= 1. Следовательно, f1>. Лемма доказана. Лемма 2. 1и 2фундаментального диофантова урав- нения совершенного кубоида выполняется строгое тригонометрическое ограничение на их отношение: f2 f1 < √ 2. Доказательство. кубоида со сторонами LW. Поскольку катет ним по величине, его квадрат обязан составлять более половины квадра- та гипотенузы треугольника основания: 2 > 1 2 D 2 LW = √ 2 2 DLW. Подставим в данное неравенство аналитические представления катетов через делители 2и 1: h 2 − 2 2 2f2 > √ 2 2 · h 2 − 2 1 2f1 . 13

Сокращая двойки в знаменателях и изолируя старшие степени парамет- ра 2 (с учётом 2 ≫ 2 i), перейдём к асимптотическому пределу: h 2 f2 > √ 2h 2 2f1 = 1 f2 > √ 2 2f1 = f2 f1 < √ 2. Неравенство доказано строго. Лемма 3. 1, f2, f3фундаментального диофантова урав- нения совершенного кубоида отношение средних компонентов не мо- жет быть равным отношению старших компонентов, то есть: f2 f1 ̸= f3 f2 ⇐⇒ 2 2̸= 1f3. Доказательство. ет невырожденное целочисленное решение, при котором делители обра- зуют геометрическую пропорцию 2 2= 1f3. Подставим данное соотноше- ние в структуру подкоренного выраженияf 2 2− 2 1)(f 2 3− 2 1)(f 2 2+ 2 3). Последовательная подстановка тождества преобразует крайние сомно- жители к виду: 2 2− 2 1= 1(f3− 1) 2 2+ 2 3= 3(f1+ 3). Перемножая полученные выражения, находим, что их произведение жестко связано со средним сомножителем:f 2 2− 2 1)(f 2 2+ 2 3) = 1f3(f 2 3− 2 1) = 2 2(f 2 3− 2 1). Отсюда полный полином W 2 2(f 2 3− 2 1)f 2 3− 2 1) = (︁ f2(f 2 3− 2 1) )︁ 2 . Следовательно, радикал извлекается в целых числах и равен √ W f2(f 2 3− 2 1). Подставим значение радикальной компоненты в числитель фундаментального инварианта кубоида (23): h 2 = f 2 1f 2 2f 2 3− 1f2f3·2(f 2 3− 2 1) f 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3 = f1f 2 2f3(f1f3− 2 3+ 2 1) f 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3 . Проведём замену 2 2= 1f3в знаменателе инварианта: 1f3(f 2 1+ f1f3− 2 3). Сокращая общие множители числителя и знаменателя, полу- чаем тождественный результат для высоты: h 2 = f1f 2 2f3(f 2 1+ 1f3− 2 3) f1f3(f 2 1+ 1f3− 2 3) = 2 2= 2. Однако полученное равенство 2принципиально невозможно, так как по строгому исходному условию задачи и монотонному упорядоче- нию делителей все компоненты обязаны быть меньше высоты параллеле- пипеда: 2< f3< h. Возникшее неустранимое противоречие полностью исключает возможность равенства отношений делителей. Лемма доказа- на. 14

Лемма 4. ров 1, f2, f3подкоренное выражениеf 2 2− 2 1)(f 2 3− 2 1)(f 2 2+ 2 3) ставляет собой точный квадрат целого числа (W 2 ), то сомножи- тели этого произведения независимо друг от друга обязаны распадать- ся на чистые и удвоенные квадраты в целых числах. Любое попарное пересечение их нечётных простых делителей делает невозможным по- лучение целого значения 2 в фундаментальном инварианте кубоида. Доказательство. тели произведения 1·2·3не являются независимыми точными квадратами, но их полное произведение даёт точный квадрат 2 . В си- лу доказанной попарной взаимной простоты парW 1, W2)W 1, W3), это означает, что оставшаяся пара сомножителей 2= 2 3− 2 1и 3= 2 2+ 2 3 обязана обладать как минимум одним общим нечётным простым дели- телем, который входит в каждый из этих двух сомножителей в нечётной степени (что компенсируется до чётной степени 2α только при их перемножении). Запишем это условие в виде системы сравнений по модулю: f 2 3− 2 1≡) = 2 3≡ 2 1(mod), f 2 2+ 2 3≡) = 2 3≡ −f 2 2(mod). Объединяя сравнения (35) и (36), получаем фундаментальную связь меж- ду младшими нечётными делителями кубоида по модулю: f 2 1≡ −f 2 2(mod) = 2 1+ 2 2≡). Поскольку из базового геометрического условия примитивности НОД(f 1, f2, f3) = 1, простые числа 1и 2не могут делиться на. Тогда сравнение (37) означает, что1, что по закону взаимности Гаусса накладывает на простое число жёсткое огра- ничение вида. Подставим полученные вычеты 2 3≡ 2 1и 2 2≡ −f 2 1(mod) ственно в структуру многочлена знаменателя фундаментального урав- нения 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3: Z 2 1(−f 2 1) + 2 1(f 2 1)−f 2 1)(f 2 1) = 4 1(mod). В силу взаимной простоты 1и, вычет 4 1̸≡), откуда следует важнейший локальный инвариант: многочлен знаменателя пиально не делится на общий делитель сомножителей дискриминанта (Z)). 15

Рассмотрим базовое уравнение инварианта кубоида (23), записанное в виде: h 2 · 1f2f3− √ W. Так как 2и 3в нечётных степенях, их про- изведение 2W3содержит множитель обеспечивает извлечение целого корня, причём сам радикал обязан на- цело делиться на: √ W). С учётом этого, перепишем уравнение (39) по локальному модулю: h 2 · 4 1≡ 1f2f3−) = 2 · 3 1≡ 2f3(mod). Возведём обе части полученного сравнения в квадрат и подставим из- вестные вычеты старших степеней делителей 2 2≡ −f 2 1и 2 3≡ 2 1: h 4 · 6 1≡ 2 2· 2 3≡−f 2 1) 2 1=f 4 1(mod). Сокращая обе части сравнения на строго не равный нулю вычет 4 1 (mod), приходим к тождественному сравнению для нечётного ребра кубоида: (h 2 f1) 2 ≡ −1 (mod). Однако, по исходному определению уравнения кубоида, параметры 1, f2, f3 являются собственными делителями квадрата ребра 2 в кольце целых чисел. Следовательно, если гипотетическое целое число p, то левая часть сравнения (42) обращается в ноль, порождая невозмож- ное равенство1 (mod). Если же, то из условия делимости 3| 2 и 2≡) чие порядков величин и локальных кратностей многочленов числителя и знаменателя в выражении (23). Дробь числителя и знаменателя не мо- жет сократиться до целого числа, превращая 2 в дробное рациональное число, что полностью исключено условием задачи. Таким образом, существование общего нечётного делителя множителей дискриминанта математически невозможно. Нечётные ча- сти сомножителей обязаны быть абсолютно изолированы друг от друга, что принуждает их распадаться на независимые квадратичные уравне- ния. Лемма доказана полностью. Теорема 1. ет решений в нечетных натуральных взаимно простых числах 1, f2, f3∈ N. Следовательно, Совершенный Кубоид не существует. Доказательство. шение существует. Из фундаментального требования геометрической при- митивности объекта следует совокупная взаимная простота параметров: 16

НОД(f 1, f2, f3) = 1. Допустим, что фундаментальная дробь сокращается в кольце целых чисел, порождая целое натуральное число 2 ∈, являющееся квадратом нечётной высоты кубоида. Перепишем фундаментальный полиномиальный инвариант де явного равенства для подкоренного выражения W (︁ f 2 2− 2 1 )︁(︁ f 2 3− 2 1 )︁(︁ f 2 2+ 2 3 )︁ . Для того чтобы высота зана быть точным квадратом некоторого целого нечётного числа (W 2 ), что обеспечивает извлечение радикала. Исследуем внутрен- нюю структуру сомножителей произведения (43). В силу доказанной Леммы 2, отношение средних делителей строго зажато константой √ 2: f2 f1 < √ 2 = 2 2<f 2 1= 2 2− 2 1< f 2 1. Следовательно, для разности квадратов выполняется строгое интерваль- ное ограничение: 2 2− 2 1< f 2 1. В кольце целых чисел разность квадратов двух нечётных взаимно простых параметров 1и 2раскладывается на линейные сомножители: f 2 2− 2 1= (f 2− 1)(f2+ 1). Введём натуральные параметры полуразности и полусуммы a f2− 1 2 , b f2+ 1 2 . Тогда исходные делители однозначно выражаются как 1= 2= b, а первый сомножитель принимает вид 2 2− 2 1= 4ab. Подставим полученную структуру в интервальное ограничение Леммы 2: 4ab <b) 2 = 2 −ab 2 >. Разделив неравенство (46) на 2 и введя вещественную переменную x, получаем квадратичную форму 2 −x, содер- жательное решение которой требует выполнения жёсткого асимптотиче- ского условия √ 2. Данное условие тождественно исходному ограничению Леммы 2, поскольку: b a > √ 2 f2+ 1 f2− 1 > √ 2 f2 f1 < √ 2. Докажем попарную взаимную простоту сомножителей iпо произ- вольному нечётному простому модулю. Пусть нечётное простое число 17

pf 2 2− 2 1)) иf 2 3− 2 1)), что эквивалентно вычетам 2 2≡ 2 1(mod) f 2 3≡ 2 1(mod). Подставим эти сравнения непосредственно в полином знаменателя фундаментального уравнения 2 1f 2 2+ 2 1f 2 3− 2 2f 2 3: Z 2 1(f 2 1) + 2 1(f 2 1)f 2 1)(f 2 1) = 4 1(mod). Если допустить, что), то из этого следует 1≡), что при подстановке в исходные сравнения даёт 2≡) 3≡ (mod). Это приводит к равенству НОД(f 1, f2, f3) =, что непреодо- лимо противоречит базовому условию геометрической примитивности. Следовательно,). Поскольку любой общий простой нечётный делитель сомножителей подкоренного выражения взаимно прост со знаменателем анализ инварианта по модулю 2αα,γ жителей переходили в числитель в строго чётных степенях. Это доказы- вает, что нечётные части сомножителей 1= 2 2− 2 1, 2= 2 3− 2 1и W3= 2 2+ 2 3являются строго попарно взаимно простыми. Так как произведение попарно взаимно простых чисел представляет собой точный квадрат 2 , каждый сомножитель после выделения его локальной 2-адической компоненты обязан распадаться на строго определённые квадратичные структуры в целых числах. С учётом того, что сумма квадратов двух нечётных параметров 2 2+ 2 3≡ всегда содержит чётный показатель двойки в первой степени, баланс кратностей принуждает сомножители независимо принимать вид чистых и удвоенных квадратов соответственно: f 2 2− 2 1= 2 1, f 2 3− 2 1= 2 2, f 2 2+ 2 3= 2K 2 3. Выделение чистых квадратичных структур в системе (49)–(51) яв- ляется единственно возможным на основании доказанной, которая полностью исключает скрытое перекрёстное перераспределение нечётных простых множителей между сомножителями подкоренного вы- ражения. Диофантова система уравнений (49)–(51) задаёт классическую струк- туру конгруэнтных чисел. Перемножение уравнений (49) и (50) приводит к совместному полиному вида: (f2f3) 2 − 2 1(f 2 2+ 2 3) + 4 1= (K 1K2) 2 . 18

Подстановка уравнения суммы квадратов (51) в полином (52) даёт: (f2f3) 2 −f 2 1K 2 3+ 4 1= (K 1K2) 2 . Разделим обе части уравнения (53) на старшую степень 4 1и введём новые рациональные переменные: u f2f3 f 2 1 , v K1K2 f 2 1 . Это преобразует систему к промежуточной квартовой форме 2 = 2 − 2(K3/f1) 2 + 1. Стандартное бирациональное преобразование Люца–Янга кубизирует данную форму, переводя её в каноническую эллиптическую кривую над полем рациональных чисел Y 2 = 3 − K 2 3 f 2 1 . Анализ кривой (55) в рамках современной арифметической геометрии показывает, что её дискриминант равен= 0. Следовательно, в силу доказаннойf 2 2̸= 1f3), данная эллиптическая кривая является строго невырожденной. Согласно фундаментальной теореме Мазура о кручении и классиче- ской теореме Ферма–эйлера о прямоугольном треугольнике, веществен- ная группа рациональных точек кручения-расширения для кривой Y 2 = 3 − точек второго порядка: EQ) tors=,,,,−1,}. Данные точки соответствуют вырожденным (нулевым) геометрическим решениям. Для существования невырожденного Совершенного Кубоида необходимо наличие рациональной точкиX, Y, при- надлежащей бесконечной подгруппе свободных точек (точек бесконеч- ного порядка), что определяло бы строго положительный ранг кривой rank(EQ)). Однако, как строго доказано Пьером Ферма с помощью разработан- ного им метода бесконечного спуска (method of infinite descent) [15], пло- щадь примитивного прямоугольного треугольника в целых числах ни- когда не может быть точным квадратом. Данное утверждение изоморф- но факту, что ранг данной эллиптической кривой строго равен нулю (rank(EQ)) = 0). 19

Любое гипотетическое нетривиальное решение в натуральных числах для системы (49)–(51) порождало бы бесконечную строго убывающую последовательность натуральных чисел для базового параметра 1∈ под действием удвоения точки на кривой: f (1) 1> f (2) 1> f (3) 1> . . . > f (n) 1> . . . Поскольку множество натуральных чисел (f1>), существование такой бесконечной убывающей цепочки в кольце Полученное неустранимое структурное противоречие доказывает, что фундаментальный инвариант кубоида (23) не имеет решений в нечётных натуральных числах на всём дискретном пространстве параметров. Сле- довательно, Совершенный Кубоид не существует. Теорема полностью доказана. 3 Заключение В настоящей работе представлен принципиально новый, локально-глобальный аналитический подход к решению многовековой проблемы теории чисел — вопроса о существовании совершенного кубоида. Главным методоло- гическим результатом исследования является полная и безвозвратная проекция сложной многомерной диофантовой системы из четырёх урав- нений второго порядка с семью неизвестными на внутреннюю арифмети- ческую структуру единственного базового параметра — квадрата нечёт- ного ребра кубоида численных делителей n. Полученное фундаментальное биквадратное уравнение позволило пол- ностью изолировать задачу в кольце целых чисел аппарат строгого-адического анализа функций кратности простых по- казателей степеней в каноническом разложении полиномов. Проведённое исследование выявило глубокое структурное противоречие, заложенное в самой геометрии кубоида: 1. Алгебраический инвариант системы требует, чтобы показатели крат- ности простых делителей чётными (αγ параметры вступать в связь вида независимых квадратичных раз- ностей. 20

2. Согласно строго доказанной Лемме 1 (f 1>), полностью исключён критический вырожденный случай равенства наименьшего нечёт- ного делителя единице, при котором геометрические параметры па- раллелепипеда асимптотически стягивались бы к плоскому состоя- нию, что гарантирует невырожденность и строгость всех последу- ющих интервальных оценок. 3. Жёсткое интервальное ограничение Леммы 2 (f 2/f1< √ 2) накла- дывает непреодолимое тригонометрическое вето на скорость рас- хождения боковых ортогональных проекций кубоида, доказывая, что угловые параметры граней в основании зажаты в критически узком диапазоне. 4. Фундаментальный результат Леммы 3 (f 2 2̸= 1f3) доказывает прин- ципиальную невозможность выстраивания нечётных делителей реб- ра в правильную геометрическую прогрессию. Это полностью ли- шает диофантову систему скрытых алгебраических симметрий, предот- вращает вырождение дискриминанта ассоциированного полинома числителя и делает переход к эллиптической кривой конгруэнтной структуры математически замкнутым. 5. Строгое обоснование Леммы 4 доказывает абсолютную изолиро- ванность нечётных частей сомножителей подкоренного выражения по локальным нечётным простым модулям. Исключение скрыто- го перекрёстного перераспределения простых множителей между компонентами инварианта принуждает систему жестко распадать- ся на канонические чистые и удвоенные квадраты Ферма, делая невозможным сокращение фундаментальной дроби кубоида до це- лого числа. Данный барьер порождает лавинообразную редукцию числового по- рядка параметров к нулю, запускающую процедуру бесконечного спуска Ферма на упорядоченном множестве натуральных чисел. Поскольку бесконечный спуск в кольце положительных целых чисел невозможно ре- ализовать, исходное диофантово уравнение кубоида не имеет содержа- тельных решений. Результаты исследования строго обосновывают, что целочисленное сокращение дроби кубоида без неустранимого наруше- ния условия примитивности и невырожденности объекта математически невозможно. Тем самым в аналитическом решении задачи о существова- нии совершенного кубоида поставлена окончательная точка. 21

Список литературы [1] Бухштаб А. А. Теория чисел. — М.: Просвещение, 1966. [2] Виноградов И. М. Основы теории чисел. — М.: Наука, 1981. — С. 28. [3] Ворон А. В. Классификация пифагоровых троек на основе различий котангенса их треугольников // «Академия Тринитаризма», М., Эл № 77–6567, публ. 25256, 11.03.2019. [4] Дэвенпорт Г. Высшая арифметика / под ред. Ю. В. Линника, пер. Б. З. Мороз. — М.: Наука, 1965. — С. 15–38. [5] Коблиц Н. Введение в эллиптические кривые и модулярные формы / пер. с англ. — М.: Мир, 1988. [6] Летчиков А. В. Принцип Дирихле. — Ижевск: Изд-во Удмуртского ун-та, 1992. [7] Meskhishvili M. Perfect cuboid and congruent number equation solutions // e-print arXiv: [8] Савватеев А. В. Нерешённые задачи школьной математики. Элек- тронный ресурс: [9] Серпинский В. Пифагоровы треугольники. — М.: Учпедгиз, 1959. — С. 65. [10] Стюарт И. Величайшие математические задачи. — М.: Альпина Нон-Фикшн, 2019. — С. 406–407. [11] Sharipov R. A. A note on a perfect Euler cuboid // e-print arXiv:1104.1716. [12] Sharipov R. A. Симметрийный подход к задаче о совершенном кубо- иде // Итоги науки и техн. Сер. Соврем. мат. и её прил. Темат. обз., 2018, том 152, С. 143. [13] Sharipov R. A. Неприводимые полиномы в задаче о совершенном кубоиде // Уфимский матем. журнал. — 2012. — Т. 4, № 1. — С. 153– 160. [14] Halcke P. Deliciae mathematicae oder mathematisches Sinnen-Confect. — Hamburg: N. Sauer, 1719. 22

[15] Эдвардс Г. Последняя теорема Ферма. Генетическое введение в ал- гебраическую теорию чисел. — М.: Мир, 1980. (Или оригинальное издание: Edwards H. M. Fermat’s Last Theorem. — Springer, 2000.) [16] Проект yoyo@home по поиску совершенного кубоида. Электронный ресурс: 23