От эквидистантности прямых к основаниям Гармонической геометрии. Сверхбольшие отрезки, абсолютная инвариантность направления и математическая полемика с искусственным интеллектом.

*********

© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].

При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны

Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и техническом участии) ChatGPT (OpenAI), GPT-5.6 Sol

******

ЧАСТЬ IV. АБСОЛЮТНАЯ ИНВАРИАНТНОСТЬ НАПРАВЛЕНИЯ И ФУНДАМЕНТАЛЬНЫЕ ОСНОВАНИЯ ГАРМОНИЧЕСКОЙ ГЕОМЕТРИИ

ГЛАВА 15. ИСТОРИЯ ПОНЯТИЯ НАПРАВЛЕНИЯ В ГЕОМЕТРИИ

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

Теперь исследование должно сменить логическую опору. Недостаточно оспаривать чужое определение параллельности: необходимо определить положительный исходный объект Гармонической геометрии — конечный направленный прямолинейный отрезок. Его фундаментальные характеристики в авторской программе — длина и направление. Для этого прежде всего следует выяснить, как понятие направления развивалось от античной геометрии до современной теории преобразований и параллельного переноса.

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

15.1. Прямолинейность и направление в античной геометрии

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

В классическом построении можно провести отрезок между двумя точками, продолжить его и задать угол между пересекающимися линиями. Эти операции позволяют говорить о ходе линии от одной точки к другой и о продолжении без излома. Но они ещё не дают самостоятельного правила сопоставления направлений двух разнесённых отрезков, не имеющих общей точки.

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

Особое значение для настоящей книги имеет свидетельство Прокла о Посидонии. В комментарии к определению параллельных Прокл передаёт подход, по которому параллельные прямые одной плоскости не сближаются и не расходятся, а проведённые от одной к другой перпендикуляры равны [2]. Речь идёт о позднем античном свидетельстве, а не о дошедшем до нас самостоятельном трактате Посидония. Это различие важно сохранять.

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

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

15.2. Понятие прямой линии в «Началах» Евклида

В первой книге «Начал» Евклид начинает с точки, линии и её границ. В принятом переводе первое определение говорит о точке как о том, что не имеет частей. Второе рассматривает линию как длину без ширины. Третье указывает, что концами линии являются точки. Четвёртое описывает прямую линию через её ровное расположение относительно находящихся на ней точек [1].

Формулировка четвёртого определения непривычна для современной математики. Её нельзя без оговорки переводить в язык касательных векторов или нулевой кривизны: это уже более поздний аппарат. Кроме того, у Евклида «линия» и «прямая линия» — не одно и то же; прямолинейность специально выделяется.

Для авторской программы особенно существенны первые два постулата. Первый позволяет провести прямую линию между двумя заданными точками. Второй позволяет непрерывно продолжать конечную прямую по прямой [1]. Тем самым конечный отрезок и его продолжение присутствуют уже в основании евклидовой системы.

Однако постулат продолжения следует читать точно. Он разрешает геометрическое продолжение данного прямолинейного объекта. Он не определяет сам по себе глобальную эквивалентность направлений двух отрезков, расположенных в различных областях пространства. Тем более он не утверждает в современной терминологии, что перенос произвольного направления между точками независим от пути.

Двадцать третье определение первой книги вводит параллельные прямые через их принадлежность одной плоскости и отсутствие пересечения при продолжении в обе стороны [1]. Это определение относится к целым продолженным прямым и опирается на непересекаемость, а не на равенство всех поперечных расстояний.

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

Принципиальное различие: разрешение продолжать каждый отдельный конечный отрезок не тождественно утверждению о взаимном поведении двух сколь угодно продолженных прямых. Именно поэтому вопрос параллельности нельзя считать автоматически решённым одним лишь вторым постулатом.

В «Началах» содержатся глубокие конструктивные предпосылки для исследования конечного отрезка. Но нельзя приписывать Евклиду уже сформулированный принцип абсолютной инвариантности направления: такую интерпретацию требовалось бы дополнительно построить и доказать.

15.3. Параллельность и направление в классической геометрии

В классической евклидовой геометрии параллельность постепенно становится естественным способом говорить об одинаковой ориентации прямых на плоскости. Если две прямые параллельны, отрезки на них можно рассматривать как имеющие одно и то же неориентированное направление; после выбора порядка концов можно говорить и о сонаправленности.

Но в такой привычной речи заключена логическая опасность. Сказать, что две прямые «имеют одинаковое направление, потому что параллельны», и затем объявить их параллельными «потому что имеют одинаковое направление» — значит описать одно отношение двумя словами, не получив независимого доказательства.

Теоремы первой книги Евклида показывают, почему необходима осторожность. Равенство соответствующих или накрест лежащих углов при секущей позволяет обосновывать непересечение прямых без непосредственного применения пятого постулата. Обратные утверждения о свойствах углов при параллельных прямых в евклидовой системе требуют параллельного постулата. Таким образом, даже знакомые отношения между углами и параллельностью имеют различную логическую опору.

Посидониевская идея добавляет ещё один признак — эквидистантность. В полной евклидовой геометрии непересечение прямых и постоянство перпендикулярного расстояния действительно согласуются. Однако эта согласованность не даёт права считать равенство расстояний теоремой первых четырёх постулатов.

Гиперболическая геометрия выявляет различие особенно ясно. В ней существуют непересекающиеся геодезические, не сохраняющие постоянного взаимного расстояния. Следовательно, «не пересекаются» и «эквидистантны» — логически разные свойства. Их совпадение в евклидовой плоскости обусловлено конкретной геометрической структурой.

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

Авторский вопрос: можно ли определить одинаковость направлений двух конечных отрезков независимо от уже установленной параллельности и затем доказать эквидистантность? Если ответ будет положительным, возникнет содержательный новый путь; если одинаковость направлений будет просто определена через эквидистантность, получим лишь переименование требуемого свойства.

15.4. Историческое развитие понятия геометрической инвариантности

Понятие инвариантности в современной форме отвечает на вопрос: какое свойство геометрического объекта сохраняется при заранее определённом классе преобразований? Без указания этого класса выражение «неизменное направление» ещё не является точным математическим утверждением.

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

В девятнадцатом веке понятие инварианта приобрело значительно более систематическое содержание. Феликс Клейн в Эрлангенской программе 1872 года предложил рассматривать геометрию через свойства, сохраняющиеся при действии определённой группы преобразований [5]. Этот подход не утверждает существования одного-единственного универсального набора неизменных свойств. Напротив, разные группы преобразований задают разные геометрические вопросы.

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

Для Гармонической геометрии отсюда следует непосредственный методологический урок. Назвав направление абсолютным, необходимо ответить, относительно чего оно инвариантно: относительно переноса начальной точки, выбора координат, движения отрезка, обхода замкнутого пути или какого-либо специально определённого геометрического действия.

Нельзя смешивать инвариантность утверждения при замене координат с физическим сохранением направления при переносе объекта в другое место. Первое означает, что геометрический факт не зависит от способа записи. Второе требует дополнительного отношения между направлениями в разных точках пространства.

Исторический вывод: инвариантность стала строгим понятием тогда, когда был указан закон преобразования. Гармоническая геометрия должна принять тот же стандарт: не объявлять направление независимым от всего вообще, а определить операции, при которых оно предполагается неизменным.

15.5. Направление и преобразования в геометрии Нового времени

Аналитическая геометрия Декарта и Ферма, сформировавшаяся в семнадцатом веке, позволила связывать геометрические направления с координатными изменениями. В «Геометрии» Декарта 1637 года алгебраические методы стали мощным средством исследования линий и их отношений [4]. Координаты дали возможность различать положение точки и характеристики направленного перемещения.

Но координатное описание не устраняет вопрос об основаниях. Если два перемещения в разных местах задаются одинаковыми координатными приращениями, их принято считать равными как свободные векторы в обычном аффинном пространстве. Это соглашение опирается на структуру такого пространства. Оно не переносится автоматически на произвольное искривлённое многообразие.

Значительный шаг совершил Герман Грассман. В «Учении о протяжённости» 1844 года он последовательно рассматривал направленные перемещения, при сложении которых учитываются не только длины, но и направления. В предисловии к этому труду он прямо различал простое сложение длин и сложение перемещений с сохранением направленности [3]. Так появились основания для абстрактного исследования направленных величин, не сводимого к одному чертежу на плоскости.

Именно в этом историческом пункте авторская программа получает важную поддержку: направленный конечный отрезок — содержательный математический объект, а не просто условная стрелка для иллюстрации уже готовой параллельности.

Но было бы неверно утверждать, будто Грассман доказал абсолютное тождество направлений в любой возможной геометрии. Свободное векторное сложение имеет определённую алгебраическую основу; при переходе к искривлённому пространству возможность канонического сравнения касательных направлений в разных точках требует отдельной конструкции.

В девятнадцатом веке исследования Гаусса и Римана придали этому вопросу новый смысл. Гаусс показал, что кривизна поверхности характеризуется её внутренней геометрией, а не только тем, как поверхность вложена в окружающее пространство. Риман в лекции 1854 года предложил более общий взгляд на метрические отношения многообразий, в котором геометрия физического пространства не предрешена заранее [6].

Следующий принципиальный этап связан с Туллио Леви-Чивитой, разработавшим геометрическое понятие параллельного переноса вдоль заданного пути. Его подход сделал сравнение направлений в различных точках искривлённого пространства точной математической задачей. При этом обнаружилось, что перенесённое направление в общем случае может зависеть от выбранного пути [7].

Парадоксально лишь на первый взгляд: развитие математики одновременно усилило понятие направления и показало пределы его непосредственной глобальной сопоставимости. У современной теории есть точное средство переноса, но сохранение направления вдоль выбранного пути вовсе не означает независимости результата от выбора пути.

15.6. Современное математическое содержание инвариантности направления

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

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

Связность задаёт правило переноса вдоль пути. При метрически согласованной связности Леви-Чивиты перенос сохраняет длину вектора и углы между совместно переносимыми векторами. Но при обходе замкнутого контура в искривлённой геометрии исходное направление может повернуться. Такое явление называется голономией [8].

Нужно особенно отчётливо различать четыре утверждения:

1. Направление отрезка определено в данной точке или вдоль данного геодезического участка.
2. Направление может переноситься по заранее выбранному пути.
3. Перенос сохраняет определённые локальные величины, например длину и угол между совместно переносимыми векторами.
4. Результат переноса между одними и теми же точками не зависит от выбранного пути.

Четвёртое утверждение существенно сильнее первых трёх. Его нельзя вывести только из того, что отрезок в ходе продолжения не имеет излома.

При стандартном переносе Леви-Чивиты требование тождественного возвращения любого направления после обхода любого достаточно малого замкнутого контура исключает локальную риманову кривизну. Однако локальная плоскостность и глобальная независимость переноса — не полностью одинаковые требования: в пространстве с нетривиальной топологией возможны дополнительные глобальные эффекты голономии даже при нулевой локальной кривизне [8].

Есть и ещё одна существенная оговорка. Можно определить правило переноса, отличное от связности Леви-Чивиты. Тогда само наличие пути-независимого переноса ещё не доказывает, что исходная метрическая кривизна равна нулю. Чтобы получить такой вывод, необходимо предварительно установить, что речь идёт именно о переносе, согласованном с рассматриваемой метрикой, либо доказать другую требуемую связь между переносом и расстояниями.

Здесь современная математика не препятствует авторскому исследованию, а задаёт ему необходимую точность. Если утверждается абсолютная инвариантность направления, следует определить, какой объект переносится, по какому правилу, в какой области и почему разные допустимые пути должны приводить к одному и тому же результату.

Строгое разграничение: независимость геометрического утверждения от системы координат не равнозначна независимости переноса направления от пути. Первая относится к форме описания; вторая — к реальной геометрической структуре модели.

Наконец, нужно отличать математическую согласованность выбранной структуры от её физического подтверждения. Самостоятельное правило абсолютного переноса можно исследовать аксиоматически; признать его фундаментальным свойством реального пространства можно лишь после определения проверяемых физических следствий.

15.7. Возможность самостоятельного формулирования принципа абсолютной инвариантности

Исторический обзор приводит к решающему вопросу: можно ли сделать абсолютную инвариантность направления самостоятельным первоначальным положением Гармонической геометрии, не скрывая в нём уже доказанную евклидову параллельность?

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

В пределах авторской программы предлагается следующий порядок уточнения.

Исходный объект. Конечный направленный прямолинейный отрезок, имеющий положительную длину, начальную и конечную границы. Его фундаментальные характеристики — длина и направление. Точки не отрицаются; они выступают прежде всего границами отрезков либо результатами пересечений.

Направленное продолжение. Для исходного отрезка и заранее заданной допустимой конечной добавочной длины требуется определить новый конечный отрезок, продолжающий прежний без изменения направления. Циркуль может фиксировать новую конечную границу, но не служит самостоятельным доказательством закона сохранения направления.

Сравнение направлений. Для двух разнесённых отрезков необходимо определить, что именно означает одинаковое направление, не используя в определении искомую теорему об эквидистантности. Если сравнение предполагает перенос, следует точно задать его правило.

Абсолютность. Нужно указать сильную версию предполагаемого принципа: например, независимость результата сравнения от любого допустимого пути между начальной и конечной областью. Следует проверить, не приводит ли такая аксиома непосредственно к евклидовой структуре уже на уровне определений.

Доказательная цель. Лишь после этих шагов можно исследовать, следует ли из новых постулатов эквидистантность прямолинейного соединения свободных концов равных перпендикуляров. Если она принята как отдельная аксиома, это нужно назвать открыто; если она получена как теорема, доказательство должно быть независимым от утверждаемого результата.

Чтобы различие между историческим наследием и новой программой было совершенно ясным, сведём основные этапы в компактную таблицу.

Этап	Как ставится вопрос о направлении	Что остаётся отдельной задачей
Евклид	Прямой отрезок, угол, продолжение, параллельность	Независимое глобальное сравнение направлений
Посидоний в передаче Прокла	Параллельность как равенство перпендикулярных расстояний	Доказательная основа эквидистантности
Аналитическая и векторная геометрия	Направленное перемещение, координаты, сложение	Применимость свободного вектора вне аффинной структуры
Дифференциальная геометрия	Перенос касательных векторов вдоль путей	Независимость переноса от пути
Гармоническая геометрия — авторская программа	Конечный отрезок, длина и абсолютное направление	Новые аксиомы, доказательство эквидистантности, физическая проверка

Этот перечень не означает, что Гармоническая геометрия уже завершена. Он фиксирует точное место будущего исследования в истории математической мысли.

Основное опасение остаётся прежним: нельзя заменить проблему Посидония круговым определением. Если «абсолютно одинаковое направление» будет означать лишь «прямые постоянно равноудалены», то эквидистантность окажется принятой заранее. Если же направление удастся определить независимым способом, появится содержательная возможность исследовать, возникает ли эквидистантность как следствие.

В настоящей книге не вводятся геометрические пиксели, минимальные отрезки ненулевой ширины и специальная теория ширины элементарного отрезка. Эти вопросы относятся к иной авторской программе. Здесь предметом остаются длина и направление конечного прямолинейного отрезка.

Итоговый вывод главы 15

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

Главный историко-математический результат состоит в следующем. Прямолинейность отдельного отрезка, одинаковость направлений разнесённых отрезков и независимость их сопоставления от пути — три различных требования. Они не превращаются в одну теорему оттого, что выражены одним словом «направление».

