14 направлений дальнейших ниокр

ЧЕТЫРНАДЦАТЬ НАПРАВЛЕНИЙ ДАЛЬНЕЙШЕГО ИССЛЕДОВАНИЯ

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

Первое из них относится к существованию квадрата.

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

Третье обращается к проблеме Посидония и эквидистантности прямых.

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

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

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

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

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

Именно они составляют предмет настоящей главы.

Что означает «оставшиеся четырнадцать задач»?
Прежде всего необходимо избежать возможного недоразумения.

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

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

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

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

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

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

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

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

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

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

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

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

Такое распределение носит прежде всего исследовательский характер.

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

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

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

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

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

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

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

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

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

Тем самым НЗ-02 становится самостоятельной задачей о соотношении геометрической формы и величины.

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

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

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

Одно дело — увеличение отдельного отрезка.

Другое — построение подобного треугольника.

Третье — сохранение формы произвольного многоугольника.

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

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

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

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

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

Следовательно, перенос соответствующей идеи на НЗ-03 пока представляет собой исследовательское предложение, а не завершённый доказательный результат.

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

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

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

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

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

Предложенная мной окружностная конструкция определяет конкретную прямую.

Но она не охватывает автоматически все возможные направления.

Следовательно, для НЗ-05 необходим более общий подход.

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

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

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

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

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

Можно ли характеризовать его посредством уменьшения определённого расстояния?

Какие именно точки двух прямых следует сопоставлять?

Каким способом устанавливается направление продолжения?

Не предполагает ли выбранное определение заранее тот результат, который требуется доказать?

Все эти вопросы имеют самостоятельное значение.

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

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

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

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

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

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

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

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

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

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

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

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

Возможная связь НЗ-09 с проблемой Посидония представляется мне особенно интересной.

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

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

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

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

Здесь первоначально речь идёт только о постоянстве определённой величины.

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

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

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

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

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

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

Поэтому требуется точное разграничение общего утверждения и его частных вариантов.

НЗ-11. Существование треугольника с суммой углов в два прямых
Это направление тесно связано с НЗ-10, но отличается по логической форме.

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

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

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

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

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

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

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

НЗ-12. Транзитивность параллельности
Следующая задача относится к отношениям между тремя прямыми.

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

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

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

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

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

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

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

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

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

Следовательно, перенос методов проблемы Посидония на НЗ-12 требует отдельного доказательного анализа.

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

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

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

Прежде всего — само семейство параллельных прямых.

Далее — характер ортогональности рассматриваемой линии.

Наконец — математический смысл утверждения о её прямолинейности.

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

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

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

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

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

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

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

Некоторая третья прямая пересекает одну из них.

Требуется установить, что она пересечёт и другую.

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

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

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

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

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

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

Поэтому НЗ-14 представляет самостоятельный интерес как задача о существовании геометрического пересечения при заранее заданной параллельности.

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

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

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

Их точка пересечения принимается за центр искомой окружности.

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

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

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

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

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

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

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

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

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

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

Третий — с геометрическими преобразованиями.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Одни предполагают построение определённых фигур.

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

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

Четвёртые затрагивают проблемы измерения.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Этот подход может представлять интерес для НЗ-02, НЗ-10, НЗ-11 и НЗ-16.

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

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

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

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

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

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

В главе 5 этот принцип был применён к четырёхугольникам.

Однако сама идея может иметь более широкое значение.

Можно исследовать последовательные надстройки треугольников.

Можно рассматривать расширение систем перпендикуляров.

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

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

Какие отношения остаются неизменными при надстройке?

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

И какие дополнительные условия необходимы для такого перехода?

Эти вопросы могут получить самостоятельное развитие в рамках НЗ-03, НЗ-10, НЗ-11 и НЗ-16.

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

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

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

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

Этот подход прежде всего интересен для НЗ-03.

Возможно также его использование при исследовании НЗ-02, НЗ-10 и НЗ-16.

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

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

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

Метод равных перпендикуляров
Четвёртое направление связано с исследованием проблемы Посидония.

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

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

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

Этот метод может представлять интерес для НЗ-07, НЗ-09, НЗ-12, НЗ-13 и НЗ-14.

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

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

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

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

Окружностная конструкция и проблема пересечений
Пятое направление связано с авторским исследованием утверждения Лежандра.

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

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

Данный подход представляет интерес для НЗ-05, НЗ-14 и НЗ-15.

Не исключены и более отдалённые связи с НЗ-17 и НЗ-18.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

К соответствующим задачам относятся НЗ-02, НЗ-11 и НЗ-15.

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

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

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

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

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

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

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

Особый интерес представляют НЗ-05, НЗ-07 и НЗ-14.

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

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

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

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

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

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

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

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

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

Этот подход может оказаться продуктивным для НЗ-03, НЗ-10, НЗ-12 и НЗ-13.

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

Особое значение здесь имеют НЗ-02, НЗ-03 и НЗ-16.

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

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

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

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

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

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

Конструкции измерения
Пятое направление относится к НЗ-17 и НЗ-18.

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

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

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

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

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

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

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

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

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

