Хронология исследований 5 постулата

ХРОНОЛОГИЯ ИССЛЕДОВАНИЙ ПЯТОГО ПОСТУЛАТА ЕВКЛИДА

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

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

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

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

Хронология завершается авторскими исследованиями 1997–2026 годов и первоначальным объявлением Великого геометрического ноочелленджа.

Принципы составления хронологии
При подготовке приложения соблюдаются следующие принципы.

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

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

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

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

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

Для античной и средневековой истории нередко используются приблизительные датировки.

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

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

I. АНТИЧНОСТЬ: ВОЗНИКНОВЕНИЕ И ПЕРВОНАЧАЛЬНЫЕ ИССЛЕДОВАНИЯ ПРОБЛЕМЫ
Хронологическая таблица 1
Дата или период Исследователь Событие и историческое значение
Около 300 года до н. э. Евклид Александрийский Создание «Начал». В первой книге сформулирован пятый постулат, устанавливающий условия пересечения двух прямых при их продолжении.
Около 300 года до н. э. Евклид В предложениях I.27 и I.28 установлены достаточные угловые условия непересекаемости прямых без применения пятого постулата.
Около 300 года до н. э. Евклид В предложении I.29 впервые используется пятый постулат для доказательства угловых свойств параллельных прямых.
Около 300 года до н. э. Евклид В предложении I.46 представлено построение квадрата на заданном отрезке, основанное на ранее доказанных свойствах параллельных прямых и параллелограммов.
I век до н. э. Посидоний (ок. 135–51 до н. э.) С именем Посидония связывается характеристика параллельных прямых посредством постоянства расстояния между ними. Сведения сохранились в более поздней исторической передаче.
II век н. э. Клавдий Птолемей (ок. 100–170) Попытки обоснования пятого постулата. Их содержание известно главным образом по критическому изложению Прокла.
V век н. э. Прокл Диадох (ок. 410–485) Создание комментария к первой книге «Начал» Евклида. Систематическое обсуждение пятого постулата и критика известных попыток его доказательства.
V век н. э. Прокл Рассмотрение отношений между непересекаемостью, сближением, расхождением и параллельностью прямых. Обращение к дополнительным геометрическим предпосылкам.
V–VI века Позднеантичные комментаторы Евклида Продолжение исследований параллельности и сохранение традиции поиска более очевидного основания для пятого постулата.
Основное значение античного этапа
В античной математике сформировались две важнейшие особенности проблемы пятого постулата.

Первая заключается в своеобразном логическом положении постулата внутри системы «Начал».

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

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

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

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

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

Это направление впоследствии стало одной из важнейших исторических предпосылок исследования эквидистантности.

Для настоящей книги оно представляет особый интерес, поскольку непосредственно связано с авторской ноозадачей НЗ-08.

При этом необходимо подчеркнуть, что сведения о Посидонии и Птолемее дошли до нас в неполной форме.

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

II. СРЕДНЕВЕКОВЬЕ: СОХРАНЕНИЕ И РАЗВИТИЕ ЕВКЛИДОВОЙ ПРОБЛЕМАТИКИ
Хронологическая таблица 2
Дата или период Исследователь или традиция Событие и историческое значение
VI век Симпликий и позднеантичные комментаторы Сохранение и передача материалов о попытках доказательства пятого постулата и альтернативных определениях параллельности.
VIII–IX века Математическая традиция исламского мира Переводы и изучение греческого математического наследия, включая «Начала» Евклида.
Первая половина IX века Аль-Джаухари (ал-Джавхари) Исследование теории параллельных и попытка доказательства пятого постулата. Использование дополнительного углового предположения, доказательный статус которого требует самостоятельной проверки.
Около 900 года Ан-Найризи Комментарий к Евклиду, сохранивший материалы более ранней традиции, в том числе сведения о позднеантичных исследованиях параллельности.
X–XI века Ибн аль-Хайсам (ок. 965–1040) Исследование пятого постулата с использованием геометрического движения и свойств взаимного расположения прямых.
Декабрь 1077 года Омар Хайям (1048–1131) Завершение трактата о трудностях некоторых положений «Начал» Евклида. Исследование параллельности посредством специального четырёхугольника.
XI–XII века Математические школы Востока Продолжение исследований пятого постулата и накопление различных конструктивных и угловых подходов.
XIII век Насир ад-Дин ат-Туси (1201–1274) Разработка трактатов, посвящённых проблеме параллельных, и новой редакции «Начал» Евклида. Развитие и передача предшествующих геометрических исследований.
XII–XIII века Латинская переводческая традиция Распространение арабских и греческих математических текстов в Западной Европе, ставшее важной предпосылкой последующего развития исследований Евклида.
Четырёхугольник Омара Хайяма
Особое место в средневековой истории занимает исследование Омара Хайяма.

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