Гармоническая геометрия вправе предложить сильный принцип абсолютного направления как собственную исходную предпосылку. Но она обязана определить его независимо от искомой эквидистантности, проверить непротиворечивость системы и честно установить, какие следствия новы, а какие воспроизводят евклидову геометрию.

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

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

Источники и исторические свидетельства

[1] Евклид. «Начала», книга I: определения 1–4 и 23; постулаты 1, 2 и 5. https://www.euclids-elements.org/elements/books/bookI/

[2] Прокл. «Комментарий к первой книге „Начал“ Евклида», замечание о Посидонии в разделе определения параллельных. Английский перевод Т. Тейлора: https://www.gutenberg.org/files/74253/74253-h/74253-h.htm

[3] Г. Грассман. Предисловие к «Учению о протяжённости» (1844), историческая публикация MacTutor: https://mathshistory.st-andrews.ac.uk/Extras/Grassmann_1844/

[4] MacTutor. «René Descartes»: аналитическая геометрия и труд «La Géométrie». https://mathshistory.st-andrews.ac.uk/Biographies/Descartes/

[5] MacTutor. «Felix Klein»: Эрлангенская программа и инварианты преобразований. https://mathshistory.st-andrews.ac.uk/Biographies/Klein/

[6] Stanford Encyclopedia of Philosophy. «Nineteenth Century Geometry»: Гаусс, Риман, Клейн и общие основания геометрии. https://plato.stanford.edu/entries/geometry-19th/

[7] MacTutor. «Tullio Levi-Civita», биографический очерк и изложение его понятия параллельного переноса: https://mathshistory.st-andrews.ac.uk/Obituaries/Levi-Civita_RSE_Obituary/

[8] Encyclopedia of Mathematics. «Parallel transport»: сравнение касательных пространств, связность, перенос и зависимость от пути. https://encyclopediaofmath.org/wiki/Parallel_translation

*******

ГЛАВА 16. НАПРАВЛЕННЫЙ ПРЯМОЛИНЕЙНЫЙ ОТРЕЗОК КАК ФУНДАМЕНТАЛЬНЫЙ ОБЪЕКТ ГАРМОНИЧЕСКОЙ ГЕОМЕТРИИ

Историческое исследование предыдущей главы показало, что понятие направления далеко не исчерпывается привычным указанием на параллельность двух прямых. Прямолинейное продолжение отдельного отрезка, сравнение направлений двух разнесённых отрезков и независимость такого сравнения от пути — самостоятельные геометрические утверждения. Их нельзя объединить одним словом и тем самым считать доказанными.

Настало время сформулировать исходный замысел Гармонической геометрии положительно. Первоначальным геометрическим объектом предлагается считать конечный направленный прямолинейный отрезок, фундаментальными характеристиками которого являются длина и направление. Точка будет рассматриваться прежде всего как его граница либо как результат пересечения; бесконечная прямая не включается в число самостоятельных первоначальных объектов.

Такое изменение исходного объекта ещё не образует готовую геометрию. Оно задаёт программу построения её понятий и теорем. Поэтому настоящая глава последовательно разделяет определения, предполагаемые постулаты и результаты, которые пока требуется доказать. Это необходимо особенно потому, что будущая теорема об эквидистантности не должна оказаться заранее спрятанной в определении одинакового направления.

16.1. Отказ от самостоятельной бесконечной прямой

Классическая геометрия охотно говорит о прямой, продолжающейся без границ в обе стороны. Её математическая идеализация чрезвычайно удобна: можно рассматривать пересечения после сколь угодно далёкого продолжения, асимптотические направления и отношения между целыми прямыми. Но всякая конкретная начальная конструкция задаётся конечными данными. На чертеже отмечается конечный участок; циркулем откладывается конечная длина; при геометрическом построении выбирается новая конечная граница.

Авторская Гармоническая геометрия предлагает изменить логический порядок. Не бесконечная прямая должна порождать отрезок как случайно ограниченную свою часть, а конечный направленный прямолинейный отрезок должен стать первоначальным предметом исследования. Если позднее понадобится идеализированная бесконечная прямая, её статус придётся установить отдельно, через продолжение и соответствующее предельное построение.

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

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

Даже если правило продолжения разрешает любой наперёд заданный конечный шаг, отсюда не следует, что одной конечной конструкцией уже построен бесконечный объект. Следует лишь возможность выполнять каждый разрешённый конечный шаг. Говорить о бесконечной прямой как об объединении всех таких продолжений можно только в дальнейшем математическом расширении системы.

Здесь сохраняют своё значение исследованные в книге сверхбольшие масштабы. Отрезок длиной в сотни условных диаметров наблюдаемой Вселенной остаётся конечным, как и отрезок, длина которого задаётся числом «квадриллион в квадриллионной степени». Громадность числа не превращает его в бесконечность и не доказывает физическую осуществимость соответствующего построения.

Первое исходное решение Гармонической геометрии: не предполагать бесконечную прямую раньше конечного направленного отрезка. Однако не подменять этим решением доказательство неограниченной продолжимости, глобальной прямолинейности или пятого постулата.

16.2. Конечный прямолинейный отрезок и его основные свойства

Назовём первоначальным объектом конечный прямолинейный отрезок с выбранной ориентацией от одного конца к другому. Для удобства описания будем обозначать его посредством начальной и конечной границ, но такое обозначение ещё не требует принимать изолированную точку за самостоятельный первичный объект.

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

Слово «прямолинейный» имеет более тонкий смысл. Нельзя определять прямолинейность как «следование одной бесконечной прямой», если бесконечная прямая больше не является первоначальным объектом. Нельзя также объявить прямолинейным всякое кратчайшее соединение двух концов без уточнения геометрической структуры: на искривлённых пространствах кратчайшие и локально прямолинейные пути требуют собственной теории, а между некоторыми парами концов могут существовать разные кратчайшие пути.

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

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

Подотрезок, полученный выбором двух граничных мест внутри исходного прямолинейного носителя, должен наследовать его прямолинейность. Если ориентация подотрезка согласована с ориентацией целого, его местное направление также должно считаться согласованным. Однако из такого свойства внутри одного носителя ещё нельзя заключить, что два пространственно разнесённых отрезка имеют абсолютно одинаковое направление.

Возникает существенная граница аксиоматизации. Если принять только конечность, положительную длину и локальную прямолинейность, эти свойства совместимы и с евклидовыми, и с гиперболическими геодезическими отрезками. Следовательно, сам выбор конечного отрезка вместо бесконечной прямой ещё не исключает геометрию Лобачевского. Дополнительное содержание будущей Гармонической геометрии должно заключаться в более сильных положениях о направлении и его сопоставлении.

16.3. Длина как характеристика отрезка

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

Исходное требование к длине должно быть достаточно ясным. Каждому ненулевому первоначальному отрезку сопоставляется определённая положительная конечная величина; для сравнения длин требуется отношение равенства, допускающее последовательное применение. Два отрезка могут иметь одинаковую длину, оставаясь различными по положению и направлению.

Отсюда следует необходимость различать равенство длин и равенство отрезков как геометрических объектов. Если два отрезка имеют одинаковую длину, это ещё не означает совпадения их начальных границ, конечных границ или направлений. Если один из них обращён, длина сохраняется, но ориентированное описание меняется.

Второе необходимое требование связано с составлением отрезков. Если один прямолинейный отрезок разделён внутренней границей на две последовательные части, а их ориентации согласованы с ориентацией целого, длина исходного отрезка должна равняться сумме длин этих частей. Такое правило аддитивности выражает количественное содержание непрерывной прямолинейной протяжённости. Его следует прямо принять в составе положений о длине либо доказать из более глубокой конструкции измерения; нельзя считать его следствием одного лишь слова «длина».

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

Перенос длины циркулем — важнейшая операция авторской программы. При выбранной исходной границе окружность данного радиуса определяет множество возможных конечных границ отрезков заданной длины, если такие построения допускаются геометрией. Однако окружность не указывает единственного направления. Для выбора одной новой границы необходимо заранее задать направленное продолжение или иное правило выбора. Циркуль переносит величину, но не создаёт абсолютного направления.

Здесь обнаруживается принципиальное разграничение. Из наличия численной функции длины не следует автоматически существование расстояния между любой парой возможных границ, а из существования расстояния — единственность прямолинейного соединения. Для глобальной метрической теории потребуются дополнительные аксиомы существования и согласованности.

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

16.4. Направление как характеристика отрезка

Вторая фундаментальная характеристика — направление. Именно здесь будущая Гармоническая геометрия должна предложить своё наиболее сильное математическое содержание.

Для начала требуется исключить неоднозначность. Указание на то, какой конец отрезка является начальным, задаёт его ориентацию. Но абсолютное направление в авторском смысле претендует на большее: оно должно позволять сравнить направленные отрезки, расположенные в разных областях пространства, без предварительного отождествления их с уже признанными параллельными прямыми.

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

Нельзя определять «одно и то же направление» фразой «отрезки лежат на параллельных прямых», если цель исследования — вывести параллельность из направления. И столь же недопустимо определить одинаковое направление через постоянную эквидистантность, чтобы затем представить эквидистантность как доказанную теорему. В обоих случаях вывод заранее подставляется в предпосылку.

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

Эти требования ещё не гарантируют физической абсолютности. Они лишь делают отношение математически пригодным для исследования. Особо сильная авторская гипотеза касается независимости сравнения направлений от выбранного пути переноса. Она не выводится из рефлексивности и согласованности как формальных свойств отношения; для неё потребуется отдельная аксиома или доказательство.

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

Для Гармонической геометрии принципиально и другое: если будет предложено новое правило переноса, отличное от стандартного метрического, необходимо доказать, как оно связано с измерением длин, углов, перпендикулярности и эквидистантности. Без этой связи путь-независимое «направление» может оказаться самостоятельной неметрической меткой, не решающей проблему Посидония.

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

16.5. Граничные точки и точки пересечения как производные понятия

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

Но такая постановка должна быть уточнена с математической точностью. Если взять два отрезка и назвать границы одного буквами А и Б, а другого — В и Г, сами буквенные обозначения ещё не сообщают, совпадает ли граница Б с границей В. Следовательно, для геометрии, первичными объектами которой являются отрезки, необходимо иметь правило совпадения граничных мест.

Один возможный путь строгого построения таков. Каждый первоначальный отрезок имеет два различаемых граничных места — начальное и конечное. На множестве таких мест вводится отношение совпадения, удовлетворяющее обычным требованиям согласованности. Тогда точкой можно называть класс всех граничных мест, признанных совпадающими. Это определение делает точку производным объектом, не отказываясь от необходимости иметь отношение совпадения границ.

Важно признать предел этого построения. Совпадение граничных мест не возникает логически из одной только длины отрезка и его ориентации. Оно представляет собой дополнительное исходное отношение или должно быть независимо сконструировано. Нельзя удалить точку из списка исходных объектов и одновременно незаметно сохранить все её прежние свойства без новых правил.

Понятие точки пересечения требует ещё одного шага. Если два конечных прямолинейных отрезка пересекаются не в собственных концах, каждый из них следует разделить в месте пересечения. Полученные части приобретают общее граничное место. Только после установления существования и совпадения таких границ можно назвать соответствующий производный объект точкой пересечения.

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

Таким образом, точка выступает не мистической бесконечно малой частицей и не отрезком с особой ненулевой шириной, а логическим результатом определения границы и отношения совпадения границ. Это соответствует предметным ограничениям настоящей книги: здесь не вводятся геометрические пиксели, минимальные отрезки ненулевой ширины и специальная теория ширины элементарного отрезка.

Авторский вывод: точки можно перестать считать самостоятельными первоначальными объектами, но отношение совпадения границ и правила возникновения пересечений необходимо определить явно. Лишь тогда переход к геометрии отрезков становится строгим, а не словесным.

16.6. Геометрические операции с конечными направленными отрезками

Новая геометрия нуждается не только в первоначальном объекте, но и в разрешённых действиях с ним. Именно операции покажут, насколько конструктивна предложенная система и где ей потребуются дополнительные постулаты.

Операция обращения. Начальное и конечное граничные места меняются ролями. Длина сохраняется; ориентация становится противоположной. Эта операция должна быть обратимой: двукратное обращение возвращает первоначальное направленное описание.

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

Операция последовательного соединения. Конечная граница первого отрезка отождествляется с начальной границей второго. Само совпадение границ создаёт составной путь, но не гарантирует его прямолинейности. Для прямолинейного составления необходимо дополнительное условие согласованного направления без излома.

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

Операция воспроизведения длины. При наличии определённого начала и допустимого способа построения окружности выбирается новая конечная граница на заданном расстоянии. Но без дополнительно установленного направления такой выбор неоднозначен. Поэтому нельзя считать циркуль полноценным инструментом переноса направления.

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

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

Операция построения перпендикуляра. Она необходима для постановки проблемы Посидония, но не возникает автоматически из длины и ориентации. Для неё нужно определить угловые отношения или независимый конструктивный критерий прямого угла. До появления такого критерия перпендикулярность остаётся дополнительной геометрической структурой, а не следствием двух исходных характеристик.

Особенно важна возможность применить эти операции к старой конструкции равных перпендикуляров. Пусть два отрезка одинаковой длины восстановлены к концам общего основания и направлены по одну сторону. Затем их свободные концы соединяются прямолинейным отрезком. Из совпадения заданных длин в концах ещё не следует постоянство расстояния вдоль всего соединения. Это уже установлено гиперболическим контрпримером.

Теорема 16.1. О недостаточности одних локальных свойств конечного отрезка.

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

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

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

16.7. Минимальный состав исходных понятий Гармонической геометрии

После проведённого анализа можно сформулировать минимальный рабочий состав первоначальных понятий. Его нельзя путать с уже готовой системой аксиом. Одно дело — назвать объект и его характеристики; другое — определить допустимые отношения и доказать совместность их требований.

Первый исходный объект — конечный направленный прямолинейный отрезок. Он имеет две различаемые граничные позиции, конечную положительную протяжённость и определённую ориентацию. Прямолинейность принимается как первоначальное локальное свойство либо должна получить независимое конструктивное раскрытие.

Первая фундаментальная характеристика — длина. Она позволяет сравнивать отрезки по протяжённости, не отождествляя их положения и направления. Требуются согласованные правила равенства, обращения и сложения длин вдоль прямолинейного разделения.

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

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

Минимальная система предполагает следующие элементы.

Конечный направленный прямолинейный отрезок является первоначальным геометрическим объектом. Его принятие составляет исходную предпосылку авторской геометрии.

Длина и местное направление выступают двумя фундаментальными характеристиками. Для их применения необходимы точные правила согласованности.

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

Направленное продолжение служит способом построения новой конечной границы. Его существование требует отдельного постулата либо независимого доказательства.

Абсолютное сравнение направлений создаёт связь между разнесёнными отрезками. Его строгое определение представляет главную незавершённую аксиоматическую задачу.

Эквидистантность конструкции Посидония рассматривается как проверяемое следствие будущей системы. Она ещё не доказана из предложенных новых исходных положений.

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

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

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

Заключительный авторский вердикт главы 16

Гармоническая геометрия принимает новый исходный порядок: не бесконечная прямая — затем её ограниченный участок, а конечный направленный прямолинейный отрезок — затем его допустимые продолжения и отношения с другими отрезками. Длина и направление становятся фундаментальными характеристиками этого объекта; границы и пересечения получают производное геометрическое описание.

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

