18 альтернатив 5 постулата. История

ВОСЕМНАДЦАТЬ АЛЬТЕРНАТИВНЫХ УТВЕРЖДЕНИЙ: ФОРМУЛИРОВКИ И ИСТОРИЧЕСКИЕ СВЕДЕНИЯ

В. К. Петросян (Вадимир). 18 ПУТЕЙ К ПЯТОМУ ПОСТУЛАТУ ЕВКЛИДА


*********

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

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

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

******

Назначение приложения

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

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

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

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

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

При этом сохраняется первоначальная нумерация НЗ-01 — НЗ-18.

Сокращение «НЗ» означает «ноозадача».

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

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

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

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

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

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

Второй: из A вместе с остальными принятыми аксиомами следует E.

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

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

Например, некоторые геометрические утверждения требуют аксиом порядка и непрерывности.

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

Третьи используют понятие площади.

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

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

Поэтому в настоящем приложении проводится разграничение между:

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

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

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

В традиционном переводе его можно изложить следующим образом:

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

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

При этом существенное значение имеют три условия.

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

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

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

В первой книге «Начал» Евклид использует пятый постулат при доказательстве предложения I.29.

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

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

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

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

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

I. ВОСЕМНАДЦАТЬ НООЗАДАЧ
НЗ-01. Существование прямоугольника
Формулировка
Существует хотя бы один невырожденный прямолинейный четырёхугольник, все четыре внутренних угла которого являются прямыми.

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

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

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

В первой книге «Начал» Евклида предложение I.46 посвящено построению квадрата на заданном отрезке.

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

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

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

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

Впоследствии аналогичная конструкция была подробно исследована Джироламо Саккери в работе 1733 года.

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

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

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

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

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

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

Аналогично равенство четырёх сторон ещё не устанавливает прямоту внутренних углов.

Место в авторской программе
В октябре 2026 года мной опубликована работа «Теорема о существовании квадрата», посвящённая методу последовательной геометрической надстройки.

Её содержание изложено в главе 5 настоящей книги.

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

Исследовательский статус: опубликована авторская работа; независимая математическая экспертиза необходима.

НЗ-02. Существование подобных, но неконгруэнтных треугольников
Формулировка
Существуют два невырожденных треугольника, у которых соответствующие внутренние углы равны, но соответствующие стороны имеют различные длины.

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

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

Особое значение здесь имеют исследования Джона Уоллиса.

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

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

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

Математическое уточнение
Равенство соответствующих углов ещё не следует смешивать с конгруэнтностью.

Конгруэнтные треугольники имеют одинаковые соответствующие стороны.

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

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

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

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

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

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

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

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

Исторические сведения
Это направление непосредственно связано с постулатом подобия Джона Уоллиса.

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

Утверждается возможность осуществить изменение масштаба в соответствии с определённым коэффициентом.

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

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

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

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

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

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

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

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

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

Исследовательский статус: дальнейшая ноозадача; требуется фиксация точной области применимости.

НЗ-04. Существование треугольников сколь угодно большой площади
Формулировка
Для любого заданного положительного конечного числа M существует невырожденный треугольник, площадь которого больше M.

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

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

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

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

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

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

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

Второе — отсутствие общей конечной верхней границы их площадей.

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

Особенно важно определить используемое понятие площади.

Место в авторской программе
28 октября 2026 года мной опубликована «Теорема о сверхбольшом треугольнике».

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

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

Соответствующий метод рассмотрен в главе 6.

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

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

Исторические сведения
Данная формулировка связана с именем немецкого математика Иоганна Фридриха Лоренца.

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

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

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

Математическое уточнение
Главная особенность НЗ-05 заключается в универсальности.

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

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

Например, прямая, проходящая одновременно через вершину O и внутреннюю точку Z, пересекает оба образующих луча в точке O.

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

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

Отличие от НЗ-06
В НЗ-05 рассматривается произвольная прямая.

В НЗ-06 требуется построить хотя бы одну специально выбранную прямую, пересекающую оба луча вне вершины.

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

Исследовательский статус: дальнейшая ноозадача; историческая атрибуция Лоренцу документирована.

НЗ-06. Утверждение Лежандра о пересечении обеих сторон угла
Формулировка
Через любую точку, расположенную строго внутри произвольного острого угла, можно провести прямую, пересекающую оба образующих этот угол луча в двух различных точках, отличных от вершины.

Исторические сведения
Данное положение связано с исследованиями Адриена Мари Лежандра.

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

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

В исторической литературе встречается более узкий вариант, относящийся к углам величиной менее шестидесяти градусов.

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

Математическое уточнение
В отличие от НЗ-05, требуется доказать существование определённой прямой.

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

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

Место в авторской программе
29 октября 2026 года мной опубликована работа «Теорема о пересечении угла с точкой».

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

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

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

Исследовательский статус: опубликована авторская работа; необходима независимая математическая квалификация.

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

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