При этом исследуются возможные угловые свойства противоположной стороны.

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

Именно это обстоятельство имеет исключительное значение для дальнейшей истории геометрии.

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

Поэтому в современной историко-математической литературе распространено название четырёхугольник Хайяма — Саккери.

При этом не следует считать, что Хайям и Саккери получили одинаковые математические результаты или использовали полностью совпадающие доказательные методы.

Речь идёт прежде всего о преемственности геометрической конструкции.

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

Во-первых, они сохранили античную традицию поиска его доказательства.

Во-вторых, способствовали появлению новых геометрических конструкций.

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

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

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

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

III. XV–XVII ВЕКА: ВОЗРОЖДЕНИЕ И НОВЫЕ ПОИСКИ ДОКАЗАТЕЛЬСТВА
Хронологическая таблица 3
Дата Исследователь или публикация Событие и историческое значение
1482 год Первое печатное издание «Начал» Евклида Издание латинского текста в Венеции. Существенный этап распространения евклидовой геометрии в печатной культуре Европы.
1572 год Федерико Коммандино Публикация новой латинской редакции Евклида, сопровождаемой существенными филологическими и математическими уточнениями.
1574 год Христофор Клавий Издание обширного комментария к «Началам», оказавшего значительное влияние на преподавание и аксиоматическое изложение геометрии.
1589 год Христофор Клавий В новой редакции комментария подробно рассматриваются трудности пятого постулата, включая материалы восточной математической традиции.
XVI–XVII века Европейские геометры Развитие новых редакций «Начал», уточнение первоначальных аксиом и попытки заменить пятый постулат более очевидными положениями.
11 июля 1663 года Джон Уоллис (1616–1703) Выступление в Оксфорде с рассуждением о пятом постулате. Использование идеи существования подобных фигур различных размеров.
1693–1699 годы Джон Уоллис Публикация многотомного собрания математических трудов. Распространение его исследований и методов.
Исследование Джона Уоллиса
Особое значение в истории пятого постулата имеет выступление Джона Уоллиса 11 июля 1663 года.

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

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

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

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

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

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

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

Именно с данной традицией связаны ноозадачи НЗ-02 и НЗ-03, посвящённые подобию и изменению масштаба геометрических фигур.

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

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

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

IV. XVIII — НАЧАЛО XIX ВЕКА: КРИТИКА ДОКАЗАТЕЛЬСТВ И СИСТЕМАТИЗАЦИЯ АЛЬТЕРНАТИВ
Хронологическая таблица 4
Дата Исследователь Событие и историческое значение
1733 год Джироламо Саккери (1667–1733) Публикация Euclides ab omni naevo vindicatus. Исследование пятого постулата посредством специального четырёхугольника и альтернативных гипотез об углах.
1741 год Алексис Клод Клеро Публикация ;l;ments de g;om;trie. Развитие конструктивно-педагогического подхода к основаниям геометрии, в том числе к использованию прямоугольных фигур.
1756 год Роберт Симсон Издание «Начал» Евклида, имевшее значительное влияние на последующую английскую геометрическую литературу.
Середина XVIII века Жан Лерон д’Аламбер Публичная характеристика трудностей постулата о параллельных как одного из наиболее серьёзных затруднений элементарной геометрии.
1763 год Георг Симон Клюгель Исследование двадцати восьми вариантов доказательства пятого постулата. Выявление недостатков известных рассуждений.
1766 год Иоганн Генрих Ламберт (1728–1777) Создание рукописи Theorie der Parallellinien. Исследование специальных четырёхугольников и следствий различных угловых гипотез.
1773 год Иоганн Фридрих Лоренц Публикация немецкого издания геометрических книг Евклида. Развитие традиции анализа альтернативных исходных положений теории параллельных.
1786 год Иоганн Генрих Ламберт Посмертная публикация трактата Theorie der Parallellinien, написанного в 1766 году.
1794 год Адриен Мари Лежандр (1752–1833) Первое издание ;l;ments de g;om;trie. Последующие редакции содержали различные попытки доказательства пятого постулата и исследования суммы углов треугольника.
1795 год Джон Плейфер (1748–1819) Публикация Elements of Geometry. Использование формулировки единственности параллельной прямой через внешнюю точку как альтернативы пятому постулату.
Конец XVIII — начало XIX века Лежандр и другие геометры Продолжение исследований суммы внутренних углов треугольника и условий существования пересечений прямых.
Саккери и метод исследования альтернативных гипотез
Работа Джироламо Саккери 1733 года стала одним из важнейших событий в истории пятого постулата.

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

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