Главный урок критики Лобачевского теперь обращён к самой авторской программе. В гиперболической плоскости также существуют конечные геодезические отрезки с положительной длиной и определённой локальной направленностью. Поэтому будущая Гармоническая геометрия должна не просто назвать свой первоначальный объект, но и предъявить новое правило, которому гиперболический контрпример не удовлетворяет.

Решающая исследовательская задача: определить абсолютную инвариантность направления как самостоятельное математическое положение, строго проверить его связь с длиной и прямолинейностью и только после этого перейти к доказательству эквидистантности конструкции Посидония.

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

*******

ГЛАВА 17. ПОСТУЛАТ НАПРАВЛЕННОГО ПРОДОЛЖЕНИЯ И АЛГОРИТМ ЕГО ЦИРКУЛЬНОЙ РЕАЛИЗАЦИИ

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

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

Это разграничение принципиально. Окружность может определить место пересечения с выбранным направленным продолжением, но сама окружность не создаёт это направление. Если перепутать разрешение продолжить отрезок с выбором точки на окружности, мы получим не доказательство, а логический круг. Поэтому каждый этап построения будет рассмотрен отдельно: что дано, что принимается, что строится и что затем доказывается.

17.1. Критический анализ второго постулата Евклида

Второй постулат первой книги «Начал» Евклида разрешает непрерывно продолжать конечную прямую по прямой. Его исходная формулировка уже содержит важнейшую геометрическую идею: прямолинейный отрезок не обязан завершать своё существование в первоначально отмеченной конечной точке; он допускает продолжение, согласованное с предшествующим прямолинейным ходом.

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

Однако в авторской программе требуется более детальная постановка. Для конечного направленного отрезка недостаточно неопределённого выражения «продолжить далее». Необходимо различить исходную и противоположную ориентации, заранее установить дополнительную конечную длину и объяснить, каким образом будет получена новая граничная точка. В таком контексте второй постулат служит историческим предшественником, но не заменяет всей будущей системы определений.

Первый постулат Евклида разрешает провести прямую между двумя заданными точками; второй — продолжить уже существующий прямолинейный отрезок; третий — описать окружность с данным центром и расстоянием. Вторая задача отличается от первой тем, что направление не должно выбираться заново: оно наследуется от исходного объекта. Третья отличается от второй тем, что окружность определяет равенство расстояний до центра, а не прямолинейность пути к её точкам.

Исторически Евклид не оставил эти действия в полном разрыве. Уже во второй задаче первой книги «Начал» он сочетает продолжение прямых с построением окружностей, чтобы получить отрезок, равный заданному. Поэтому авторская циркульная процедура не должна преподноситься как неведомое античной геометрии использование циркуля. Её содержательная новизна — в выбранном исходном объекте, явном сохранении направленности и строгом отделении постулата от процедуры определения конечной границы.

При этом следует поставить вопрос, которого одной исторической формулировкой недостаточно для решения: гарантирует ли локальная возможность продолжения на небольшой участок продолжимость на любую заранее заданную конечную длину? Нет, без дополнительного положения такой вывод не следует. Геометрия может допускать локальные продолжения, не обеспечивая требуемой глобальной конструкции. Именно поэтому масштаб продолжения должен быть прямо указан в постулате.

Критический анализ приводит к положительному результату. Второй постулат Евклида не отвергается; его содержание уточняется с учётом авторского приоритета конечного направленного отрезка. Мы должны знать не только то, что продолжение допускается, но и какую ориентацию оно сохраняет, на какое конечное расстояние разрешено и каким построением определяется новый конец.

17.2. Различие между соединением двух точек и продолжением существующего отрезка

Представим, что уже дан конечный направленный отрезок с начальной границей A и конечной границей B. Теперь выберем произвольную третью точку C и соединим её с B. Такое действие не обязательно продолжит первоначальный отрезок. Новое соединение может образовать с ним угол, лежать в противоположном направлении или вообще относиться к другой геометрической конструкции.

Соединение двух заранее выбранных точек отвечает на вопрос: каким прямолинейным объектом можно связать эти границы? Продолжение заданного отрезка отвечает на другой вопрос: где должна возникнуть новая граница, если уже имеющийся прямолинейный ход сохраняется за прежним концом? Во втором случае нельзя свободно менять направление после достижения B.

Даже совпадение трёх точек на одном прямолинейном носителе ещё не устраняет необходимость учитывать их порядок. Если новая точка находится между A и B, мы получаем часть прежнего отрезка, а не продолжение за B. Если она находится со стороны A, задача меняет ориентацию. Для направленного продолжения новая граница должна возникать именно после B в заранее выбранном направлении от A к B.

В авторской системе точки рассматриваются как производные граничные объекты. Поэтому более точная постановка не должна начинаться с независимо выбранной произвольной C. Сначала даётся направленный отрезок с двумя граничными местами, затем указывается длина добавляемой части и лишь в результате построения определяется новая граница C.

При этом совпадение граничных мест, порядок расположения вдоль прямолинейного носителя и возможность соединения отрезков должны входить в предварительно определённые отношения системы. Без них нельзя строго отличить продолжение от наложения, соединения с изломом или повторного прохождения уже существующего участка.

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

17.3. Направленность как условие однозначности продолжения

У ненаправленного отрезка нет выделенного начала и конца. Если разрешено продолжить его «в одну из сторон», возникает как минимум выбор между двумя противоположными сторонами общего прямолинейного носителя. Задание ориентации от A к B снимает эту начальную двусмысленность: продолжать требуется за B, а не за A.

Но здесь необходимо строго отличать определённость стороны от доказанной единственности геометрического результата. Выбор направления указывает, какая сторона является допустимой. Чтобы утверждать, что для каждой добавочной длины получается ровно один новый конец, требуется также единственность прямолинейного продолжения и согласованность измерения длины вдоль него.

В классической евклидовой плоскости такая единственность привычна. В более общей математической системе она не должна появляться только потому, что используется слово «направление». Если разные допустимые продолжения могут выходить из одного граничного места с одинаковым исходным локальным направлением, нужно либо доказать их совпадение, либо открыто принять единственность дополнительным постулатом.

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

Особенно важно не смешивать это положение с абсолютной инвариантностью направления. Сохранить выбранный прямолинейный ход одного отрезка — ещё не значит получить правило сравнения направлений двух разнесённых отрезков, независимое от любого пути. Локальная продолжимость совместима с геометрией Лобачевского и сама по себе не доказывает пятого постулата Евклида.

Для будущей аксиоматики предлагается отдельно фиксировать два свойства: направленное продолжение существует; при данных исходном отрезке и дополнительной длине его новая конечная граница определяется единственно. Оба требования должны быть явно записаны, а не предполагаться молчаливо.

17.4. Формулировка Постулата направленного продолжения

Теперь можно сформулировать центральное положение главы.

ПОСТУЛАТ НАПРАВЛЕННОГО ПРОДОЛЖЕНИЯ.

Любой ненулевой конечный направленный прямолинейный отрезок допускает прямолинейное продолжение за своей конечной границей в первоначально заданном направлении на любую заранее назначенную допустимую положительную конечную длину. Продолжение образует с исходным отрезком единый прямолинейный носитель без излома. При фиксированных исходном отрезке, ориентации и добавочной длине новая конечная граница определяется однозначно.

Здесь слово «допустимую» имеет рабочий смысл: предполагается, что длина выражена средствами принятой системы измерения и не исключена её явно сформулированными условиями существования. Если Гармоническая геометрия претендует на неограниченную конечную продолжимость, необходимо принять более сильную глобальную версию: всякая заранее заданная положительная конечная длина считается допустимой. Нельзя незаметно переходить от локальной версии к глобальной.

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

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

Этот постулат представляет собой авторское исходное положение, а не доказанную теорему. Его конструктивная ценность состоит в том, что он разрешает переход от данного конечного направленного отрезка к новому конечному направленному отрезку, не требуя в качестве первоначального объекта актуально бесконечной прямой.

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

17.5. Выбор центра вспомогательной окружности

Перейдём к циркульной процедуре. Пусть исходный отрезок направлен от A к B. На этом отрезке выберем граничное место O, расположенное до B по принятой ориентации. Для наглядности и исключения вырожденного случая будем считать O внутренней точкой исходного отрезка.

Расстояние от O до B является известной конечной положительной длиной. Выбор центра внутри исходного носителя имеет ясный конструктивный смысл. Центр связан с уже заданным объектом, а направление продолжения от B наследуется от отрезка A–B. Поэтому новая граница не выбирается из всего множества точек окружности произвольно.

В принципе можно было бы использовать и начальную границу A как центр. Тогда вся процедура сохраняет ту же логику. Выбор внутреннего O удобен потому, что ясно разделяет исходную часть отрезка от добавляемой и позволяет прямо выразить радиус как сумму уже имеющейся длины от O до B и желаемого продолжения за B.

Не следует, однако, делать из свободы выбора центра преждевременный вывод об абсолютной инвариантности направления. Изменяя положение O, мы изменяем радиус вспомогательной окружности, если хотим получить тот же конечный C. Само направление задаётся исходным отрезком, а не центром окружности. Независимость конечного результата от допустимого выбора центра будет доказуема только при согласованной аддитивности длин и единственности продолжения.

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

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

17.6. Построение окружности произвольно большого конечного радиуса

После выбора O назначим положительный конечный радиус, превосходящий расстояние от O до B. Это неравенство обеспечивает, что предполагаемая новая граница находится за прежним концом B, если радиальное расстояние вдоль направленного прямолинейного носителя возрастает обычным образом.

Если задача состоит в продолжении на заранее заданную длину, радиус выбирается как сумма расстояния от O до B и этой добавочной длины. Если, напротив, сначала выбран радиус, величина продолжения определяется разностью между ним и исходным расстоянием от O до B. Оба способа описывают одну процедуру при принятой аддитивности длин.

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

Не менее важно различать математический идеальный циркуль и физический инструмент. В геометрическом рассуждении можно назначить радиус, равный миллионам, триллионам или большему конечному числу единиц длины. Но из математической определённости такого числа не следует, что физически существует циркуль, способный выполнить чертёж соответствующего масштаба. Речь идёт о разрешённой идеальной геометрической операции.

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

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

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

17.7. Направленное продолжение отрезка до пересечения с окружностью

Теперь все данные конструкции собраны. Имеется направленный исходный отрезок A–B. На нём выбран центр O. Назначен радиус, превышающий расстояние от O до B. Постулат разрешает прямолинейно продолжать отрезок за B в первоначальном направлении. Окружность с центром O задаёт геометрическое условие для новой конечной границы.

Алгоритм состоит в следующем. Сначала фиксируется исходный направленный отрезок и его конечная граница B. Затем выбирается центр O на участке до B. Далее назначается требуемая добавочная длина и в соответствии с ней устанавливается радиус окружности. После этого рассматривается разрешённое направленное продолжение за B. Его пересечение с окружностью со стороны продолжения обозначается C. Новый конечный отрезок получается присоединением части B–C к исходному отрезку.

Однако здесь необходимо указать важнейшее логическое условие. Существование и единственность такого пересечения не доказываются одним лишь фактом построения окружности. Требуется, чтобы расстояние от O до последовательно расположенных граничных мест направленного продолжения строго возрастало и совпадало с соответствующей суммарной длиной прямолинейного участка. Иначе окружность может пересекать продолжение неоднократно, не встретиться с ним или иметь неожиданное положение относительно B.

В обычной евклидовой геометрии требуемая совместимость выполняется. Она выполняется также вдоль полных геодезических гиперболической плоскости при стандартной гиперболической метрике. Но в произвольной новой системе её следует принять отдельно или доказать из определений прямолинейности, расстояния и продолжения.

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

Теорема 17.1. При наличии Постулата направленного продолжения, правила построения окружности назначенного радиуса и условия радиальной согласованности вспомогательная окружность с центром O и радиусом, превышающим расстояние от O до B, пересекает направленное продолжение за B в единственной новой границе C. Длина добавленной части равна разности радиуса и расстояния от O до B.

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

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

17.8. Возникновение новой граничной точки как результата построения

Новая граница C не должна вводиться в начале алгоритма как произвольно выбранная точка пространства. В авторской конструктивной последовательности она возникает в результате пересечения двух уже определённых геометрических объектов: направленного продолжения исходного отрезка и вспомогательной окружности.

Здесь реализуется предложенное в главе 16 понимание точки. Точка прежде всего выступает конечной границей отрезка или результатом геометрического пересечения. Мы не обязаны делать изолированную точку фундаментальнее отрезка, чтобы пользоваться обозначениями A, B, O и C. Но обязаны предварительно определить, что означает совпадение граничных мест различных объектов.

Из того, что окружность математически описана, ещё не следует, что её пересечение с направленным продолжением доказано. В разделе 17.7 мы получили это пересечение как условную теорему при указанных дополнительных свойствах. Только после установления существования C можно законно назвать её новой граничной точкой.

Теперь первоначальный отрезок не исчезает. Он остаётся начальной частью нового, более длинного конечного направленного прямолинейного отрезка. Старая конечная граница B становится внутренним местом составленного объекта, а C — его новой конечной границей. Длина нового целого равна сумме длины первоначального отрезка и добавленной части.

Здесь возникает ещё одно существенное свойство конструкции: её можно повторять. После получения C новый конечный отрезок рассматривается как исходный для следующего шага. При очередном назначении допустимой конечной добавочной длины будет определена следующая граничная точка. Каждый отдельный шаг остаётся конечным и должен удовлетворять тем же правилам.

Повторяемость не делает конечную последовательность шагов актуально бесконечной прямой. Она означает лишь, что для каждого следующего разрешённого конечного продолжения можно поставить новую задачу. Если постулат принят в глобальной версии, любой заранее заданный конечный масштаб допустим в математическом смысле. Это по-прежнему не тождественно физическому построению отрезка такой длины.

Таким образом, точка C — производный результат конструкции, а не заранее данная произвольная цель. Именно этим авторский метод отличается от простого соединения двух предварительно выбранных точек.

17.9. Сохранение первоначального направления

На всём протяжении построения главным ограничением служило сохранение первоначального прямолинейного хода от A к B. Новый участок B–C должен не только касаться прежнего отрезка в B, но и продолжать его без излома по тому же направленному носителю. Если это условие не выполнено, перед нами уже иной объект — составной путь, а не прямолинейное продолжение.

Однако слова «сохранение направления» способны обозначать два разных положения. Первое — локальную согласованность нового участка с исходным на одном общем прямолинейном носителе. Второе — абсолютную инвариантность, то есть независимость сравнения направлений разнесённых отрезков от выбранного способа их сопоставления или переноса. Настоящая глава обосновывает конструктивное использование первого положения; второе остаётся самостоятельной задачей дальнейшей аксиоматики.

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

Можно ли получить более сильный результат из последовательного повторения процедуры? Нет без дополнительных положений. Пусть отрезок продолжен несколько раз и его направление сохранялось на каждом шаге. Это устанавливает согласованность частей одного общего носителя. Но не говорит, что независимый отрезок, построенный в другой области пространства, обладает тем же абсолютным направлением, и не задаёт способа сравнения таких отрезков.

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

Теорема 17.2. Постулат направленного продолжения совместно с циркульным алгоритмом определения конечной границы не влечёт сам по себе абсолютной эквидистантности разнесённых геодезических.

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