Иногда решение сложной задачи зависит от сравнительно небольшой леммы.

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

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

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

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

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

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

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

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

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

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

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

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

Однако необходимо различать их функции.

Компьютерный чертёж способен помочь обнаружить ошибку первоначальной конструкции.

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

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

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

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

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

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

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

Следовательно, между ними существуют отношения взаимной выводимости.

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

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

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

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

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

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

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

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

Он может быть математически корректным.

Но это не означает автоматической самостоятельности его доказательной идеи.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Возможно, оно является самостоятельной аксиомой.

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

Возможно, оно эквивалентно пятому постулату.

Подобный результат может обладать самостоятельной научной ценностью.

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

Третья ситуация — предложение нового фундаментального подхода к основаниям геометрии.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Первый — общая аксиоматическая база.

Второй — разрешённые геометрические операции.

Третий — вспомогательные леммы.

Четвёртый — основные доказательные переходы.

Пятый — итоговое утверждение.

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

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

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

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

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

Вопрос должен решаться на основании содержательного анализа.

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

Первый — правильность доказательства.

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

Второй — оригинальность метода.

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

Эти критерии нельзя подменять друг другом.

Оригинальный чертёж не компенсирует логического пробела.

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

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

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

Решающим является доказательная структура.

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

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

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

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

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

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

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

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

Например, определённое геометрическое свойство пересечения прямых может использоваться в задачах НЗ-05, НЗ-07 и НЗ-14.

Аналогично конструкция, связанная с подобием, может иметь значение для НЗ-02 и НЗ-03.

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

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

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

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

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

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

Характеристика Основной вопрос
Математическая корректность Следует ли результат из указанных предпосылок?
Доказательная база Какие аксиомы и ранее установленные теоремы использованы?
Самостоятельность Содержит ли работа собственный существенный доказательный путь?
Оригинальность Какие новые конструкции или аргументы предложены?
Общность Для какого класса геометрических объектов доказано утверждение?
Исторический приоритет Как результат соотносится с предшествующими исследованиями?
Конкурсный статус Соответствует ли работа утверждённым условиям ноочелленджа?
Такая система позволит избежать смешения нескольких различных видов математической оценки.

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

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

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

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

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

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

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

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

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

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

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

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

Каждый исследователь должен сохранять свободу выбора интересующего его направления.

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

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

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

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

НЗ-11 — как задача о существовании треугольника с определённой суммой углов.

НЗ-12 — как утверждение о транзитивности параллельности.

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

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

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

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

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

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

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

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

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

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

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

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

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

Такое требование не ограничивает поиск новых методов.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Третьи — на свойствах окружностей и метрических отношениях.

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

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

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

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

Группа Ноозадачи Основной подготовительный вопрос
Геометрически определённые постановки НЗ-02, НЗ-11, НЗ-12, НЗ-14, НЗ-15, НЗ-16 Фиксация аксиоматической базы и доказательных зависимостей
Уточнение кванторов и области применимости НЗ-03, НЗ-05, НЗ-10 Что должно выполняться для всех объектов, а что — хотя бы для одного?
Уточнение качественных геометрических понятий НЗ-07, НЗ-09, НЗ-13 Определение сближения, расхождения и ортогональной траектории
Метрические и аналитические постановки НЗ-17, НЗ-18 Определение длины окружности и независимого понятия числа пи
Данная группировка не является оценкой математической сложности задач.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Второй — самостоятельность и оригинальность используемого метода.

Третий — официальное конкурсное признание результата.

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

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

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

Я рассматриваю предложенную программу как открытую.

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

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

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

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

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

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

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

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

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

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

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

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

Установлен первоначальный корпус задач.

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

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

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

Теперь необходимо перейти к следующему этапу.

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

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

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

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

Основные источники и литература
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года. Опубликованная книга.
Петросян В. К. (Вадимир). Теорема о существовании квадрата. Lag.ru, 28 октября 2026 года.
Петросян В. К. (Вадимир). Теорема о сверхбольшом треугольнике. Lag.ru, 28 октября 2026 года.
Петросян В. К. (Вадимир). О разрешимости проблемы Посидония. Lag.ru, 29 октября 2026 года.
Петросян В. К. (Вадимир). Теорема о пересечении угла с точкой. Lag.ru, 29 октября 2026 года.
Евклид. Начала. Книги I и III. Классический корпус исходных геометрических построений и теорем.
Hilbert D. Grundlagen der Geometrie. Leipzig, 1899. Исследование аксиоматических оснований геометрии.
Greenberg M. J. Euclidean and Non-Euclidean Geometries: Development and History. Историко-математическое исследование аксиоматики и эквивалентов постулата о параллельных.
Makarios T. J. M. The Independence of Tarski’s Euclidean Axiom. Archive of Formal Proofs, 2012. Формальное исследование независимости.
Lima F. M. S., Jord;o P. G. F. Why Is It That the Ratio of Any Circle’s Circumference to Its Diameter Is a Constant? The College Mathematics Journal, 2022, т. 53, № 3, с. 171–182. Исследование.
Петросян В. К. (Вадимир). Метапедия. Тома 1–2. Авторская теория ноочелленджей и Универсальная технология их организации.
*****