Исследовались три возможных случая.

Первый — гипотеза прямого угла.

Второй — гипотеза острого угла.

Третий — гипотеза тупого угла.

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

Однако его рассуждение не привело к корректному доказательству невозможности гипотезы острого угла.

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

Именно поэтому работа Саккери приобрела исключительное историческое значение.

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

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

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

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

Таким образом, проблема пятого постулата получила метрическое выражение.

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

1766 год — время создания трактата Ламберта.

1786 год — время его посмертного опубликования.

Эти даты не следует смешивать.

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

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

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

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

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

Лежандр и проблема суммы углов
Исследования Адриена Мари Лежандра занимают особое место в истории пятого постулата.

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

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

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

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

Именно эта проблема стала предметом авторской работы, рассмотренной в главе 8 настоящей книги.

При этом необходимо различать историческое утверждение Лоренца и предположение Лежандра.

Они относятся к сходной проблематике пересечения лучей, но имеют различную логическую форму.

Плейфер и альтернативная аксиома параллельности
В 1795 году Джон Плейфер опубликовал новое изложение геометрии Евклида, в котором использовал более краткую аксиоматическую формулировку параллельности.

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

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

Поэтому название «аксиома Плейфера» отражает прежде всего роль его изложения в распространении данной формулировки.

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

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

V. XIX ВЕК: ПЕРЕХОД ОТ ПОИСКОВ ДОКАЗАТЕЛЬСТВА К ИССЛЕДОВАНИЮ НЕЗАВИСИМОСТИ
Хронологическая таблица 5
Дата Исследователь Событие и историческое значение
Начало XIX века Карл Фридрих Гаусс Продолжение исследований пятого постулата и постепенный переход к изучению возможности иной геометрической системы. Значительная часть результатов осталась неопубликованной при жизни автора.
1816 год Кристиан Людвиг Герлинг и Гаусс Переписка о проблеме параллельных. Обсуждение попыток доказательства пятого постулата, включая геометрические предположения, связанные с исследованиями Лежандра.
1818 год Фердинанд Карл Швейкарт Изложение идей геометрии, отличной от евклидовой, в материалах, направленных Гауссу через Герлинга.
1823 год Янош Бойяи Письмо отцу, Фаркашу Бойяи, свидетельствующее о развитии принципиально нового геометрического подхода.
11 (23) февраля 1826 года Николай Иванович Лобачевский Сообщение в Казанском университете о новых основаниях геометрии. Рукопись первоначального доклада не сохранилась.
1829–1830 годы Н. И. Лобачевский Публикация работы «О началах геометрии» в «Казанском вестнике». Первое печатное систематическое изложение новой геометрической теории.
1832 год Янош Бойяи Публикация знаменитого Appendix к труду Фаркаша Бойяи. Независимая разработка геометрии, не принимающей евклидов постулат о параллельных.
1837 год Н. И. Лобачевский Публикация материалов по теории параллельных на французском языке, способствовавшая международному распространению его исследований.
1840 год Н. И. Лобачевский Немецкоязычная работа Geometrische Untersuchungen zur Theorie der Parallellinien, представляющая систематическое изложение основных идей новой геометрии.
1854 год Бернхард Риман Лекция «О гипотезах, лежащих в основании геометрии». Переход к более общей постановке вопросов о структуре и измерении пространства.
1856 год Н. И. Лобачевский Публикация «Пангеометрии», завершающей его исследования нового геометрического направления.
1866 год Жюль Уэль Французский перевод и популяризация исследований Лобачевского, способствовавшие расширению их международной известности.
1868 год Эудженио Бельтрами Модельные интерпретации неевклидовой геометрии, ставшие важным этапом математического обоснования её относительной непротиворечивости.
1868 год Бернхард Риман Посмертная публикация лекции 1854 года.
1871 год Феликс Клейн Развитие модельной интерпретации геометрий и применение проективных методов к исследованию их оснований.
1872 год Феликс Клейн Эрлангенская программа, ориентированная на классификацию геометрий посредством групп преобразований и их инвариантов.
1882 год Мориц Паш Публикация Vorlesungen ;ber neuere Geometrie. Существенный вклад в уточнение логических оснований геометрических построений и отношений порядка.
1882 и 1887 годы Анри Пуанкаре Развитие аналитических интерпретаций неевклидовой геометрии, в том числе моделей гиперболической плоскости.
1899 год Давид Гильберт Публикация Grundlagen der Geometrie. Систематическое исследование аксиоматических оснований геометрии и независимости отдельных групп аксиом.
Значение исследований Лобачевского и Бойяи
Исторический переход, произошедший в первой половине XIX века, имеет фундаментальное значение.

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