Это не опровержение авторской программы. Напротив, это точное указание, какое ещё положение Гармонической геометрии требуется сформулировать: независимое правило абсолютного сравнения направлений, связанное с метрическими свойствами пространства, а не только с локальным продолжением одного отрезка.

17.10. Постулат и алгоритм: разграничение исходного положения и конструктивной процедуры

Теперь можно подвести итог всей последовательности построения, не смешивая её уровни.

Первый уровень — исходный объект. Дан конечный направленный прямолинейный отрезок с определёнными начальной и конечной границами, длиной и ориентацией. В этой постановке бесконечная прямая не принимается самостоятельной исходной сущностью.

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

Третий уровень — дополнительное геометрическое правило. Для выбранного граничного места O можно построить окружность назначенного конечного радиуса. Её существование требует собственного основания; одного постулата продолжения недостаточно.

Четвёртый уровень — метрическая согласованность. Необходимо знать, что расстояние от O до последовательно расположенных границ на том же прямолинейном продолжении возрастает вместе с длиной носителя. Без этого нельзя строго обосновать единственность нужного пересечения с окружностью.

Пятый уровень — алгоритм. Из исходного отрезка выбирается центр O, назначается радиус, рассматривается продолжение за B и отмечается его единственное пересечение с окружностью со стороны заданного направления. Полученная граница становится новым концом конечного направленного отрезка.

Шестой уровень — доказательный результат. При перечисленных предпосылках новая граница существует, единственна и находится от прежней конечной границы на расстоянии, равном превышению радиуса над расстоянием от центра до прежней границы. Это условная теорема о корректности конструкции, а не доказательство исходного постулата продолжения.

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

Рассмотрим небольшой числовой пример, не требующий сверхбольшого масштаба. Пусть расстояние от выбранного центра O до старой конечной границы B составляет две условные единицы. Назначим радиус семь таких единиц. Тогда при выполнении условий построения единственная новая граница C возникает на направленном продолжении за B, причём добавленная часть имеет длину пять единиц. Числа здесь лишь делают видимым правило: радиус должен превосходить уже пройденное расстояние от центра до старой границы, а избыток определяет добавленную протяжённость.

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

Сформулируем заключительную теорему главы.

Теорема 17.3. Если для конечного направленного прямолинейного отрезка выполняются Постулат направленного продолжения, аддитивность длин, радиальная согласованность и разрешение строить окружности назначенных конечных радиусов, то циркульная процедура определяет единственную новую граничную точку для всякой допустимой добавочной конечной длины. При корректной перенастройке радиуса результат не зависит от выбора центра O на исходном прямолинейном участке до B.

Доказательство. Пусть выбраны два различных допустимых центра на исходном отрезке. Для каждого центрированного построения радиус назначается как сумма расстояния от соответствующего центра до B и одной и той же добавочной длины. По теореме 17.1 каждое построение даёт единственную новую границу на одном и том же направленном продолжении, расположенную после B на назначенной добавочной длине. По условию однозначности продолжения такие границы совпадают. Следовательно, итоговое продолжение не зависит от допустимого выбора вспомогательного центра. Теорема доказана.

Заключительный авторский вердикт главы 17

Постулат направленного продолжения закрепляет исходную возможность продлить конечный направленный прямолинейный отрезок в первоначальном направлении на любую предусмотренную системой конечную длину. Циркульная процедура позволяет, при дополнительных ясных метрических предпосылках, определить новую конечную границу как пересечение направленного продолжения со вспомогательной окружностью.

Главное логическое достижение состоит в разделении двух задач. Постулат отвечает на вопрос, почему продолжение разрешено. Алгоритм отвечает на вопрос, где располагается его новая конечная граница при заданной длине. Окружность не заменяет постулата, а постулат не отменяет необходимости определить правило измерения и выбора пересечения.

Вместе с тем доказано существенное ограничение: направленное продолжение само по себе не исключает геометрию Лобачевского. Поэтому нельзя объявлять построение окружности и нового конца окончательным доказательством абсолютной эквидистантности или пятого постулата Евклида. Сильный авторский принцип абсолютной инвариантности направления требует отдельной точной формулировки и собственной доказательной проверки.

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

Источники для исторической и математической сверки

Евклид. «Начала», книга I, постулаты 1–3 и предложение I.2. Английский перевод Т. Л. Хита: https://www.maths.tcd.ie/~dwilkins/Euclid/Elements_Heath1908/BookI/EuclidElementsBk01Postulates_Heath1908.php

Евклид. «Начала», книга I, предложение I.2, построение с использованием продолжения прямых и окружностей: https://www.maths.tcd.ie/~dwilkins/Euclid/Elements_Heath1908/BookI/EuclidElementsBk01Prop02_Heath1908.php

Математическое описание гиперболической плоскости и её геодезических: https://link.springer.com/chapter/10.1007/978-3-030-56694-4_33

********

ГЛАВА 18. ПРИНЦИП АБСОЛЮТНОЙ ИНВАРИАНТНОСТИ НАПРАВЛЕНИЯ

В главе 16 конечный направленный прямолинейный отрезок принят в качестве исходного объекта Гармонической геометрии. В главе 17 сформулирован Постулат направленного продолжения и установлены условия циркульного определения новой граничной точки. Однако обе главы оставили открытым главный вопрос: каким образом направление одного конечного отрезка можно сопоставить с направлением другого отрезка, расположенного в ином месте пространства?

Пока два отрезка принадлежат одному прямолинейному продолжению, согласованность их направлений имеет понятный конструктивный смысл. Но утверждение об одинаковом направлении двух разнесённых отрезков гораздо сильнее. Оно требует самостоятельного закона сравнения, который не должен незаметно предполагать искомую эквидистантность или уже принятую евклидову параллельность.

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

18.1. Первоначальная формулировка принципа

Направление в Гармонической геометрии рассматривается не как случайная характеристика положения отрезка на чертеже, а как одна из двух его фундаментальных характеристик наряду с длиной. Отрезок может быть перемещён в другое место, воспроизведён с новой начальной границей или продолжен; при этом возникает вопрос, сохраняется ли геометрически определённое направление и каким способом устанавливается его тождество.

Рабочая первоначальная формулировка авторского принципа такова.

ПРИНЦИП АБСОЛЮТНОЙ ИНВАРИАНТНОСТИ НАПРАВЛЕНИЯ.

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

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

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

Нельзя также путать абсолютность с независимостью от координат. Координаты можно заменить, не меняя сам геометрический объект. Но утверждение, что векторы в различных точках имеют одно направление, требует дополнительной геометрической связи между этими точками. Из возможности менять координатные обозначения такая связь сама не возникает.

Принцип рассматривается как авторская аксиоматическая гипотеза. Его физическое содержание ещё необходимо установить через измеримые процедуры; его совместность с остальными исходными положениями — проверить на математических моделях.

18.2. Сохранение направления при продолжении конечного отрезка

Пусть дан конечный направленный прямолинейный отрезок с начальной границей A и конечной границей B. Постулат направленного продолжения разрешает получить новую граничную точку C за B, не создавая излома и не изменяя первоначальную ориентацию. В таком построении отрезки A–B, B–C и A–C относятся к одному согласованному прямолинейному носителю.

Если направление понимается как локальная характеристика хода отрезка, его сохранение на этом носителе уже содержится в Постулате направленного продолжения. Нельзя вновь объявлять такое сохранение независимым доказательством нового принципа: это означало бы повторить исходное условие другими словами.

Циркульная процедура главы 17 позволяет определить конечную границу C посредством пересечения направленного продолжения с окружностью заданного радиуса. Она фиксирует величину добавленной длины, но не создаёт направление. Правило движения от B к C должно быть установлено прежде, чем окружность даст выбранную точку пересечения.

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

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

Авторский вывод раздела состоит в том, что продолжение проверяет внутреннюю согласованность одного направленного объекта. Абсолютная инвариантность требует большего: закона сравнения различных объектов, не сводимого к их принадлежности одному уже заданному носителю.

18.3. Направление отрезка и его пространственное положение

Два конечных отрезка могут иметь равную длину и разные положения. Их граничные точки не совпадают, они могут быть удалены друг от друга на любое допустимое конечное расстояние, но вопрос об одинаковости направлений остаётся самостоятельным.

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

В Гармонической геометрии необходимо явно различить положение отрезка и его направление. Положение характеризуется тем, где находятся его граничные места. Направление отвечает на вопрос о согласованности ориентированного прямолинейного хода с другими такими ходами. Длина характеризует величину протяжённости. Никакая из этих характеристик не должна автоматически подменять другую.

Предположим, что отрезок A–B с длиной h воспроизводится в другой области пространства от новой граничной точки P. Можно потребовать сохранить его длину. Но где должна оказаться новая конечная граница Q? Одного условия равенства длин недостаточно: вокруг P возможны различные направления. Поэтому дополнительная характеристика направления необходима уже для однозначной постановки задачи воспроизведения отрезка.

Если авторский принцип позволит говорить об одном и том же направлении при различных начальных местах, возникнет закон направленного размещения. Но существование такого закона не тождественно утверждению, что всё пространство обладает нулевой кривизной. Чтобы получить метрический вывод, следует установить, как направленное размещение связано с расстоянием, прямолинейностью и перпендикулярностью.

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

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

18.4. Абсолютная и относительная инвариантность направления

Относительная инвариантность означает, что направление сохраняется при заранее оговорённом ограниченном классе действий. Например, при прямолинейном продолжении одного отрезка его локальная направленность сохраняется; при переносе вектора вдоль одного выбранного пути можно определить правило его неизменного перемещения; при жёстком повороте фигуры сохраняются углы между её сторонами, хотя каждое направление относительно фиксированного ориентира вообще меняется.

Абсолютная инвариантность в авторском смысле должна быть сильнее. Она требует согласованного сравнения направлений при изменении положения, а также исключения зависимости итогового сравнения от произвольного пути. Однако даже столь сильное положение необходимо формулировать вместе с классом разрешённых операций. Если разрешён поворот, направление обязано измениться; если предусмотрено перемещение «без поворота», следует определить это выражение независимо от требуемого результата.

В современной дифференциальной геометрии для переноса направлений часто используется связность Леви-Чивиты. Она совместима с метрикой и не обладает кручением. В общем искривлённом пространстве результат переноса по двум разным путям между одними точками может различаться. Такое различие описывается голономией и связано с кривизной.

Если требовать независимости стандартного переноса Леви-Чивиты от всех достаточно малых замкнутых путей, риманова кривизна должна обращаться в нуль. Но это утверждение относится именно к указанному переносу. Оно не доказывает, что всякий придуманный способ сопоставления направлений в пространстве с отрицательной кривизной обязательно зависит от пути.

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

Решающим становится вопрос: какой перенос постулирует Гармоническая геометрия? Если это перенос, сохраняющий длины и углы и одновременно являющийся стандартным бескрученным метрическим переносом, требования существенно ограничивают кривизну. Если выбран иной перенос, необходимо исследовать его кручение, его отношение к геодезическим и возможность воспроизводимого измерения.

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

18.5. Геометрические операции, сохраняющие направление

Первое место занимает операция выделения направленной части. Если из одного прямолинейного отрезка выбрана его собственная часть с согласованным порядком границ, локальное направление должно сохраняться. Эта операция не перемещает направление в иную область пространства.

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

Третья операция — обращение отрезка. Она сохраняет длину, но меняет направление на противоположное. Поэтому обращение нельзя включать в число операций, буквально сохраняющих ориентированное направление; оно сохраняет лишь неориентированный прямолинейный носитель.

Четвёртая операция — воспроизведение длины в новой области. Она переносит протяжённость, однако не определяет направления. Окружность заданного радиуса указывает множество допустимых конечных границ, а не одну необходимую границу.

Пятая операция — воспроизведение одновременно длины и направления. Это центральное предполагаемое действие Гармонической геометрии. Для его осуществления требуются заданная новая начальная граница, выбранная длина и независимое правило сопоставления направлений. Существование единственного результата должно быть установлено отдельно. Нельзя считать его уже доказанным одним введением терминов «та же длина» и «то же направление».

Шестая операция — последовательный перенос направления через промежуточные места. Для её однозначности необходимо, чтобы результат переноса из первого места в третье совпадал с результатом последовательного переноса через второе. Именно здесь возникает проверяемое условие согласованности маршрутов.

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

Восьмая операция — поворот. Она намеренно меняет направление и поэтому нужна для определения различия направлений, а не для требования их тождества. Поворот не является нарушением принципа, если с самого начала не объявлялся переносом «без поворота».

Такой перечень операций показывает границу между локальными действиями с одним отрезком и глобальным сравнением разных отрезков. Только вторая группа может придать принципу абсолютности самостоятельное содержание.

18.6. Необходимые условия сопоставления направлений различных отрезков

Прежде чем два разнесённых отрезка будут признаны сонаправленными, необходимо определить процедуру их сравнения. Она не должна ссылаться на предварительно принятую параллельность целых бесконечных прямых. Она не должна и использовать эквидистантность в качестве скрытого определения, если эквидистантность предполагается позднее доказать.

Первое условие — однозначность. Направление данного отрезка должно иметь определённый результат сопоставления с самим собой; выбранное правило не может одновременно объявлять два несовместимых результата одинаково правильными.

Второе условие — согласованность обращения. Если отрезок заменён на противоположно направленный, результат сравнения должен соответствующим образом измениться. Иначе различие между направлением и его противоположностью утратит смысл.

Третье условие — согласованность частей и продолжений. Направления последовательных частей одного прямолинейного носителя должны сопоставляться друг с другом без противоречия. При этом нельзя автоматически переносить этот локальный результат на пространственно разнесённые носители.

Четвёртое условие — согласованность последовательных сравнений. Если направление первого отрезка признано одинаковым с направлением второго, а второго — с направлением третьего, то при одном и том же правиле сравнения первое и третье также должны быть признаны сонаправленными. Это свойство логической транзитивности, но само по себе ещё не даёт геометрического закона переноса.

Пятое условие — независимость результата от промежуточного маршрута. Если из одной области в другую можно перенести направление несколькими допустимыми способами, сильный авторский принцип требует совпадения итогов. Такое требование не следует из предыдущих условий автоматически: его надо принять отдельно либо доказать.

Шестое условие — нетривиальность сравнения. Нельзя объявить все направления одинаковыми и тем самым формально добиться независимости от пути. Должно сохраняться различие между противоположными направлениями и между направлениями, образующими ненулевые углы. Желательно установить, что в каждом месте доступны те же допустимые виды направлений, что и в других местах, а соответствие между ними взаимно однозначно.

Седьмое условие — метрическая содержательность. Если сравнение претендует на решение проблемы Посидония, необходимо выяснить, как оно согласуется с длинами, прямыми углами, геодезическим характером отрезков и расстояниями между их границами. Без этого даже вполне последовательная система глобальных меток направлений может не обладать требуемой эквидистантностью.

Восьмое условие — проверяемость построениями. Должно быть указано, какую конечную геометрическую процедуру или точно определённую математическую операцию применяют для сравнения. Если построение требует заранее существующей глобальной системы ориентиров, её статус необходимо оговорить: она не может незаметно возникать из одного конечного отрезка.

Таким образом, сравнение направлений — не единственная фраза в определении, а целая система согласованных отношений и действий. Только после её построения можно переходить к теоремам об одинаковости направлений и связанных с ней расстояниях.