Особое значение имеют комментарии Прокла и связанные с ними философско-геометрические положения.

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

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

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

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

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

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

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

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

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

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

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

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

НЗ-08. Проблема Посидония: эквидистантность прямых
Формулировка
Множество всех точек, расположенных по одну сторону от заданной прямой на одном и том же положительном перпендикулярном расстоянии от неё, образует прямую.

С данным положением связана другая классическая формулировка:

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

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

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

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

Впоследствии аналогичная проблематика рассматривалась Ибн аль-Хайсамом, Омаром Хайямом, Клавием и другими геометрами.

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

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

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

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

Именно это дополнительное утверждение должно быть доказано.

Место в авторской программе
29 октября 2026 года мной опубликована работа «О разрешимости проблемы Посидония».

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

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

Исследовательский статус: опубликована авторская работа; основная лемма об эквидистантности требует самостоятельного доказательства.

НЗ-09. Утверждение Роберта Симсона
Формулировка
Две различные прямые одной плоскости не могут при продолжении в определённом направлении сначала сближаться, а затем начать расходиться, не пересекаясь друг с другом.

Исторические сведения
Данное утверждение связывается с именем шотландского математика Роберта Симсона.

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

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

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

Близкие идеи встречались и у более ранних исследователей.

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

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

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

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

Без такой формализации понятия сближения и расхождения остаются недостаточно определёнными.

Исследовательское направление
НЗ-09 может исследоваться посредством специальных систем перпендикуляров и угловых отношений.

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

Исследовательский статус: дальнейшая ноозадача; историческая связь с Робертом Симсоном известна, точная формулировка требует уточнения.

НЗ-10. Постоянство суммы внутренних углов треугольника
Формулировка
Сумма внутренних углов одинакова у всех невырожденных треугольников рассматриваемой геометрической плоскости.

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

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

В XVIII веке свойства суммы углов приобрели особое значение в работах Саккери и Ламберта.

Позднее к соответствующей проблеме неоднократно обращался Лежандр.

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

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

Первое: сумма углов всех треугольников одинакова.

Второе: указанная сумма равна двум прямым углам.

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

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

НЗ-10 обращается прежде всего к постоянству суммы.

НЗ-11 — к существованию хотя бы одного треугольника с суммой углов, равной двум прямым.

Таким образом, обе задачи имеют различную логическую форму.

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

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

Исследовательский статус: дальнейшая ноозадача; классическая связь с пятым постулатом известна.

НЗ-11. Существование треугольника с суммой углов в два прямых
Формулировка
Существует хотя бы один невырожденный треугольник, сумма внутренних углов которого равна двум прямым углам.

Иными словами, существует треугольник, для которого:

; + ; + ; = 180°.

Исторические сведения
Данное направление тесно связано с исследованиями Саккери, Ламберта и Лежандра.

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

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

Математическое уточнение
Нельзя автоматически заменять экзистенциальное утверждение универсальным.

Для НЗ-11 достаточно существования одной фигуры.

Однако она должна быть невырожденной.

Кроме того, необходимо независимо установить величину суммы её внутренних углов.

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

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

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

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

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

НЗ-12. Транзитивность параллельности
Формулировка
Если две прямые одной плоскости параллельны одной и той же третьей прямой, то они либо совпадают, либо параллельны между собой.

Если заранее установлено, что все три прямые различны, формулировка принимает более краткий вид:

Две прямые, параллельные третьей, параллельны друг другу.

Исторические сведения
Соответствующее геометрическое положение непосредственно связано с предложением I.30 первой книги «Начал» Евклида.

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

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

Подобные идеи встречаются, в частности, в исторических исследованиях Николаса Меркатора.

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

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

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

При таком определении совпадающие прямые не считаются параллельными.

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

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

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

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

Исследовательский статус: дальнейшая ноозадача; классическая альтернативная формулировка.

НЗ-13. Прямолинейность ортогональной траектории
Предварительная формулировка
Ортогональная траектория полного семейства взаимно параллельных прямых является прямой.

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

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

В XVII веке Джованни Альфонсо Борелли рассматривал построение прямой посредством перемещения перпендикулярного отрезка вдоль заданной прямой.

Сходные идеи ранее встречались у Ибн аль-Хайсама.

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

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

Математическое уточнение
Данная ноозадача особенно нуждается в строгой формализации.

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

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

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

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

Однако до утверждения окончательного математического паспорта НЗ-13 не следует считать её эквивалентность пятому постулату установленной.

Исследовательский статус: предварительная формулировка; требуется существенное аксиоматическое и геометрическое уточнение.

НЗ-14. Пересечение второй из двух параллельных прямых
Формулировка
Если прямая пересекает одну из двух различных параллельных прямых и не совпадает с ней, то она пересекает и вторую прямую.

Исторические сведения
Это положение относится к классической традиции исследования теории параллельных.

В античной математике соответствующая проблематика рассматривалась Проклом.

В европейских аксиоматических исследованиях Нового времени аналогичная формулировка встречается, в частности, у Маттео Риччи в 1651 году.

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

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

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

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

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

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

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