Однако Николай Лобачевский и Янош Бойяи разработали новый подход.

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

Таким образом, возникла новая самостоятельная геометрическая теория.

Для истории пятого постулата это означало принципиальное изменение самого характера проблемы.

Первоначальный вопрос о доказательстве постепенно уступил место исследованию отношений между различными аксиоматическими системами.

Необходимо при этом различать две даты, связанные с Лобачевским.

В феврале 1826 года он представил результаты своего исследования в Казанском университете.

Однако первоначальное сообщение не было опубликовано в качестве самостоятельного печатного труда.

Публикация «О началах геометрии» последовала в 1829–1830 годах.

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

Это обстоятельство имеет значение для корректного установления исторического приоритета.

Модели и математическая независимость
Особое значение имели исследования Эудженио Бельтрами и Феликса Клейна.

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

В результате вопрос о непротиворечивости и независимости получил более строгую математическую постановку.

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

Необходимо подчеркнуть, что речь идёт не о доказательстве физической истинности какой-либо геометрии.

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

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

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

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

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

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

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

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

VI. XX — НАЧАЛО XXI ВЕКА: СОВРЕМЕННАЯ АКСИОМАТИКА И ФОРМАЛЬНАЯ ПРОВЕРКА
Хронологическая таблица 6
Дата или период Исследователь или направление Событие и историческое значение
1908 год Томас Литл Хит Публикация фундаментального англоязычного издания и комментария к тринадцати книгам «Начал» Евклида. Систематизация историко-математических материалов.
Первая половина XX века Исследователи оснований геометрии Развитие формализованных аксиоматических систем и методов исследования логической независимости геометрических положений.
1948–1949 годы Русская историко-математическая традиция Издания и исследования «Начал» Евклида, связанные с работами Д. Д. Мордухай-Болтовского и В. Ф. Кагана.
Середина XX века Альфред Тарский и его исследовательская школа Разработка формализованной аксиоматики элементарной геометрии с использованием исходных отношений между точками.
Вторая половина XX века Математическая логика и теория моделей Дальнейшее развитие методов исследования непротиворечивости, независимости и взаимной выводимости геометрических утверждений.
1987 год Б. А. Розенфельд Издание исторического исследования развития неевклидовой геометрии и понятия геометрического пространства.
Конец XX — начало XXI века Компьютерная формализация математики Развитие систем машинно проверяемых доказательств и уточнение требований к аксиоматической зависимости математических результатов.
30 октября 2012 года Т. Дж. М. Макариос Публикация формального исследования независимости евклидовой аксиомы в геометрии Тарского в Archive of Formal Proofs.
2010–2020-е годы Современная математическая логика Развитие методов компьютерной проверки геометрических доказательств и формальной реконструкции математических теорий.
Математический итог XX века
В XX веке проблема пятого постулата окончательно приобрела характер исследования аксиоматических оснований геометрии.