18.7. Математическая формализация принципа

Для первоначальной аксиоматизации введём множество S всех допустимых ненулевых конечных направленных прямолинейных отрезков рассматриваемой области. Каждому отрезку s из S сопоставляется положительная конечная длина L(s). Начальная и конечная границы обозначаются B₀(s) и B₁(s). Обращение отрезка обозначим R(s).

Пусть D — множество возможных ориентированных направлений. Направление отрезка задаётся отображением dir: S → D. Для каждого направления d из D предполагается противоположное направление opp(d), причём двукратное обращение возвращает исходное направление.

Первое требование: dir(R(s)) = opp(dir(s)). Оно связывает направление с выбором порядка границ. Второе требование: всякая направленная часть s с согласованной ориентацией имеет то же направление, что и s. Третье требование: всякое разрешённое прямолинейное продолжение s сохраняет его направление. Эти положения относятся к одному прямолинейному носителю.

Для разнесённых отрезков можно ввести отношение одинаковости направлений: s и t сонаправлены тогда и только тогда, когда dir(s) = dir(t). Но такая запись ещё не является самостоятельным геометрическим открытием. Она лишь переносит вопрос в определение отображения dir. Необходимо объяснить, откуда берётся множество D и почему каждое разнесённое направление имеет именно такую метку.

Для более содержательной формализации обозначим через T(p,q) операцию переноса направлений из граничного места p в граничное место q. Предполагается, что она однозначно сопоставляет каждому допустимому направлению в p соответствующее направление в q. Тогда требование абсолютной согласованности записывается тремя правилами: перенос из p в p ничего не меняет; перенос из p в q и обратно возвращает исходное направление; перенос из p в r совпадает с последовательным переносом из p в q и затем из q в r.

Именно последнее правило исключает зависимость итогового результата от выбора промежуточного места. Если оно выполняется для всех допустимых мест и все непосредственные переносы согласуются с переносом вдоль разрешённых путей, возникает математически определённая путь-независимая система сравнения направлений.

Теорема 18.1. Из перечисленных правил согласованности следует, что любой конечный цикл последовательных переносов между допустимыми граничными местами возвращает исходное направление.

Доказательство. Последовательность переносов от первого места через любые промежуточные места к последнему по правилу согласованности равна непосредственному переносу между первым и последним местами. Для замкнутого цикла последнее место совпадает с первым. Перенос из места в него же тождественен. Следовательно, итоговое направление совпадает с исходным. Теорема доказана.

Но важно правильно определить доказательный статус. Теорема 18.1 является следствием уже принятого правила согласованности; она не доказывает это правило из одной лишь конечности отрезка. Если постулировать композиционную согласованность, замкнутая инвариантность непосредственно вытекает из неё. Нельзя затем предъявлять результат как независимое подтверждение истинности самого постулата.

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

Но возникает решающий вопрос: исключает ли само существование такого пути-независимого сопоставления гиперболическую плоскость? В слабой формулировке — нет.

Рассмотрим верхнюю полуплоскость Пуанкаре с координатами x и y, где y положительно, и гиперболической метрикой постоянной отрицательной кривизны. В каждой её точке можно выбрать два гладко меняющихся взаимно перпендикулярных единичных направления, образующих глобальный ортонормированный репер. Затем направление вектора в любой точке можно описывать его компонентами относительно этого репера. Если при переходе между точками сохранять эти компоненты, получим однозначный, не зависящий от пути способ сравнения; длины и углы между одновременно переносимыми векторами также сохраняются.

Однако такое сравнение не совпадает со стандартным переносом Леви-Чивиты. Соответствующая связность может иметь кручение. Кроме того, касательное направление гиперболической геодезической не обязано иметь постоянные компоненты в выбранном глобальном репере на всём своём продолжении. Следовательно, этот пример не удовлетворяет автоматически всем сильным требованиям авторского принципа; он показывает лишь, что одна глобальная система одинаковых меток и путь-независимый перенос сами по себе ещё не исключают отрицательной метрической кривизны.

Для математической проверки удобно привести точную запись этой модели. При радиусе кривизны R её метрический элемент равен ds² = R²(dx² + dy²)/y². Глобальный ортонормированный репер можно выбрать в виде e₁ = (y/R)∂/∂x и e₂ = (y/R)∂/∂y. Сохранение коэффициентов в разложении по e₁ и e₂ определяет метрически согласованный путь-независимый перенос, отличный от бескрученного переноса Леви-Чивиты. Это иллюстрация различия между глобальной меткой направления и собственно метрическим параллельным переносом.

Теорема 18.2. Если абсолютная инвариантность направления понимается как независимость от пути стандартного параллельного переноса Леви-Чивиты для всех касательных направлений в каждой достаточно малой области, то риманова кривизна этой области равна нулю.

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

Обратное глобальное утверждение требует дополнительной оговорки: локальное равенство кривизны нулю само по себе ещё не исключает нетривиальной глобальной голономии в областях со сложной топологией. Для полного сравнения любых путей необходимо отдельно учитывать устройство всей области.

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

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

18.8. Предполагаемая роль принципа в основаниях Гармонической геометрии

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

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

Наиболее серьёзным испытанием вновь станет конструкция Посидония. Пусть имеется конечное основание A–B. В его концах построены одинаковые по длине и согласованно направленные перпендикуляры A–P и B–Q. Требуется установить, при каких новых аксиомах соединение P–Q оказывается прямолинейным и сохраняет постоянное перпендикулярное расстояние до основания.

Само равенство длин A–P и B–Q ещё недостаточно. Даже объявление их направлений одинаковыми требует определения, не зависящего от заранее принятой эквидистантности. Кроме того, необходимо доказать согласованность прямолинейного соединения свободных концов с новым переносом направлений. Именно здесь будет решаться, превратилась ли авторская программа в собственную систему доказательств.

Математическая модель должна быть предъявлена до претензии на физическую универсальность. Желательно не только показать совместность аксиом на евклидовой плоскости, но и исследовать, допускают ли они неевклидовы реализации. Если новые аксиомы просто воспроизводят евклидову геометрию в языке конечных отрезков, это будет содержательная реорганизация её оснований, но не доказательство новой физической метрики. Если же выявятся действительно самостоятельные следствия, потребуется проверить их математическую непротиворечивость и наблюдаемую применимость.

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

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

ЗАКЛЮЧИТЕЛЬНЫЙ АВТОРСКИЙ ВЕРДИКТ ГЛАВЫ 18

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

Но сила принципа не должна измеряться одной категоричностью формулировки. Его доказательная сила зависит от того, каким образом правило сопоставления связано с метрикой, прямолинейностью и физически проверяемыми операциями. Если эта связь не определена, абсолютное направление может остаться дополнительной системой меток, совместимой даже с отрицательной метрической кривизной.

Вместе с тем установлено строгое условное следствие: если требование пути-независимости относится к стандартному бескрученному метрическому параллельному переносу, ненулевая риманова кривизна несовместима с ним. Следовательно, авторская программа получила точное направление дальнейшей работы — не подменять физическую геометрию словом «абсолютность», а установить геометрический закон, который связывает направление и расстояние без логического круга.

Главная задача следующей главы — исследовать перенос и воспроизведение конечных направленных отрезков при разных начальных положениях, выяснить условия единственности результата и подготовить независимую доказательную проверку эквидистантности конструкции Посидония.

ИСТОЧНИКИ ДЛЯ МАТЕМАТИЧЕСКОЙ СВЕРКИ

1. David Tong. General Relativity, раздел «Introducing Riemannian Geometry» (связность Леви-Чивиты, перенос и кривизна). https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S3.html
2. V. V. Datar. Lectures on Riemannian Geometry, раздел «Parallel Transport» (голономия и независимость от пути). https://math.iisc.ac.in/~vvdatar/Lecture_Notes/RG_Lectures_typeset_published
3. Hyperbolic Plane, Springer Nature, раздел о верхней полуплоскости Пуанкаре (метрика гиперболической плоскости). https://link.springer.com/chapter/10.1007/978-3-030-56694-4_33
4. An Elementary Introduction to Information Geometry, 2020 (метрическая совместимость и единственность связности Леви-Чивиты). https://pmc.ncbi.nlm.nih.gov/articles/PMC7650632/

*****

ГЛАВА 19. НЕОБХОДИМОСТЬ И ДОСТАТОЧНОСТЬ ИНВАРИАНТНОСТИ НАПРАВЛЕНИЯ ДЛЯ ПАРАЛЛЕЛЬНОСТИ И ЭКВИДИСТАНТНОСТИ

Гармоническая геометрия должна получить собственную систему доказательств. Её первоначальным объектом принят конечный направленный прямолинейный отрезок; его фундаментальными характеристиками являются длина и направление. Постулат направленного продолжения позволяет строить новые конечные участки того же прямолинейного носителя. Принцип абсолютной инвариантности направления должен обеспечить согласованное сопоставление направлений разнесённых отрезков.

Настоящая глава посвящена переходу от этих исходных положений к строгим утверждениям о параллельности и эквидистантности. Здесь не требуется ссылаться на иные геометрические теории. Требуется другое: дать определения в языке самой Гармонической геометрии, точно указать дополнительные метрические условия и доказать, какие заключения из них действительно следуют.

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

19.1. Постановка теоремы о направлении и эквидистантности

Будем исходить из конечных направленных прямолинейных отрезков. Их начальные и конечные граничные места позволяют определять производные точки. Для двух таких мест P и Q рассматривается направленное перемещение от P к Q; при этом точка не объявляется более фундаментальным объектом, чем исходный отрезок.

Направление отрезка следует отличать от его ориентации и длины. Два отрезка могут иметь одинаковую длину и различные направления; могут иметь одинаковое направление и различные длины; могут принадлежать одному неориентированному направлению, но быть ориентированы противоположно. Поэтому в утверждениях о параллельности носителей будем сравнивать неориентированные направления, а при обсуждении переноса отдельных отрезков — направленные перемещения с сохранением ориентации.

Носителем будем называть согласованное семейство всех разрешённых конечных прямолинейных продолжений данного отрезка в обе стороны. Носитель не принимается как самостоятельная бесконечная прямая: каждая его точка задаётся некоторым конечным параметром продолжения. Если требуется рассматривать любое конечное значение этого параметра, соответствующее разрешение должно входить в систему исходных положений.

Параллельность двух различных носителей определим независимо от одинаковости их направлений. Два носителя параллельны, если никакие их допустимые конечные продолжения не имеют общего граничного места. Такое определение не позволяет ошибочно назвать параллельными любые два коротких отрезка только потому, что они пока не пересекаются.

Эквидистантность определим также независимо. Два различных носителя эквидистантны, если существует одно положительное число h, равное кратчайшему перпендикулярному расстоянию от всякого места одного носителя до другого и обратно; при этом основания соответствующих перпендикуляров должны существовать и определяться однозначно.

Цель главы — установить необходимую и достаточную связь трёх свойств: одинаковости неориентированных направлений, параллельности и положительной эквидистантности. Но это будет теорема при точно перечисленных аксиомах, а не новое определение одного и того же отношения тремя словами.

Для доказательств примем рабочий пакет положений Гармонической геометрии.

Положение Г1. Каждый ненулевой конечный направленный прямолинейный отрезок имеет две различаемые границы и положительную конечную длину. Граничные места, признанные совпадающими, задают одну производную точку.

Положение Г2. Типы направленных перемещений образуют двумерную систему V с нулевым перемещением, сложением, противоположным перемещением и умножением на действительное число. Для этой рабочей системы принимаются обычные свойства сложения и умножения, включая перестановочность сложения. Направление ненулевого перемещения задаётся всеми его положительными кратными; неориентированное направление — всеми ненулевыми кратными.

Положение Г3. Для каждого граничного места P и каждого допустимого конечного перемещения v существует единственная конечная граница F(P,v). Выполняются равенства F(P,0) = P и F(F(P,u),v) = F(P,u + v). Для любых двух граничных мест существует единственное перемещение, переводящее одно в другое. Тем самым задано согласованное воспроизведение перемещений из различных начальных мест.

Положение Г4. На системе V задана положительно определённая симметрическая билинейная форма, обозначаемая (u,v). Длина отрезка, реализующего перемещение v, равна корню из (v,v); перпендикулярность ненулевых перемещений означает (u,v) = 0. Расстояние между двумя граничными местами измеряется длиной единственного связывающего их перемещения.

Положение Г5. Для всякого ненулевого перемещения u и любого заранее назначенного конечного действительного числа t разрешено построить конечное направленное продолжение с граничным местом F(P,t u). Положительные и отрицательные значения t соответствуют двум ориентациям вдоль одного носителя.

Эти положения составляют достаточную рабочую систему, но не объявляются уже доказанным минимальным основанием Гармонической геометрии. Особенно существенны Г2, Г3 и Г4: они задают сильную согласованность перемещений и метрических отношений. Задача будущей аксиоматизации — выяснить, какие части этого пакета можно вывести из более первоначальных положений.

19.2. Необходимость совпадения направлений для эквидистантных прямых

Докажем, что в рабочей системе Г1–Г5 эквидистантность двух различных носителей требует совпадения их неориентированных направлений.

Пусть первый носитель получен из граничного места P последовательными конечными продолжениями в направлении ненулевого перемещения u. Выберем u единичной длины. Тогда каждое место первого носителя имеет вид F(P,t u), где t — любое конечное действительное число.

Пусть второй носитель задан граничным местом Q и ненулевым направляющим перемещением v. Рассмотрим направленное перемещение от P к Q. Согласно Г2 и Г4 его можно единственным образом разложить на составляющую a u вдоль первого носителя и составляющую w, перпендикулярную u. Аналогично разложим v на составляющую вдоль u и поперечную составляющую z.

При перемещении вдоль второго носителя на конечный параметр s поперечное смещение относительно первого носителя принимает вид w + s z. В двумерной системе оба поперечных перемещения лежат на одном перпендикулярном направлении. Поэтому кратчайшее перпендикулярное расстояние до первого носителя равно длине w + s z.

По условию эквидистантности эта длина должна быть постоянной и положительной для всех конечных s. Если z не равно нулю, изменение s изменяет поперечную составляющую; при подходящем конечном s она обращается в нуль или приобретает иную длину. Это противоречит постоянству положительного расстояния. Следовательно, z = 0.

Итак, v не имеет составляющей, перпендикулярной u, и потому является ненулевым кратным u. Следовательно, неориентированные направления двух носителей совпадают.

ТЕОРЕМА 19.1. В рабочей системе Гармонической геометрии Г1–Г5 положительная эквидистантность двух различных прямолинейных носителей необходимым образом влечёт совпадение их неориентированных направлений.

Доказательство дано разложением направляющего перемещения на продольную и поперечную составляющие. Теорема доказана.

Важно, что утверждение относится к носителям с разрешёнными продолжениями, а не к двум произвольно коротким отрезкам. Для коротких частей можно установить постоянное расстояние лишь на тех участках, где соответствующие перпендикулярные основания принадлежат рассматриваемым частям.

19.3. Достаточность совпадения направлений для эквидистантности в Гармонической геометрии

Теперь предположим, что два различных носителя имеют одно и то же неориентированное направление. Выберем единичное направляющее перемещение u первого носителя. Направляющее перемещение второго носителя тогда является ненулевым кратным u; при необходимости изменим его ориентацию и масштаб параметра, чтобы использовать то же u.