Исследовательский статус: дальнейшая ноозадача; классическая эквивалентность известна.

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

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

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

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

В историко-математической литературе соответствующая альтернативная формулировка часто связывается с именем Фаркаша Бойяи.

Он занимался проблемой оснований геометрии и был отцом Яноша Бойяи — одного из создателей неевклидовой геометрии.

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

Первый — построение серединных перпендикуляров.

Второй — существование их общей точки пересечения.

Первое само по себе ещё не обеспечивает второе.

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

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

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

Исследовательский статус: дальнейшая ноозадача; классическая альтернативная формулировка.

НЗ-16. Теорема Пифагора
Формулировка
Существует хотя бы один невырожденный прямоугольный треугольник, длины сторон которого удовлетворяют равенству:

a; + b; = c;,

где a и b — длины катетов, а c — длина гипотенузы.

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

Её математическое содержание было известно задолго до Евклида.

В первой книге «Начал» соответствующая теорема представлена в предложении I.47.

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

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

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

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

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

В настоящем конкурсном перечне принимается второе утверждение.

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

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

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

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

НЗ-17. Постоянство отношения длины окружности к диаметру
Формулировка
Для любых двух невырожденных окружностей одной геометрической плоскости отношение длины окружности к её диаметру одинаково.

Если длины окружностей обозначить через C; и C;, а соответствующие диаметры через d; и d;, то требуется установить:

C;/d; = C;/d;.

Исторические сведения
Проблема отношения длины окружности к диаметру имеет древнюю историю.

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

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

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

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

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

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

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

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

В обычной евклидовой плоскости соответствующее отношение действительно постоянно.

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

Поэтому НЗ-17 не следует автоматически считать эквивалентной пятому постулату в любой формальной системе нейтральной геометрии без специальной проверки.

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

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

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

НЗ-18. Существование окружности с отношением длины к диаметру, равным числу пи
Формулировка
Существует хотя бы одна невырожденная окружность, для которой отношение её длины к диаметру равно числу ;.

Иными словами:

C/d = ;.

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

Однако по своей логической форме оно существенно отличается от НЗ-17.

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

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

Историческая проблематика числа пи восходит к древним математическим традициям, включая исследования Архимеда.

Однако сама экзистенциальная формулировка НЗ-18 представляет собой современную исследовательскую постановку, а не дословное воспроизведение определённой античной теоремы.

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

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

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

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

Кроме того, необходимо определить понятие длины окружности.

Таким образом, НЗ-18 требует специального согласования геометрических и аналитических предпосылок.

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

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

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

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

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

II. СВОДНЫЙ РЕЕСТР ВОСЕМНАДЦАТИ АЛЬТЕРНАТИВНЫХ УТВЕРЖДЕНИЙ
Таблица П2.1. Основной конкурсный корпус
Код Краткая формулировка Историческая традиция
НЗ-01 Существует хотя бы один прямоугольник Евклид, Хайям, Саккери, Ламберт, Клеро
НЗ-02 Существуют подобные неконгруэнтные треугольники Уоллис, Саккери
НЗ-03 Возможно пропорциональное увеличение треугольника Уоллис, теория подобия
НЗ-04 Площади треугольников не ограничены сверху Геометрия площадей, XIX–XX века
НЗ-05 Любая прямая через внутреннюю точку угла пересекает хотя бы один луч Лоренц, 1773
НЗ-06 Через внутреннюю точку острого угла проходит прямая, пересекающая оба луча Лежандр, начало XIX века
НЗ-07 Сближающиеся прямые в конечном счёте пересекаются Прокл, Хайям, Арно
НЗ-08 Геометрическое место равноудалённых точек является прямой Посидоний, Ибн аль-Хайсам, Клавий
НЗ-09 Сближающиеся прямые не начинают затем расходиться без пересечения Роберт Симсон, 1756
НЗ-10 Сумма внутренних углов одинакова у всех треугольников Евклид, Саккери, Ламберт, Лежандр
НЗ-11 Существует треугольник с суммой углов 180° Лежандр и последующая аксиоматика
НЗ-12 Прямые, параллельные третьей, параллельны между собой Евклид I.30, теория направлений
НЗ-13 Ортогональная траектория полного семейства параллельных прямых прямолинейна Традиция геометрического движения
НЗ-14 Секущая одной из двух параллельных прямых пересекает и другую Прокл, Риччи, 1651
НЗ-15 Для любого треугольника существует описанная окружность Классическая геометрия, Фаркаш Бойяи
НЗ-16 Теорема Пифагора справедлива хотя бы для одного прямоугольного треугольника Евклид I.47; Доббс, 2002
НЗ-17 Отношение длины окружности к диаметру постоянно Архимед, теория длины кривых
НЗ-18 Существует окружность с отношением длины к диаметру, равным ; Классическая и современная метрическая геометрия
Данный реестр сохраняет первоначальную авторскую нумерацию.

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

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