При этом исходный вопрос получил принципиально иной смысл.

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

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

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

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

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

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

Формальное исследование 2012 года
Особо отметим работу Т. Дж. М. Макариоса, опубликованную 30 октября 2012 года в Archive of Formal Proofs.

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

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

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

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

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

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

Для нашего ноочелленджа этот результат особенно важен как методологическое ограничение.

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

VII. АВТОРСКИЕ ИССЛЕДОВАНИЯ В. К. ПЕТРОСЯНА (ВАДИМИРА): 1997–2026 ГОДЫ
Заключительный период настоящей хронологии связан с моей собственной исследовательской программой.

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

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

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

Хронологическая таблица 7
Дата Авторская работа или событие Содержание и значение
Конец 1980-х — начало 1990-х годов Первоначальные авторские исследования По авторским сведениям, разработка ранних подходов к исследованию пятого постулата и критическому анализу оснований геометрии.
1997 год «Общий кризис теоретико-множественной математики и пути его преодоления» Публикация книги В. К. Петросяна в издательстве «Янус-К». Рассмотрение проблем оснований математики, классической геометрии и первоначальных положений Юниметрии.
12 марта 2025 года «Теорема о параллельных прямых: к основаниям Гармонической геометрии» Публикация на Lag.ru. Представление авторских подходов к проблеме пятого постулата и дальнейшая разработка программы гармонической геометрии.
28 октября 2026 года «Теорема о существовании квадрата» Публикация конструктивного метода последовательной надстройки четырёхугольника. Направление НЗ-01.
28 октября 2026 года «Теорема о сверхбольшом треугольнике» Публикация исследования последовательного увеличения равносторонних треугольников и отношений между их площадями. Направление НЗ-04.
29 октября 2026 года «О разрешимости проблемы Посидония» Публикация исследования эквидистантности прямых методом двух равных перпендикуляров. Направление НЗ-08.
29 октября 2026 года «Теорема о пересечении угла с точкой» Публикация конструктивного исследования утверждения Лежандра посредством вспомогательной окружности и диаметра. Направление НЗ-06.
29 октября 2026 года «18 путей к пятому постулату Евклида» Формирование и публикация первоначальной концепции книги, посвящённой восемнадцати геометрическим задачам и организации Великого геометрического ноочелленджа.
Октябрь 2026 года Организационная концепция Великого геометрического ноочелленджа Разработка манифеста, проекта регламента, исследовательской программы и модели международного соревнования на основе УТОН.
Публикация 1997 года
В книге «Общий кризис теоретико-множественной математики и пути его преодоления» были представлены мои первоначальные критические исследования оснований математики.

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

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

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

Они не должны отождествляться с установленными результатами современной математической логики.

Публикация 12 марта 2025 года
Работа «Теорема о параллельных прямых: к основаниям Гармонической геометрии» представляет важный этап моей дальнейшей исследовательской программы.

В ней рассматриваются несколько направлений, непосредственно связанных с пятым постулатом Евклида.

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

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

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

Четыре публикации октября 2026 года
В октябре 2026 года были опубликованы четыре работы, посвящённые различным геометрическим задачам.

Их последовательность имеет определённое значение для хронологии настоящего проекта.

28 октября опубликованы исследования существования квадрата и сверхбольшого треугольника.

29 октября — работы, посвящённые проблеме Посидония и утверждению Лежандра.

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

В главах 5–8 использована следующая последовательность:

Глава 5 — НЗ-01, теорема о существовании квадрата.

Глава 6 — НЗ-04, теорема о сверхбольшом треугольнике.

Глава 7 — НЗ-08, проблема Посидония.

Глава 8 — НЗ-06, теорема о пересечении угла с точкой.

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

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

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

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

В частности, для НЗ-01 необходима самостоятельная проверка леммы о четырёхчастной надстройке.