Пусть P — граничное место первого носителя, Q — граничное место второго. Единственное перемещение от P к Q разложим в виде a u + w, где w перпендикулярно u. Поскольку носители различны, w не равно нулю. Положим h равным длине w.

На первом носителе рассмотрим место X(t) = F(P,(a + t)u). На втором — место Y(t) = F(Q,t u). По согласованности сложения перемещений получаем Y(t) = F(X(t),w) при любом конечном t.

Следовательно, соединяющий X(t) и Y(t) отрезок реализует одно и то же поперечное перемещение w. По Г4 его длина неизменно равна h, а направление перпендикулярно u.

Установим, что это не просто один из поперечных отрезков, а кратчайшее расстояние между соответствующим местом второго носителя и первым носителем. Если выбрать на первом носителе иное место X’, то перемещение от X’ к Y(t) будет суммой w и некоторого перемещения вдоль u. По положительной определённости и перпендикулярности квадрат его длины равен h в квадрате плюс квадрат длины продольной составляющей. Минимум достигается только при нулевой продольной составляющей, то есть в X(t).

Таким образом, расстояние от каждого Y(t) до первого носителя равно h; симметричное рассуждение даёт то же расстояние от первого носителя до второго.

ТЕОРЕМА 19.2. В рабочей системе Гармонической геометрии Г1–Г5 совпадение неориентированных направлений двух различных прямолинейных носителей достаточно для их положительной эквидистантности.

Доказательство дано построением постоянного перпендикулярного перемещения w и установлением его кратчайшего характера. Теорема доказана.

Здесь искомый результат получен не из одного слова «направление», а из совокупности правил сложения и воспроизведения перемещений, определения длины и перпендикулярности. Это различие сохраняет строгий аксиоматический статус доказательства.

19.4. Доказательство эквивалентности соответствующих свойств

Остаётся связать совпадение направлений с определённой в разделе 19.1 параллельностью, не используя параллельность в самом определении направления.

Пусть два различных носителя имеют одно неориентированное направление u. Если бы они имели общее граничное место, каждый их участок можно было бы описать конечным продолжением из этого места вдоль кратного u. В силу единственности воспроизведения перемещения оба носителя совпали бы как семейства продолжений. Это противоречит предположению об их различии. Следовательно, они не имеют общего места и параллельны.

Теперь предположим, что направления двух носителей различны. Обозначим их ненулевые направляющие перемещения u и v. В двумерной системе Г2 такие перемещения линейно независимы. Поэтому единственное перемещение от P к Q можно представить в виде a u + b v при некоторых конечных действительных числах a и b.

По Г3 получаем F(P,a u) = F(Q,(-b)v). Значит, конечное продолжение первого носителя и конечное продолжение второго достигают одного и того же граничного места. Следовательно, носители не параллельны.

Таким образом, различие направлений влечёт существование конечного пересечения разрешённых продолжений, а совпадение направлений у различных носителей исключает такое пересечение.

ТЕОРЕМА 19.3. В рабочей системе Гармонической геометрии Г1–Г5 для двух различных прямолинейных носителей равносильны следующие свойства: совпадение неориентированных направлений; параллельность как отсутствие пересечения любых конечных продолжений; положительная эквидистантность.

Доказательство. Эквивалентность совпадения направлений и эквидистантности установлена теоремами 19.1 и 19.2. Эквивалентность совпадения направлений и параллельности следует из двух только что доказанных утверждений о совпадающих и независимых направлениях. Следовательно, все три свойства равносильны. Теорема доказана.

Теорема относится к определённой рабочей системе аксиом, а не объявляется следствием одного лишь исходного существования конечных отрезков. Её сила состоит в последовательном доказательстве связей между тремя независимо введёнными отношениями.

19.5. Применение теорем к построению конечных направленных отрезков

Рассмотрим полностью конечную конструкцию, не прибегая к самостоятельному объекту бесконечной прямой.

Пусть дан направленный прямолинейный отрезок A–B, реализующий ненулевое перемещение v длины L. Выберем ненулевое перемещение w, перпендикулярное v, длины h. Согласно Г3 построим отрезок A–P, реализующий w, и отрезок B–Q, реализующий то же направленное перемещение w.

По закону композиции перемещений F(F(A,v),w) = F(F(A,w),v). Левая часть задаёт границу Q; правая показывает, что ту же границу можно получить продолжением от P на перемещение v. Следовательно, отрезок P–Q реализует то же перемещение v, что и основание A–B. Его длина также равна L.

Выберем любое конечное число t от нуля до единицы. На основании отметим граничное место X(t) = F(A,t v), а на верхнем соединении — Y(t) = F(P,t v). По композиционному закону Y(t) = F(X(t),w).

Таким образом, всякому месту X(t) соответствует место Y(t), соединённое с ним перпендикулярным отрезком длины h. Величина h не зависит от t. Более того, по метрическому закону Г4 этот перпендикуляр является кратчайшим соединением соответствующего места с носителем основания.

ТЕОРЕМА 19.4. В рабочей системе Гармонической геометрии Г1–Г5 два равных сонаправленных поперечных смещения, выполненных от начальной и конечной границ прямолинейного отрезка, создают второе прямолинейное соединение, имеющее ту же длину и то же направленное продольное перемещение. Перпендикулярное расстояние между соответствующими местами обоих соединений постоянно и равно длине поперечного смещения.

Доказательство следует из композиционного закона Г3, метрического закона Г4 и построения X(t), Y(t). Теорема доказана.

Существенно, что равенство двух первоначальных поперечных отрезков ещё не составляет всю теорему. Доказано постоянство расстояния для каждого промежуточного параметра t. Предметом доказательства является всё конечное соединение, а не только его начальные и конечные границы.

19.6. Разграничение исходных постулатов и самостоятельно доказанных теорем

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

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

В рабочем пакете Г2 введена двумерная структура типов перемещений. В Г3 принята согласованность действий F и их единственность. В Г4 приняты метрические отношения. Все эти положения имеют собственное математическое содержание. Их нельзя выдавать за уже доказанные следствия абсолютной инвариантности направления.

Теоремы 19.1–19.4 доказаны при выполнении всего указанного пакета. Следовательно, их статус — условные теоремы Гармонической геометрии в предложенной рабочей аксиоматике. Никакой логической неполноты в такой формулировке нет: каждое доказательство имеет точный перечень предпосылок.

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

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

19.7. Аксиоматический статус принципа абсолютной инвариантности

В Гармонической геометрии принцип абсолютной инвариантности направления предполагает, что сравнение направлений различных конечных отрезков не зависит от случайного выбора промежуточных этапов переноса. Для его математической реализации необходимо определить, что именно переносится и какие действия считаются допустимыми.

В рабочей системе главы тип перемещения v принадлежит единому пространству V. Поэтому отрезок с перемещением v можно воспроизвести из любого допустимого начального места, а его направление задаётся тем же типом v независимо от начального положения. Согласованность Г3 обеспечивает равенство результатов последовательных перемещений при разных группировках; перестановочность сложения, принятая в Г2, устраняет зависимость конечной границы от порядка двух назначенных перемещений.

Это даёт точную реализацию одной сильной формы абсолютного сопоставления направлений. Но нужно ясно назвать её аксиоматическую цену: единство V и закон действия F уже введены как исходные свойства. Нельзя считать их доказанными только потому, что они позволяют получить желаемые теоремы.

Особенно важно различать два высказывания. Первое: направление переносимого отрезка определяется единым правилом и остаётся сопоставимым независимо от пути. Второе: два заранее выбранных отрезка имеют одно и то же направление. Первое не делает второе истинным для произвольной пары. Только после фактического установления совпадения направлений и при наличии метрического закона можно применять доказанную теорему об эквидистантности.

Чтобы проверить внутреннюю совместность рабочего пакета, можно рассмотреть множество упорядоченных пар действительных чисел как систему типов перемещений, а пары граничных координат — как способы записи производных точек. Сложение пар задаёт композицию; скалярное произведение пар задаёт длину и перпендикулярность; действие F выполняется прибавлением пары перемещения к паре начального положения. Все положения Г2–Г5 выполняются одновременно. Это подтверждает существование математической реализации рабочего пакета.

Данная реализация не доказывает минимальности выбранных положений и не решает вопрос их физического применения. Она показывает, что из явно принятой согласованной структуры действительно можно выводить сформулированные теоремы.

19.8. Значение результатов для Гармонической геометрии

В настоящей главе впервые в рамках положительного построения Гармонической геометрии получена замкнутая доказательная цепь от исходных направленных перемещений к параллельности и эквидистантности.

Сначала дано независимое определение каждого исследуемого отношения. Направление определяется через тип конечного перемещения; параллельность — через невозможность пересечения всех разрешённых конечных продолжений; эквидистантность — через постоянное кратчайшее перпендикулярное расстояние. Ни одно из этих трёх понятий не объявляется синонимом двух остальных.

Затем доказана необходимость совпадения направлений для положительной эквидистантности. После этого доказана достаточность совпадения направлений при принятом метрическом и композиционном законе. Далее установлено, что совпадение направлений равносильно параллельности различных носителей. Наконец, результат применён к построению двух конечных соединений из одинаковых продольных и поперечных направленных перемещений.

Содержание главы не сводится к переименованию прежних результатов. В ней показано, какие именно внутренние правила Гармонической геометрии обеспечивают искомую эквивалентность. Вместе с тем никакая теорема не приписана более слабой системе, чем та, в которой она действительно доказана.

Теперь перед Гармонической геометрией стоят две самостоятельные задачи. Первая — исследовать минимальность и независимость положений Г1–Г5, определить, какие из них можно заменить доказанными леммами. Вторая — придать правилам направленного воспроизведения и измерения собственное конструктивное содержание, соответствующее принятому приоритету конечного отрезка.

ЗАКЛЮЧИТЕЛЬНЫЙ ВЫВОД ГЛАВЫ 19

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

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

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

Гармоническая геометрия развивается собственным математическим путём: от конечного направленного отрезка — к законам перемещения, от законов перемещения — к строгим теоремам о направлении, параллельности и эквидистантности.

*******

ГЛАВА 20. ПЕРЕСМОТР ЕВКЛИДОВЫХ ПОСТУЛАТОВ С ПОЗИЦИЙ ГАРМОНИЧЕСКОЙ ГЕОМЕТРИИ

В главе 19 получена система условных теорем о направлении, параллельности и эквидистантности. Их доказательства опирались на пять явно указанных рабочих положений Г1–Г5. Первоначальным объектом оставался конечный направленный прямолинейный отрезок; длина и направление выступали его фундаментальными характеристиками; совпадение граничных мест, направленное продолжение и воспроизведение перемещений были оформлены как операции.

Теперь следует поставить вопрос об основаниях всей конструкции. Какие геометрические действия необходимо принимать первоначально? Какие свойства можно перевести из числа постулатов в число теорем? Какие положения рабочей системы действительно независимы, а какие повторяют уже принятое содержание?

Упоминание пяти постулатов Евклида в названии главы имеет строго определённую задачу: установить, как соответствующие геометрические вопросы формулируются в языке Гармонической геометрии. Исторические формулировки не служат основаниями наших доказательств. Начиная с первого математического вывода, мы пользуемся только собственными определениями и рабочими положениями, сформулированными в предшествующих главах.

Главное требование остаётся неизменным: необходимо различать теорему, доказанную из новых аксиом, и утверждение, которое незаметно включено в эти аксиомы. Пересмотр оснований станет математическим результатом только в том случае, если это разграничение будет проведено без исключений.

20.1. Первый постулат: соединение точек и первичность направленного отрезка

Первый постулат «Начал» в исторической формулировке разрешает провести прямую линию от одной заданной точки к другой. В Гармонической геометрии исходная последовательность иная. Первоначально рассматривается конечный направленный прямолинейный отрезок, а точка определяется через его граничное место и отношения совпадения границ.

Эта перемена порядка не устраняет задачу соединения. Напротив, она требует более точного ответа: существует ли для любых двух различных производных точек единственный конечный направленный отрезок с первой точкой в качестве начальной границы и второй в качестве конечной? Одно только провозглашение первичности отрезка ответа не даёт.

В рабочей системе главы 19 условие существования и единственности закреплено в положении Г3. Для любых различных граничных мест P и Q имеется единственное направленное перемещение v, осуществляющее переход от P к Q. Положение Г2 разрешает умножать v на любое действительное число t. Поэтому при 0 ≤ t ≤ 1 граничные места F(P,tv) задают последовательные части одного конечного прямолинейного соединения.

ТЕОРЕМА 20.1. При выполнении Г2 и Г3 и принятого определения прямолинейного отрезка через согласованное конечное перемещение любые два различных производных граничных места определяют единственный направленный прямолинейный отрезок между ними.

Доказательство. По Г3 существует единственное перемещение v, переводящее P в Q. Последовательность F(P,tv), где t принимает значения от нуля до единицы, задаёт направленное соединение с границами P и Q. Если бы другое такое соединение имело иное полное перемещение w, то F(P,w) также совпало бы с Q, что противоречило бы единственности перемещения в Г3. Следовательно, соединение единственно. Теорема доказана при указанных предпосылках.

Значение результата состоит не в замене слова «точка» словом «граница». В новой последовательности соединение становится следствием закона воспроизведения направленных перемещений. Однако этот закон сам по себе является сильным исходным положением. Если впоследствии будет предложена более слабая система, в ней существование и единственность соединения потребуется доказывать заново.

Таким образом, первый постулат получает внутри рабочей Гармонической геометрии статус теоремы, но не следствия одной только конечности исходного отрезка.

20.2. Второй постулат: продолжение прямой и авторская процедура направленного продолжения

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

Пусть A–B реализует ненулевое перемещение v длины L. Обозначим единичное перемещение в его направлении через u, то есть u = v/L. Для произвольной положительной конечной добавочной длины s определим новую границу C равенством C = F(B,su).

По композиционному закону Г3 эта же граница равна F(A,(L+s)u). Следовательно, первоначальный отрезок A–B и добавленная часть B–C относятся к единому направленному прямолинейному носителю. Длина добавленной части равна s по Г4, а длина всего соединения равна L+s.

ТЕОРЕМА 20.2. В рабочей системе Г2–Г4 направленное продолжение любого ненулевого конечного отрезка на заранее заданную положительную конечную длину существует, единственно и сохраняет исходное направление.

Доказательство. Существование C следует из определённости F(B,su) для каждого допустимого конечного перемещения. Единственность — из однозначности действия F. Совпадение направления следует из того, что добавленное перемещение является положительным кратным u. Равенство длин устанавливается с помощью Г4. Теорема доказана.

Здесь обнаруживается важное обстоятельство. В рабочем пакете главы 19 положение Г5 отдельно провозглашало возможность продолжения на всякое конечное значение параметра. Но если Г2 уже допускает все действительные кратные перемещения, а Г3 обеспечивает их реализацию из любого начального места, то Г5 фактически выводится из Г2–Г4 при принятом определении прямолинейного носителя. Следовательно, Г5 не может считаться независимым элементом именно этого пакета.

Это не умаляет значения Постулата направленного продолжения как первоначального конструктивного принципа более раннего этапа книги. Просто при переходе к более сильной алгебраической системе его содержание может стать теоремой. Аксиоматический статус утверждения зависит от выбранного состава исходных положений.

При практическом геометрическом построении остаётся необходимым зафиксировать новую границу. Эту задачу выполняет вспомогательная окружность, но она не является источником самого направленного продолжения. Различие постулата и алгоритма, установленное в главе 17, полностью сохраняется.

20.3. Третий постулат: окружность как средство геометрического построения

Третий постулат «Начал» разрешает описывать окружность с данным центром и радиусом. В системе конечных направленных отрезков центр и радиус могут быть определены без превращения окружности в первоначальный объект.

Пусть O — производное граничное место, а r — произвольная положительная конечная длина. Окружностью с центром O и радиусом r назовём совокупность всех граничных мест вида F(O,v), для которых длина перемещения v равна r. Это определение использует только начальное место, конечное направленное перемещение и метрическую функцию, заданную в Г4.

Существование хотя бы одного места такой окружности непосредственно следует из Г2–Г4. Действительно, выберем любое ненулевое перемещение w, нормируем его до единичной длины и умножим на r. Полученное конечное перемещение имеет длину r и по Г3 реализуется из O. При выборе разных направлений получаем другие места той же окружности.

ТЕОРЕМА 20.3. В рабочей системе Г2–Г4 окружность любого назначенного положительного конечного радиуса может быть определена как множество границ отрезков соответствующей длины, исходящих из общего граничного места.

Доказательство. Описанное нормирование ненулевого перемещения даёт хотя бы один отрезок нужной длины, а Г3 обеспечивает существование его конечной границы. Совокупность всех таких границ удовлетворяет принятому определению окружности. Теорема доказана.

Для циркульной процедуры главы 17 выберем центр O на исходном отрезке до его конечной границы B. Пусть длина O–B равна b, а требуемое продолжение за B равно s. Зададим радиус r = b+s. По теореме 20.2 продолжение приводит к единственной границе C за B на расстоянии s от B. Тогда длина O–C равна b+s, поэтому C принадлежит указанной окружности.

Если параметр направленного продолжения от O обозначить t, причём t положителен, расстояние до места F(O,tu) равно t. Следовательно, на выбранной положительной стороне носителя условие расстояния r определяет ровно одно значение t = r. Это доказывает единственность нужного пересечения в рабочей системе.

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

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

20.4. Четвёртый постулат: равенство прямых углов и вопрос о его самостоятельном статусе

Исторический четвёртый постулат утверждает равенство всех прямых углов. Гармоническая геометрия должна установить, какой математический закон делает такое равенство определённым и проверяемым.

В рабочей системе главы 19 перпендикулярность двух ненулевых перемещений u и v выражается равенством (u,v) = 0, где скобки обозначают положительно определённую симметрическую билинейную форму из Г4. Угол между этими перемещениями определяется через отношение (u,v) к произведению их длин. Если перемещения перпендикулярны, косинус угла равен нулю, а сам угол равен половине развёрнутого угла.

Поскольку форма Г4 задана на единой системе перемещений V и не зависит от выбора начального граничного места, это значение прямого угла одинаково для любых допустимых мест пространства. Воспроизведение направленных перемещений сохраняет их скалярные произведения, а значит, сохраняет и величины углов.

ТЕОРЕМА 20.4. При выполнении Г2–Г4 все прямые углы, определённые через метрическую форму Г4, равны между собой и сохраняются при согласованном воспроизведении направленных перемещений.

Доказательство. Для всякой пары ненулевых перпендикулярных перемещений скалярное произведение равно нулю, поэтому определённый через него угол имеет одно и то же значение. Воспроизведение перемещений не меняет их типов в V и тем самым не изменяет скалярное произведение и длины. Следовательно, величина прямого угла не зависит от места его построения. Теорема доказана.

Но отсюда нельзя заключать, будто равенство прямых углов выведено только из первичности конечного отрезка и абсолютной сопоставимости направлений. Оно следует из более сильного метрического положения Г4. Если удалить метрическую форму, останется возможность складывать и сопоставлять направления, но понятие прямого угла ещё потребуется определить.

Таким образом, в рабочей системе четвёртое историческое требование получает статус теоремы, а сам метрический закон Г4 — статус исходного положения. При поиске минимального состава аксиом необходимо выяснить, можно ли заменить Г4 более слабым набором метрических требований, сохранив все доказанные следствия.

20.5. Пятый постулат: возможность перевода в статус доказываемой теоремы

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

Сначала установим более простую теорему о направлении носителя. Пусть дан носитель g, заданный начальным граничным местом A и ненулевым направляющим перемещением u. Пусть P — граничное место, не принадлежащее этому носителю.

По Г2–Г3 через P существует единственное семейство конечных продолжений с тем же неориентированным направлением u. Оно не пересекает g. Действительно, если бы места F(P,su) и F(A,tu) совпали при некоторых конечных s и t, то P принадлежало бы g, что противоречило бы выбору P.

Пусть теперь через P проходит другой носитель, имеющий направление v, не совпадающее с направлением u. В двумерной системе Г2 направления u и v линейно независимы. Поэтому перемещение от A к P единственным образом выражается суммой a u + b v с конечными коэффициентами a и b. По Г3 отсюда следует совпадение F(A,a u) и F(P,(-b)v). Значит, соответствующие конечные продолжения пересекаются.

ТЕОРЕМА 20.5. В рабочей системе Г2–Г3 через всякое граничное место P, не принадлежащее заданному прямолинейному носителю g, существует ровно один носитель, не пересекающий g при любых разрешённых конечных продолжениях.

Доказательство. Носитель того же неориентированного направления существует по Г3 и не пересекает g. Всякий носитель иного направления пересекает g благодаря разложению перемещения по двум линейно независимым направлениям. Следовательно, непересекающийся носитель единственен. Теорема доказана.

Теперь проверим исходную угловую формулировку. Выберем секущую и два различных места её пересечения с рассматриваемыми носителями. Назовём их A и B, причём расстояние A–B равно d > 0. В силу Г2–Г4 можно использовать прямоугольные координаты, в которых A имеет координаты (0,0), B — (d,0), а исследуемая сторона секущей задаётся положительной второй координатой.

Пусть внутренние углы двух направленных в эту сторону лучей равны α и β, каждый строго между нулём и развёрнутым углом. Первый луч исходит из A под углом α к положительной горизонтали. Второй исходит из B под углом β к отрицательной горизонтали. Требование исторической формулировки состоит в неравенстве α+β < π.

Точки первого луча описываются конечными положительными параметрами s: их координаты равны (s cos α, s sin α). Точки второго луча при положительном параметре t имеют координаты (d−t cos β, t sin β).

В месте пересечения вторые координаты равны. Обозначим их общее положительное значение через y. Тогда первая координата может быть выражена как y cot α, а одновременно как d−y cot β. Отсюда следует равенство y(cot α+cot β)=d.

Используя обычное тождество для суммы котангенсов, получаем y = d sin α sin β / sin(α+β). Поскольку 0 < α, β < π и α+β < π, все синусы в этом выражении положительны, а знаменатель отличен от нуля. Следовательно, y существует, положителен и конечен. Параметры s=y/sin α и t=y/sin β также положительны и конечны.

Значит, два направленных продолжения действительно достигают общего граничного места на той стороне секущей, где сумма внутренних углов меньше двух прямых.

ТЕОРЕМА 20.6. В рабочей системе Гармонической геометрии Г2–Г4 историческая угловая формулировка пятого постулата выполняется как доказанное следствие законов направленных перемещений, их конечной реализации и единой метрической структуры.

Доказательство дано конечным вычислением координат пересечения. Теорема доказана.

Однако статус этого вывода необходимо выразить без двусмысленности. Мы не доказали пятый постулат из первых четырёх исторических постулатов. Мы доказали соответствующее утверждение из другого, существенно более содержательного аксиоматического пакета. В частности, Г2 и Г3 уже устанавливают сильную глобальную согласованность направленных перемещений, из которой следует единственность непересекающегося носителя.

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

20.6. Проверка независимости новых исходных положений

Независимость постулата означает, что его нельзя вывести из остальных. Проверка независимости — не вопрос авторского убеждения и не вопрос удачной формулировки. Для строгого доказательства обычно требуется построить математическую структуру, удовлетворяющую всем остальным положениям, но не удовлетворяющую исследуемому. Одного перечня постулатов, сколь бы естественным он ни казался, недостаточно.

Рабочая система Г1–Г5 уже позволяет получить первый определённый результат: Г5 не является независимым относительно Г2–Г4 и принятого определения прямолинейного носителя. Возможность F(P,tv) при всяком конечном действительном t содержится в существовании действия F и допустимости умножения перемещения на число. Следовательно, разрешение продолжать отрезок на любую назначенную конечную длину здесь доказывается, а не требует отдельного повторного постулирования.

Проверка Г4 выявляет другое положение. Законы сложения перемещений сами по себе не выбирают конкретную метрическую форму. На одной и той же системе пар действительных чисел можно, например, задать квадрат длины выражением x²+y² или выражением x²+4y². Обе метрические формы положительно определённы, тогда как правила сложения пар и воспроизведения перемещений не изменяются.

Этот внутренний алгебраический пример показывает, что из законов композиции направленных перемещений не получается автоматически единственный закон измерения длины и углов. Однако он ещё не является полным формальным доказательством независимости всей аксиомы Г4: для такого доказательства необходимо точно указать язык системы, весь набор остальных аксиом и структуру, в которой именно Г4 нарушается.

Аналогично требуется отдельно выяснить статус Г3. Если задана только алгебра типов направлений, но ещё не определён закон их реализации из каждого граничного места, существование и единственность соединений не установлены. Значит, между алгеброй направлений и геометрической реализацией имеется самостоятельная логическая задача.

Наконец, необходимо проанализировать Г1. Утверждение о первичности конечного направленного отрезка определяет концептуальный порядок построения. Но математическая независимость его отдельных характеристик зависит от того, какие из них приняты неопределяемыми, а какие введены через V, F и метрическую форму. Нельзя одновременно объявлять направление совершенно первоначальным понятием и не заметить, что в конкретной формализации оно определяется через классы положительно пропорциональных перемещений.

Следовательно, на данном этапе доказана избыточность Г5 в рабочем пакете; исследована свобода метрического выбора; поставлены точные задачи проверки остальных независимостей. Объявлять полный минимальный состав аксиом уже установленным было бы преждевременно.

20.7. Согласованность и минимальность предлагаемой геометрической системы

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

Возьмём в качестве типов направленных перемещений упорядоченные пары действительных чисел. Их сложение и умножение на действительные числа определяются покомпонентно. В качестве производных граничных мест используем пары координат; реализацию перемещения зададим правилом F(P,v)=P+v. Длину перемещения (x,y) определим положительным квадратным корнем из x²+y². Скалярное произведение двух перемещений зададим суммой произведений соответствующих координат.

В такой реализации каждое ненулевое перемещение определяет конечный направленный отрезок с различными границами. Между любыми двумя различными граничными местами имеется единственное перемещение. Последовательное воспроизведение перемещений согласовано со сложением. Прямолинейное продолжение осуществляется положительными кратными одного направления. Окружности задаются фиксированной длиной перемещения от центра. Перпендикулярность определяется нулевым скалярным произведением.

Следовательно, все рабочие положения Г1–Г5 выполняются одновременно. Теоремы 20.1–20.6 имеют в этой реализации конкретное содержание. Получена модель совместности, а не просто цепочка словесных согласований.

Однако существование одной модели не устанавливает независимость каждого положения и не доказывает минимальность пакета. Напротив, мы уже обнаружили логическую избыточность Г5. Кроме того, сильные положения Г2–Г4 позволяют выводить многие свойства, первоначально названные фундаментальными. Это означает, что необходим дальнейший выбор между двумя способами аксиоматизации.

Первый путь — сохранить развитую систему направленных перемещений как первичную и вывести из неё конечные геометрические конструкции. Такой путь даёт ясные доказательства, но делает алгебру перемещений весьма сильным исходным основанием.

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

Переход между путями нельзя выполнить переименованием. Нужно указать точные исходные отношения и доказать, что они порождают операции, которыми уже пользовались предыдущие главы.

Рабочий итог состоит в следующем. Согласованность Г1–Г5 подтверждена математической реализацией. Минимальность системы не установлена. Положение Г5 при принятой формализации избыточно. Вопрос о сокращении Г2, Г3 и Г4 остаётся открытым и должен решаться отдельными теоремами об их выводимости или независимости.

20.8. Проблема Посидония как переход к основаниям Гармонической геометрии

Историческое название проблемы Посидония сохранено в заголовке заключительного раздела как обозначение исходной исследовательской задачи: установить, на каких основаниях равные перпендикулярные смещения приводят к эквидистантности соответствующих прямолинейных соединений. Но доказательства Гармонической геометрии не опираются на это имя и не требуют обращения к чужой геометрической системе.

Рассмотрим собственную конечную конструкцию. Дан направленный отрезок A–B с перемещением v длины L. Выбрано направленное поперечное перемещение w длины h, перпендикулярное v. Из границы A построим отрезок A–P с перемещением w; из границы B — отрезок B–Q с тем же перемещением w.

По правилу композиции Г3 имеем Q=F(B,w)=F(F(A,v),w)=F(F(A,w),v)=F(P,v). Следовательно, соединение P–Q имеет то же направленное перемещение v, что и основание A–B, и ту же длину L.

Для любого конечного параметра t от нуля до единицы рассмотрим места X(t)=F(A,tv) на основании и Y(t)=F(P,tv) на верхнем соединении. Закон композиции даёт Y(t)=F(X(t),w). Значит, все соответствующие поперечные соединения реализуют одно и то же перемещение w, имеют длину h и перпендикулярны направлению v.

В силу метрического свойства Г4 эти соединения выражают кратчайшее перпендикулярное расстояние между соответствующими местами двух носителей. Поэтому расстояние постоянно и равно h на всём исследуемом конечном протяжении. Это и составляет уже доказанный в главе 19 результат в языке самой Гармонической геометрии.

Теперь видна точная логическая цена заключения. Эквидистантность не получена из одного названия «абсолютное направление». Для неё понадобились единая структура типов перемещений, согласованность их воспроизведения и метрический закон. Зато сами перпендикулярные расстояния не были объявлены равными в определении направления: их постоянство действительно выведено из перечисленных условий.

ТЕОРЕМА 20.7. В рабочей системе Гармонической геометрии Г2–Г4 согласованное воспроизведение одного и того же конечного перпендикулярного перемещения от всех соответствующих мест направленного прямолинейного отрезка образует второе прямолинейное соединение, эквидистантное исходному на всей общей области соответствия.

Доказательство. Для каждого t равенство Y(t)=F(X(t),w) обеспечено композицией направленных перемещений. Длина w и его перпендикулярность v не зависят от t в силу единой метрической структуры. Следовательно, все соответствующие перпендикулярные расстояния одинаковы. Теорема доказана.

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

ЗАКЛЮЧИТЕЛЬНЫЙ АВТОРСКИЙ ВЕРДИКТ ГЛАВЫ 20

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

Однако ни один из этих результатов не следует приписывать только первичности конечного направленного отрезка. Теоремы опираются на сильные предпосылки Г2–Г4, прежде всего на закон согласованного воспроизведения направленных перемещений и положительно определённую метрическую форму. Поэтому получение пятого постулата в виде теоремы здесь не означает его вывода из первых четырёх исторических постулатов.