Для НЗ-04 — обоснование повторяемой четырёхчастной композиции.

Для НЗ-08 — доказательство эквидистантности построенных прямых на всём их протяжении.

Для НЗ-06 — установление доказательной независимости используемого рассуждения о втором пересечении от пятого постулата.

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

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

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

Первоначально речь шла о нескольких геометрических конструкциях.

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

Так был сформирован конкурсный корпус из восемнадцати задач.

Четыре направления получили авторские публикации.

Четырнадцать других были выделены для дальнейшего исследования.

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

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

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

VIII. ТРИ ОСНОВНЫЕ ИСТОРИЧЕСКИЕ ЛИНИИ ИССЛЕДОВАНИЯ ПЯТОГО ПОСТУЛАТА
Приведённая хронология позволяет выделить три наиболее важные линии развития соответствующей математической проблематики.

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

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

Соответствующие исследования продолжались в Средние века и Новое время.

Они включали множество специальных построений, альтернативных аксиом и вспомогательных теорем.

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

Поэтому первоначальная цель оставалась недостигнутой.

Вместе с тем многочисленные попытки способствовали развитию геометрических методов.

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

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

В XIX веке это направление получило принципиально новое развитие благодаря исследованиям Лобачевского, Бойяи, Бельтрами и Клейна.

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

Таким образом, проблема приобрела самостоятельное аксиоматическое содержание.

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

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

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

Именно это направление непосредственно связано с организационными принципами Великого геометрического ноочелленджа.

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

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

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

IX. ХРОНОЛОГИЧЕСКИЕ ИСТОКИ ВОСЕМНАДЦАТИ КОНКУРСНЫХ ЗАДАЧ
Приведённая история позволяет выделить основные исторические традиции, с которыми связаны различные группы конкурсных утверждений.

Сводная таблица
Конкурсные направления Историческая традиция Основные исследовательские объекты
НЗ-01 Евклид, Хайям, Саккери, Ламберт Прямоугольники, квадраты, специальные четырёхугольники
НЗ-02, НЗ-03 Уоллис и последующая теория подобия Подобные фигуры, изменение масштаба
НЗ-04 Исследования площади и геометрического увеличения Треугольники сколь угодно большой площади
НЗ-05, НЗ-06 Лоренц, Лежандр Пересечение прямой с лучами угла
НЗ-07, НЗ-09 Античная и новоевропейская теория параллельных Сближение, расхождение и пересечение прямых
НЗ-08 Посидоний, Прокл, средневековые геометры Эквидистантность и равные перпендикуляры
НЗ-10, НЗ-11 Саккери, Ламберт, Лежандр Сумма внутренних углов треугольника
НЗ-12, НЗ-14 Традиция исследований параллельности Транзитивность и свойства секущих
НЗ-13 Исследования перпендикулярности и траекторий Ортогональные геометрические отношения
НЗ-15 Классическая геометрия окружностей Существование описанной окружности
НЗ-16 Евклидова метрическая геометрия Теорема Пифагора и отношения площадей
НЗ-17, НЗ-18 Классические и современные исследования окружности Длина окружности, диаметр, число пи
Данная таблица характеризует прежде всего историко-математическую принадлежность исследовательских направлений.

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

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

Особенно важно, что некоторые современные формулировки существенно отличаются от соответствующих исторических вариантов.

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

X. ОСНОВНЫЕ ХРОНОЛОГИЧЕСКИЕ ВЫВОДЫ
Многовековую историю пятого постулата Евклида можно условно разделить на пять крупных этапов.

Первый — античная постановка проблемы.

Здесь возникли первоначальный евклидов постулат и первые альтернативные подходы к определению параллельности.

Второй — средневековое развитие геометрических конструкций.

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

Третий — новоевропейская систематизация доказательных попыток.

Особое значение имели исследования Уоллиса, Саккери, Клюгеля, Ламберта, Лежандра и Плейфера.

Четвёртый — фундаментальный аксиоматический перелом XIX века.

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

Пятый — современная формальная и методологическая стадия.

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

В этом длительном историческом процессе особенно заметно одно обстоятельство.

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