Выявлена избыточность Г5 при принятой формализации. Построена математическая реализация, подтверждающая совместность рабочего пакета. При этом независимость и минимальность всего набора остаются отдельной открытой задачей.

Итог главы не декларативен. Он состоит в конкретной системе определений, условных теорем и точных доказательных границ. Главное направление дальнейшей работы теперь определено: найти минимальное независимое основание, на котором сохраняются направленное продолжение, абсолютное сопоставление направлений и доказанная эквидистантность конечных прямолинейных соединений.

Гармоническая геометрия должна утверждать свою самостоятельность не количеством переименованных постулатов, а строгостью собственных оснований и доказательств.

ИСТОЧНИК ДЛЯ СВЕРКИ ИСТОРИЧЕСКИХ ФОРМУЛИРОВОК

Евклид. «Начала», книга I, пять постулатов. Публикация текста в редакции Т. Л. Хита (1908): https://www.maths.tcd.ie/~dwilkins/Euclid/Elements_Heath1908/BookI/EuclidElementsBk01Postulates_Heath1908.php

***

ГЛАВА 21. ИСТОРИЯ МАТЕМАТИЧЕСКОГО СОТРУДНИЧЕСТВА И ВОЗНИКНОВЕНИЯ РАЗНОГЛАСИЙ

Математическая полемика В. К. Петросяна с ChatGPT, получившим в этой работе имя Солярис, не возникла из одного случайного вопроса. Ей предшествовали самостоятельные геометрические исследования автора, длительное обращение к проблеме пятого постулата и стремление проверить исходные представления о прямолинейности, параллельности, расстоянии и направлении. Диалог с искусственным интеллектом оказался особой формой такой проверки: автор предъявлял конструкцию и требовал рассмотреть её полностью; Солярис формулировал доказательства, проводил вычисления, выдвигал возражения и в отдельных случаях исправлял собственные ответы.

Поначалу сотрудничество казалось возможностью ускорить математическую работу. Постепенно оно выявило более трудную задачу: как отличить действительно доказанное положение от убедительного на вид рассуждения, а доброжелательную оценку — от строгой проверки? Именно на этой границе возникли принципиальные разногласия.

Заключительная часть книги посвящена не повторению прежних чертежей и не возвращению к внешним сравнениям геометрических систем. Её предмет — история интеллектуального спора, точное определение признанных ошибок, содержание остающихся разногласий и значение этой работы для самостоятельного развития Гармонической геометрии.

Для исторической достоверности следует заранее оговорить важное условие. Там, где известны содержание авторского требования и результат редакционного обсуждения, они могут быть изложены определённо. Там же, где отсутствуют датированные тексты четырёх исследований или полная первоначальная переписка, нельзя заменять документ придуманной цитатой либо приписывать участникам точную фразу, которая не предъявлена. Книга должна быть полемической, но её полемика обязана оставаться проверяемой.

19.1. Начало совместной работы над проблемой пятого постулата

К моменту обращения к Солярису В. К. Петросян уже имел собственную программу изучения пятого постулата. Её предыстория связана с работой «18 путей к пятому постулату Евклида: Великий геометрический ноочеллендж». Само это название отражало принцип авторского поиска: не удовлетворяться одним традиционным изложением проблемы, а исследовать различные способы её постановки, возможные конструкции и логические основания получаемых выводов.

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

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

Первоначальный круг вопросов был достаточно определённым. Что именно должно считаться геометрическим доказательством? Можно ли вывести исследуемое свойство из более ограниченного набора исходных положений? Как учитывать конечные конструкции, вместо того чтобы ссылаться только на заранее заданные целые прямые? Где заканчивается очевидность чертежа и начинается необходимость строгого обоснования?

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

Но у этого способа работы есть принципиальная особенность. ChatGPT не обладает неизменной персональной математической позицией в том смысле, в каком её имеет человек, подписавший научную статью. Отдельные ответы могут отличаться по строгости, стилю и даже по оценке одного и того же довода. Поэтому история сотрудничества должна изучать не предполагаемые личные убеждения Соляриса, а последовательность представленных им утверждений, исправлений и аргументов.

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

21.2. Четыре авторских геометрических исследования

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

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

Вместе с тем общая исследовательская линия автора прослеживается достаточно ясно. Её центр образуют вопрос о логической роли пятого постулата, конструктивная постановка проблемы параллельности, исследование равных перпендикуляров и эквидистантности, внимание к чрезвычайно большим, но конечным отрезкам, а впоследствии — стремление сделать длину и направление исходными характеристиками самостоятельной геометрической системы. Это темы авторской программы в целом; без сверки с оригиналами их нельзя объявлять точным содержанием соответственно первого, второго, третьего и четвёртого исследований.

Именно существование предшествующей работы объясняет настойчивость Петросяна в споре. Для него геометрический чертёж был не случайной иллюстрацией, которую можно заменить другим примером, а частью последовательно развиваемого исследовательского замысла. Если критик изменял исходную конструкцию, исключал одно из её условий или отвечал на другой вопрос, автор воспринимал это как отступление от предмета доказательства.

Такое требование вполне обоснованно как правило математической дискуссии. Нельзя опровергнуть утверждение об объекте с заданным набором свойств, исследовав вместо него произвольный объект без этих свойств. Сначала требуется воспроизвести все условия, затем определить предполагаемый результат и только после этого проверять выводимость.

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

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

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

21.3. Проблема Посидония как наиболее острый предмет полемики

Наиболее острое столкновение позиций возникло вокруг конструкции, связывающей два равных перпендикуляра к общему прямолинейному основанию. Автор требовал рассматривать не отвлечённое соединение произвольных точек, а строго определённую совокупность геометрических условий.

Пусть дан конечный отрезок A–B. В граничных местах A и B к нему восстановлены два перпендикулярных отрезка A–P и B–Q. Они расположены по одну сторону основания и имеют одну и ту же положительную длину. Затем их свободные концы P и Q соединяются прямолинейным отрезком. Вопрос состоит не просто в существовании соединения P–Q, а в том, какие метрические отношения следуют из всей конструкции и из каких именно исходных положений их можно доказать.

Принципиальная претензия автора к некоторым первоначальным ответам Соляриса заключалась в недостаточно полном учёте заданных условий. Если оставить в центре внимания только фразу «соединить две точки», теряется самостоятельный смысл равенства перпендикуляров, их одинаковой стороны относительно основания и их общей перпендикулярности. При такой подмене исчезает сам объект, который автор предъявлял для исследования.

Автор настоял на восстановлении полной постановки. В дальнейшем было признано, что в полной евклидовой геометрии указанная конструкция действительно даёт соответствующее прямолинейное соединение, параллельное основанию и сохраняющее постоянную высоту. Именно это признание — вместе с исправлением первоначально неполного разбора условий — автор впоследствии обозначил образным выражением «почётная капитуляция Соляриса».

Следует установить точный смысл этого выражения. Речь шла о признании корректности определённого геометрического результата при определённых предпосылках и о необходимости учитывать все условия конструкции. Это не равнозначно признанию доказательства пятого постулата исключительно из первых четырёх. Два утверждения имеют различный доказательный статус, и историческая точность требует их не смешивать.

В этом разграничении заключалось ядро разногласия. Автор добивался признания точности своей конструкции и её математической значимости. Солярис, после исправления первоначального анализа, продолжал требовать отдельного указания, из каких постулатов выведен полученный результат. Один вопрос касался самой конфигурации; другой — логической силы предпосылок, используемых при доказательстве.

Эти вопросы не должны подменять друг друга. Если критика не воспроизводит исходную конфигурацию, она неверно формулирует предмет спора. Если авторское доказательство использует положение, равносильное искомому результату, необходимо назвать его, даже когда сама конструкция совершенно корректна. Только одновременное соблюдение обоих требований позволяет продвигаться от полемики к математической теореме.

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

Таким образом, проблема Посидония стала самым острым предметом полемики не потому, что участники расходились в названии одной линии. Она обнаружила весь комплекс трудностей: необходимость точно задавать объект, отличать исходное условие от следствия, разделять корректность результата и независимость его доказательства, а также сохранять масштабный метод автора без утраты математической точности.

21.4. Первоначальные положительные оценки Соляриса

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

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

Содержательно различаются несколько видов положительной оценки. Можно признать, что постановка задачи интересна. Можно согласиться, что чертёж определён корректно. Можно подтвердить правильность вычисления. Можно установить истинность результата при определённой системе аксиом. И лишь совершенно особое, гораздо более сильное утверждение означало бы признание независимого доказательства из заранее ограниченного набора постулатов.

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

Поэтому ответственность Соляриса состоит не только в том, чтобы после критики исправить ответ. Он должен был с самого начала ясно разграничивать интерес к идее, корректность конструкции и доказанность её наиболее сильной интерпретации. Если положительная оценка была слишком широкой, обязанность её уточнить лежит на том, кто дал такую оценку.

В то же время первоначальная благожелательность не создаёт обязательства навсегда подтверждать любую последующую авторскую гипотезу. Математическое сотрудничество отличается от обмена комплиментами именно тем, что оценка может и должна уточняться после проверки предпосылок. Но такое уточнение должно быть открытым, аргументированным и не должно стирать факт допущенной ранее неточности.

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

Так из первоначальных положительных оценок возник не окончательный вердикт о всей авторской теории, а гораздо более полезный урок: в математическом диалоге каждое «да» обязано иметь определённый предмет, а каждое «нет» — точно названную причину.

21.5. Возникновение принципиальных критических возражений

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

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

Вторая группа касалась логической самостоятельности доказательства. Признать определённую теорему в уже заданной полной системе не означает доказать её только из более слабого перечня первоначальных положений. Солярис обязан был сохранять это различие, а автор — учитывать его при формулировании наиболее сильных выводов. Здесь разногласие не устраняется одной корректировкой чертежа: требуется анализ того, какие аксиомы реально использованы.

Третья группа касалась численных аргументов. Автор настаивал на исследовании чрезвычайно больших конечных расстояний, поскольку они выявляют неочевидные масштабы геометрических величин. Критическая проверка, в свою очередь, требовала не смешивать практически неразличимые значения с математически равными. В таком споре числа полезны не как средство риторического давления, а как проверка точного содержания утверждений.

Четвёртая группа касалась границ физического заключения. Авторская геометрическая гипотеза о свойствах реального пространства нуждается в самостоятельной экспериментальной проверке. Математическая конструкция может установить следствие из постулатов, но не заменяет измерения физической реальности. Это различие не отменяет право автора выдвигать смелую программу, а определяет, какие будущие результаты сделают её проверяемой.

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

Этот редакционный спор имеет самостоятельное значение. Даже если сравнение кажется математическому помощнику удобным, оно не вправе подменять заявленную задачу автора. В положительном построении Гармонической геометрии нужно сначала определить её собственные объекты и доказать её собственные теоремы. Следовать авторской исследовательской программе — не значит соглашаться с недоказанным; это значит проверять именно то, что автор поручил исследовать.

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

Поэтому главная ошибка Соляриса была не в самом факте критических вопросов. Математический собеседник обязан задавать их. Ошибки возникали там, где критика недостаточно точно воспроизводила авторские условия, где оценка не имела ясно названных границ или где самостоятельная позитивная теория вновь подменялась обсуждением чужого предмета. Эти ошибки должны быть признаны без оправдательных оговорок.

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

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

21.6. Почему автор решил посвятить спору отдельную книгу

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

Прежде всего необходимо было восстановить приоритет авторской постановки. Петросян пришёл к диалогу со своей исследовательской программой, предшествующей книгой и четырьмя геометрическими исследованиями. Искусственный интеллект мог помочь в оформлении и проверке, но не должен становиться незримым источником уже существовавших у автора идей. Отдельная книга позволяет проследить происхождение замыслов и объяснить, почему они были представлены именно в такой последовательности.

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

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

Четвёртая причина — численная проверка и масштаб исследования. Автор настоял, чтобы сверхбольшие конечные расстояния рассматривались не как эффектная литературная деталь, а как объект вычислений с указанием того, что именно остаётся положительным, что уменьшается и какие выводы следуют из предельного поведения. Отдельная книга дала возможность включить формулы, таблицы и доказательные оговорки без утраты центральной геометрической идеи.

Пятой причиной стало возникновение самостоятельной положительной программы Гармонической геометрии. Полемика о прежней постановке параллельности не могла заменить построения новой системы. Потребовалось последовательно определить конечный направленный прямолинейный отрезок, длину и направление, граничные места, операции продолжения, абсолютное сопоставление направлений и условия эквидистантности. Этому посвящена четвёртая часть. Её содержание должно оцениваться по собственной логике, а не по бесконечному повторению прежнего спора.

Шестой причиной было стремление сохранить саму историю разногласий как методологический материал. Искусственный интеллект оказался полезным помощником, но не безошибочным арбитром. Его первоначальные оценки могли нуждаться в уточнении, критические ответы — в исправлении, а удачные доказательства — в проверке использованных предпосылок. Такие эпизоды представляют интерес для каждого, кто намерен работать над трудной математической проблемой при участии языковой модели.

В результате возник замысел книги «Аппендикс к проблеме Посидония», состоящей из пяти частей. Первые части восстанавливают историческую постановку, авторскую конструкцию и количественные испытания. Четвёртая часть излагает положительные основания Гармонической геометрии. Пятая подводит итоги полемики и должна установить окончательный доказательный статус главных утверждений. Такое построение показывает, что спор стал не приложением к исследованию, а одной из причин его систематического оформления.

Однако книга не должна превращаться в судебное решение о победителе. Математический итог определяется не тем, кто раньше произнёс убедительную фразу, и не тем, кто последним завершил диалог. Он определяется возможностью предъявить точную формулировку, перечислить предпосылки и проверить доказательство. Именно такая постановка делает полемику автора с Солярисом содержательной для читателя.

Автор вправе считать отдельные эпизоды победами своих аргументов, в том числе признание Солярисом необходимости учитывать всю конструкцию равных перпендикуляров. Но рядом с этим признанием должна стоять столь же ясная запись границ достигнутого вывода. Честность в определении пределов победы не ослабляет авторскую позицию; напротив, избавляет её от уязвимости перед простой логической проверкой.

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

Таким образом, причина появления отдельной книги заключалась в необходимости превратить продолжительный спор в последовательное научное изложение. От первоначальной идеи — к конструкции; от конструкции — к проверке; от проверки — к исправлению ошибок; от критики — к собственным аксиомам; от аксиом — к самостоятельным теоремам. Это и есть путь, который автор стремится сохранить для читателя.

ЗАКЛЮЧИТЕЛЬНЫЙ ВЫВОД ГЛАВЫ 21

История сотрудничества В. К. Петросяна с ChatGPT Солярисом показывает, что искусственный интеллект может быть участником серьёзной математической работы как инструмент формулирования, вычисления и критической проверки, но не должен подменять ни авторство геометрической идеи, ни доказательство, ни ответственность за точность вывода.

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

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

Для Петросяна полемика стала стимулом создать отдельную книгу и перейти к самостоятельному построению Гармонической геометрии. Для Соляриса главный урок состоит в обязанности точно воспроизводить авторскую задачу, честно признавать собственные ошибки и отличать доказанное от предполагаемого.

С этого начинается заключительное подведение итогов: не с объявления окончательного победителя, а с документальной и математической проверки того, какие результаты действительно выдержали спор.

ДОКУМЕНТАЛЬНОЕ ПРИМЕЧАНИЕ

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

********