Но постепенно сама проблема стала источником гораздо более широкой математической деятельности.

Возникали новые методы.

Уточнялись исходные понятия.

Формировались альтернативные аксиоматические системы.

Совершенствовалась теория математического доказательства.

Именно в этом заключается главное историческое значение пятого постулата Евклида.

Место Великого геометрического ноочелленджа
Предлагаемый мной Великий геометрический ноочеллендж относится к современному этапу данной истории.

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

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

Поэтому ноочеллендж должен иметь точную аксиоматическую основу и независимую математическую экспертизу.

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

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

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

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

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

ОСНОВНЫЕ ИСТОЧНИКИ ХРОНОЛОГИИ
Античность и Средневековье
Евклид. Начала. Книга I. Основной исторический текст пятого постулата и первоначальной теории параллельных.
Прокл Диадох. Комментарий к первой книге «Начал» Евклида. Источник сведений об античных исследованиях пятого постулата, включая Посидония и Птолемея.
MacTutor History of Mathematics Archive. Proclus on the Parallel Postulate. University of St Andrews.
Vahabzadeh B. Khayyam, Omar: As Mathematician. Encyclopaedia Iranica. Историко-математическое исследование трактата Хайяма, завершённого в 1077 году.
Stanford Encyclopedia of Philosophy. Umar Khayyam. Исследование геометрических положений Хайяма и их связи с последующими работами Саккери.
https://plato.stanford.edu/entries/umar-khayyam/
Новое время
Wallis J. Исследования пятого постулата и геометрического подобия. Оксфордское выступление 11 июля 1663 года; собрание Opera Mathematica, 1693–1699.
Saccheri G. G. Euclides ab omni naevo vindicatus. Milan, 1733.
Kl;gel G. S. Диссертационное исследование попыток доказательства пятого постулата. G;ttingen, 1763.
Lambert J. H. Theorie der Parallellinien. Рукопись 1766 года; посмертная публикация 1786 года.
Legendre A.-M. ;l;ments de g;om;trie. Paris, 1794; последующие редакции.
Playfair J. Elements of Geometry. Edinburgh, 1795.
The Development of Euclidean Axiomatics: The Systems of Principles and the Foundations of Mathematics in Editions of the Elements in the Early Modern Age. Archive for History of Exact Sciences, 2016.
https://pmc.ncbi.nlm.nih.gov/articles/PMC5063916/
XIX–XXI века
Лобачевский Н. И. О началах геометрии. «Казанский вестник», 1829–1830.
Bolyai J. Appendix scientiam spatii absolute veram exhibens. 1832.
Lobachevsky N. I. Geometrische Untersuchungen zur Theorie der Parallellinien. Berlin, 1840.
Beltrami E. Saggio di interpretazione della geometria non-euclidea. 1868.
Hilbert D. Grundlagen der Geometrie. Leipzig, 1899.
Heath T. L. The Thirteen Books of Euclid’s Elements. Cambridge University Press, 1908.
Rosenfeld B. A. A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space. 1987.
MacTutor History of Mathematics Archive. Non-Euclidean Geometry. Общая историческая хронология развития проблемы пятого постулата.
Makarios T. J. M. The Independence of Tarski’s Euclidean Axiom. Archive of Formal Proofs, 30 октября 2012 года.
https://isa-afp.org/entries/Tarskis_Geometry.html
Авторские исследования
Петросян В. К. (Вадимир). Общий кризис теоретико-множественной математики и пути его преодоления. Москва: «Янус-К», 1997.
Петросян В. К. (Вадимир). Теорема о параллельных прямых: к основаниям Гармонической геометрии. Lag.ru, 12 марта 2025 года.
Петросян В. К. (Вадимир). Теорема о существовании квадрата. Lag.ru, 28 октября 2026 года.
Петросян В. К. (Вадимир). Теорема о сверхбольшом треугольнике. Lag.ru, 28 октября 2026 года.
Петросян В. К. (Вадимир). О разрешимости проблемы Посидония. Lag.ru, 29 октября 2026 года.
Петросян В. К. (Вадимир). Теорема о пересечении угла с точкой. Lag.ru, 29 октября 2026 года.
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года.